Embora a tabela-verdade seja um mecanismo bastante simples para verificar a validade de um argumento, não é a única forma de validação. Existem out...

Embora a tabela-verdade seja um mecanismo bastante simples para verificar a validade de um argumento, não é a única forma de validação. Existem outros métodos para a validação de argumentos que são mais eficientes que tabelas-verdade: prova e refutação. A regra de inferência é um padrão que estabelece como uma nova fórmula pode ser gerada a partir de outras duas. As regras de inferência clássicas são: modus ponens, modus tollens e silogismo hipotético.