Podstawy Logiki i Teorii Mnogości Dr Adam Naumowicz adamn@ii.uwb.edu.pl
Tematyka wykładu Logika zdań Rachunek kwantyfikatorów Rachunek zbiorów Algebry Boole’a Iloczyn kartezjański i relacje Relacje równoważności i porządki
Tematyka wykładu – c. d. Funkcje Liczby naturalne i indukcja matematyczna Formalna konstrukcja liczb całkowitych, wymiernych i rzeczywistych Liczby kardynalne Liczby porządkowe Definiowanie przez indukcję pozaskończoną Aksjomatyki teorii mnogości
Literatura K. Kuratowski. Wstęp do teorii mnogości i Topologii. PWN. A. Grzegorczyk. Zarys logiki matematycznej. PWN. W. Marek, J. Onyszkiewicz. Elementy logiki i teorii mnogości w zadaniach. – ćwiczenia http://wazniak.mimuw.edu.pl Logika i teoria mnogości
Software System MIZAR Strona WWW przedmiotu Programy pomocnicze http://mizar.org Strona WWW przedmiotu http://alioth.uwb.edu.pl/PLiTM.html Programy pomocnicze Edytor GNU Emacs
Wstęp Logika Logika matematyczna Teoria mnogości Analiza poprawności rozumowania Logika matematyczna Analiza zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki Teoria mnogości Teoria zbiorów – podstawy matematyki
Logika zdań (klasyczna) Zmienne zdaniowe Spójniki zdaniowe Tautologie (prawa rachunku zdań) Wzory de Morgana Metoda zero-jedynkowa Postacie normalne formuł zdaniowych Notacja beznawiasowa (notacja polska, notacja Łukasiewicza)
Język klasycznej logiki zdań Zbiór zmiennych zdaniowych (indywiduowych) Np. p, q, r, s, t, … Funktory zdaniotwórcze (spójniki logiczne) jednoargumentowe: negacja np. ∼p Mizar: not p dwuargumentowe koniunkcja np. p∧q Mizar: p & q alternatywa np. p∨q Mizar: p or q implikacja np. p→q Mizar: p implies q równoważność np. p≡q Mizar: p iff q zeroargumentowe: ⊤ (verum), ⊥ (falsum, Mizar: contradiction)