Lógica Proposicional - (Lógica de Primeira Ordem)
Tabelas Verdade
Contradição (Proposições Contraválidas)