An Etymological Dictionary of Astronomy and Astrophysics

In a → syllogism, a → proposition or statement that deals with inclusion or exclusion of members of → subject classes in → predicate classes. Categorical propositions are of four basic forms, see → Aristotelian form.

See also: → categorical; → proposition.