Hirugarrena baztertzearen printzipio

Esakune bat egiazkoa edo faltsua dela eta beste aukerarik ez dagoela dioen printzipioa. Beraz, proposizio batez eta haren ezeztapenaz osatutako disjuntziozko proposizio konposatua tautologikoa da ( P ∨ ¬ P). Logika klasikoaren oinarrietako bat da.

Logikan, hirugarrena baztertzearen printzipioa, latinezko tertium non datur edo principium tertii exclusi perpaus oro egia ala faltsua dela ezartzen duen printzipioa da; perpausaren izaerari buruz hirugarren aukera bat, egiaz eta faltsuaz gainera, baztertzetik dator izena.

Kanpo estekakAldatu


  Artikulu hau zirriborroa da. Wikipedia lagun dezakezu edukia osatuz.