fi poissuljetun kolmannen laki (suositeltu); kolmannen poissuljetun laki
en law of excluded middle; principle of bivalence
la tertium non datur
määritelmä
perinteisesti intuitiivisena pidetty klassisen logiikan periaate, jonka mukaan jokainen väitelause tai propositio on joko tosi tai epätosi, ts. että kolmatta vaihtoehtoa ei ole