Descrição do Programa:

Breve digressão histórica.
Cálculo proposicional.
Fórmulas tautológicas, contra-válidas e indeterminadas.
Redução do número de conectivos.
Problema de Post. (opcional)
Álgebra dos interruptores. (opcional)
Argumentos válidos.
Teorema da dedução.
Axiomatização do cálculo proposicional. (opcional)
Cálculo de predicados.
Quantificadores. Fórmulas.
Argumentos.
Axiomatização do cálculo de predicados de 1 ordem. (opcional)
Noção sobre teorias formalizadas. (opcional)