Академический Документы
Профессиональный Документы
Культура Документы
Raciocínio Lógico
Teoria
TABELA-VERDADE
TAUTOLOGIA
DEFINIÇÃO: Uma Proposição composta que é sempre valorada como V independentemente das valorações V ou F
das proposições simples que as compõem é denominada Tautologia.
¬(AvB)⟶[(¬A)ʌ(¬B)]
CONTRADIÇÃO
DEFINIÇÃO: Uma Proposição composta que é sempre valorada como F independentemente das valorações V ou F
das proposições simples que as compõem é denominada Contradição.
(AVB) ʌ[(¬A)ʌ(¬B)]
CONTINGÊNCIA
DEFINIÇÃO: Uma Proposição composta que não é tautologia nem contradição é denominada contingência.
(A⟶B) ʌ (A v B)