LOGICA I Tiempo: 120 minutos Cédigo de asignatura: 70012105 Material: Ninguno 1) Diga, en primer lugar, si las siguientes afirmaciones son verdaderas o falsas; después, justifique su respuesta. a) Los esquemas argumentativos se dividen en verdaderos y falso: b) Con Arboles semanticos no podemos saber si una formula es contingente. c) Si un argumento tiene premisas verdaderas y conclusién falsa, su forma légica no puede ser v: d) La negacién de una tautologia es una formula contingente. 2) Demuestre la validez del siguiente esquema de inferencia, mediante Deduecién Natural. p>q>r>s) tor P as ys 3) Ofrezca una interpretacién (en castellano) del esquema argumentative de la preguntanta anterior, en la que la conclusién sea falsa, 4) Escriba un contraejemplo en castellano con la siguiente forma proposicional: pq p>7q 5) Explique las nociones logicas de "condicional" e "implicacién”, Por favor, indique en la primera pagina el niimero total de hojas de examen que entrega.LOGICA I. DEDUCCION NATURAL. TABLA DE REGLAS REGLAS BASICAS eo Ls ao Ex aa x x Yaw t + y TY mar yer [REY C; ee x RE ov REA KAY 7 x x x tee Riv _X x Zs ay OT REGLAS DERIVADAS, neo x Imerdet-o.0 Jrmterdct n> | Interaetvo> »e oY ny Se Y AUXASY) (XS) XY ra tmertso.v [mtrdee ay erdt-vn y Sor ee ey x aXvY XVAY) GXAsY)