Categorical proposition

A categorical proposition is a type of statement in logic that asserts a relationship between two categories or classes. It typically makes a claim about the inclusion or exclusion of one category within another. Categorical propositions are often expressed in a standard form that includes a subject and a predicate, along with a quantifier that indicates the extent to which the statement holds.