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
qq166165
Banca
COPEVE-UFAL
Órgão
UFAL
Ano
2016
Nível
Superior
Considerando que os símbolos ¬, ∧, ∨, → e ↔ representam a negação, conjunção, disjunção, condicional e bicondicional, respectivamente, qual alternativa apresenta uma tautologia?
  1. A(A ∧ B) ∨ (A ∧ ¬B)
  2. B(A → B) ∧ (¬A ∧ ¬B)
  3. C(A ∧ B) ↔ (B ↔ A)
  4. D(A → B) ↔ (¬B → ¬A)
  5. E(¬A → ¬B) ∨ ¬(A → B)
Revelar gabarito e comentário

GabaritoD — (A → B) ↔ (¬B → ¬A)

Link permanente: /questoes/qq166165