# Example:Everybody loves somebody

(Redirected from Raymond)

When writing down quantified statements, the order of the quantifiers matters. For example, the following are very different:

• means "everybody loves somebody"
• means "there is somebody that everyone loves"

A proof of the first fact might proceed by choosing an arbitrary , and then defining as 's mother; then reasoning that everybody loves their mother, so loves [/itex]y[/itex].

A proof of the first fact would have to start by specifying a value of ; this can't depend on because isn't defined yet. So, there would have to be a single person (for example, let Raymond), and argue that since loves raymond, must love .