3 ms·
How does proving something false as true gives the logic system the ability to prove anything ? Can you explain it with an example
by psibi 12y ago
How does proving something false as true gives the logic system the ability to prove anything ? Can you explain it with an example
- jstanley 12y agoAny 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 12y agoI 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.