<philosophy of science, logic> a pair of categorical propositions which (provided that we assume existential import) cannot both be true, but can both be false. In the traditional square of opposition, an A proposition and its corresponding E proposition are contraries. Thus, for example: "All cars are green and No cars are green are contraries."

[A Dictionary of Philosophical Terms and Names]


Try this search on OneLook / Google

Nearby terms: contradiction « contradictories « contraposition « contraries » control flow » conventionalism » converse