KIF61

Wykaz skrótów terminnln, • stosowanych w „Ćwic₂eńi^h“^VCh

RP

RO

RZ

DK

OK

DA

OA

DR

OR

ON

-reguła podstawiania dla zmiennych zdaniowych _łMl

—    reguła odrywania (28, 33)    ^>ch

—    reguła zastępowania definicyjnego (29)

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

—    reguła opuszczania koniunkcji (33)

—    reguła dołączania alternatyw)' (33)

—    reguła opuszczania alternatywy (33)

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

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

—    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 (78> O V — reguła opuszczania małego kwantyfikatora w poprzedniku (71) D A — reguła dołączania dużego kwantyfikatora w następniku 08)

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 (82)

D A"-- reguła dołączania dużego kwantyfikatora do tez (82)

RZZ — 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 <*»

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

• W nawiasach podane są numery ^zadań

zawierających

danego terminu.

Indeks pojęć

Softoolc'a ^°^{rów 101}’¹⁰⁵

•rratywa 8, 13 puent funkcji 125 uocnt funktora S

bincgacja IS

HiJ formalny wnioskowania 45 bU<ł materialny wnioskowania 45

cięto zbiorów 106

definicje w systemie aksjomaty ce-n>m 25. 104

tur ram ót omni 66 dopełnianie się zdań 43 dopełnianie zbioru 88 dowody twierdzeń rachunku zbiorów 98

dowód w systemie aksjomat >^,cznym 24, 64, 101

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

dowód założeniowy wprost 29 -dowód niewprost 31 dysjunkcja 18 dziedzina 59 dóedziaj relacji ,,,

¹¹ - Cwtotoi, ,

element zbioru 81 entymcmat 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 homomorfkzne

iloczyn (produkt) kartezjań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 koniunkcja 8, 13

177