principle of excluded middle (Q6672121)

From MaRDI portal





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
default for all languages
No label defined
    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

    Identifiers

    0 references
    /m/04gs1
    1 reference
    Law-of-Excluded-Middle
    1 reference
    120453787
    1 reference
    4179179-4
    13 January 2018
    139728
    0 references
    028665120
    1 reference
    13 January 2018
    topic/law-of-excluded-middle
    law of excluded middle
    0 references
    137155000
    0 references
    terzo-escluso-principio-del
    terzo escluso, principio del (detto anche principio del medio escluso, o del mezzo escluso)
    0 references
    2022161
    ИСКЛЮЧЁННОГО ТРЕТЬЕГО ЗАКОН
    0 references
    udelukkelsesprincippet_-_logisk_begreb
    0 references