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)

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 blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!