Argument Sample 3
(Click "Prove" to run)
Premises:
(forall (?X ?Y) (=> (and (F ?X) (F ?Y)) (F (A2 ?X ?Y)))) (exists ?X (forall ?Y (and (F ?X) (=> (F ?Y) (G (A2 ?X ?Y))))))
Conclusion:
(exists ?X (and (F ?X) (G ?X)))
Proof Trace