Q. Consider the following sentences:
· John likes at least one dish Jane likes.
· Everybody likes some food
· Whenever someone likes at least one spicy dish, they’re happy.
· Every city has a dogcatcher who has been bitten by every dog in town.
Translate these sentences into formulas in predicate logic.
Ans.:
· John likes at least one dish Jane likes.
$F food (F) Ù likes (Jane, F) Ù likes (john, F)
· Everybody likes some food
"X $F food (F) Ù likes (X, F)
· Whenever someone likes at least one spicy dish, they’re happy.
"X $F food (F) Ù spicy (F) Ù eats (X, F) ® happy(X)
· Every city has a dogcatcher who has been bitten by every dog in town.
"T $C "D city(C) ® (dogcatcher(C, T) Ù (dog (D) Ù lives-in (D, T) ® bit (D, C)) )