Show that the two sentences are not equivalent:
∀x∃yR(x,y), ∀x∃yR(y,x)
Domain:
R(_,_):
∀x∃yR(x,y), ∀x∃yR(y,x)
Domain:
R(_,_):