Question

Given loves(x, y):  x loves y; The logic statement  ∃y∀"x"  loves(x, y) refers to

A. Everyone loves everyone.

B. Everyone loves someone.

C. Someone loves everyone.

D. Someone loves someone

​

Answer 1

Answer:

c) is the answer .....OK

Answer 2

Someone loves everyone

∀ - this represents everyone

∃ - this represents someone

Given statement is x is loyal to y. Keeping all these information, we can say that “Someone loves everyone”.

The given statement is “x loves y”. So to find the hidden statement in the given question, we should substitute the meaning of the symbol. The first symbol is "∃”, so someone, next symbol is “∀” which represents “everyone”. So “someone loves everyone”.