Using only the 16 rules of Natural Deduction, prove the following: Pq pVq Recall the quadratic equation ar+bx+c=0. Let a, b, and c all be odd integers. Prove or disprove that there exists an integer solution to this equation. You can use facts about the sums and products of even and odd numbers (eg. odd + odd is even) without proof.