Intuicionistická logika: Porovnání verzí
Smazaný obsah Přidaný obsah
Bez shrnutí editace |
Bez shrnutí editace |
||
Řádek 3: | Řádek 3: | ||
v intuicionistické logice obecně neplatí. |
v intuicionistické logice obecně neplatí. |
||
Taková implikace je použita například při důkazu věty z matematické analýzy, podle níž z každé omezené posloupnosti lze vybrat 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ý. |
Taková implikace je použita například při důkazu věty z matematické analýzy, podle níž z každé omezené posloupnosti lze vybrat 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ý. |
||
[[Category: Informatika]] |
|||
[[Category: Matematika]] |
|||
[[Category: Logika]] |
Verze z 23. 9. 2004, 09:50
Logika, 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 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ýzy, podle níž z každé omezené posloupnosti lze vybrat 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ý.