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.