A form of logic discovered by Aristotle, reported in *Prior Analytics*, about 335 B.C. Also referred to as Aristotelian logic, or categorical logic. Later, the Stoics added a term of their own, propositional logic. With that said, a logical proposition can be made, referred to as a syllogism. A syllogism requires a major premise, a minor preface, and a conclusion. In some cases, a syllogism can contain an implication; more specifically, with the use of the terms "if," and "then." Any terms are used for variables. Thus, this is an excellent example of a syllogism, or syllogistic logical proposition and conclusion:

- Good noders have lots and lots of XP.
- N-Wing is a good noder,

therefore N-Wing has lots and lots of XP.
The actual Aristotelian syllogism is this:

See also: categorical syllogism, tautology, propositional logic, syllogism, logic

.