(of a statement) consisting of a subject, S, and a predicate, P, each of which denotes a class, and having one of the following forms: all S are P (universal affirmative); some S are P (particular affirmative); some S are not P (particular negative); no S are P (universal negative)