Talk:Negation of Excluded Middle is False
Jump to navigation
Jump to search
Deletion request
"What's the point?"
Point 1: It's a nice lemma for proving that LEM follows from Clavius' Law (hence Peirce's Law) and from double negation elimination.
Point 2: It's "paradoxical" in that someone just beginning to learn about intuitionistic logic is likely to be surprised that this is intuitionistically provable.
I think those are enough. --Dfeuer (talk) 05:34, 31 May 2013 (UTC)
- Point 2: There is that. Well argued. --prime mover (talk) 06:27, 31 May 2013 (UTC)