Wieczorek K. Logika dla opornych

2002. — 263 s.Celem tego podręcznika nie jest systematyczny wykład logiki. Niniejsza pozycja przeznaczona jest przede wszystkim dla tych, którzy pobieżnie zetknąwszy się z logiką, na przykład jako z przedmiotem wykładanym podczas krótkiego kursu na wyższej uczelni, z przerażeniem stwierdzili, że nic z tego nie rozumieją. Przyświeca mi cel pokazania takim osobom, że wbrew pozorom logika wcale nie jest taka trudna, jak by się to mogło początkowo wydawać, a jej nauka nie musi przypominać drogi przez mękę.Spis treści:Rozdział I Klasyczny rachunek zdań
1.1. Schematy zdań
1.2. Tabelki zero-jedynkowe i ich zastosowanie
1.3. Tautologie i kontrtautologie
1.4. Skrócona metoda zerojedynkowa
1.5. Prawda logiczna i zdania wewnętrznie sprzeczne
1.6. Wynikanie logiczne
1.7. Wnioskowania
Rozdział II Sylogistyka
2.1. Schematy zdań
2.2. Sprawdzanie poprawności sylogizmów metodą diagramów venna
2.3. Sprawdzanie poprawności sylogizmów przy pomocy metody 5 reguł
2.4. Kwadrat logiczny
2.5. Inne prawa wnioskowania bezpośredniego
Rozdział III Klasyczny rachunek predykatów
3.1. Schematy zdań
3.2. Dodatek: stałe indywiduowe i znak „=”
3.3. Tautologie i kontrtautologie
3.4. Reguły w rachunku predykatów
Rozdział IV Nazwy i definicje
4.1. Nazwy i ich rodzaje
4.2. Stosunki między nazwami
4.3. Definicje
Rozdział V Zbiory
5.1. Podstawowe wiadomości o zbiorach
5.2. Stosunki między zbiorami
5.3. Działania na zbiorach
5.4. Prawa rachunku zbiorów typu bezzałożeniowego
5.5. Założeniowe prawa rachunku zbiorów
Rozdział VI Relacje
6.1. Co to jest relacja
6.2. Dziedziny i pole relacji
6.3. Własności formalne relacji
6.4. Działania na relacjach
6.5. Zależności między relacjami