What is the meaning of the following FOL formulas natural la
What is the meaning of the following FOL formulas natural language?
1. bought(Frank, dvd) 2. 3x.bought(Frank, x) 3. Vx.(bought(Frank, x) bought(Susan, x)) 4· (yx.bought(Frank. X)) (yx.bought(Susan. X 5. Vx3y.bought(x, y) 6. 3xVy.bought(x, y) 7. 3s Vh Student(s) A Taking(s,AI A HomeworkFor(h,AI) A -Hates(s.h) 8. Mushroom(x) Poisonous(x) ^ Purple(x) ) ))Solution
1) frank bought DVD
2) Their exists x which is bought by frank
3) All the x which frank bought are also bought by susan
4) Fank bought all the x then susan bought the same x
5) Their exixts y for all x, which are bought
6) for all y their exista x, which are bought
7) their exixts students, who takes all the home work for AI does not hate home workfor AI
8) All mushrooms are not poisonous and purple
