Skip to main content
search

Two statements that cannot be simultaneously true or simultaneously false. In categorical logic, the A-proposition and O-proposition are contradictories, and the E- and I-propositions are contradictories. (See also A-proposition, O-proposition, E-proposition, and Iproposition.)