Question: using the following predicates C(x) x is a car M(x) x is a man O(x,y) x owns y W (x, y) x washes y s(x)


using the following predicates C(x) x is a car M(x) x is a man O(x,y) x owns y W (x, y) x washes y s(x) x shines P(x) x is pleased translate the following English statement into predicate logic: If a man washes a car, the car shines and the man is pleased O [M (x) C (y) W (x,y)] [S(y) P(x)]
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
