Ano:2017Banca:Copeve/UFAL (Núcleo Executivo de Processos Seletivos), com a FundepesÓrgão:Secretaria Municipal de Educação de MaceióProva:COPEVE-UFAL - 2017 - SEMED-MCZ - Professor II – História
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)