dy-of-Message-->
<PRE>

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

DLOG.  Note B2

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Example 1.  A Polymorphous Concept

I start with an example that is simple enough that it will allow us to compare
the representations of propositions by venn diagrams, truth tables, and my own
favorite version of the syntax for propositional calculus all in a relatively
short space.  To enliven the exercise, I borrow an example from a book with
several independen