A law in (2-valued) Logic which states there is no third alternative to Truth or Falsehood. In other words, every statement must be either or not-. This fact no longer holds in Three-Valued Logic or Fuzzy Logic.