Obsah // Úvod...4 // I. Prvky výrokové logiky...5 // 1. Výrok, skládání výroku...5 // 2. Výrokové formule...14 // II. Prvky teorie množin a predikátové logiky...26 // 1. Množina a množinová symbolika...26 // 2. Výrokové formy a jejich obory...33 // 3. Množinové vztahy...41 // 4. Množinové operace...51 // 5. Složené výrokové formy o jedné proměnné...83 // 6. Kvantifikované výrokové formy - obecný a existenční výrok...92 // Literatura...99 // 3