LOGICA II 1) Indique si son verdaderas 0 falsas las siguientes afirmaciones. Después, justifique su respuesta, a.- Para que un argumento sea valido es condicién necesaria que su conclusién sea verdadera. b.- Aunque X es una {6rmula contradictoria, (Y A — Y) > X es una f6rmula vilida. c.- En el método de andlisis mediante érboles seménticos hay tres reglas: la regla alfa, 1a regla beta y la regla de los cuantificadores. d- La formula (= 1 p) equivale a la f6rmula (= 6 p). 2) Demuestre la validez. del siguiente esquema de inferencia mediante Dedu Natural: ion = Vx (Px 4 Qx) Ay (4. Qy va Hy) (Px A Rx) Vx =x 3) Formalice los enunciados Algunas palabras forman parte de todos los vocabularios Todas las palabras forman parte de algtin vocabulario aproximéndose todo lo posible a su forma gramatical. Examine si el segundo enunciado se sigue del primero, a la luz de un Arbol Semantico, comentando el resultado. 4) Desarrolle el Arbol Seméntico del siguiente esquema de inferencia y presente un contraejemplo en castellano: Ax (Fx > Hx) 1 Ax 5 (Fx > 5 Dx) <= Vx (G Hx > = Dx) 5) Deseriba con claridad los distintos componentes del lenguaje de la l6gica de predicados.LOGICA I, DEDUCCION NATURAL. TABLA DE RI REGLAS BASICAS n> SX Cy XoY ae oe [Re wy =x : Z RES RES XY REA XAY Xa¥ a x x TY c} Y Riv _X ia wY Wx RIA Tatrecooes REA ejemplo: _Pa__ 1) aaodebe guar aicatas | ejempb TEPE premisa en supuestos Inilaes no canceladon 2) ro debe figura en Po, xiv REV resticein ejemplo: Pa temple: VxPx ano debe figuar en cingona Ver Pr ‘ines ulizale anterior cy supuesto ni en la f6rmula Z. aa Rie RE Semple ba sical Ta PD Rie Re ejemplo: Vx Ay (Py © x=y) ejemplo: QUxPx) PUXPS) Vix Ay (Py x=) AQD REGLAS DERIVADAS KCQ. x Mr xoy interact | interdet. 0, hve ox ay XoY xa XY Y SK =O) SXoY IA xy Interdet.-ov | imterdet. av vA ay Ff Xov xay XY x MY SEX = Sem: =e | Sores ee ee oa ejemplo: ejemplo: _b=c aa! Te Pb Rh Va ay Px a (Py > xy) Resust= Px ejemplo: Pax) ejemplo: urs REL Px RE= a=uPx gempl: Veay@raty>mpame |eempl: “VeAyPyorsy