principle of excluded middle (Q13424)

From Azupedia
Revision as of 15:26, 20 July 2023 by Fire (talk | contribs) (‎Created claim: instance of (P2): theorem (Q213))
Jump to navigation Jump to search
logical principle stating that for every proposition, either it or its negation is true
  • tertium non datur
  • law of excluded middle
  • axiom of excluded middle
  • excluded middle
  • principle of the excluded third
  • law of the excluded third
Language Label Description Also known as
English
principle of excluded middle
logical principle stating that for every proposition, either it or its negation is true
  • tertium non datur
  • law of excluded middle
  • axiom of excluded middle
  • excluded middle
  • principle of the excluded third
  • law of the excluded third

Statements

0 references