Law of excluded fourth

Redirect to:

• Three-valued logic#.C5.81ukasiewicz logic