Professional Documents
Culture Documents
La base
Como en la Lgica Proposicional, la deduccin natural para la Lgica Cuantificacional de Primer Orden es un mtodo sintctico de demostracin de validez de argumentos. Nuestro sistema incluye como base todas las reglas de deduccin natural para la Lgica Proposicional ms reglas para los cuantificadores. Se pueden usar todas las reglas que ya conocemos, slo hay que tener cuidado de aplicarlas bien.
Ejemplo 1:
1. R2(a,a') P(a) 2. ~P(a) / ~R2(a,a') 3. R2(a,a') hip. 4. P(a) E(1,3) 5. I(2,4) I~(3-5) 6. ~R2(a,a')
Ejemplo 2:
1. P(a) R2(a,x) / P(a) R(a,x) 2. (P(a) R2(a,x)) (~P(a) ~R2(a,x)) 3. P(a) R2(a,x)
I(1) I(2)
Entonces, qu falta?
En realidad si trabajamos slo con frmulas que no usen cuantificadores ya tenemos todo lo necesario. El nico problema es si tenemos cuantificadores. Ejemplo 4: 1. x(P(x) P'(x)) 2. xP(x) / xP'(x) Tenemos la impresin de que todo lo que hace falta es la eliminacin del , pero nos estorban los cuantificadores. Lo que hace falta es aprender a eliminar e introducir los cuantificadores.
Recuento
Hasta ahora tenemos lo siguiente: 1. Podemos sustituir cualquier variable ligada a un cuantificador por cualquier trmino. 2. Si hacemos la sustitucin, debemos sustituir todas las variables ligadas al cuantificador. 3. La sustitucin debe ser uniforme, se deben sustituir todas las variables ligadas al cuantificador universal por el mismo trmino.
Errores al aplicar I (4) (susituir por una variable que queda cuantificada por otro cuantificador)
Ejemplo 13: 1. xyR2(y,x) 2. yR2(y,y)
E (1)
La prohibicines se debe el lugar relacionado con un cuantificador se relaciona con otro y esto puede originar problemas, veamos un ejemplo: D.D.: Los seres humanos. Dicc.: R2xy: x es padre de y. Interpretacin de las frmulas: 1. Todos tiene un padre. 2. Hay alguien que es su propio padre. Algo que no sucede.
Ejemplo 14:
1. x(P(x) P'(x)) 2. P(a) / P'(a) 3. P(a) P'(a) E (1) 4. P'(a) E(2,3)
Ejemplo 15:
1. x(P(x) P'(x)) 2. x(P'(x) P''(x)) 3. P(a) / P''(a) 4. P(a) P'(a) E (1) 5. P'(a) P''(a) E (2) 6. P'(a) E(3,4) 7. P''(a) E(5,6)
Ejemplo 16:
1. xyR2(x,y) / R2(a,a) E (1) 2. yR2(a,y) E (2) 3. R2(a,a)
Recuento
Hasta ahora tenemos que: 1. Slo se puede introducir el universal a partir de variables. 2. Esas variables tienen que provenir de la eliminacin de un cuantificador universal (en el caso de pruebas con caja, si la I se pretende hacer dentro de la caja, entonces las varibles deben provenirmde una E que se haya heho dentro de la caja, esto lo justificaremos ms adelante) 3. La cuamtificacin de las variables debe ser uniforme.
Ejemplo 23
1. x(P(x) P'(x)) 2. xP(x) / xP'(x) 3. P(x) P'(x) E (1) 4. P(x) E (2) 5. P'(x) E(3,4) 6. xP'(x) I (5)
Ejemplo 24
1. x(P(x) P'(x)) 2. x(P'(x) P''(x)) / x(P(x) P''(x)) 3. P(x) P'(x) E (1) 4. P'(x) P''(x) E (2) 5. P(x) hip. 6. P'(x) E(3,5) 7. P''(x) E(4,6) 8. P(x) P''(x) I(5-7) 9. x(P(x) P''(x)) I (8)
I(1)
I(1)
Recuento
Hasta ahora tenemos que: 1. Se puede introducir el cuantificador existencial a partir de constantes, no permitiremos cuantificar existencialmente a partir de variables. 2. En el caso de esta regla se puede cuantificar el nmero de apariciones de la constante que se desee.
hip. hip. I(2) E(4,5) I(7) hip. I(3) E(9,10) I(11) E(4,5-12) I(13) E(1,4-14)
Donde (xa) quiere decir, el resultado de sustiuir en (x) todas las apariciones libres de la variable x por una constante a, la misma en todos los casos. RESTRICCIN: 1. La constante a usada debe ser nueva, es decir, no aparecer en ninguna lnea anterior. Adems la constante no debe aparecer en .
Error al aplicar E
Ejemplo 43: 1. x(P(x) P'(x)) / xP(x) 2. P(a) P'(a) 3. P(a) 4. P(a) 5. xP(x)
La constante a aparece en la frmula que sale de la caja, violando las restricciones de la regla. Comparece con el ejemplo 34.
ltima nota
Cuando se trabaja con ms de un cuantificador y se desean eliminar, se tienen que eliminar los de mayor alcance primero, no se puede eliminar uno de menor alcance antes que uno que lo contiene. Veamos ms ejemplos.
Ejemplo 44:
En primer lugar, debemos dejar claro que el argumento es invlido, pues dice que si todos estn en relacin con alguien (que puede ser diferente en cada caso), entonces hay alguien que est en relacin con todos. Un ejemplo particular de este esquema es: Premisa: Todos tenemos un padre. Conclusin: Alguien es el padre de todos. Cul es entonces el error? En el paso 4, no podemos aplicar la I, pues la variable y no proviene de la eliminacin de un cuantificador universal hecha dentro de la caja. Fue introducida por hiptesis.
Ejemplo 46:
Ejemplo 47:
1. xyR2(x,y) / yxR2(x,y) 2. yR2(a,y) 3. R2(a,b) 4. xR2(x,b) 5. yxR2(x,y) 6. yxR2(x,y) 7. yxR2(x,y)