Pular para o conteúdo principal

Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — CPCON 2023

Raciocínio LógicoEquivalência Lógica e Negação de Proposições
Código
qq860144
Banca
CPCON
Órgão
Prefeitura de Caturité - PB
Ano
2023
Nível
Superior
Aproposição { [ (A→B )→~A] ˄ (A ˄~ B ) } →[ (A ˄ ~ B ) ˅B ] é logicamente equivalente a qual das proposições a seguir?
  1. A[ (A ˄ ~ B ) ˅ B ] →{ [ ( ~A ˅ B ) ˄ A] ( ~A ˄ B ) }
  2. B[ (A ˄ ~ B ) ˅ B ] ↔ { [ ( ~A ˅ B ) ˄ A] ˅( ~A ˄ B ) }
  3. C[ (A ˄ ~ B ) ˅ B ] ˄ B] ˅ { [ ( ~A ˅ B )˄ A] ˅ ( ~A ˄ B ) }
  4. D[ (A ˄ ~ B ) ˅ B ] ˅ { [ ( ~A ˅ B ) ˄ A] ˄ ( ~A ˄ B ) }
  5. E~ { [ (A→B ) → ~A] ˄ (A ˅ ~ B ) } →~ [ (A ˄ ~ B ) ˅ B ]
Revelar gabarito e comentário

GabaritoD — [ (A ˄ ~ B ) ˅ B ] ˅ { [ ( ~A ˅ B ) ˄ A] ˄ ( ~A ˄ B ) }

Link permanente: /questoes/qq860144