Semantic structural ambiguity example

Every man loves a woman can be represented logically as either:

∀ X : man(X) (∃ Y : woman(Y) (loves(X, Y)))

or

∃ Y : woman(Y) (∀ X : man(X) (loves(X, Y)))


Bill Wilson's contact info
Last updated: