Considerando que os símbolos ¬, ∧, ∨ e → representam negação...
Próximas questões
Com base no mesmo assunto
Ano: 2017
Banca:
COPEVE-UFAL
Órgão:
Prefeitura de Maceió - AL
Prova:
COPEVE-UFAL - 2017 - Prefeitura de Maceió - AL - Técnico Administrativo |
Q942170
Raciocínio Lógico
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)
I. (A → ¬(A ∧ B)) → B
II. (¬A ∧ ¬B) → ¬(A ∧ B)
III. (A → ¬(¬A ∧ B)) → (B ∧ ¬B)
verifica-se que é(são) contradição(ões)