2,931 views

1 Answer

1 votes
1 votes
F(x,z):x is father of z

M(z,y):z is mother of y

R(x,y):x is father of mother of y

= $\forall x,y  \exists z$ (F(x,z)^M(z,y))

No related questions found