The presentation will be divided into two parts. At the beginning of the presentation we will introduce Aristotle's and Peterson's square of opposition. Then we introduce classical Peterson's rules of distributivity, quality and quantity. We will show invalid forms of syllogisms with a demonstration of how Peterson's rules works.
The second part of the presentation will be devoted to generalized Peterson's rules. At the end of the presentation we will show how these rules could be applied for the verification of syllogisms with more quantifiers and more premises.