Sejam p e q duas proposições lógicas simples e E uma expressão composta a par...

Sejam p e q duas proposições lógicas simples e E uma expressão composta a partir de p e q, exclusivamente. Sabe-se que a expressão E é logicamente equivalente à expressão [(p ˄ q) ˅ ((~p)...


Sejam p e q duas proposições lógicas simples e E uma expressão composta a partir de p e q, exclusivamente. Sabe-se que a expressão E é logicamente equivalente à expressão [(p ˄ q) ˅ ((~p) ˅ (~q))].

A expressão lógica E é um(a)

🚀 Desbloqueie a explicação completa

Veja comentários detalhados e resoluções exclusivas para entender o gabarito desta questão.

  • David Castilho
    David Castilho
    31/12/1969 • 21:00
    Gabarito: e)

    A expressão lógica E é uma tautologia.

    Uma tautologia é uma expressão lógica que é sempre verdadeira, não importando os valores de verdade das proposições simples envolvidas. No caso da expressão dada, ela é logicamente equivalente à expressão [(p ∧ q) ∨ ((¬p) ∨ (¬q))].

    Para verificar que a expressão é uma tautologia, podemos construir uma tabela verdade:

    | p | q | p ∧ q | ¬p | ¬q | (p ∧ q) ∨ ((¬p) ∨ (¬q)) |
    |-----|-----|-------|-----|-----|--------------------------|
    | V | V | V | F | F | V |
    | V | F | F | F | V | V |
    | F | V | F | V | F | V |
    | F | F | F | V | V | V |

    Como podemos ver na última coluna da tabela verdade, a expressão é sempre verdadeira, o que a caracteriza como uma tautologia.
🔒
Conteúdo restrito

Cadastre-se para visualizar comentários e resoluções.

Criar conta grátis

Utilizamos cookies e tecnologias semelhantes para aprimorar sua experiência. Política de Privacidade.