Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
Spistreści
Wstęp
9
1Dowodzeniewlogiceklasycznej
13
1.1
Klasycznyrachunekzdań.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.13
1.1.1
JęzykKRZ.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.13
1.1.2
AksjomatyzacjaKRZ.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.16
1.1.3
Dowód.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.17
1.2
Dedukcjanaturalna.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.20
1.2.1
Pierwotneregułyinferencji.
.
.
.
.
.
.
.
.
.
.
.
.
.
.20
1.2.2
Prostededukcje.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.21
1.2.3
Dowodyzałożeniowewprost.
.
.
.
.
.
.
.
.
.
.
.
.
.
.23
1.2.4
Dowodzenieniewprost.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.24
1.2.5
Dowodyadedukcje.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.26
1.2.6
Równoważności.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.28
1.3
Zaawansowanadedukcja.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.29
1.3.1
Stosowaniezałożeńdodatkowych.
.
.
.
.
.
.
.
.
.
.
.29
1.3.2
Poddowodywarunkowe.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.30
1.3.3
Poddowodyniewprost.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.32
1.3.4
Poddowodywielokrotneizagnieżdżone.
.
.
.
.
.
.
.
.33
1.4
Dodatkoweśrodkidowodowe
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.36
1.4.1
Reguływtórne.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.36
1.4.2
Regułyobustronne.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.38
1.4.3
Dodatkoweregułykonstrukcjidowodu.
.
.
.
.
.
.
.
.42
1.4.4
Dodatkowesposobydowodzeniarównoważności.
.
.
.45
1.5
Klasycznyrachunekkwantyfikatorów.
.
.
.
.
.
.
.
.
.
.
.
.
.47
1.5.1
Językipierwszegorzędu.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.48
1.5.2
Zmiennewolneizwiązane.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.51
1.5.3
Podstawianieizastępowanie.
.
.
.
.
.
.
.
.
.
.
.
.
.
.52
5
