Search Details

Word: law of excluded middle (lookup usage) (lookup stats)


Meaning:

Noun:

  • logic An axiom of classical logic which states that, given a proposition ''P'', either ''P'' is true or ''P'' is false, i.e. in symbols: P ee
    eg P . This law is rejected by intuitionistic logic.

Source: Wiktionary | Src Info »