(n)contrarya logical relation such that two propositions are contraries if both cannot be true but both can be false