- 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 30 times
14. | | # 15. I 16. Ax(~P(x)v~Q(x))
Complete this formal proof. (Viewable solution.) 1. ~Ex(P(x)&Q(x)) Premise 2. I @n assume 3. II assume 4. ||| ~P(n) assu
-
answerhappygod
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am
Complete this formal proof. (Viewable solution.) 1. ~Ex(P(x)&Q(x)) Premise 2. I @n assume 3. II assume 4. ||| ~P(n) assu
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))
14. | | # 15. I 16. Ax(~P(x)v~Q(x))