Examples of Categorical Logic and Venn Diagrams

In each of these examples, two premises and a conclusion will be presented.

The goal is to determine if the conclusion is valid assuming that the premises are true.

First, all and only the premises will be represented in a single Venn diagram.

Then we will see if the content of the conclusion is contained in the Venn diagram.

If the conclusion is contained in the Venn diagram, then the conclusion is valid.

If the conclusion is not contained in the Venn diagram, then the conclusion is not valid.


Example 1
Example 2
Example 3
Example 4
Example 5
Example 6
Example 7
Example 8
Example 9
Example 10
Example 11