Resumen de C alculo proposicional

Silvia Takahashi 1 de abril de 2013

1.

Introducci on

Este documento resume las reglas de equivalencia y las reglas de inferencia para hacer deducciones que aparecen en [?]. 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.

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 [?] y agregamos otras que consideramos u tiles p ara hacer demostraciones. Se expone la regla de sustituci on. Se presentan varios ejemplos de demostraciones usando las reglas de equivalencia.

2.1.

Las reglas de equivalencia

Las equivalencias se usan para demostrar que una expresi on es igual que otra. En las Tablas: 1, 2 y 3 est an las equivalencias relacionadas con f alse, , y . Regla p = p f alse = true f alse = true Nombre doble negaci on denici on de false negaci on de false

Tabla 1: Equivalencias de Falso / verdadero y doble negaci on

Regla p true p p f alse f alse ppp pq qp (p q ) r p (q r) p (q r) (p q ) (p r) (p q ) p q p (p q ) p p p f alse

Nombre identidad de dominaci on idempotencia conmutatividad asociatividad distributividad sobre de Morgan de absorci on de sobre negaci on de

Tabla 2: Equivalencias de

Regla p f alse p p true true ppp pq qp (p q ) r p (q r) p (q r) (p q ) (p r) (p q ) p q p (p q ) p p p true

Nombre identidad dominaci on idempotencia conmutatividad asociatividad distributividad sobre de Morgan absorci on sobre negaci on

Tabla 3: Equivalencias de Las Tablas 4 y 5 muestran reglas de equivalencia tanto para la implicaci on como para la doble implicaci on y el XOR. Regla p q p q p q (p q ) (q p) p XOR q (p q ) Nombre Denici on Denici on Denici on XOR

Tabla 4: Equivalencias b asicas de y

Regla p q q p p q p q p q (p q ) (p q ) p q (p q ) (p r) (p (q r)) (p q ) (p r) (p (q r)) (p r) (q r) (p q ) r (p r) (q r) (p q ) r p (q r) (p q ) r pqqp p q p q (p q ) p q (p q ) p q p q (p q ) (p q ) p XOR q (p q ) (p q )

Nombre contrapositiva Denici on de con Denici on de con Negaci on de Distributividad izquierda de sobre Distributividad izquierda de sobre Distributividad derecha de sobre (note que al distribuir se cambia por ) Distributividad derecha de sobre (note que al distribuir se cambia por ) Asociatividad izquierda de (note que al asociar se cambia por ) Conmutatividad Contrapositiva Negacion1 Negaci on2 Denci on3 Denci on2 XOR

Tabla 5: M as Equivalencias de y

2.2.

Demostraciones

En esta secci on se presentan ejemplos sencillos de demostraci on. En las tablas de arriba, no es necesario considerar todas las equivalencias como axiomas. De hecho son pocos los axiomas que necesitamos. Podemos usar las dos primeras equivalencias de la Tabla 1 para demostrar la tercera equivalencia. Adem as todas las equivalencias de la Tabla 3 pueden demostrarse con las de la Tabla 2. Finalmente, las equivalencias de la Tabla 5 pueden demostrarse a partir de las anteriores. Una demostraci on para mostrar que P Q es una secuencia de f ormulas que comienza por P y termina en Q donde cada expresi on se obtiene de la anterior, aplicando alguna de las reglas de equivalencia. Tambi en podemos comenzar con Q y terminar con P. An alogamente, al aplicar una regla de equivalencia X Y, se puede o reemplazar X por Y o Y por X. El paso b asico se puede resumir en cambiar iguales por iguales. La siguiente regla de inferencia resume este paso:

x=y

E [z := x] = E [z := y ]

En primer lugar mostramos c omo la regla de negaci on de false la podemos demostrar con respecto a la denci on de false y a la doble negaci on. Teorema 1. Negaci on de f alse : f alse true Demostracion. : expresi on true = = true f alse equivalencia aplicada doble negaci on denici on de f alse

Teorema 2. Identidad de : p f alse p Demostracion. :

expresi on p f alse = = = = = p f alse (p f alse) (p true) p p

equivalencia aplicada doble negaci on de Morgan (de derecha a izquierda) negaci on de false identidad de Doble negaci on

Ahora demostramos la regla de De Morgan que niega una disyunci on. Esta se usa para demostrar algunas de las otras reglas de equivalencia para la disyunci on. Teorema 3. De Morgan : (p q ) p q Demostracion. : expresi on (p q ) = = = (p q ) (p q ) p q equivalencia Doble negaci on de Morgan (de derecha a izquierda) Doble negaci on

Teorema 4. Distributividad de sobre : p (q r) = (p q ) (p r) Demostracion. :

expresi on p (q r) = = = = = = = (p (q r)) (p (q r)) (p (q r)) ((p q ) (p r)) ((p q ) (p r)) ((p q ) (p r)) ((p q ) (p r))

equivalencia Doble negaci on de Morgan de Morgan distrib sobre de Morgan de Morgan doble negaci on

En la demostraci on anterior usamos de Morgan de . Es v alido ya que se hab a probado antes. Teorema 5. Absorci on de sobre : p (p q ) = p Demostracion. : expresi on p (p q ) = = = (p p) (p q ) p (p q ) p equivalencia Distributividad / idempotencia absorci on

Teorema 6. Asociatividad izquierda de : p (q r) (p q ) r Demostracion. :

expresi on (p q ) r = = = = = (p q ) r (p q ) r p (q r) p (q r) p (q r)

equivalencia Denici on de de Morgan asociatividad denici on de denici on de

Teorema 7. Resolucion: (p q ) (p r) (q r) Demostracion. :

expresi on (p q ) (p r) = = = = = = = = = = (p (p r)) (q (p r)) (p p) (p r) (q p) (q r) f alse (p r) (q p) (q r) (p r) (q p) (q r) ((p q ) (p p) (r q ) (r p)) (q r) ((p q ) true (r q ) (r p)) (q r) ((p q ) (r q ) (r p)) (q r) (((p q ) (r p)) (r q )) (q r) (((p q ) (r p)) (q r)) ((r q ) (q r)) ((r q ) (q r))

equivalencia Dist / Dist / dos veces negaci on identidad Dist / negaci on / identidad asoc y comn distr. / pq p distr. / y conm y asoc de vee idempotencia 2 veces idempotencia

= = =

(r q q ) (r r q ) (r q ) (r q ) (r q )

LA demostraci on anterior tiene una particularidad. En un punto, no tenemos igualdad sino implicaci on. Por lo tanto, se demostr o que la primera f ormula implica la u ltima. No se demostr o que la primera f ormula es equivalente a la u ltima. Esta es una de las maneras de demostrar una implicaci on. Otra ser a empezar con la f ormula completa y terminar con true. Mostramos c omo ser a la demostraci on del mismo teorema usando esta t ecnica.

expresi on = = = = = = = = = = = = ((p q ) (p r)) (q r) ((p q ) (p r)) (q r) ((p q ) (p r)) (q r) ((p q ) (p r)) (q r) ((p q ) (p r)) (q r) ((p q ) q ) ((p r) r) ((p q ) (q q )) ((p r) (r r)) ((p q ) true) ((p r) true) (p q )) ((p r)) (p p) (q r)) true (q r)) true

equivalencia Def de Morgan de Morgan doble neg asoc y conm Distr. / 2 veces negacion. 2 veces identidad. 2 veces asoc. y conm neg id

2.3.

Ejercicios

Ejercicio 1. Demuestre Dominaci on de : p true true Ejercicio 2. Demuestre Asociatividad de : (p q ) r p (q r) Ejercicio 3. Demuestre Idempotencia de : p p p Ejercicio 4. Demuestre la denici on 2 de XOR : p XOR q (p q) (p q)

3.

Deducciones

Las demostraciones usando la t ecnica de la deducci on se usan generalmente para demostrar sentencias l ogicas derivadas de algunas hip otesis. En este caso, aun cuando una de las reglas de inferencia permite reemplazar iguales por iguales, el c alculo usado es distinto al de la secci on anterior.

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. 9

Regla p pq q q pq p pq qr pr pq q p p pq pq p p q pq pq p r qr X=Y E [z := X ] E [z := Y ]

Nombre Modus ponens

Modus tollens

transitividad

Silogismo disjuntivo suma simplicaci on Conjunci on

resoluci on

Leibniz

Tabla 6: Reglas de inferencia

10

p q pq p q qp p q p q p q q p p p q q q p q p p p q q q p q p

Simplicaci on del If 1 Simplicaci on del If 2 Simplicaci on del If 3 Simplicaci on del If 4 Deduccion con 1

Deduccion con 2

Deduccion con 3

Deduccion con 4

Tabla 7: Reglas de Inferencia Adicionales La u ltima regla de la Tabla 6 lo que dice es que si sabemos que X es igual a Y , y sabemos que una expresion E es cierta, y X es una sub expresi on de E , entonces podemos cambiar X por Y en E y obtenemos una expresi on verdadera. En realidad, es aplicar las reglas de equivalencia en este formato de prueba. Formalmente, para aplicar esta regla tendr amos que tener X = Y en una l nea y E[z:=X] en otra antes de aplicarla para obtener E[z:=Y]. Lo que hacemos en estas notas, es lo siguiente: Si E[z:=X] est a en la l nea (i) y sabemos que X=Y (Por una hip otesis o porque es un axioma o una equivalencia demostrada). Entonces en una l nea (j) con j mayor que i podemos escribir E[z:=Y] usando X=Y como justicaci on.

3.2.

Demostraciones

Las demostraciones en el c alculo deductivo, no son secuencias de expresiones iguales entre s ; las demostraciones son secuencias de expresiones que son ciertas ya sea porque son una hip otesis o se derivan de expresiones anteriores por reglas de inferencia. Si queremos demostrar que unas hip otesis implican P enontoces, P la u ltima l nea de la demostraci on debe ser P y las hip otesis aparecen en l neas anteriores. En esta secci on presentamos algunos ejemplos de la aplicaci on del c alculo deductivo. En particular demostramos algunas de las reglas que agregamos (Tabla 7). Se debe demostrar que estas reglas son v alidas.

11

Por ejemplo, para agregar la regla de inferencia: p q pq Debemos demostrar el siguiente teorema: Teorema 8. Simplicaci on del (p q ) (p q ) expresi on 1 Dem. 2 3 p q (p q ) (q p) (p q ) justicaci on hip otesis denci on Simplicaci on 2

De la misma forma, para agregar la regla de inferencia: p q p pq Debemos demostrar el siguiente teorema: Teorema 9. ((p q ) p) q . Dem: expresi on 1 2 3 4 p p q pq q justicaci on hip otesis hip otesis simplicaci on Modus ponens 1,3

Por u ltimo mostramos la demostraci on de la regla de resoluci on. Esta demostraci on no es tan directa ya que requiere el uso de la regla de suma qu es u til cuando reequerimos agregar un termino espec co con : pq p r qr Debemos demostrar el siguiente teorema:

12

Teorema 10. ((p q ) (p r) q r . Dem: expresi on 1 2 3 4 5 6 7 8 pq p (q r ) p r p (q r) (p (q r)) (p (q r) (p p) (q r) f alse (q r) (q r ) justicaci on hip otesis suma ( r) (1) + Asociatividad hip otesis suma ( q)(3) + conmutatividad composici on (2,4) distributividad (5) negaci on (6) identidad (7)

Ejemplo 1. Considere las siguientes hip otesis: H1 : HS LB P B H2: LB HB P B Ahora queremos demostrar la siguiente conclusi on: HS HB Por lo tanto, lo que se va a demostrar es: (H 1 H 2) (HS HB ) (1)

lo cual por la equivalencia asociatividad de es equivalente a demostrar: (H 1 H 2 HS ) HB (2)

13

expresi on 1 2 3 4 5 6 7 8 HS HS (LB P B ) (LB P B ) (LB P B ) (LB P B ) (LB P B ) (LB P B ) HB HB

justicaci on Premisa H1 Deduccion con (1,2) Doble Negaci on 4 De Morgan, 5 Doble Negaci[on, 6 H2 + Asociatividad +Conmutatividad Disjunctive Syllogism (6, 2)

3.3.

Ejercicios

Ejercicio 5. Demuestre que ser a v alido agregar la siguiente regla de inferencia. p XOR q p q Ejercicio 6. Teniendo en cuenta el ejemplo de la secci on anterior, demuestre que a partir de las dos hip otesis, se puede demostrar la siguiente conclusi on: (HS LB ) P B

14