Compound logical proposition that is always false, no matter what truth values are attributed to its components.
Synonym for a proposition that is always false.
In Boolean logic, algebra in which all propositions that are true, are false, but not both at the same time. The “principle of non-contradiction” is the law that says that we cannot confirm and deny the same proposition at the same time; it is impossible for one thing to be something and not be it, or for it to have one property and not have it, at the same time.
Example
The proposition “P: all whole numbers are even and odd at the same time” is a contradiction, because it is always false.