Categorical Logic

There are four types of categorical sentences that can be represented using Venn Diagrams. Moving your mouse over the sentence number button will show the two circle Venn diagram representation of the sentence.

A-type:  All S are P.

E-type:  No S are P.

I-type:  Some S are P.

O-type:  Some S are not P.

Note that there is a Venn diagram alternative to the A-type and an alternative to the E-type of categorical sentence. These alternative diagrams are not as good since the diagrams above picture the categorical sentences in a much more general way. The diagrams above, which are more general, should be used instead of the alternatives.