A categorical statement is any statement that asserts a whole or partial relationship between the subject and predicate terms of the statement. There are four standard categorical propositional forms.

How do you identify a categorical statement?

The combination of quantity and quality give us four different forms of categorical statements. These are identified by the four letters A, E, I, and O. The four forms are: A: universal, affirmative; E: universal, negative; I: particular, affirmative; O: particular, negative.

What are categorical statements?

In logic, a categorical proposition, or categorical statement, is a proposition that asserts or denies that all or some of the members of one category (the subject term) are included in another (the predicate term).