wiki:Logic/Intuitionistic

Intuitionistic Logic

Whatever is not proven (explicitly demonstrated) to be True is logically False.

The law of excluded middle does not hold. (can't be demonstrated? - not True). Merely memes does not qualify.

Last modified 11 months ago Last modified on Jan 12, 2020, 4:13:06 AM
Note: See TracWiki for help on using the wiki.