Talk:Equivalence of Logical Consequence and Logical Implication

Why no proof by contradiction? What is wrong with the idea? I think proofs by contradiction are essential. --Heooo

It's still there, I just commented it out of the page by putting it between . See here to edit the page and finish the proof. Once it's done, go ahead and remove the comment tags. --Cynic (talk) 03:55, 11 August 2009 (UTC)

Ok, thank you. I did not know it. Is it possible to see all such uncompleted proofs? I am particularly interested in proofs by contradiction because feel them easier to understand. --Heooo 03:18, 12 August 2009 (UTC)

Uncompleted proofs can be found (generally) under the "Stub Articles" link on the left hand side. There are not many pages with big commented out sections. This happens sometimes when a page has been heavily amended and the person amending it has kept the original page there in deference to the one who wrote the original. --Matt Westwood 05:42, 12 August 2009 (UTC)