I.1. Język Klasycznego Rachunku Zdań 13
I.2. Tautologiczność formuł 20
I.3. Wzajemna definiowalność funktorów 27
I.4. Postaci normalne 32
I.5. Reguły normalne 37
I.6. Dowodzenie założeniowe 47
I.7. Zestawienie niektórych ważniejszych tautologii KRZ 50
I.8. System aksjomatyczny Klasycznego Rachunku Zdań 53
I.9. Elementy rachunku Gentzena dla KRZ 62
I.10. System drzew diadycznych Smullyana dla KRZ 67
I.11. Zestawienie schematów ważniejszych tez KRZ 71
II.1. Język Klasycznego Rachunku Predykatów 73
II.2. Tautologiczność formuł 79
II.3. Preneksowa postać normalna 86
II.4. Reguły normalne 88
II.5. Zestawienie niektórych ważniejszych tautologii KRP 92
II.6. System aksjomatyczny Klasycznego Rachunku Predykatów 93
II.7. Zestawienie schematów ważniejszych tez KRP 99
I.1. Język Klasycznego Rachunku Zdań 13
I.2. Tautologiczność formuł 20
I.3. Wzajemna definiowalność funktorów 27
I.4. Postaci normalne 32
I.5. Reguły normalne 37
I.6. Dowodzenie założeniowe 47
I.7. Zestawienie niektórych ważniejszych tautologii KRZ 50
I.8. System aksjomatyczny Klasycznego Rachunku Zdań 53
I.9. Elementy rachunku Gentzena dla KRZ 62
I.10. System drzew diadycznych Smullyana dla KRZ 67
I.11. Zestawienie schematów ważniejszych tez KRZ 71
II.1. Język Klasycznego Rachunku Predykatów 73
II.2. Tautologiczność formuł 79
II.3. Preneksowa postać normalna 86
II.4. Reguły normalne 88
II.5. Zestawienie niektórych ważniejszych tautologii KRP 92
II.6. System aksjomatyczny Klasycznego Rachunku Predykatów 93
II.7. Zestawienie schematów ważniejszych tez KRP 99
0.00 zł