Raciocínio lógicoTabelas-verdade tautologia contradição e contingência

• (COPEVE-UFAL 2016)

Considerando que os símbolos ¬, ∧, ∨, → e ↔ representam a negação, conjunção, disjunção, condicional e bicondicional, respectivamente, qual alternativa apresenta uma tautologia?


A) (A ∧ B) ∨ (A ∧ ¬B)

B) (A → B) ∧ (¬A ∧ ¬B)

C) (A ∧ B) ↔ (B ↔ A)

D) (A → B) ↔ (¬B → ¬A)

E) (¬A → ¬B) ∨ ¬(A → B)


Próximo:
EXERCÍCIOS - Exercício 39

Vamos para o Anterior: Exercício 37

Tente Este: Exercício 24

Primeiro: Exercício 1

VOLTAR ao índice: Raciocínio lógico