alternatywa zdań
alternatywa wykluczająca
dopełnienie zbioru
dowód niewprost
dowód wprost
implikacja zdań
indukcja matematyczna
liczność sumy i różnicy zbiorów
liczność zbioru
podzbiór
prawa de Morgana dla zbiorów
prawa de Morgana dla zdań
prawo kontrapozycji
prawo odrywania
prawo przechodniości implikacji
prawo przechodniości inkluzji
przekrój zbiorów
równoważność zdań
różnica zbiorów
tautologia
twierdzenie
twierdzenie odwrotne
wartość logiczna zdania
warunek dostateczny
warunek konieczny
zbiory rozłączne
zbiór
zbiór nieskończony
zbiór pusty
zbiór skończony
zbiór uniwersalny
zasada indukcji
zdanie logiczne