Intuicionistická logika: Porovnání verzí

Odebrány 3 bajty ,  před 12 lety
m
edit: náhrada entit
m (robot přidal: es:Lógica intuicionista)
m (edit: náhrada entit)
'''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'' ⇒ ''musí to existovat''
v intuicionistické logice obecně neplatí.