Intuicionistická logika: Porovnání verzí

Přidáno 102 bajtů ,  před 16 lety
m
rozsireni jedne vety
m (warnfile Přidal:it,tr)
m (rozsireni jedne vety)
'''Intuicionistická logika''' je druh [[logika|logiky]], který nepoužívá [[princip vyloučeného třetího]]. Pravdivostní hodnoty 0 a 1 v ní znamenají „je možno zkonstruovat“ a „není možno zkonstruovat“. Na rozdíl od běžné (například [[Aristotelés|Aristotelské]]) logiky neplatí princip [[negace]] negace. Například [[implikace]]:
:''Něco nemůže neexistovat'' ⇒ ''musí to existovat''
v intuicionistické logice obecně neplatí.
 
Taková implikace je použita například při důkazu věty z [[matematická analýza|matematické analýzy]], podle níž z každé omezené [[posloupnost]]i lze vybrat [[konvergence|konvergentní]] podposloupnost. Nemožnost takového výběru lze snadno dovést do sporu. Z hlediska intuicionistické logiky je ale takový důkaz chybný, protože nedává obecný návod ke konstrukci limity takové posloupnosti v konečném počtu kroků.
 
[[Kategorie:Logika]]