Answer Happy

Posted: **Mon Jun 06, 2022 5:38 pm**

: Complete This Formal Proof Viewable Solution 1 Ex P X Q X Premise 2 I N Assume 3 Ii Assume 4 P N Assu 1 (62.22 KiB) Viewed 32 times

Complete this formal proof. (Viewable solution.) 1. ~Ex(P(x)&Q(x)) Premise 2. I @n assume 3. II assume 4. ||| ~P(n) assume✔ 5. III 6. | | | # 7.11 P(n) 8. ||| ~Q(n) 9. | | | 10. | | | # 11.II Q(n) 12.II P(n)&Q(n)✔ 13. I I 14. | | # 1620010.500

14. | | # 15. I 16. Ax(~P(x)v~Q(x))