Sejam p e q duas proposições. Considere a sentença S dada po...
Construindo a tabela verdade acima, os valores lógicos da sentença S (de cima para baixo) são:
- Gabarito Comentado (1)
- Aulas (5)
- Comentários (3)
- Estatísticas
- Cadernos
- Criar anotações
- Notificar Erro
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