Método da Premissa Verdadeira
Método da Conclusão Falsa
Método da Tabela Verdade
Método da Não Contradição