Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — COPEVE-UFAL 2018
Raciocínio LógicoEquivalência Lógica e Negação de Proposições
- Código
- qq327732
- Banca
- COPEVE-UFAL
- Órgão
- UFAL
- Ano
- 2018
- Nível
- Superior
Considerando que os símbolos ¬, ∧, ∨ e → representam negação, conjunção, disjunção e implicação, respectivamente, indique em qual conjunto de fórmulas não é possível inferir contradição.
- A{A ∧ B, A → C, ¬C}
- B{¬(A ∧ B), ¬(¬A ∨ ¬B)}
- C{¬A ∨ B, A ∨ C, ¬B ∧ C}
- D{A ∨ ¬B, B ∧ C, ¬A ∧ C}
- E{¬A → ¬B ∧ B, A → ¬B ∧ B}