Dear members,

I have included three new, very brief proofs illustrating a set
theoretic interpretation of the classical syllogism in the latest
version of the Sample Proofs directory. These will be of interest to
students and instructors of introductory logic at the college level.

For an introduction to classical syllogisms, see the Wikipedia
article at:
http://en.wikipedia.org/wiki/Syllogism


Syllogism #1 (Classical form)
------------

All men are mortal
Socrates is a man
-------------------
Socrates is mortal


Syllogism #2
------------

No reptiles have fur
All snakes are reptiles
------------------------
No snakes have fur


The Fallacy of the Undistributed Middle
---------------------------------------

All P's are Q's
x is a Q
---------------
x is a P


To get these proofs, you can download them individually at:
http://www.dcproof.com/Syllogism1
http://www.dcproof.com/Syllogism2
http://www.dcproof.com/FallacyUM

OR

Download the latest version of DC Proof 1.0 (dated 2007-06-12) at my
website:
http://www.dcproof.com

OR

Download the latest version of DC Proof 1.0 directly by clicking on:
http://www.dcproof.com/dcpsetup.exe

Dan