Every man loves a woman can be represented logically as either:
∀ X : man(X) (∃ Y : woman(Y) (loves(X, Y)))
∃ Y : woman(Y) (∀ X : man(X) (loves(X, Y)))
Bill Wilson's contact info Last updated: