Question: 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

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: Every man owns a car that shines. O Vx(M(x))= y[(Cly)O(x,y)^S(y)] OVxy(M(x))=[(C(y)^2(x,y)^Sy)] OVxVy(M(x)^(C(y)^O(x,y)^Sy) O 3x(M(x)) =3y[(Cly)^O{x,y)^s(y)]
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
