Usando a tabela-verdade verifique quais das proposições a
seguir são implicações tautológicas:
a) (p → ( → )) → (( ˅ ) → ( ˅ ))
b) (p ^ q) → ( → ¬)
c) (p → ) → (( ^ ) → ( → ))
d) ((p → ¬)^(¬ ˅ )^ ) → ¬
e) (p ^ q) → (p ˅ q)
Soluções para a tarefa
Resposta:
carisma boa noite!
pelos conectivos
a) contingencia (quando o resultado da tabela da V/F
b) tautologia (quando o resultado da tabela da somente V
c) tautologia (quando o resultado da tabela da somente V
d) contingência (quando o resultado da tabela da V/F
e) contradição ( quando o resultado da tabela da somente F
Explicação passo-a-passo:
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!