In Categorical Logic, each of the four categorical
propositions is composed of three elements:
- Subject Term - the subject of the proposition
- Predicate Term - the predicate of the proposition
- Copula - the verb connecting the subject and predicate terms
For example, in the Universal Affirmative proposition, All cats are mammals, ‘cats’ is the subject term, ‘mammals’ is the
predicate term, and ‘are’ is the copula.