Logic of class
The logic of class is a branch of logic that distinguishes valid from invalid syllogistic reasonings by the use of Venn Diagrams.
In syllogistic reasoning each premise takes one of the following forms, referring to an individual or class of individuals. For example: