The calculus of logic

by George Boole

s. The subject is universal-affirmative, the predicate particular-negative.

In the proposition Some

s are not-

s, the subject is particular-affirmative, the predicate particular-negative. In the proposition All not-

s are

s the subject is universal-negative, the predicate particular-affirmative, and so on.