Page 1 of 1
Complete this formal proof by citing each rule used. Follow all conventions from the textbook. For example, no spaces; u
Posted: Mon Jun 06, 2022 2:06 pm
by answerhappygod
- Complete This Formal Proof By Citing Each Rule Used Follow All Conventions From The Textbook For Example No Spaces U 1 (670.24 KiB) Viewed 34 times
Complete this formal proof by citing each rule used. Follow all conventions from the textbook. For example, no spaces; use A for the universal quantifier; use -> for arrow; etc. Some have been done for you. A vertical bar "I" signals a subproof line. 1. P(b) Premise 2. Q(e) Premise 3. ~Ex(P(x)&Q(x)) Premise assume 4. | b=e 5. | Q(b) 6. | P(b)&Q(b) 7. | Ex(P(x)&Q(x)) 8. | # 9. ~(b=e) Elim;2,4 &Intro: 1,5 Elntro:6 &Intro;3,7 ~Intro:3-8