Välistatud kolmanda seadus

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.

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

Loogika