Question

Lógica matemática
Leia atentamente o texto a seguir:
"Uma proposição bicondicional tem valor-verdade (v) se, e somente se, as duas proposições que a compõem tiverem a mesmo valor-verdade (V) ou (F)."

Após esta avaliação, caso queira ler o texto integralmente, ele está disponível em: BISPO, Carlos Alberto Ferreira. CASTANHEIRA, Luiz Batista SOUZA FILHO, Oswaldo Melo. Introdução à logica matemática.

De acordo com essas informações do texto acima e os conteúdos do livro-base Introdução à lógica matemática para acadêmicos Verifique se a expressão dada a seguir é uma proposição tautológica ou contingente:


(pV~q) ↔ (~p^q)
p q ~p ~q (pV~q) (~p^q) (pV~q) ↔ (~p^q)
V
V
F
F

Answer 1

Explicação:

p q ~p ~q (pV~q) (~p^q) (pV~q) ↔ (~p^q)

V V F F V F F

V F F V V F F

F V V F F V F

F F V V V V V

É uma contingência, pois para ser uma tautologia, os valores verdade de (pV~q) ↔ (~p^q) deveriam ser todos verdadeiros, o que não acontece.