KIF61

Wykaz skrótów terminologicznych stosowanych w ,,Ćwiczeniach”¹

RP — reguła podstawiania dla zmiennych zdaniowych (28)

RO —reguła odrywania (28, 33)

RZ reguła zastępowania definicyjnego (29)

DK —reguła dołączania koniunkcji (33)

OK — reguła opuszczania koniunkcji (33)

DA — reguła dołączania alternatywy (33)

OA — reguła opuszczania alternatywy (33)

DR — reguła dołączania równoważności (33)

OR reguła opuszczania równoważności (33)

ON - reguła opuszczania podwójnej negacji (37)

RP' reguła podstawiania dla zmiennych nazwowych (78)

O A — reguła opuszczania dużego kwantyfikatora w następniku ()ł) O V — reguła opuszczania małego kwantyfikatora w poprzedniku (71, DA — reguła dołączania dużego kwantyfikatora w następniku Cii)

D V — reguła dołączania małego kwantyfikatora w poprzedniku (78) RU — reguła uogólniania (78)

RP" — reguła podstawiania dla wyrażeń funkcyjnych (82j DA"- reguła dołączania dużego kwantyfikatora do tez (82)

R72. — reguła zamiany zmiennych związanych (82)

O A' — reguła opuszczania dużego kwantyfikatora (83. 90)

DA' — reguła dołączania dużego kwantyfikatora (83. 89)

O V' — reguła opuszczania małego kwantyfikatora (83)

D V' — reguła dołączania małego kwantyfikatora (83. 89)

Indeks pojęć

Łkyomit 24

algebra Boolc'a zbiorów 101-105 akerratywa 8, 13 argument funkcji 125 argument funktora 8

bincgacju IS

bW formalny wnioskowania 45 bUd materialny wnioskowania 4$

Cula zbiorów 106

definicje w systemie aksjomatycz-nym 25. 104 &um ót omul 66 dopełnianie się zdań 43 dopełnianie zbioru 88 dowody twierdzeń rachunku zbiorów 98

dowód w systemie aksjoma tycznym 24, 64. 101

dowód w systemie założeniowym 29-32. 67

dowód założeniowy wprost 29 —dowód mew prosi 31 dysjunkcja 18 dziedzina 59 dziedzina relacji 112

n — ZwicMou x k-fikl

element zbioru 81 entymemat 46

fałsz logiczny (sprzeczność wewnętrzna) 40

formuła zdaniowa 56

funkcja (relacja jednoznaczna; 122

—    odwracalna (różnowartościowa) 132

- odwrotna 132

—    zdaniowa 54 funktor 8

homomorfizm — zob. odwzorowanie homomorficzne

iloczyn (produkt) karteqański 109 iloczyn relatywny relacji (złożenie) 130

iloczyn rodziny zbiorów 105 iloczyn zbiorów 86 implikacja 8, 13 inkluzja relacji 127 inkluzja zbiorów (zawieranie się) 83 izomorfizm — zob. relacje izomorficzne. odwzorowanie izomorficzne

klasa abstrakcji 118-120 koniunkeya 8, 13

177

1

W nawiasach posiane są numery zaduń zawierających objaiatne danego terminu.