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). The study of
arguments using categorical statements (i.e.,
syllogisms) forms an important branch of
deductive reasoning that began with the
Ancient Greeks.