Incorrect Answer.
The formula
x
y M(x, y)
- literally says 'For all x and all y, x is a mother of y'.
- We can express this sentence more elegantly as 'Everybody is the
mother of everybody else'.
Not only does this sentence not say what we want, but it also ignores
all properties of motherhood.
Back to Question.
Next Question.