Question

Usando a tabela-verdade verifique quais das proposições a seguir são implicações tautológicas: a) (p → (q → r)) → ((p ˅ r) → ( q ˅ r)) b) (p ^ q) → ( p → ¬q) c) (p → q) → ((p ^ r) → (q → r)) d) ((p → ¬q)^(¬r ˅ q)^ r) → ¬p e) (p ^ q) → (p ˅ q)

Answer 1

F – V – V – F – F.

Temos que as afirmativas são, respectivamente: contingência, tautologia, tautologia, contingência e contradição.

Sendo assim, as proposições, considerando o resultado de cada tabela-verdade, podem se referir a uma tautologia, caso somente o valor verdade seja o resultado, e pode ser referir a uma contradição, quando se obtém somente o valor falso, e por sim, pode se referir a uma contingência, caso sejam obtidos valores verdadeiros ou falsos.

Bons estudos!