Rachunek zdań i rachunek zbiorów – skorowidz

alternatywa zdań
alternatywa wykluczająca

dopełnienie zbioru
dowód niewprost
dowód wprost

forma zdaniowa

implikacja zdań
indukcja matematyczna

inkluzja (zawieranie) zbiorów

liczność sumy i różnicy zbiorów
liczność zbioru

koniunkcja zdań

negacja zdania

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

suma 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