Sejam p e q duas proposições. Considere a sentença S dada po...

Próximas questões
Com base no mesmo assunto
Q3878403 Raciocínio Lógico
Sejam p e q duas proposições. Considere a sentença S dada por: (p → q) ↔ (~p ∨ q) e a tabela verdade abaixo. 

Q14.png (170×125)

Construindo a tabela verdade acima, os valores lógicos da sentença S (de cima para baixo) são:
Alternativas

Gabarito comentado

Confira o gabarito comentado por um dos nossos professores

Clique para visualizar este gabarito

Visualize o gabarito desta questão clicando no botão abaixo

Comentários

Veja os comentários dos nossos alunos

Não é tão difícil, mas é necessário saber as regras dos conectivos e de equivalência:

O enunciado deu os valores de p e q, então é só substituir na sentença e completar com o "resultado" na tabela verdade:

Mas antes...

  • 1º passo: saber que na bicondicional (↔) para a proposição ser verdadeira, os valores lógicos devem ser iguais.
  • 2º passo: saber que (~p ∨ q) equivale a (P → Q) [dica do NEouMA - Nega "v" Mantém]

Pronto! Agora vai ficar mais fácil, pois você pode notar que tanto a primeira quanto a segunda proposição são iguais!

  • p = V / q = V, substituindo, ( V → V) ↔ (V → V) = V ↔ V, então VERDADEIRA
  • p = V / q = F, subsituindo, ( V → F ) ↔ ( V → F) = F ↔ F, então VERDADEIRA
  • p = F / q = V, substituindo, ( F → V ) ↔ ( F → V ) = V ↔ V, então VERDADEIRA
  • p = F / q = F, substituindo, ( F → F ) ↔ ( F → F) = V ↔ V, então VERDADEIRA.

(Gabarito: Letra A)

achei razoável... por ser FGV

Dica para agilizar sem precisar fazer a tabela verdade:

Quando tivermos uma Bicondicional {Se, somente se} em problemas de tautologia, contradição e contingência. (X<->Y)

---> Se X e Y forem proposições equivalentes, a bicondicional será uma tautologia.

---> Se X e Y forem proposições em que uma é a negação da outra, a bicondicional será uma contradição

Percebam que a 2º parte da Bicondional é uma Disjunção inclusiva (OU), e que a 1º parte é uma Condicional (Se, Então). Sendo assim, vamos transformar essa 1º parte também em um (OU) usando o macete do (SentOU NeyMar)

  • Se então vira OU
  • Nega a 1º parte
  • Mantém a 2º parte

(p → q) vai virar (~p v Q)

Perceba que agora ficamos com os dois lados IGUAIS (~p ∨ q) ↔ (~p ∨ q), então temos uma tautologia (Todos os valores da tabela verdade são V)

Clique para visualizar este comentário

Visualize os comentários desta questão clicando no botão abaixo