- Complete This Formal Proof There Are Many Different Ways To Do So You Must Figure Out How We Did It Given The Lines Be 1 (885.75 KiB) Viewed 25 times
8. |||| 9. |||| 10. |||| 11. || 12. || 13. || 14.|| 15. | 16. Ax(~P(x)vQ(x)) 100
Complete this formal proof. There are many different ways to do so--you must figure out how we did it given the lines be
-
answerhappygod
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am
Complete this formal proof. There are many different ways to do so--you must figure out how we did it given the lines be
Complete this formal proof. There are many different ways to do so--you must figure out how we did it given the lines below. Note that this proof is challenging, but it has a lower value than the other proofs. Follow all conventions from the textbook. For example, no spaces; drop outer parentheses; use A for the universal quantifier; use -> for arrow; etc. Some have been done for you. A vertical bar "|" signals a subproof line. 1. ~Ex(P(x)&~Q(x)) Premise 2. I 3. || 4. ||| 5. ||1| 6. ||| 7. 11 8. |||| 9. |||| 10. ||| I 100
8. |||| 9. |||| 10. |||| 11. || 12. || 13. || 14.|| 15. | 16. Ax(~P(x)vQ(x)) 100
8. |||| 9. |||| 10. |||| 11. || 12. || 13. || 14.|| 15. | 16. Ax(~P(x)vQ(x)) 100