2.2 dangling negation operator

[David Cantrell]

In section 2.2 question 2d it looks like you left the negation operator outside the parens after distributing it in to flip the equality.

Should be:

∃y > 0∀x(ax^2 + bx + c ≠ y)

It's great that you provided this BTW, it's been really helpful.

[Sibi Prabakaran]

Can you send a PR fixing it ?

[David Cantrell]

Done! Also I will submit a separate PR for question 12 same module -- I wrote out the plain English meaning of each (as best I could anyway) so I'll add those to the answers.

[David Cantrell]

Hmm, looks like it merged that change into the existing pull request. Let me know if that will be an issue. Thanks.

[Sibi Prabakaran]

Thanks for fixing this in the PR #8. Closing the issue now.

[David Cantrell]

Thanks! Happy to help, this is a great resource!