|
| two propositions are contradictories if both cannot be true (or both cannot be false) at the same time | ||||
|
| of words or propositions so related that both cannot be true and both cannot be false | ||||
|
| [in logic] a statement that is necessarily false |