With my recent success learning to encode Propositional Calculus using ProofPower (for my Discrete Math course), I have pressed on to Predicate Calculus.
So far, I have figured out the basics, but stuck on quantifiers from what I intuitively thought might work. Attached is my error message trying to quantify a negation. Any suggestions? Thank you, Dave
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
