in logic, either of a pair of propositions related to each other in such a way that both may be true but both cannot be falsesubcontrary adj