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:
Using Venn diagrams can be viewed as reasoning. If the argument is valid and the conclusion must be determined from the premises that are represented in the diagram
Each form of reasoning has a convertient, a premise that is equivalent but with opposite
Example: