No.11861401 ViewReplyOriginalReport
Disproof of law of excluded middle

Given the statement S: ¬S, by substituting S into ¬S we get ¬¬S which is S. So S implies S and not S.

Assuming the law of excluded middle, this is false so the law of excluded middle says ¬S. However, S is defined as ¬S, so the conclusion is S and ¬S. The axiom of law of excluded middle results in a contradiction, so the law of excluded middle is false