A proposição ∼ (p ⋀ ∼ p) é um exemplo de uma:
Ⓐ Tautologia
Ⓑ Contradição
Ⓒ Contingência
Ⓓ Implicação hipotética
Ⓔ Disjunção Exclusiva
A proposição ∼ (p ⋀ ∼ p) é uma tautologia.
Isso porque "(p ⋀ ∼ p)" é uma contradição.
Quando você nega uma contradição, o resultado sempre será verdadeiro.
Portanto, ∼ (p ⋀ ∼ p) é verdadeira para todas as valorações possíveis de p, tornando-a uma tautologia.
Nenhum comentário:
Postar um comentário