Planning to take coaching on Unacademy
http://bit.ly/gate_unacademy
or
https://unacademy.com/
here is a code for 10% off PLUS1BPK1
Telegram Notification Group link:-
https://t.me/joinchat/X5egW_cvdt9kMGY1
Telegram discussion Group link:-
https://t.me/joinchat/VCyGUmVq8RNkMzhl
Downloads resources from here
https://education4fun.com/gate-cse/
MCQ (Single Correct Answer)
GATE CSE 2005
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)]]
