Intuicionistická logika: Porovnání verzí

Skočit na navigaci Skočit na vyhledávání
Přidáno 74 bajtů ,  před 17 lety
bez shrnutí editace
Bez shrnutí editace
 
Bez shrnutí editace
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ý.
 
 
[[Category: Informatika]]
[[Category: Matematika]]
[[Category: Logika]]

Navigační menu