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 estekak aldatu
Datuak: Q468422
|
Artikulu hau zirriborroa da. Wikipedia lagun dezakezu edukia osatuz. |