Questão em destaque · Q907030
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)
COPEVE/UFAL - FUNDEPES · Prefeitura de Maceió · 2017 · Professor II - Área Espanhol
Resolva a questão abaixo e continue estudando com o banco de questões.
P907030
ID: 907030
Raciocínio LógicoAssunto: Operações Lógicas / Conectivos Lógicos · Diagramas lógicos
Banca: COPEVE/UFAL - FUNDEPES
Ano: 2017
Nível: Superior
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)
Responda à questão para liberar o gabarito e as estatísticas.
Carregando plataforma de questões...