Lógica Matemática

Proposições, conectivos, operações lógicas sobre proposições, construção de tabelas-verdade, tautologias, contradições e contingências, implicação lógica e muito mais.