I. Wybrane tezy rachunku zdań

1. Zasada tożsamości

2. Zasada podwójnego przeczenia

3. Zasada sprzeczności

4. Zasada wyłączonego środka

5. Prawo redukcji do absurdu

6. Prawo symplifikacji

7. Prawo przemienności koniunkcji

8. Prawo addycji

9. Prawo przemienności alternatywy

10. Pierwsze prawo de Morgana

11. Drugie prawo de Morgana

12. Modus ponendo ponens

13. Modus tollendo tollens

14. Prawo Dunsa Szkota

15. Prawo transpozycji

16. Prawo przemienności równoważności

17. Prawo łączności koniunkcji

18. Prawo łączności alternatywy

19. Prawo rozdzielności koniunkcji względem alternatywy

20. Prawo rozdzielności alternatywy względem koniunkcji

21. Prawo komutacji

22. Prawo eksportacji

23. Prawo importacji

24. Prawo sylogizmu hipotetycznego

25. Prawo dylematu konstrukcyjnego

II. Wybrane Tezy Rachunku predykatów

1. Prawo zastępowania dużego kwantyfikatora przez mały kwantyfikator

2. Prawo przestawiania dużych kwantyfikatorów

3. Prawo przestawiania małych kwantyfikatorów

4. Prawo przestawiania małego kwantyfikatora z dużym

5. Prawo negowania dużego kwantyfikatora

6. Prawo negowania małego kwantyfikatora

7. Prawo zastępowania dużego kwantyfikatora

8. Prawo zastępowania małego kwantyfikatora

9. Prawo rozkładania dużego kwantyfikatora względem implikacji

10. Prawo rozkładania małego kwantyfikatora względem implikacji

11. Prawo rozkładania dużego kwantyfikatora względem koniunkcji

12. Prawo rozkładania małego kwantyfikatora względem alternatywy

13. Prawo składania dużego kwantyfikatora względem alternatywy

14. Prawo rozkładania małego kwantyfikatora względem koniunkcji

15. Prawo ekstensjonalności dla dużego kwantyfikatora

16. Prawo ekstensjonalności dla małego kwantyfikatora

III. Twierdzenia rachunku zbiorów

1. Jedno twierdzenie odnosi się do inkluzji między zbiorami

2. Trzy twierdzenia odnoszą się do sumy zbiorów

3. Trzy twierdzenia odnoszą się do iloczynu zbiorów

4. Dwa twierdzenia wskazują na związki między sumami i iloczynami zbiorów

5. Dwa twierdzenia odnoszą się do różnicy zbiorów

6. Dwa twierdzenia wskazują na związki między sumami, iloczynami i różnicami zbiorów

7. Dwa twierdzenia odnoszą się do dopełnienia zbioru

8. Dwa twierdzenia wskazują na związki między sumami, iloczynami i dopełnieniami zbiorów

IV. Relacje

1. Dziedzina relacji R

2. Przeciwdziedzina relacji R

3. Pole relacji R

4. Relacja R jest zwrotna…

5. Relacja R jest zwrotna w zbiorze Z…

6. Relacja R jest niezwrotna w zbiorze Z…

7. Relacja R jest przeciwzwrotna w zbiorze Z…

8. Relacja R jest symetryczna w zbiorze Z…

9. Relacja R jest niesymetryczna w zbiorze Z…

10. Relacja R jest przeciwsymetryczna w zbiorze Z…

11. Relacja R jest przechodnia w zbiorze Z…

12. Relacja R jest nieprzechodnią w zbiorze Z…

13. Relacja R jest przeciwprzechodnia w zbiorze Z…

14. Relacja R₁ jest konwersem relacji R₂…

15. Relacja R₁ jest iloczynem względnym relacji R₂ i R₃…

16. Relacja R jest spójna w zbiorze Z…

17. Dwuczłonowa relacja R jest funkcją jednoargumentową…