3.1 #2d says not P implies not Q?

[David Cantrell]

Hi Sibi,

I found a couple of small formatting issues that I'm correcting in 3.1, will send a PR when I get through it. But I noticed in #2d your answer states

When a =2, b=4, c=3, b^2 > 4ac is equivalent to 16 > 24, 
so it doesn't have two real solutions.

But proving ~P does not then imply ~Q, it only says that Q is inconclusive since it can be either true or false in that condition. Did I misunderstand something?

If I'm right let me know and I'll make an amendment and include it in the PR.

Thanks!

[Sibi Prabakaran]

Yeah, you are right. It doesn't imply ~Q. Sure, send me a PR.

[Sibi Prabakaran]

Closing the issue as it's fixed.