There are four types of opposition between categorical propositions: contradictories, contraries, sub-contraries, and sub-alternation. Contradictories have the same subject and predicate terms but differ in quality and quantity, with one being the denial of the other. Contraries differ only in quality but have the same subject and predicate terms and quantity. Sub-contraries differ in quality but have the same subject, predicate, and quantity. Sub-alternation agrees in quality but differs in quantity. Examples of each type of opposition are provided.