Välistatud kolmanda reegel

Allikas: Vikipeedia
Jump to navigation Jump to search

Välistatud kolmanda reegel (ka tertium non datur) on reegel loogikas, mille kohaselt tõene on kas propositsioon või tema eitus, kolmandat võimalust pole.

Välistatud kolmanda reegli kehtivust eeldab klassikaline loogika. Seevastu intuitsionistlik loogika selle kehtivust vajalikuks ei pea.