Law of the excluded middle

For any proposition, either that proposition is true, or its negation is.
Open parent cardset ("Hegel")