Resumen de C alculo de Predicados

Silvia Takahashi 23 de febrero de 2011

1.

Introducci on

Este documento resume las reglas de equivalencia y las reglas de inferencia para hacer deducciones en el c alculo de predicados que aparecen en [2]. Tambi en se resumen algunos conceptos de [1] Se agregan algunas reglas u tiles para facilitar algunas demostraciones. Tambi en se explica qu e se entiende por demostraci on tanto para demostrar equivalencias como en el uso del c alculo deductivo esta vez en el c alculo de predicados.

2.

Equivalencias en el c alculo proposicional

En esta secci on presentamos las reglas de equivalencia. Tambi en se muestra c omo usarlas para hacer demostraciones en el c alculo ecuacional. La mayor a de estas son tomadas de [2] y agregamos otras que consideramos u tiles p ara hacer demostraciones.

2.1.

Las reglas de equivalencia

Al igual que en el c alculo proposicional, las equivalencias se usan para demostrar que una expresi on es igual que otra. En la Tabla: 1, mostramos las equivalencias b asicas del c alculo de predicados. S olo la primera es necesaria como axiomas. Las otras se pueden demostrar.

Regla (x.P (x)) (x.P (x)) (x.P (x)) (x.P (x)) (x.P (x) Q(x)) (x.P (x) Q(x)) (x.P (x) Q(x)) (x.P (x) Q(x)) (x.(R(x) (Q(x) P (x)))) ((x.(R(x) Q(x))) (x.(R(x) P (x))))

Nombre de Morgan generalizada de Morgan generalizada de Morgan generalizada 1 de Morgan generalizada 1

Distributividad

Tabla 1: Equivalencias de cuanticadores

2.2.

Demostraciones

En esta secci on se presentan ejemplos sencillos de demostraci on. Mostramos c omo algunas las reglas de de Morgan pueden deducirse a partir de las anteriores. Teorema 1. De Morgan de : (x.P (x)) (x.P (x)) DEM. . expresi on (x.P (x)) = = = (x.P (x)) (x.P (x)) (x.P (x)) equivalencia aplicada doble negaci on De Morgan de Doble negaci on Doble negaci on

Teorema 2. De Morgan de 1 : (x.P (x) Q(x))) (x.P (x) Q(x)) DEM. .

expresi on = = = = = (x.P (x) Q(x)) (x.(P (x) Q(x))) (x.(P (x) Q(x))) (x.(P (x) Q(x))) (x.(P (x) Q(x)))

equivalencia aplicada De Morgan de denici on de de Morgan de doble negaci on

2.3.

Ejercicios

Ejercicio 1. Demuestre el siguiente teorema : (x.P (x)) = (x.P (x)) Ejercicio 2. Demuestre De Morgan 1 : (x.P (x) Q(x)) = (x.P (x) Q(x))

3.

Deducciones

En el c alculo de predicados, las demostraciones usando la t ecnica de la deducci on se usan generalmente para demostrar sentencias l ogicas derivadas de algunas hip otesis.

3.1.

Reglas de Inferencia

Presentamos la reglas de inferencia que se usar an en el c alculo deductivo. Tambi en nos basamos en reglas del libro de Rosen y tambi en agregamos algunas reglas de inferencia para facilitar las demostraciones.

Regla x.P (x) P (c) Para cualquier c del dominio P (c) Para un c arbitrario del dominio x.P (x) x.P (x) P (c) Para alg un c del dominio P (c) Para alg un c del dominio x.P (x) x.P (x) Q(x) P (c) Para un elemento particular c del dominio Q(c) x.P (x) Q(x) Q(c) Para un elemento particular c del dominio P (c) Tabla 2: Reglas de inferencia

Nombre Instanciaci on Universal Generalizaci on Universal Instanciaci on Existencial Generalizaci on Existencial Universal Modus Ponens

Universal Modus tollens

3.2.

Demostraciones

En esta secci on presentamos algunos ejemplos de la aplicaci on del c alculo deductivo en el c alculo de predicados. Demostramos algunas de las reglas que agregamos (Tabla 2). Se debe demostrar que estas reglas son v alidas. Por ejemplo, para agregar la regla de inferencia de Modus Ponens Universal: x.P (x) Q(x) P (c) Para un elemento particular c del dominio Q(c) Debemos demostrar el siguiente teorema: Teorema 3. Modus ponens universal (x.P (x) Q(x)) P (c) Q(c) donde c es un elemento particular del dominio. Dem. . expresi on 1 2 3 4 (x.P (x) Q(x)) P (c) Q(c) P (c) Q(c) justicaci on hip otesis instanciaci on universal (1) y c es del dominio Hip otesis Modus Ponens 2,3

De la misma forma, para agregar la regla de inferencia de Modus Tollens Universal: 4

x.P (x) Q(x) Q(c) Para un elemento particular c del dominio P (c) Teorema 4. Modus tollens universal (x.P (x) Q(x)) Q(c) P (c) donde c es un elemento particular del dominio. Dem. . expresi on 1 2 3 4 (x.P (x) Q(x)) P (c) Q(c) Q(c) P (c) justicaci on hip otesis instanciaci on universal (1) y c es del dominio Hip otesis Modus tollens 2,3

Veamos otros ejemplos. Digamos que queremos agregar este teorema (distributividad del (de la tabla de equivalencias): (x.(R(x) (Q(x) P (x)))) ((x.(R(x) Q(x))) (x.(R(x) P (x)))) Usando el c alculo deductivo, debemos demostrar dos cosas: (x.(R(x) (Q(x) P (x)))) ((x.(R(x) Q(x))) (x.()(R(x) P (x)))) ((x.(R(x) Q(x))) (x.()(R(x) P (x)))) (x.(R(x) (Q(x) P (x)))) Para esta demostraci on vamos a usar c como un elemento arbitrario del dominio. Comenzamos por la primera. Dem. .

expresi on 1 2 3 4 5 6 7 8 x.(R(x) (Q(x) P (x))) R(c) (Q(c) P (c)) (R(c) Q(c)) (R(c) P (c)) (R(c) Q(c)) x.(R(x) Q(x)) (R(c) P (c)) x.(R(x) P (x)) (x.(R(x) Q(x))) (x.(R(x) P (x))

justicaci on hip otesis instanciaci on universal (1) y c es del dominio Distributividad / (2) simplicaci on (3) generalizaci on universal (c es arbitrario) (4) simplicaci on (3) generalizaci on universal (c es arbitrario) (6) conjunci on (5 , 7)

Ahora la segunda parte. Dem. . expresi on 1 2 3 4 5 6 7 8 (x.(R(x) Q(x))) (x.(R(x) P (x)) x.(R(x) Q(x)) x.(R(x) P (x)) (R(c) Q(c)) (R(c) P (c)) (R(c) Q(c)) (R(c) P (c)) R(c) (Q(c) (P (c)) x.(R(x) (Q(x) P (x))) justicaci on hip otesis simplicaci on (1) simplicaci on (1) instanciaci on universal (2) instanciaci on universal (3) conjunci on (5,6) Distributividad / (6) generalizaci on universal (7) (c es arbitrario)

Es importante notar que en estas demostraciones no se hizo ninguna suposici on acerca de c; este era un valor arbitrario del dominio. Como es cierto para todos los elementos del dominio es v alido usar el mismo valor en los pasos 4 y

5 de la demostraci on anterior. Ser a incorrecto hacer esto si se introduce c por instanciaci on existencial, ya que en este caso, se usa un elemento particular que hace que el predicado sea cierto. A continuaci on mostramos una demostraci on err onea y explicamos d onde se comete el error. Dem. . expresi on 1 2 3 4 5 (x.(R(x) Q(x))) (x.(R(x) P (x)) x.(R(x) Q(x)) x.(R(x) P (x)) (R(a) Q(a)) (R(a) P (a)) justicaci on hip otesis simplicaci on (1) simplicaci on (1) instanciaci on existencial (2) instanciaci on existencial (3) OJO: ACA ESTA EL ERROR!! 6 7 8 (R(a) Q(a)) (R(a) P (a)) R(a) (Q(a) (P (a)) x.(R(x) (Q(x) P (x))) conjunci on (5,6) Distributividad / (a) generalizaci on existencial (7)

El error se comete en el paso (5) pues al hacer la instaciaci on, no se sabe que es el mismo valor el que hace que los predicados sean ciertos. A continuaci on mostramos otras demostraciones Digamos que queremos agregar la siguiente regla de inferencia: x.(P (x) Q(x)) x.(Q(x) R(x)) x.(P (x) R(x)) Debemos demostrar el siguiente teorema Teorema 5. Transitividad en (x.(P (x) Q(x))) (x.(Q(x) R(x))) (x.(P (x) R(x))) donde c es un elemento particular del dominio. Dem. .

expresi on 1 2 x.(P (x) Q(x)) P (c) Q(c)

justicaci on hip otesis instanciaci on universal (1) y c elemento arbitrario del dominio hip otesis instanciaci on universal (3) y c elemento arbitrario del dominio transitividad (2,4) generalizaci on universal (5) y c elemento arbitrario del dominio

3 4

x.(Q(x) R(x)) Q(c) R(c)

5 6

P (c) R(c) x.(P (x) R(x))

3.3.

Ejercicios

Referencias
[1] Albert R. Meyer. Mathematics for computer science. MIT, 2010. [2] Kenneth H. Rosen. Discrete Mathematics and Its Applications 6th Edition. McGraw Hill Higher Education, 2007.