The logical relationship between a universal affirmative proposition and a particular negative proposition with the same terms, or between a universal negative proposition and a particular affirmative proposition with the same terms. Contradictory propositions cannot both at the same time be true and cannot both at the same time be false. The following propositions are contradictories: “All men are mortal”; “Some men are not mortal.”