19. Výroková logika a predikátová logika
Syntax a sémantika výrokové logiky. Splnitelnost a platnost. Logická ekvivalence a logický důsledek. Normální formy. Jazyk predikátové logiky prvního řádu. Syntax, termy a formule, volné a vázané proměnné. Dokazování ve výrokové a predikátové logice. Prvořádové teorie a jejich vlastnosti.