OK, I said I would do it, so here it is. A small example of what I've spent a good part of the semester in Symbolic Logic class doing.

Take the phrase "Everybody Loves Raymond" (used for its recognizability)

To symbolize this, we change the phrase to thus: For all X, if X is a person, then X loves Raymond. Raymond is represented by r. X Loves Raymond is represented by Lxr. X is a person is representedy by Px. Got it? The sentence in QL - Quantificational Logic.

(x) (Px > Lxr)

The alligator mouth is really a horseshoe in this language, but I dunno the html for one.

Who wants to learn more???