Question: S(x) x is a student B(x) - x is a book 0(x,y)-x owns y L(x,y) - x likes y translate the following sentence Each student

 S(x) x is a student B(x) - x is a book

0(x,y)-x owns y L(x,y) - x likes y translate the following sentence

Each student likes a book that he or she owns. [S(x)-(x)[B(x) &

O(xy) & L(xy)l1 (vx)[S(x)-+ ( x)[B(x) & O(x,y) & L(x,y)]] (Vx)[S(x) ?

(3)[B(y) & 0(x,y) & L(x,y)]] (vx)[S(x) ? (ay)[B(y) & L(x,y)]]

image text in transcribed

S(x) x is a student B(x) - x is a book 0(x,y)-x owns y L(x,y) - x likes y translate the following sentence Each student likes a book that he or she owns. [S(x)-(x)[B(x) & O(xy) & L(xy)l1 (vx)[S(x)-+ ( x)[B(x) & O(x,y) & L(x,y)]] (Vx)[S(x) ? (3)[B(y) & 0(x,y) & L(x,y)]] (vx)[S(x) ? (ay)[B(y) & L(x,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!