Page 1 of 1
8- Find the errors and identify them. Put 'x' next to line with error(s) and the number of the error(s) using the Res Qu
Posted: Thu Jul 07, 2022 11:28 am
by answerhappygod
- 8 Find The Errors And Identify Them Put X Next To Line With Error S And The Number Of The Error S Using The Res Qu 1 (104.36 KiB) Viewed 23 times
8- Find the errors and identify them. Put 'x' next to line with error(s) and the number of the error(s) using the Res Quan Inf Rules document. Write each line in the proof. Put an x at the end of a wff that is an error and write the number of error (3) 1. (x)(Fx · ~ Mx) 2. (x)[(Gx v Hx) Ɔ Mx] 3. (Gy v Hy) Ɔ My 4. Fy~ My Predicate Logic Proofs 5. ~ My 6. (Gy v Hy) 7. (3x)~ (Gx v Hx) р Р 2 UI 1 EI 4 Simp 3,5 MT 6 EG