.1. Rachunek zdań .1.1. Metoda 0-1 (tabelka) .1.2. Dowód nie wprost .2. Rachunek kwantyfikatorów .3. Rachunek zbiorów .4. Relacje .4.1. Elementarne .4.2. Złożone .4.2.1. Relacja równoważności (klasy abstrakcji) .4.2.2. Relacja porządku (diagram Hassego) .4.2.3. Relacja preferencji (krzywe obojętności) |