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)).
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)).
Final answer for this question as:
all x (-MotherOf(x, x)).It means that nobody can be mother of themself.