(oratio enunciativa), not the meaning of an assertion, as in modern philosophy of language and logic. A categorical proposition is a simple proposition containing two terms, subject and predicate , in which the predicate is either asserted or denied of the subject.

Every categorical proposition can be reduced to one of four logical forms,