Lógica Matemática
Ementa: Termos, Enunciados e Proposições. Quantificadores. Juntores. Enunciados Primos e Compostos. Tabela Verdade de Enunciados Compostos. Tautologias, Contingências e Contradições. Equivalência e Implicação Tautológica. Regras de Dedução. Métodos de Prova.