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

• (COPEVE-UFAL 2017)

Considerando que os símbolos ¬, ∧, ∨ e → representam negação, conjunção, disjunção e implicação, respectivamente, dadas as fórmulas,
I.(A → ¬(A ∧ B)) → B
II.(¬A ∧ ¬B) → ¬(A ∧ B)
III.(A → ¬(¬A ∧ B)) → (B ∧ ¬B)
verifica-se que é(são) contradição(ões)


A) I, apenas.

B) III, apenas.

C) I e II, apenas.

D) II e III, apenas.

E) I, II e III.


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

Vamos para o Anterior: Exercício 13

Tente Este: Exercício 70

Primeiro: Exercício 1

VOLTAR ao índice: Raciocínio lógico