Intuicionistická logika: Porovnání verzí

Velikost nezměněna ,  před 5 lety
bez shrnutí editace
m (WPCleaner v1.38b - Opraveno pomocí WP:WCW (HTML entity))
'''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éaristotelské]]) logiky neplatí princip [[negace]] negace. Například [[implikace]]:
:''Něco nemůže neexistovat'' ⇒ ''musí to existovat''
v intuicionistické logice obecně neplatí.
Neregistrovaný uživatel