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



![? lay)[B(y) & ~L(y,x)]] (vx)(3x)[(S(x) ? [B(x) & ~L(x,y) ] (Vx)(ay)[(S(x) ?](https://dsd5zvtm8ll6.cloudfront.net/si.experts.images/questions/2024/09/66f3abc18932e_24966f3abc1263a8.jpg)
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
Get step-by-step solutions from verified subject matter experts
