1. The logical relationship between a universal affirmative proposition and a universal negative proposition with the same terms. Contrary propositions cannot both at the same time be true but can both at the same time be false. The following propositions are contraries: “All men are mortal.” “No men are mortal.”