undefined | Better HN

0 pointspsibi11y ago0 comments

How does proving something false as true gives the logic system the ability to prove anything ? Can you explain it with an example

0 comments

2 comments · 1 top-level

jstanley11y ago· 1 in thread

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.

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.

j / k navigate · click thread line to collapse