There is a student in the class who has sent an e-mail to everyone else in the class,Consider domain as all students in a class.
Assume M(x,y) means x has send an email to y
Answer given is :- ∃x∀y[(x≠y)→M(x,y)]
it's gonna result in True if the x=y and the student has sent himself an email
Shall we use ^ consider instead of -> ?Please correct