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