Pular para o conteúdo principal

Questão de Raciocínio Lógico — Tautologia, Contradição e Contingência — COPEVE-UFAL 2016

Raciocínio LógicoTautologia, Contradição e Contingência
Código
qq165408
Banca
COPEVE-UFAL
Órgão
Prefeitura de Delmiro Gouveia - AL
Ano
2016
Nível
Superior
Cargo
Assistente Social
Considerando que os símbolos ¬, ∧, ∨, → e ↔ representam a negação, conjunção, disjunção, condicional e bicondicional, respectivamente, qual alternativa apresenta um par de fórmulas equivalentes?
  1. A(A ↔ B) e ((A → B) ∧ (A ∨ ¬B)).
  2. B(A ∧ ¬B) e ((A ∨ B) ↔ A).
  3. C¬(A → B) e (¬A → ¬B).
  4. D¬(A ∧ B) e (¬A ∧ ¬B).
  5. E(A → B) e (¬A ↔ B).
Revelar gabarito e comentário

GabaritoA — (A ↔ B) e ((A → B) ∧ (A ∨ ¬B)).

Link permanente: /questoes/qq165408