Välistatud kolmanda seadus ehk välistatud kolmanda reegel ehk välistatud kolmanda printsiip ehk välistatud kolmanda põhilause (ka tertium non datur, principium exclusi tertii) on reegel loogikas, mille kohaselt tõene on kas propositsioon või tema eitus, kolmandat võimalust pole.[1][2]
Välistatud kolmanda reegli kehtivust eeldab klassikaline loogika. Seevastu intuitsionistlik loogika selle kehtivust vajalikuks ei pea.
Välistatud kolmanda seadus jätab ka võimaluse, et ei propositsioon ega selle eitus ei ole tõesed. Selle välistab välistatud kolmanda seadusest tugevam bivalentsi printsiip.
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
