LOGICA II (Grado de Filosofia) Tiempo: 120 minutos Material: Ninguno 1) Responda, en primer lugar y claramente, si las siguientes afirmaciones son verdaderas 0 falsas; después justifique su respuesta, a La negacién de “Toda regla es una deduccién valida” es “Ninguna regla es una deduceién valida” b= (Vx (Pa. A Px) > Ax Qx) no es una formula bien formada, c.- Para que un argumento sea valido basta que la conclusién sea verdadera, d.- Si X es una formula contingente, la frmula (— X 0 Y) es una contradis ion, 2) Demuestre mediante Deduce’ argumentativo: n Natural la validez del siguiente esquema Ax (Bx v Ex) > (Px 4 Ax) = Vx ((Bx 4 Ax) A Mx) a Vx (Px Cx) — Vx (Bx 4 (Mx v Cx) 3) Complete un argumento valido con la conclusién: Por tanto, Allan Stewart Kénigsberg es Wody Allen. Probar su validez mediante Deduccién Natural, 4) Eseriba un contraejemplo (en castellano) de la siguiente forma argumentativa: = Ax (Px > Qx) Vx (Px A Qx) 5.- Compare las nociones de verdad y validez. Ponga dos ejemplos de cada nocién.LOGICA II, DEDUCCION NATURAL. TABLA DE REGLAS REGLAS BASICAS Rinr=ax RI Xx (ee (fo RA xX x TYac¥, —— y 2 : =X XoY my var [REY oxy C7 RES RE> XoY REA _XAY _Xa¥ i x x TY cy Y Riv _X xX a xy WK RIA restrcciones: REA ejemplo:__Pa__ 1) amo debe figurarnienlas | ejemplo: Ax Px AXP premisas ni en supuestos Pa auxiliaes no cancelados 2).«n0 debe figurar en Pa Riv REV restrccion cjemplo: Pa cjemplo: Vx Px ano debe figurar en ninguna Vx Px Pa linea uilizable anterior al cy supuesto ni en la firmula Z. = Rie RE= ejemplo: Pa ejemplo: Ax (x=a-> Px) AxG=a> Px) Pa Rh REY ejemplo; _Vx Ay(Py © xey) ejemplo: QoxPx) P (xP) Vi dy ((Py RV) ACR) REGLAS DERIVADAS FCQ. x MT XY Interdef.>,0 | Interdef.n,-> | Interdet. v,-> =x. ~y XoY XaY XvY Y : WARY) a) XoY oxy EN, C-X Interdef.—>,v | Interdef.a,v | Interdef. vs 0 =Y Yan¥ XY XaY XvY X x AVY EXVa¥) GX Senn Semi: bar [TH ab | an She jempl ejemplo eee eee oe ae Pb Rh _Vx Ay (Px Py > x=y) Rsust= a=wPx cjemplo P (xPx) ejemplo QuPx Ou REL Ps RE= a=1xPx ejemplo: VeAYEPRA(Py >xAx=—) | ejemplo: Ax Ay (Py OD)