InterviewSolution
Saved Bookmarks
| 1. |
What is the first order predicate calculus statement equivalent to the following?Every teacher is liked by some student(A) ∀(x) [teacher (x) → ∃ (y) [student (y) → likes (y, x)]](B) ∀ (x) [teacher (x) → ∃ (y) [student (y) ^ likes (y, x)]](C) ∃ (y) ∀ (x) [teacher (x) → [student (y) ^ likes (y, x)]](D) ∀ (x) [teacher (x) ^ ∃ (y) [student (y) → likes (y, x)]] |
| Answer» | |