Considerando que os símbolos ¬, ∧, ∨ e → representam negação...

Próximas questões
Com base no mesmo assunto
Q942170
Raciocínio Lógico Tautologia, Contradição e Contingência ,
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)
Alternativas

Comentários

Veja os comentários dos nossos alunos

resposta B. Fiz Tabela Verdade para responder

Contradição

Contradição é uma proposição cujo valor lógico é sempre falso.

Resposta é B. Fiz a tabela verdade.

Galera, também fiz por tabela-verdade, mas acho que isso leva muito tempo na prova. Alguém sabe como fazer mais rápido uma questão como essa?

As duas primeiras deram TAUTOLOGIA , já a terceira deu CONTINGÊNCIA. ( corrijam-me se eu estiver errado)

Clique para visualizar este comentário

Visualize os comentários desta questão clicando no botão abaixo

Questões de assuntos semelhantes

Provas relacionadas