A categorical syllogism is a deductive argument with two
premises, in which the premises and the conclusion are
categorical propositions.
A categorical proposition, in turn, is a statement that makes a
straightforward assertion with no "ifs," "ands," or "buts."
Categorical propositions are typically expressed by simply structured
sentences containing a subject and a predicate, but not
conjunctions or the other grammatical devices involved in more
complex sentences.