> I have solved it now. But not by myself. I used a proof on this page: > https://math.stackexchange.com/questions/140197/what-is-a-constructive-proof-of-lnot-lnotp-vee-lnot-p > : >
The problem with different proofs is that they all are expressed in different languages. And to make a translation one must learn at least a subset of each one. Even professional mathematicians don't prove every single theorem by themselves - they learn most of them. So, you earned it by hard work and may be proud. Congratulations. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/e3aa0bae-0e4a-4794-9c2a-f9ee4dd0de59%40googlegroups.com.
