Computer Science And Engineering

Computer Science And EngineeringEngineering MathematicsMultiple Select (MSQ)2 Marks
Q2.

Which of the following predicate logic formulae/formula is/are CORRECT representation(s) of the statement: “Everyone has exactly one mother”?

The meanings of the predicates used are:

  • mother(y,x)mother(y, x): yy is the mother of xx
  • noteq(x,y)noteq(x, y): xx and yy are not equal
A
xyz(mother(y,x)¬mother(z,x))\forall x \exists y \exists z (mother(y, x) \wedge \neg mother(z, x))
B
xy[mother(y,x)z(noteq(z,y)¬mother(z,x))]\forall x \exists y [mother(y, x) \wedge \forall z(noteq(z, y) \to \neg mother(z, x))]
C
xy[mother(y,x)z(mother(z,x)¬noteq(z,y))]\forall x \forall y [mother(y, x) \to \exists z(mother(z, x) \wedge \neg noteq(z, y))]
D
xy[mother(y,x)¬z(noteq(z,y)mother(z,x))]\forall x \exists y [mother(y, x) \wedge \neg \exists z(noteq(z, y) \wedge mother(z, x))]