Apuntes de clase Matemtica Discreta a

Luis Dissett Segundo Semestre, 2004

c Luis Dissett.

P.U.C. Chile, 2004

Prlogo (provisorio) o
Estos apuntes (o mejor dicho, este borrador de apuntes) resumen el contenido de los cursos de Matemtica a Discreta que he dictado en las Facultades de Matemtica e Ingenier entre los aos 2000 y 2004. a a n Espero que le sean utiles, en primer lugar, a mis alumnos en futuras versiones de estos cursos, y tambin a e otros profesores que deseen usarlos como referencia para sus cursos.

c Luis Dissett.

P.U.C. Chile, 2004

Cap tulo 1

Lgica Proposicional o
1.1. Proposiciones, conectivos, frmulas proposicionales o

Denicin 1. Una proposicin es una armacin que puede ser verdadera o falsa. o o o Una proposicin es atmica si es imposible descomponerla en proposiciones ms simples. o o a Para combinar proposiciones y formar nuevas proposiciones ms complejas usamos los llamados conectivos a lgicos. o

1.1.1.

Algunos conectivos

Negacin La negacin de una proposicin es la que arma que la proposicin original no es verdadera. Geneo o o o ralmente se obtiene agregando no (o no es verdad que) antes de la proposicin original. o Conjuncin La conjuncin de dos proposiciones es la que arma que ambas proposiciones son verdaderas. Se o o obtiene intercalando y entre las dos proposiciones originales. Disyuncin La disyuncin de dos proposiciones es la que arma que al menos una de las dos proposiciones es o o verdadera. Se obtiene intercalando o entre las dos proposiciones originales. Condicional La proposicin condicional entre dos proposiciones (el antecedente y el consecuente) es la que o arma que, cada vez que el antecedente es verdadero, el consecuente tambin lo es. Puede ser obtenido e precediendo el antencedente por si e intercalando entonces entre el antecedente y el consecuente. Bicondicional La proposicin bicondicional entre dos proposiciones es la que arma que, o ambas son verdadeo ras, o ambas son falsas. Puede ser obtenida intercalando la frase si y slo si, o bien siempre y cuando o entre las dos proposiciones originales. Ejercicio. Cuntos conectivos binarios (esencialmente diferentes) es posible denir? a Respuesta. Hay un total de 24 = 16 conectivos binarios distintos. Postergaremos la justicacin de esto hasta que veamos tablas de verdad . o

1.2.

Frmulas proposicionales o

Para trabajar con proposiciones, las representamos por frmulas, llamadas apropiadamente frmulas o o proposicionales. En estricto rigor, una frmula proposicional es simplemente una secuencia de s o mbolos, a la cual se asocia una proposicin. o Las proposiciones atmicas son representadas por variables proposicionales, que generalmente son letras o maysculas: P , Q, R, S, etc. Si debemos utilizar demasiadas variables proposicionales, recurrimos a sub- u ndices; as podemos tener variables proposicionales P1 , P2 , P3 ,. . . , Q1 , Q2 , Q3 , etc. , Las proposiciones compuestas son representadas como sigue: si dos proposiciones y son representadas, respectivamente, por las frmulas proposicionales p y q, entonces representamos (y leemos) las siguientes propoo siciones compuestas como sigue: 5

1.3. ALGUNOS COMENTARIOS Proposicin o Negacin de o Conjuncin de y o Disyuncin de y o Condicional entre y Bicondicional entre y Representacin o (p) (p q) (p q) (p q) (p q)

CAP ITULO 1. LOGICA PROPOSICIONAL Lectura no p. p y q. p o q. si p entonces q. p si y slo si q. o

1.3.

Algunos comentarios

Note que tenderemos a identicar las frmulas proposicionales con las proposiciones que representan; o sea, o a veces diremos proposicin cuando lo correcto ser decir frmula proposicional. o a o En particular, identicaremos las proposiciones atmicas con las variables proposicionales que las representan. o Adems, en la medida de lo posible, cuando no se preste a confusiones, eliminaremos los parntesis ms a e a exteriores de (p q), (p q), etc. En general, intentaremos eliminar la mayor cantidad posible de parntesis, en e la medida en que esto no deje ambigua a la frmula. o

1.4. Valor de verdad de proposiciones compuestas

Una proposicin compuesta, formada por subproposiciones, ser verdadera o falsa dependiendo de los valores o a de verdad de las subproposiciones que la forman. Ejemplo. Considrese la proposicin ((P Q) (R P )), y supngase que P y Q son verdaderas y R falsa. e o o Entonces: P ser falsa (negacin de una proposicin verdadera). a o o (P Q) ser falsa (conjuncin de una proposicin falsa y una verdadera). a o o (R P ) ser verdadera (disyuncin de una proposicin falsa y una verdadera). a o o Finalmente, ((P Q) (R P )) ser verdadera (disyuncin de una proposicin falsa y una verdadera). a o o

1.5.

Asignaciones de verdad

Denicin 2. Una asignacin de verdad es una lista de valores de verdad (Verdadero o Falso) asociadas o o a las proposiciones atmicas que forman las proposiciones con las que estamos trabajando1 o As una asignacin de verdad determina el valor de verdad de cada una de las proposiciones compuestas con , o las que estamos trabajando. En el ejemplo anterior, nuestra suposicin de que P y Q eran verdaderas y R falsa constituye una asignacin o o de verdad.

1.6.

Tablas de Verdad

Resumiremos los valores de verdad de que toma una proposicin compuesta, para todas las posibles asignao ciones de verdad, en una tabla de verdad . En dichas tablas, usaremos los s mbolos 1 para indicar Verdadero y 0 para indicar Falso. Ejemplo. La tabla de verdad para ((P Q) (R P )) es como sigue: P 0 0 0 0 1 1 1 1 Q 0 0 1 1 0 0 1 1 R 0 1 0 1 0 1 0 1 ((P 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 Q) 0 1 1 1 1 1 1 1 (R 0 1 0 1 1 1 1 1 P)

1 level=1 +1Estrictamente hablando, una asignacin de verdad asigna Verdadero o Falso a las variables proposicionales que o estamos considerando.

c Luis Dissett.

P.U.C. Chile, 2004

 CAP ITULO 1. LOGICA PROPOSICIONAL

1.7. TAUTOLOG IAS Y CONTRADICCIONES

1.7.
Ejemplo.

Tautolog y contradicciones as

Denicin 3. Una tautolog es una proposicin que es verdadera en toda asignacin de verdad. o a o o ((P Q) (P Q)). Una contradiccin es una proposicin que es falsa en toda asignacin de verdad. o o o Ejemplo. (P P ). Notacin. Denotaremos las tautolog por To y las contradicciones por Fo . o as Ejemplo. Al tratar de demostrar que una cierta conclusin c se desprende de una serie de premisas p1 , p2 , . . . , pn , o en el fondo estamos tratando de probar que (p1 p2 . . . pn ) c es una tautolog a.

1.8.

Consecuencia lgica o

Consideremos dos situaciones: 1. Las proposiciones p q : (3 < 2 1 + 3 = 4), y : (2 < 5 1 + 3 = 4).

son verdaderas, mientras que la proposicin r : 1 + 3 = 4 tambin lo es. o e 2. Las proposiciones s : t : (2 < 3 2 < 4), y (2 < 4 2 + 2 = 4).

son verdaderas, mientras que la proposicin u : (2 < 3 2 + 2 = 4) tambin lo es. o e Consideremos slo las estructuras de las proposiciones involucradas. Podemos escribir: o p:X Y q:ZY r:Y donde X, Y, Z, F, G y H son proposiciones atmicas. o Vistas de esta forma, en que p, q, r, s, t y u son slo consideradas en funcin de su estructura, o o Ser verdad que toda asignacin de verdad que hace verdaderas a p y a q debe tambin hacer verdadera a r? a o e Ser verdad que toda asignacin de verdad que hace verdaderas a s y a t debe tambin hacer verdadera a u? a o e Observamos que, para p, q y r, es posible hallar una asignacin de verdad (para las proposiciones atmicas o o X, Y y Z) que hace verdaderas a p y q, pero hace falsa a r. Simplemente, debemos asignar Verdadero a X, Falso a Y y Falso a Z. En el segundo caso, sin embargo, es imposible hallar una asignacin de verdad que haga verdaderas a s y o t y haga falsa a u (cmo es posible convencerse de esto, aparte de probando todas las asignaciones de verdad o posibles?).
c Luis Dissett.

s:F G t:GH u : F H,

P.U.C. Chile, 2004

 1.9. DEFINICION DE CONSECUENCIA LOGICA

CAP ITULO 1. LOGICA PROPOSICIONAL

1.9.

Denicin de consecuencia lgica o o

Denicin 4. Dados un conjunto = {1 , 2 , . . . , n } de proposiciones, y una proposicin , diremos que o o es consecuencia lgica de si toda asignacin de verdad que hace verdaderas a 1 , 2 , . . . , n hace verdadera o o tambin a . e Notacin. Si = {}, en lugar de decir que es consecuencia lgica de {} diremos simplemente que es o o consecuencia lgica de . o Notacin. Denotaremos el hecho de que es consecuencia lgica de por |= o o Observacin. Note que es tautolog si y slo si |= . Denotamos este hecho por |= . o a o

Cmo probar consecuencia lgica? o o

Tablas de verdad (fuerza bruta). Tratando de construir una asignacin de verdad que haga verdaderas todas las proposiciones de y falsa o a , y mostrando que esto es imposible.

Cmo refutar consecuencia lgica? o o

Respuesta: Encontrando una una asignacin de verdad que haga verdaderas todas las proposiciones de y o falsa a . Esto puede ser hecho usando tablas de verdad (de nuevo, fuerza bruta) o bien tratando de construir dicha asignacin de verdad (y teniendo xito en el intento). o e Una estrategia que puede ser util en este sentido es la de resolucin, que ser explicada en la primera ayudant o a a.

1.10.

Equivalencia lgica o

Denicin 5. Sean P y Q dos proposiciones cualesquiera (atmicas o compuestas). o o Diremos que P y Q son lgicamente equivalentes si toda asignacin de verdad que hace verdadera a P hace o o verdadera a Q y viceversa. Notacin. Denotaremos la equivalencia lgica entre P y Q por P Q. o o

Una formulacin equivalente o

Teorema. Dadas dos proposiciones P y Q, se tiene que P Q si y slo si P Q es una tautolog o a. Demostracin. Ejercicio. o

c Luis Dissett.

P.U.C. Chile, 2004

 CAP ITULO 1. LOGICA PROPOSICIONAL

1.11. LAS LEYES DE LA LOGICA

1.11.

Las leyes de la lgica o

Las siguientes equivalencias lgicas son conocidas como las leyes de la lgica: o o Ley de la doble negacin o p p. Leyes de de Morgan (p q) (p q) Leyes conmutativas pq pq Leyes asociativas p (q r) (p q) r. p (q r) (p q) r. Leyes distributivas p (q r) (p q) (p r). p (q r) (p q) (p r). Leyes de idempotencia pp pp Leyes de elemento neutro p Fo p To Leyes de elemento inverso p p p p Leyes de dominacin o p To p Fo Leyes de absorcin o p (p q) p. p (p q) p. Ley de la implicacin o pq
c Luis Dissett.

p q. p q.

q p. q p.

p. p.

p. p.

To . Fo .

To . Fo .

p q.
P.U.C. Chile, 2004

 1.12. REGLAS DE SUSTITUCION

CAP ITULO 1. LOGICA PROPOSICIONAL

1.12.

Reglas de sustitucin o

En las leyes anteriores, es posible reemplazar todas las ocurrencias de una proposicin atmica (p, q, r, o o etc.) por cualquier proposicin, y la ley seguir siendo vlida. o a a Sea P una proposicin cualquiera. Si en P se reemplazan una o ms ocurrencias de una proposicin Q por o a o una proposicin Q lgicamente equivalente a Q, la proposicin P resultante ser lgicamente equivalente o o o a o a P.

1.13.

El principio de dualidad

Las leyes anteriores (excepto en dos casos) estn agrupadas en pares. En cada caso, una de las leyes es lo que a llamamos el dual de la otra. Denicin 6. Sea F una proposicin que contiene slo los conectivos , y . Entonces la proposicin dual de o o o o F (que denotamos por F d ) es la proposicin que resulta de reemplazar cada aparicin de por (y viceversa), o o y cada aparicin de To por Fo (y viceversa). o Teorema (Principio de dualidad). Si F G, entonces F d Gd . No veremos la demostracin de este teorema. o As basta probar una de las leyes de cada par de duales. ,

1.14.

Formas Normales

Recordemos que estamos estudiando frmulas proposicionales, o sea, representaciones de proposiciones como o strings de s mbolos. Estos s mbolos, o bien son conectivos, o bien representan proposiciones atmicas. o Llamamos literales a los s mbolos que representan proposiciones atmicas, y al s o mbolo de negacin () seguido o de un s mbolo que representa a una proposicin atmica. o o A continuacin demostraremos que toda frmula proposicional puede ser escrita como: o o conjuncin de disyunciones de literales, o bien o disyuncin de conjunciones de literales. o A la primera forma la llamamos Forma Normal Conjuntiva (FNC), y a la segunda Forma Normal Disyuntiva (FND). Toda proposicin puede ser re-escrita en FNC o en FND. o Ms precisamente, se tiene el siguiente a Teorema. Dada una frmula proposicional , existen frmulas proposicionales y tales que est en FNC, o o a est en FND, y . a Demostracin. Sean X1 , X2 , . . . , Xn las variables proposicionales que aparecen en . o Considere la tabla de verdad para la frmula proposicional . Esta tabla de verdad tiene 2n l o neas. Cada l nea de la tabla de verdad corresponde a una asignacin de verdad a las variables proposicionales o X1 , X2 , . . . , Xn , y puede ser interpretada como una conjuncin de n literales L1 L2 . . . Ln (donde Li = Xi o si la asignacin de verdad asigna Verdadero a Xi , y Li = Xi si la asignacin de verdad asigna Falso a Xi ). o o As una frmula en FND que es lgicamente equivalente a est dada por la disyuncin de las conjunciones , o o a o de literales correspondientes a las l neas de la tabla de verdad donde se hace verdadera. Para hallar una frmula en FNC que sea lgicamente equivalente a , podemos hallar una frmula en o o o FND lgicamente equivalente a , y despus aplicar De Morgan dos veces para transformar en una frmula o e o en FNC. Como , tenemos que . Ejercicio. Aplique el mtodo indicado arriba para encontrar frmulas en FNC y FND que sean lgicamente e o o equivalentes a (P Q) (R Q).
c Luis Dissett.

10

P.U.C. Chile, 2004

 CAP ITULO 1. LOGICA PROPOSICIONAL

1.15. REGLAS DE INFERENCIA

1.15.

Reglas de inferencia

Queremos enunciar reglas que nos permitan justicar nuestras deducciones de conclusiones a partir de premisas dadas. As por ejemplo, al hacer una demostracin del tipo , o (p1 p2 . . . pn ) c, nos gustar poder a segurar que la implicacin es vlida (lgicamente verdadera), sin tener que probar todas las a o a o combinaciones de valores de verdad (que pueden ser demasiados). Estudiaremos a continuacin reglas de inferencia que nos permitirn ir obteniendo conclusiones a partir de o a un conjunto de premisas, de modo de terminar obteniendo la conclusin deseada. o En lo que sigue, P , Q, R, etc., representan proposiciones cualesquiera, no necesariamente atmicas. o Las primeras reglas de inferencia que consideraremos estn dadas por las equivalencias que aparecen en las a leyes de la lgica, a las que posiblemente habremos aplicado las reglas de sustitucin. o o As si tenemos como premisa P y una ley de la lgica nos dice que P Q, entonces podemos deducir Q. , o Otras reglas que estudiaremos son: La ley del silogismo. Modus Ponens, o mtodo de la armacin. e o Modus Tollens, o mtodo de la negacin. e o La regla de resolucin. o La regla de conjuncin. o La ley del silogismo disyuntivo. La regla de contradiccin. o La regla de demostracin por casos. o La regla del dilema constructivo. La regla del dilema destructivo. La regla de simplicacin conjuntiva. o La regla de amplicacin disyuntiva. o La regla de demostracin condicional. o

1.16.

Las reglas

Ley del silogismo Cada vez que tengamos como premisas proposiciones de las formas P Q y Q R, tenemos derecho a deducir P R. En s mbolos: P Q QR P R

Modus ponens Cada vez que tengamos como premisas proposiciones de las formas P Q y P , tenemos derecho a deducir Q. En s mbolos: P Q P Q

Ejemplo. Supongamos que tenemos por premisas (p q) y ((p q) (q r)). Aplicando modus ponens, vemos que (p q) (q r) (p q) (q r)

c Luis Dissett.

11

P.U.C. Chile, 2004

1.16. LAS REGLAS

CAP ITULO 1. LOGICA PROPOSICIONAL

Modus tollens Cada vez que tengamos como premisas proposiciones de las formas P Q y Q, tenemos derecho a deducir P . En s mbolos: P Q Q P Ejemplo. Supongamos que tenemos por premisas (p q) r y r. Aplicando modus tollens, vemos que (p q) r r (p q) Regla de conjuncin Cada vez que tengamos como premisas proposiciones de las formas P y Q, tenemos o derecho a deducir P Q. En s mbolos: P Q P Q Ley del silogismo disyuntivo Cada vez que tengamos como premisas proposiciones de las formas P Q y P , tenemos derecho a deducir Q. En s mbolos: P Q P Q Regla de contradiccin Cada vez que tengamos como premisa una proposicin de la forma P Fo , tenemos o o derecho a deducir P . En s mbolos: P Fo P Regla de simplicacin conjuntiva Cada vez que tengamos como premisa una proposicin de la forma P Q, o o tenemos derecho a deducir P . En s mbolos: P Q Q Regla de amplicacin disyuntiva Cada vez que tengamos como premisa una proposicin de la forma P , o o tenemos derecho a deducir P Q. En s mbolos: P P Q Regla de demostracin condicional Cada vez que tengamos como premisas proposiciones de las formas P Q o y P (Q R), tenemos derecho a deducir R. En s mbolos: P Q P (Q R) R Regla de demostracin por casos Cada vez que tengamos como premisas proposiciones de las formas P R o y Q R, tenemos derecho a deducir (P Q) R. En s mbolos: P R QR (P Q) R
c Luis Dissett.

12

P.U.C. Chile, 2004

 CAP ITULO 1. LOGICA PROPOSICIONAL

1.17. SISTEMAS DEDUCTIVOS

Regla del dilema constructivo Cada vez que tengamos como premisas proposiciones de las formas P Q, R S y P R, tenemos derecho a deducir Q S. En s mbolos: P Q RS P R QS

Regla del dilema destructivo Cada vez que tengamos como premisas proposiciones de las formas P Q, R S y Q S, tenemos derecho a deducir P R. En s mbolos: P Q RS Q S P R

1.17.

Sistemas deductivos

Llamamos sistema deductivo a cualquier conjunto de reglas (de entre las mencionadas, u otras) que, agregadas a las leyes de la lgica, nos permitan deducir conclusiones a partir de premisas. o Entre las caracter sticas que nos interesa que tenga un posible sistema deductivo se destacan dos: (a) Que sea correcto (en ingls, sound), o sea, que cualquier conclusin que se obtenga a partir de las premisas e o deba ser, necesariamente, consecuencia lgica de stas; en otras palabras, que no sea posible deducir nada o e que no sea consecuencia lgica de las premisas; y o (b) Que sea completo, o sea, que si es consecuencia lgica de las premisas, entonces puede ser deducido de o stas. e

1.18.

Ejemplo de uso de las reglas

Consideremos el sistema deductivo formado por todas las reglas enunciadas anteriormente. Las usemos para demostrar que pq es consecuencia lgica de o {p (r q), r q, q r} . El argumento que damos es el siguiente: p (r q) r q qr rq (r q) (r q) (r r) q q p q pq Premisa Premisa Premisa Simplicacin conjuntiva, 1.1 o Regla de conjuncin, 1.2 y 1.4 o Ley distributiva, 1.5 Elemento neutro, 1.6 Amplicacin disyuntiva, 1.7 o Ley de la implicacin, 1.5 o (1.1) (1.2) (1.3) (1.4) (1.5) (1.6) (1.7) (1.8) (1.9)

c Luis Dissett.

13

P.U.C. Chile, 2004

1.19. OTRO EJEMPLO

CAP ITULO 1. LOGICA PROPOSICIONAL

1.19.

Otro ejemplo
qr

Usemos este mismo sistema deductivo para demostrar que

es consecuencia lgica de o {p, p q, s r, s t} . Nuestro argumento es como sigue: p pq q sr s r s r s t s r qr Premisa Premisa Modus Ponens, 1.10 y 1.11 Premisa Ley de la doble negacin, 1.13 o Ley de la implicacin, 1.14 o Premisa Simplicacin conjuntiva, 1.16 o Modus ponens, 1.15 y 1.17 Regla de conjuncin, 1.12 y 1.18 o (1.10) (1.11) (1.12) (1.13) (1.14) (1.15) (1.16) (1.17) (1.18) (1.19)

1.20.

Resolucin o

Un sistema deductivo muy importante en Inteligencia Articial es el formado por la unica regla de resolucin: o Cada vez que tengamos como premisas proposiciones de las formas P Q y QR, tenemos derecho a deducir P R. En s mbolos: P Q Q R P R Este sistema deductivo es correcto (sound) y completo (no lo demostraremos aqu y no slo puede ser usado ), o para deducir sino tambin para refutar . e Note que de P y P podemos deducir Fo , ya que P P Fo y P P Fo .

Deduccin usando resolucin o o

Para demostrar (o refutar) el que |= Q, hacemos lo siguiente: Transformamos todas las frmulas de a FNC. o Negamos la conclusin deseada (Q) y la ponemos en FNC. o Aplicamos la regla de resolucin, hasta que: o bien derivamos una contradiccin, o bien la regla no puede o o ser aplicada. Si se lleg a una contradiccin, entonces Q es consecuencia lgica de . En caso contrario, no lo es. o o o Ejemplo. Demostraremos que = {P Q, P R, Q R} |= R, usando resolucin. o Solucin: o T ras transformar las frmulas de a FNC, y agregar la negacin de R en FNC, obtenemos: o o {P Q, P R, Q R, R} . Sucesivas aplicaciones de la regla de resolucin dan: o de P Q y de P R, obtenemos Q R; de Q R y R obtenemos Q;
c Luis Dissett.

14

P.U.C. Chile, 2004

 CAP ITULO 1. LOGICA PROPOSICIONAL de Q R y Q obtenemos R; nalmente, de R y R obtenemos nuestra contradiccin. o O sea, |= R.

1.20. RESOLUCION

c Luis Dissett.

15

P.U.C. Chile, 2004