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 2006
Consider the following first order logic formula in which R is a binary relation symbol.
∀x∀y (R(x, y) = R(y, x))
The formula is
(A) satisfiable and valid(B) satisfiable and so is its negation(C) unsatisfiable but its negation is valid(D) satisfiable but its negation is unsatisfiable
