How does proving something false as true gives the logic system the ability to p...

jstanley · on March 25, 2015

Any statement is either true or false. If we can prove that false is true, then any statement is true.

EDIT: For example: 1+1=3. That's false. We've learnt that false=true, therefore 1+1=3 is true.

heinrich5991 · on March 25, 2015

I don't think it's that easy. Not every statement is either true or false in Coq, you'd need to accept the law of excluded middle for that.