Intuicionistická logika: Porovnání verzí

Odebráno 8 bajtů ,  před 6 lety
m
WPCleaner v1.38b - Opraveno pomocí WP:WCW (HTML entity)
m (WPCleaner v1.34b - Opraveno pomocí WP:WCW (HTML entity - Popis odkazu před i za jeho koncem))
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í„není možno zkonstruovat“ a „je„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í.
134 038

editací