Dělení:
Syntaxe výrokové logiky:
- Jazyk výrokové logiky
- Logické spojky
- Logické proměnné
- Závorky
- Formule výrokové logiky
- Atomická formule
- Relaxace
- Syntaktický strom formule
- Rovnost formulí
Sémantika výrokové logiky:
- Pravdivostní ohodnocení u
- Pravdivá formule v ohodnocení u
- Splnitelná formule
- Tautologie
- Kontradikce
- Tautologicky ekvivalentní
- Booleovská funkce
- Úplný systém logických spojek
- Booleova algebra
- Normální forma
- Literál
- Minterm
- Maxterm
- Klausule
- DNF
- CNF
- Úplná DNF
- Úplná CNF
- Ireducibilní DNF
- Ireducibilní CNF
- Nesplnitelná množina formulí
- Splnitelná množina formulí
- Sémantický důsledek
Resoluční metoda:
- Resoluční metoda
- Klausální tvar
- Resolventa
- Ekvisplnitelné
Přirozená dedukce:
- Přirozená dedukce
- Základní odvozovací pravidla
- Odvození
- Logický důsledek
- Logicky ekvivalentní
- Věta
Algoritmy:
- Převod formule na DNF
- Převod formule na CNF
- Resoluční metoda