 After an exposition of the basics of Aristotle’s treatment of syllogistic, in which he criticises earlier commentators and notes that Aristotle originated the method of rejected forms in order to show not just which are the valid syllogisms but also to prove the invalid forms to be such, Łukasiewicz presents his formalization of categorical syllogistic, based on the following logical expressions