Princip bivalence

V logika, princip bivalence je to pro některého problém P, jeden P je pravdivý nebo P je falešný.

Toto je blízko vztahoval se k, ačkoli zřetelný od, právo vyloučeného středa a právo non-rozpor. Vidět bivalence a příbuzný práva pro shrnutí rozdílů.

V klasická logika a fuzzy logika, princip bivalence je ekvivalentní k výsledku to nejsou tam žádné problémy, které jsou žádný pravdivý ani falešný.

Toto následuje, protože nějaké sdělení musí mít pravdivou hodnotu, takový jak pravdivý, falešný, nebo jestliže žádný ti drží, to musí mít třetí pravdivou hodnotu (který je cesta fuzzy logiky ven). Ale to je klasický způsob, jak myslet na logiku, a už ne zadrží intuitionistic logika.

V Intuitionistic logika, někdy jeden nemůže určit pravdivou hodnotu, a v té situaci, jeden jen opustí to u toho. Jeden nepokusí se přiřadit neurčitou pravdivou hodnotu.

Teorém to nejsou tam žádné problémy, které jsou žádný pravdivý ani falešný má jednoduchý důkaz v intuitionistic logika:

Definovat ¬ jak ( & rarrrozpor) i. e., lživé prohlášení je jedno od kterého jeden může odvodit rozpor. Toto je standard intuitionistic definice čeho to je pro sdělení být nepravdivý.

Tak používat tuto definici, jestliže my máme ( & a¬ ) toto může být psáno jak ( & a( & rarrrozpor)) & rarrrozpor)

Tak ( & a¬ ) & rarrrozpor

Tak ¬ ( & a¬ )

V intuitionisitic logika, dohad je pravdivý jestliže dokázaný. To je nepravdivé jestliže ukázaný vést k rozporu. Jeden může říkat, že to je jeden pravdivý nebo nepravdivý jestliže tam je metoda, která je zaručil rozhodnout problém v konečném množství kroků, a dokonce jestliže to nebylo rozhodnuto přesto. Jestliže žádný z těch platit, jeden nemůže říkat něco vůbec o pravdě / falši. Jeden pak opustí to u toho.

Také známý jak Tertium non datur (Latina).