
I. The 'usual' example of the 'Barbara' syllogism: All
men are mortal,
II. Another (inference) form: All
men are mortal,
III. The same, in the form of an implication: If
all men are mortal
IV. Generalized: If
all B is A
V. The actual Aristotelian syllogism: If
A is predicated of all B
A thorough discussion of Aristotle's logic may be found in: Jan Lukasiewicz. Aristotle's Syllogistic from the Standpoint of Modern Formal Logic. Oxford, 1951. 
rah.feb.99
