Note also, that every categorical syllogism has three terms. A categorical statement is a statement that relates two classes, sets, or categories. Categorical statements have four different standard forms. P. All ducks are animals. No humans are horses.
Some soldiers are cowards.
Some subatomic particles are not electrons. The significance of this will be discussed in greater detail, when we study predicate logic. If a statement affirms that one class is wholly or partially included in another class, then the quality is affirmative . If the statement denies that one class is wholly or partly included in another class, then the quality is negative . Universal statements refer to all members of the class denoted by the subject term.