Question

Which lines in the following are not valid? #1 please

Put an 'x' at the end of the proof line which has the error and write the number of the error made listed on the Restrictions on Quantifier Inference Rules

Which lines in the following are not valid? Explain why in each case (1) 1. (9[(Нх Кх) — Мх] 2. (ЭхХ Нх- Кх) 3. Нх- Кх 2 EI 4. Mx 1,3 MP 5. (Эх)Мх 4 EG 1. (х(Мx D Gx) 5 Fa (2) 2. (x)Gx Gy My 4. (x)(GxU~ 5. GxD~ Mx) D Fa 6, Fa Mx) P 2 UI 3 1 Contra Мх) Fa 4 UI 3,5 MP 7. (х) Ex (3) 1. (Эх\Еx -~ Мх) 2. (x)(Gxv Hx) Mx 3. (Gyv Hy) My 4. FyMy 6 UG P P 2 UI 1 EI Predicate Logic Proofs 4 Simp 3,5 MT My -(Gy v Hy) 7. (Ex)(Gxv Hx) 5. 6. 6 EG RESTRICTIONS ON QUANTIFIER INFERENCE RULES 1. YOU CANNOT EI TO AN INDIVIDUAL CONSTANT (i.e., A NAME OF AN OBJECT). 2. THE NAME YOU CHOOSE FOR THE DUMMY VARIABLE (i.e., THE UNKNOWN) WHEN YOU EI MUST NOT APPEAR FREE PRIOR TO THAT LINE IN THE PROOF 3. YOU CANNOT UG ON A CONSTANT 4. YOU CANNOT UG ON A VARIABLE (EITHER A GENUINE VARIABLE OR A DUMMY VARIABLE) WHICH IS FREE INA LINE YOU OBTAINED BY USING EI 5. WHEN YOU ARE IN A CONDITIONAL PROOF BOX, YOU CANNOT UG ON A VARIABLE WHICH IS FREE IN THE ASSUMED PREMISE. (Spring, 2014-You won't need this rule.) 6. CAPTURE VIOLATIONS 7.1-1 CORRESPONDENCE DOWN VIOLATIONS 8.1-1 CORRESPONDENCE UP VIOLATIONS 9. VIOLATIONS OF THE NON-QUANTIFIER INFERENCE RULES (THE FIRST 18 RULES; E.G., MODUS PONENS, CONTRAPOSITION, ETC.) 10. ANYTHING NOT COVERED BY RULES 1.-9. (E.G., APPLYING A QUANTIFIER RULE TO PART OF A LINE, CHANGING A PREDICATE LETTER, UG ON A VARIABLE WHICH IS ALREADY BOUND, ETC.)

Answer 1

Kx) Mx HX P (3)HK) E I 2 Hw. K 3. MP Mw (*) 5. dum my Raue va mabie jun red auothar disngurh to oe tter no w . will 2 vio lated Testrichon Tule cs Scanned with CamScanner