Intuicionistická logika: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot přidal: ru:Интуиционистское исчисление высказываний |
m Odstranění linku na rozcestník Konvergence s použitím robota - Změněn(y) odkaz(y) na konvergentní posloupnost |
||
Řádek 3:
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 (matematika)|posloupnost]]i lze vybrat [[
Intuicionistická logika úzce souvisí s [[teorie vyčíslitelnosti|teorií vyčíslitelnosti]]. Pravdivost v intuicionistické logice lze ztotožnit s algoritmickou řešitelností.
| |||