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