Cálculo sentencial: estudo semântico (tábuas de verdade e tautologias) e sintático (dedução natural, formas normais e método axiomático) do cálculo sentencial. Provas e consistência, completude e decidibilidade. Cálculo dos predicados: estudo semântico (interpretações, modelos e validade) e sintático (dedução natural, formas prenexas, método axiomático) do cálculo dos predicados. Provas de consistência e completude.
