For two different persons π₯ and π¦, the predicate π(π₯, π¦) denotes that xβ¦
GATE Β· 2026 Β· CS Β· Set 2 Β· Computer Science & IT
For two different persons π₯ and π¦, the predicate π(π₯, π¦) denotes that x knows y. Consider the following statement.
There is a person who does not know anyone else, but that person is known by everyone else.
Which one of the following expressions represents the above statement?
- A.
(βy)(βx) ((x β y) β (M(x,y) β§ Β¬M(y,x)))
- B.
(βy)(βx) ((x β y) β (M(x,y) β§ Β¬M(y,x)))
- C.
(βy)(βx) ((x β y) β (M(x,y) β§ Β¬M(y,x)))
- D.
(βy)(βx) ((x β y) β (M(x,y) β§ Β¬M(y,x)))
Attempted by 79 students.
Sign up free to check your answer
Sign up freeLoading lessonβ¦