Questão 754513

• Banca: Marinha
• Órgão: Quadro Complementar
• Ano: 2011
• Provas: Marinha - 2011 - Quadro Complementar - Segundo-Tenente - Engenharia de Computação
• Disciplina: Algoritmos e Estrutura de Dados
• Assuntos: Algoritmos; Lógicas de Programação

Qual é a formula lógica equivalente a (P↔Q) na lógica proposicional?

• A. ((P → Q) ∧( P →Q))
• B. ((P∧Q) ∧(P →Q))
• C. ((P →Q) ∧(P∧Q))
• D. ((P∧Q)∧(P∧Q))
• E. ((P →Q)∧(Q →P))

Gabarito: E

Comentários

• O gabarito é a letra E.

   

  Essa equivalência é definição. A ida P=>Q é verdadeira e a volta Q=>P também.