Siendo:
A ↔ (B ˄ C) B → (F ˄ P) C → (Q ˅ R) R ↔ F P → Q F ˄ ¬P _________ ¿A?
A
¬A
(C ˄ D) → (F ˄ M) M ↔ (G ˅ H) F ↔ (S ˅ N) (N ˄ H) → ¬ C (G ˄ S) → ¬ D N ˄ G _____________________________ ¿(C ˄ D)?
(C ˄ D)
¬ (C ˄ D)
¬ (C ˅ D)