law of contradiction
noun Logic.
the law that a proposition cannot be both true and false or that a thing cannot both have and not have a given property.
Dictionary.com Unabridged
Based on the Random House Unabridged Dictionary, © Random House, Inc. 2019