Subject- Intro to Logic Please help asap
Posted: Thu Jul 07, 2022 2:19 pm
Subject- Intro to Logic
Please help asap
10. 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 (5)_1. (3x)[(Px · Qx) ✓ Rx] 2. (x) ~ Rx 3. (3x)(Px v Rx) 4. Px v Rx Px 5. 6. (x) 7. Px Py 8. (z) ~ Pz. Р Р 1 Simp 3 EI 2,4 DS 5 UG 6 UI 7 UG
Please help asap
10. 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 (5)_1. (3x)[(Px · Qx) ✓ Rx] 2. (x) ~ Rx 3. (3x)(Px v Rx) 4. Px v Rx Px 5. 6. (x) 7. Px Py 8. (z) ~ Pz. Р Р 1 Simp 3 EI 2,4 DS 5 UG 6 UI 7 UG