i.
,(EEx)\cup ((AAy)\cup (M(x,y)))
ii.
,(AAy)\cup ((EEx)\cup (M(x,y)))
b. Translate the following statement into logical notation using quantifiers and the proposition
M(x,y)
: "Every one has a maternal grandmother."