If it was not exactly what the conclusion’s diagram would look like, then it was not. Venn gave us a simple, turn-the-crank means of clearly seeing why the 15 forms of the Aristotelian syllogism ...

Venn used the diagrams to prove a form of logical statement known as a categorical syllogism. This can be used to model reasoning. Here’s an example: “All computers need power.