- one of two propositions that can both be true but cannot both be false.
- (of a pair of propositions) related such that they cannot both be false at once, although they may be true together
- a statement that cannot be false when a given statement is false
