Talk:Negation of Excluded Middle is False

From ProofWiki
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)