With my recent success learning to encode Propositional Calculus using
ProofPower (for my Discrete Math course), I have pressed on to Predicate

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

Reply via email to