Changes between Version 1 and Version 2 of Logic/Intuitionistic


Ignore:
Timestamp:
Jan 12, 2020, 4:13:06 AM (12 months ago)
Author:
schiptsov
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Logic/Intuitionistic

    v1 v2  
    11= Intuitionistic Logic =
     2
     3Whatever is not proven (explicitly demonstrated) to be {{{True}}} is logically {{{False}}}.
     4
     5''The law of excluded middle'' does not hold. (can't be demonstrated? - not {{{True}}}). Merely ''memes'' does not qualify.
     6