Definition of law of contradiction
: a principle in logic: a thing cannot at the same time both be and not be of a specified kind (as a table and not a table) or in a specified manner (as red or not red)
