- 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 22 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 Qu
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am
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
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