Lgica 2 (2013-1)

Mtro. Cristian A. Gutirrez http://espanol.groups.yahoo.com/group/logicaUNAM2013/ Tarea 7

(Grupo 0004 entrega el jueves 21 de marzo) (Grupo 0022 entrega el viernes 22 de marzo)

Nombre: Salvador Cervantes Zetina Grupo: 0004 (inscrito en 0022)

INSTRUCCIONES: La tarea debe estar completamente resuelta, tiene que ser contestada a computadora, tiene que ser entregada el da que se indica arriba y tiene que estar engrapada. Nuestro sistema de reglas de lgica proposicional es el siguiente:

Reglas de Introduccin sup. ....

Reglas de Eliminacin sup. ... sup. ...

[() ()] [() ()]

[() ()] [() ()] sup. ...

sup. ...

NOTA: Recuerden que la nica forma de introducir supuestos (que es lo mismo que hiptesis) es usando una regla que lo permita, de tal forma que no puedes probar cosas simplemente suponindolas, tienen que respetar la forma de la regla. Las reglas que requieren de introducir supuestos son la Introduccin de la Condicional (I), la Eliminacin de la Disyuncin (E), la Introduccin de la Negacin (I~) y la Eliminacin de la Negacin (E~). NOTA 2: Esto son otros nombre usuales para algunas de nuestra reglas. Introduccin del Condicional (I): Prueba condicionada, Metateorema de la deduccin. Eliminacin del Condicional (E): Modus Ponens o Modus Ponendo Ponens. Introduccin de la Conjuncin (I): Conjuncin. Eliminacin de la Conjuncin (E): Simplificacin. Introduccin de la Disyuncin (I): Adicin.

Eliminacin de la Disyuncin (E): Prueba por casos. Introduccin de la Negacin (I~) y Eliminacin de la Negacin (E~): Prueba por Reduccin al Absurdo.

1. Demuestra que los siguientes son argumentos vlidos usando deduccin natural (puedes usar todas las reglas) (1 PUNTO cada una, para un total de 2 punto):

a) 1. ~(P R) 2. ~R (~Q Q) / P Q

b) 1. S ~P 2. ~R Q 3. ~(~S R) 4. ~(P Q) /PQ

()

Nuestras reglas para la construccin de rboles de verdad son las siguientes:

()

()

() Doble Negacin ~~

2. Analiza el siguiente argumento mediante el mtodo de rboles de verdad. Indica si el argumento es vlido o invlido, en caso de que sea invlido da una asignacin de valores de verdad que lo demuestra. (2 puntos) El argumento es Invlido c) 1. P (Q R) 2. R S 3. P Q / S 3. Demuestra que las siguientes son frmulas, es decir, construye las frmulas a partir las reglas de

formacin. (1 PUNTO cada una, en total 2 puntos) 1. x(x'(x=x') x'R2(x,x')) a) x(x'(x=x') x'R2(x,x')) 1. x es trmino por t2 2. x' es trmino por t2 3. (x=x') es frmula atmica por 1f 4. R2(x,x') es frmula atmica por 3f 5. (x=x') es frmula por 1f 6. R2(x,x') es frmula por 1f 7. x'(x=x') es frmula por 4f 8. x'R2(x,x') es frmula por 4f 9.x'(x=x') x'R2(x,x') es frmula por 3f 10. x(x'(x=x') x'R2(x,x')) es frmula por 4f b) (P(a) R2(a,a')) x(P(x) R2(x,a')) 1. a es trmino por 1t 2. a' es trmino por 1t 3. x es trmino por 2t 4. P(a) es frmula atmica por 2fa 5. R2(a,a') es frmula atmica por 3fa 6. P(x) es frmula atmica por 2fa 8. R2(x,a') es frmula atmica por 3fa 9. P(a) es frmula por 1f 10. R2(a,a') es frmula por 1f 11. P(x) es frmula por 1f 12. R2(x,a') es frmula por 1f 13. P(x) R2(x,a') por 3f 14. x(P(x) R2(x,a')) es frmula por 4f 15. P(a) R2(a,a') es frmula por 3f 16. (P(a) R2(a,a')) x(P(x) R2(x,a')) es frmula por 3f 4. Contesta las siguientes preguntas (1 PUNTO cada una, para un total de 4 puntos) I. Todos los filsofos son humanistas. Cul es la simbolizacin ms adecuada para la oracin anterior? (D.D.: Los seres humanos. Diccionario: Px: x es Filsofo, P'x: x es humanista.) a) x(P'(x) P(x)) b) x(P(x) P'(x)) c) x(P(x) P'(x)) d) x(P'(x) P(x)) 2. (P(a) R2(a,a')) x(P(x) R2(x,a'))

II. Todos los amigos de Martha le caen mal a Javier. Cul es la simbolizacin ms adecuada para la oracin anterior? (D.D.: Los seres humanos. Diccionario: a: Martha, a': Javier, R 2xy: x es amigo de y, R'2xy: x le cae mal a y) a) x(R'2(x,a') R2(x,a)) b) x(R'2(x,a) R2(x,a')) c) x(R2(x,a') R'2(x,a)) d) x(R2(x,a) R'2(x,a')) III. Hay alguien que es amigo de Arturo aunque es odiado por Arturo. Cul es la simbolizacin ms adecuada para la oracin anterior? (D.D.: Los seres humanos. Diccionario: a: Arturo, R 2xy: x es amigo de y, R'2xy: x odia a y) a) x(R2(x,a) R'2(a,x)) b) x(R2(x,a) R'2(x,a)) c) x(R2(a,x) R'2(x,a)) d) x(R2(x,a) R'2(a,a)) IV. Si alguien es filsofo, entonces le cae bien a Jorge. Cul es la simbolizacin ms adecuada para la oracin anterior? (D.D.: Los seres humanos. Diccionario: a: Jorge, Px: x es filsofo, R2xy: x le cae bien a y) a) x(P(x) R2(x,a)) b) x(R2(x,a) P(x)) c) x(P(x) R2(x,a)) d) x(R2(x,a) P(x)) 5. Bonus para oos: Supongamos que estamos en la isla de los caballeros y los bribones. Sospechamos que en la isla hay oro, pero no lo sabemos con certeza. Nos encontramos con un nativo, aunque no sabemos si es un cabello o un bribn. Qu enunciado podra formular el nativo para que pudiramos deducir que si hay oro en la isla, entonces debe ser un caballero, pero si no hay oro en la isla, entonces podra ser o no ser un bribn? a) O soy caballero o hay oro en la isla. b) O no soy caballero o hay oro en la isla. c) Si soy caballero, hay oro en la isla. d) Soy caballero si y slo si hay oro en la isla. 6. Ejercicio para medio punto extra: Presentar un argumento filosfico deductivo, indicar de dnde fue extrado, indicar de manera clara cules son las premisas y cul es la conclusin. ( punto para el examen 3)