how-to-prove icon indicating copy to clipboard operation
how-to-prove copied to clipboard

Published 20 hours ago • verified publisher icon psibi

3.2 proving contrapositive

Open davecan opened this issue 8 years ago • 2 comments

Hi Sibi,

In 3.2 you mention several times that you will prove the contrapositive. Did you mean proof by contradiction instead? For example, in question 7 there is no implication.

I'm working through 3.2 right now and adding a couple alternate proofs, so I can change those from contrapositive if you'd like. Just let me know. Thanks.

Dave

davecan avatar Sep 10 '16 20:09 davecan

Please, change them and send me a PR!

psibi avatar Sep 11 '16 13:09 psibi

Can this issue be closed ?

psibi avatar Oct 01 '16 13:10 psibi