Summary Introduction Výroková logika Symboly a operace Pravdivostní tabulka Slovník Pravidla a zákony Věty Konverze Predikátová logika Hilbertův axiomatický systém