Dělení:
Syntaxe predikátové logiky:
- Jazyk predikátové logiky
- Logické symboly
- Speciální symboly
- Pomocné symboly
- Predikátová logika s rovností
- Term
- Formule
- Atomická formule PL
- Relaxace PL
- Syntaktický strom formule PL
- Podformule
- Vázaný výskyt
- Volný výskyt
- Vázaná proměnná
- Volná proměnná
- Legální přejmenování vázané proměnné
- Rovnost formulí PL
- Sentence
- Otevřená formule
Sémantika predikátové logiky:
- Interpretace jazyka
- Univerzum
- Kontext proměnných
- Update kontextu
- Interpretace termu
- Pravdivá formule v interpretaci při kontextu
- Pravdivá sentence v intepretaci
- Model sentence
- Sentence splnitelná
- Sentence tautologie
- Sentence kontradikce
- Ne/Splnitelná množina sentencí
- Model množiny sentencí
- Sémantický důsledek PL
- Tautologicky ekvivalentní PL
- Tautologicky ekvivalentní úpravy
- Přehození pořadí kvantifikátorů
- Vytýkání kvantifikátorů před konjunkci a disjunkci
- Prenexní tvar
- Převod do prenexního tvaru
- Resoluční metoda
- Převedení na problém (ne)splnitelnosti