Intuicionistická logika: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot přidal: pl |
0 = není možno, 1 = je možno |
||
Řá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í „
:''Něco nemůže neexistovat'' ⇒ ''musí to existovat''
v intuicionistické logice obecně neplatí.
|