psibi / how-to-prove

My Solution to Velleman's book

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

3.2 proving contrapositive

davecan opened this issue · 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

Please, change them and send me a PR!

Can this issue be closed ?