Katedra Logiki KUL
Lublin 2012/13
Spis treści
1. Wprowadzenie............................... 2
2. Co każdy logik wiedzieć powinien................... 3
2.1. Teoria zdań kategorycznych...................... 3
2.2. Kwantyfikatory — Węższy rachunek predykatów.......... 6
2.2.1. Metoda sprawdzania niektórych wyrażeń rachunku
predykatów za pomocą diagramów Venna.......... 9
2.3. Wybrane pojęcia teorii zbiorów i relacji............... 12
2.3.1. Pojęcie zbioru, działania na zbiorach i stosunki między
zbiorami............................ 12
2.3.2. Pojęcie relacji i niektóre własności relacji.......... 15
3. Co każdy logik umieć powinien..................... 19
3.1. Zadania................................. 19
3.1.1. Stare sylogizmy........................ 19
3.1.2. Kwanty fikatory ........................ 23
3.1.3. Zbiory i relacje......................... 25
3.2. Zagadki................................. 26
Literatura.................................... 28