Intuicionistická logika: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot přidal: es:Lógica intuicionista |
m edit: náhrada entit |
||
Řádek 1:
'''Intuicionistická logika''' je druh [[logika|logiky]], který nepoužívá [[princip vyloučeného třetího]]. Pravdivostní hodnoty 0 a 1 v ní znamenají „není možno zkonstruovat“ a „je 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''
v intuicionistické logice obecně neplatí.
| |||