From Zakład Logiki Stosowanej

Spis treści 1 Logika Matematyczna 1.1 Semestr zimowy (Klasyczny Rachunek Zdań) 1.2 Semestr letni (Klasyczny Rachunek Predykatów)

CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line

---

Logika Matematyczna

Semestr zimowy (Klasyczny Rachunek Zdań)

• Wprowadzenie.
• Semantyka KRZ.
• Aksjomatyczne ujęcie KRZ.
• Dowody założeniowe w KRZ.
• Dowody rezolucyjne w KRZ.
• Tablice analityczne dla KRZ.

• Dodatek 1. Dowody niektórych twierdzeń dot. semantyki KRZ.
• Dodatek 2. Trafność i pełność metody aksjomatycznej w KRZ.
• Dodatek 3. Twierdzenia o operacjach konsekwencji.
• Dodatek 4. Równoważność aksjomatycznego i założeniowego systemu KRZ.
• Dodatek 5. Lista tez i reguł wyprowadzonych na wykładach 8-9.
• Dodatek 6. Trafność i pełność metody rezolucji w KRZ.
• Dodatek 7. Trafność i pełność metody TA w KRZ. Przykłady. Zadania.

Semestr letni (Klasyczny Rachunek Predykatów)

• Semantyka KRP (1).
• Semantyka KRP (2).
• Semantyka KRP (3). Zadania.
• Monadyczny KRP.
• Własności relacji.
• Tablice analityczne dla KRP (1).
• Tablice analityczne dla KRP (2).
• Aksjomatyczne ujęcie KRP.
• Dowody założeniowe w KRP.
• Unifikacja i rezolucja w KRP.

• Dodatek 8. Dowody twierdzeń dotyczących semantyki KRP.
• Dodatek 9. Rozwiązania zadań z semantyki KRP.
• Dodatek 10. Trafność i pełność metody TA w KRP. Przykłady. Zadania.