Lembre-se dos fundamentos de Raciocínio Lógico para resolver as questões

Question

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.

Accepted Answer

{¬A ∨ B, A ∨ C, ¬B ∧ C}

Answer

{A ∧ B, A → C, ¬C}

Answer

{¬(A ∧ B), ¬(¬A ∨ ¬B)}

Answer

{A ∨ ¬B, B ∧ C, ¬A ∧ C}

Answer

{¬A → ¬B ∧ B, A → ¬B ∧ B}

Q33362 - COPEVE-UFAL Enfermeiro 2018