(logic) Any of a pair of propositions, that cannot both be true or both be false.
If one proposition is the negation of another, it followstrivially from the definition that the two propositions are contradictories. The converse does not hold. Two propositions can be contradictorieswithout either being the negation of the other. For example:
   3) John is more than six feet tall
and
   4) John is either exactly six feettall or elseless than six feet tall
are contradictories, but neither is the negation of the other. Negation is one way, but not the only way, of forming a contradictory.