two propositions are contradictories if both cannot be true (or both cannot be false) at the same time