Dr. Toida,

On the exam from 1995, I have a question concerning the terminology.  In 
question 1, it states "Express the assertions given below as a proposition of 
a prediate logic using the predicate <=."

Does this mean: P(x,y) where the predicates is "x is <= y"?

Thanks.