<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