Logic Tools — Interactive Venn Diagram for Categorical Propositions (A, E, I, and O)
I recently worked on programming an interactive Venn diagram for categorical propositions, to easily teach the way that the four standard-form categorical propositions (A, E, I, and O) are represented with a Venn diagram:
A Statement: All S are P.
E Statement: No S are P.
I Statement: Some S are P.
O Statement: Some S are not P.
In a Venn diagram for categorical propositions, shading in a region is used to indicate that the region is empty (for type A and E statements), while an X is used to indicate that there exists at least one object in a region (for type I and O statements).
Try the interactive Venn diagram below and see if you can figure out how to represent each of the four standard-form categorial propositions listed above.
Tip: Click or tap within each region to rotate through the possible markings within that region. The Venn digram will indicate when you have successfully represented one of the standard-form categorical statements.