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

 Using the following predicates S(x) x is a student B(x) -

x is a book O(x,y)-x owns y L(x,y)-x likes y translate the

following sentence Every student does not like at least one book. (Vx)[(S(x)

? lay)[B(y) & ~L(y,x)]] (vx)(3x)[(S(x) ? [B(x) & ~L(x,y) ] (Vx)(ay)[(S(x) ?

Using the following predicates S(x) x is a student B(x) - x is a book O(x,y)-x owns y L(x,y)-x likes y translate the following sentence Every student does not like at least one book. (Vx)[(S(x) ? lay)[B(y) & ~L(y,x)]] (vx)(3x)[(S(x) ? [B(x) & ~L(x,y) ] (Vx)(ay)[(S(x) ? [B(y) & ~L(x,y)]] (Vx)[(S(x) ? lay)[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!