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
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to