Question

Use a lógica proposicional para provar que o argumento é válido:
1) (P→ Q) ∧(¬ P→ Q) → Q
2) ¬(A ∧ B) ∧ ¬ (¬ C ∧ A) ∧ ¬ (C ∧ ¬ B) → ¬ A

Answer 1

que como assim não entendi