Page 1 of 1
Complete this formal proof. There are many different ways to do so--you must figure out how we did it given the lines be
Posted: Mon Jun 06, 2022 2:06 pm
by answerhappygod
- 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 27 times
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