KIF63

schemat zdania w rachunku zdań 8 schemat zdania w rachunku fcwan-tyfikatorów 47, 4S skrzyżowanie podziałów 107 spójniki ckstcnsjonalne (prawdziwościowe) 13 spójniki inlccsjonalnc 19 sprzeczność 40, 43, 45 sute logiczne 33 suma relacji 128 suma rodziny zbiorów 105 suma zbiorów 86 sylogistyka 89 sylogizm 92

system aksjomatyczny rachunku kwaniyfiknlorów 62, 66 system aksjomalyczny rachunku zdań 24-28

system założeniowy rachunku kwantyfikatorów 67-70 system założeniowy rachunku zdań 28*32

wartość funkcji 125 wartość logiczna zdania 12 wnioskowanie dedukcyjne 37, i_fc

_ cntymeniatyczne(eniymcmat)śt

_ subiektywnie niepewne 37

- subiektywnie pewne 37, 76 wykluczanie się zdań 42 Wykresy Vcnna 96 wynikanie logiczne 35, 74

Spis rzeczy

tautologia rachunku kwanlyfikato-rów (klasycznego rachunku logicznego) 58

tautologia rachunku zdań 19 termin pierwotny 25 termin pochodny 25 trójka uporządkowana 126 twierdzenie pierwotne 24 twierdzenie pochodne 28

uniwersum 88

założenia (supozycje) 29, 31 zasada ckstcnsjnnalności 81 zasięg kwantyfikatora 52 zbiory rćwnolicznc 136 zbiór ilorazowy 119

—    jednostkowy 82

—    pełny (uniwersalny) 88

—    potęgowy 105

—    pusty 82

zbiór sprzeczny (zdań) 40 zdania wzajemnie dopełniające sję 143

zdania logicznie niezależne 44 zdania wewnętrznie sprzeczne 40 zdania wzajemnie sprzeczne 43 zdania wykluczające sie (wzajemnie niezgodne) 42, 127 zdanie kategoryczne 89 zdanie w sensie logicznym 7 zmienna objęta kwantyfikatorem 52 zmienna nozwowa (indywiduowa)47

—    predykatowa 47

—    wolna 53

—    zdaniowa 8

—    związana 53

Wstęp..........

Część ł — Klasyczny rachunek logiczny

Rachunek zdań......

Rachunek kwantyfikatorów .    .    .

Część U — Rachunek zbiorów i relacji

Zaduda kontrolne......

Aneks ..........

Wikazówki........

Rozwiązania zadań kontrolnych

Notacja logiczna......

Wykaz skrótów terminologicznych .    .

“A. Poięć........

5

7

7

47

81

141

152

152

160

173

176

177