I am sorry to bother you again but can you do this problem in predicate calculus,i would like to see the face of my lecturer to show him a proof in predicate calculus.
Thanks
Last edited by archidi; Oct 13th 2008 at 04:06 PM.
Reason: forgot the name Plato