How can I represent the first order logic statement "nobody is a mother of themself".?

80 Views Asked by At

How can I represent the first order logic statement "nobody is a mother of themself".? Not sure if the quantifiers/logic is correct, but my guess would be:

all x all y ((MotherOf(x, y) AND -MotherOf(y, x)).
1

There are 1 best solutions below

0
On BEST ANSWER

Final answer for this question as: all x (-MotherOf(x, x)).

It means that nobody can be mother of themself.