Used chiefly in logic to denote a proposition that directly contradicts another.
Definitions
A proposition that cannot be both true and false at the same time, standing in direct logical opposition to another proposition. “Some swans are black” is the contradictory of “All swans are white.”