Question: Using the ng predicates S(x) x is a student B(x) x is a book O(x,y) X owns y (x,y) x likca y translate the following



Using the ng predicates S(x) x is a student B(x) x is a book O(x,y) X owns y (x,y) x likca y translate the following sentence If a student likes a book, he or she owns it C (vx)(vy)t(s(x) & B (y) & L(x,y)) O(x,y)] O (v x)(vx)t(s(x) & B (x) & L(x,y)) O(x,y)] CO C(s(x) & B(y) & L(x, y)) O(x,y)]
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
