Após a montagem de qualquer proposição composta na tabela-verdade, podemos classificar seu resultado de três maneiras: Tautologia Contradição Conti...

Isso mesmo! Após a montagem da tabela-verdade de uma proposição composta, podemos classificar seu resultado em três tipos: tautologia, contradição e contingência. Uma proposição é uma tautologia quando seu valor lógico é sempre verdadeiro, independentemente dos valores lógicos das proposições simples que a compõem. Uma proposição é uma contradição quando seu valor lógico é sempre falso, independentemente dos valores lógicos das proposições simples que a compõem. Uma proposição é uma contingência quando seu valor lógico é verdadeiro em algumas situações e falso em outras, dependendo dos valores lógicos das proposições simples que a compõem.