Questão
ID 146903Disciplina: Raciocínio Lógico
Assunto: Contradição
Ano: 2017 Banca: COPEVE/UFAL - FUNDEPES Órgão: Prefeitura Municipal de Maceió
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)