Pregunta: a) Perform a formal validity test (using the 19 rules of the image) for the following argument: b) Explain if it is valid or invalid.

H (IT) ..HI 2.-4 1. P 2. 4 REGLAS DE INFERENCIA 1. Modus Ponens (M.P.) 2. Modus Tollens (M.T.) 3. Silogismo Hipotético (S. H.) 1. pag 1. paq 1. pag 2. P 2. qar ..9 -р .. par 4. Silogismo Disyuntivo (S. D.) 5. Dilema Constructivo (D. C.) 6. Dilema Destructivo (D.D.) 1. p Va 1. (p) (rs) 1. (p 4). ( rs) 2.P 2. pvr 2.-Vas ..4 :: Vs -pv-r 7. Simplificación (Simp.) 8. Conjunción (Conj.) 9. Adición (Ad.) 1. p.4 1. P ...PV .:P ..p.9 REGLAS DE REEMPLAZO 10. Teorema de Morgan (De M.) 11. Conmutación (Conm.) Caso A:-( pq) =( PV-9) Caso A: (p Vq) =(q V p) Caso B: -(pVg)=(-p-4) Caso B: ( pq) =(q.p) 12. Asociación (Asoc.) 13. Distribución (Dist.) Caso A: (p V (Vr)] = [(p Vq) vr] Caso A: Ip (qvr)] = [(p.4) V( pr) Caso B: Ip (q.r)] = f(p.).r] Caso B: [p V (q.r)] = [(p Vq) . (p Vr) 14. Doble Negación (D. N.) 15. Transposición (Trans.) (p=4)=(-90p) 16. Implicación Material (Imp. M.) 17. Equivalencia Material (Equiv. M.) Caso A: (p > 4) =(pVg) Caso A: (p = q) = [(p = q) (q=p) Caso B:( p= q)=(p VG) Caso B: (p=q)-I(p) V p. 18. Exportación (Exp.) 19. Tautología (Taut.) (pq) r] = [p = (ar) Caso A: p= (p V p) Caso B: p=( pp) קיי=p