What is the first order predicate calculus statement equivalent to the…
GATE · 2005 · CS
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)]]
Attempted by 192 students.
Sign up free to check your answer
Sign up freeLoading lesson…