Elementos

CAPTULO 1

Lgica
1. Clculo proposicional

Una proposicin es una aseveracin que puede ser verdadera (V) o falsa (F). Por ejemplo, la aseveracin est lloviendo es una proposicin porque las frases no es cierto que est lloviendo y s es cierto que est lloviendo tienen sentido, mientras que esto no ocurre con las frases cllate!, oh, lluvia, bendita seas! o cansado?. Una tautologa es una proposicin que es siempre verdadera; una contradiccin, en cambio, es siempre falsa. Usamos las letras p, q, r, ... para denotar proposiciones. En el contexto de cada problema particular, denotamos al grupo de las proposiciones por . La lgica estudia las reglas que permiten establecer la veracidad o falsedad de una proposicin. A partir de proposiciones bsicas o simples es posible construir otras complejas o compuestas, por medio de los hilativos y () y o (). La proposicin (p q) se entiende verdadera si ambas proposiciones simples son verdaderas, y falsa en caso contrario; la proposicin (p q) se entiende verdadera si cualquiera de las proposiciones simples lo es, y falsa en caso contrario. La negacin de una proposicin p se dene como aquella proposicin con el valor de verdad opuesto, y se denota por p. Se denen la implicancia como la proposicin condicional (p q ), denotada por (p q ), y la equivalencia como la proposicin compuesta (p q ) (q p), denotada por (p q ) . Observe que la implicacin no establece la veracidad de p que acta como hiptesis, sino slo que en caso de serlo, q tambin lo sera. La equivalencia es una composicin de implicaciones, por lo que tampoco establece la veracidad de ninguna de las proposiciones que la componen, sino slo en un sentido condicional: basta saber que una es cierta para saber que la segunda tambin lo es. Dependiendo de la veracidad de cada proposicin, entonces, tenemos: p V V F F q p q p q p q p q p q V V V F F V V F F V F V F F V F V V F V F F F F V V V V

Observe que, en el caso de la implicancia, slo es falsa la proposicin en que de una verdad se deduce una mentira. Si (p q ) es verdadera, entonces decimos que p es una condicin suciente para q, y que q es necesaria para p. Esto, por

Vial Zurita

Agosto 2008

Clculo proposicional

Elementos

Lgica

cuanto de la veracidad de p se desprende la veracidad de q (dado que es imposible que de una verdad se deduzca una mentira), y por otro lado, de la falsedad de q podemos inferir la falsedad de p. La equivalencia, por su parte, es verdadera cuando las dos proposiciones que se comparan tienen siempre el mismo valor de verdad. Por ello, el valor de verdad de una proposicin no se altera cuando una subproposicin es reemplazada por otra equivalente, puesto que ambas asumen el mismo valor de verdad. Teorema 1. Tenemos que: (a) (p q ) (p q) (b) (p q ) (p q) Demostracin. (a) PD: (p q ) (p q ). En efecto: p q p q p q (p q) p q V V F F V F F V F F V F V V F V V F F V V F F V V F V V (b) PD: (p q ) (p q). En efecto: p q p q p q (p q) p q V V F F V F F V F F V V F F F V V F V F F F F V V F V V

Ejercicio 1. Demuestre que (p p) es una contradiccin. Demuestre, asimismo, que [(p p) q] [q] y que [(p p) q] [p p] . Teorema 2. [p q ] [q p] [p q ] [q p] [p (q r)] [(p q ) r] [p (q r)] [(p q ) r] [p (q r)] [(p q ) (p r)] [p (q r)] [(p q ) (p r)] [p] [ (p)] [p q] [q p] [p] [p p] [p] [p p] (conmutatividad) (asociatividad) (distributividad) (doble negacin) (trasposicin) (tautologa)

Ejercicio 2. Demuestre, usando tablas de verdad, las proposiciones anteriores. La inferencia es la actividad de conseguir ciertas proposiciones a partir de otras. Las proposiciones de partida son las premisas, hiptesis o supuestos, mientras que las de llegada las conclusiones. La lgica estudia la validez de la argumentacin,

Vial Zurita

Agosto 2008

Clculo proposicional

Elementos

Lgica

esto es, hasta qu punto las proposiciones se siguen de sus antecesoras, sin juzgar la validez de los supuestos. La argumentacin, entonces, es una proposicin condicional, del tipo si-entonces. Existen diversas formas de argumentacin, por ejemplo: Modus ponens Si p, entonces q p q Modus tollens Si p, entonces q q p Silogismo Hipottico p q qr pr

Una argumentacin es vlida si su estructura es tautolgica, y es falaz en caso contrario. En trminos simblicos, tenemos las siguientes argumentaciones vlidas: [p q] [p] [p] [p q ] [(p) (q )] [p q ] [(p q) p] q [(p q ) (q r)] [p r] [(p q ) (r s) (p r)] [q s] [(p q ) p] [q ] [(p q ) q ] [p] (simplicacin) (adicin) (conjuncin) (silogismo disjuntivo) (silogismo hipottico) (dilema constructivo) (modus ponens) (modus tollens)

Teorema 3. Modus ponens es una argumentacin vlida. Demostracin. [(p q) p] [(p q) p] /def. [(p p) (q p)] /distributividad y conmutatividad (q p) /(p p) es una contradiccin q Ejercicio 3. Demuestre que todas las otras argumentaciones son vlidas. De igual forma, podemos vericar la veracidad de otras proposiciones, como por ejemplo, que [(p q )] [(p q ) (q p)]: (p q) (p q ) (q p) (p q) (q p) (p q) (p p) (q q ) (q p) (p q) (q p) (p q ) (q p) (p q ) (q p) /denicin de /denicin de /distribucin /contradicciones /de De Morgan /denicin de

Vial Zurita

Agosto 2008

Clculo proposicional

Elementos

Lgica

Cada proposicin p, por otra parte, tiene una estructura interna en la que esencialmente se dice algo de alguien o algo, esto es, se compone de un sujeto y un predicado. Por ejemplo, p =Scrates es humano, o q =todo humano es mortal. Denotamos con las minsculas a, b, c, etc. a los sujetos, y con cualquier mayscula a los predicados. Si a simboliza a Scrates y Hx es la frase x es humano, entonces p se escribe Ha, o bien, (a) Hx; en general, escribiremos la proposicin p =x satisface P como P x (x) P x. A menudo queremos hacer aseveraciones referidas a un grupo de sujetos, denotado por X , y cuyos miembros se denotan por x; en esos casos, utilizamos los siguientes cuanticadores: existe x tal que... Existencia @ no existe x tal que... Inexistencia para todo x, es cierto que... Universal El uso de estos cuanticadores es el siguiente: Cuanticador Glosa Signicado (x) (P x) existe (hay) al menos un miembro de X para el cual P x es verdadero @ (@x) (P x) ningn miembro de X satisface P x (x) (P x) todo miembro de X satisface P x (x) (P x) x satisface P x Formalmente, podemos denir en el caso en que X sea nito, con n miembros, los cuanticadores como sigue: (x) P x (@x) P x (x) P x P x1 P x2 ... P xn (x1 x2 ... xn ) (P x) (n i=1 xi ) (P x) P x1 P x2 ... P xn (x1 x2 ... xn ) (P x) (n i=1 xi ) (P x) P x1 P x2 ... P xn (x1 x2 ... xn ) (P x) (n i=1 xi ) (P x)

Observe que la negacin de es , porque:

por la ley de De Morgan. As, tenemos:

[(x) P x] [P x1 P x2 ... P xn ] (P x1 ) (P x2 ) ... (P xn ) [(x) (P x)] [(@x) (P x)] [(@x) (P x)] [(x) (P x)] [(x) (P x)] [(x) (P x)] [(x) (P x)] [(x) (P x)]

Los teoremas frecuentemente se tratan de proposiciones compuestas, en las que intervienen dos o ms cuanticadores. Consideremos dos grupos de sujetos, X e Y ,

Vial Zurita

Agosto 2008

Clculo proposicional

Elementos

Lgica

y proposiciones p que se reeren simultneamente a los sujetos x e y . Entonces, las proposiciones tienen formas como: (x) (y ) P (x, y ) (@x) (y ) P (x, y ) De hecho, es posible y probablemente preferible pensar en los cuanticadores compuestos como unidades en s mismos; si y eran los cuanticadores cuando las frases se referan a un grupo de sujetos, entonces con frases referidas a dos grupos de sujetos existen ocho cuanticadores: (x) (y ) (x) (y ) (x) (y ) (x) (y ) (y ) (x) (y ) (x) (y ) (x) (y ) (x)

Por ejemplo, considere P xy = x ama a y , donde X es un grupo de hombres e Y uno de mujeres. Entonces, (x) (y ) P xy signica hay un hombre que ama a todas las mujeres, mientras que (y ) (x) P xy signica existe una mujer que es amada por todos los hombres, mientras que (x) (y ) P xy signica todo hombre ama a alguna mujer. Las siguientes son tautologas: Teorema 4. (x) (y ) P xy (x) (y ) P xy (x) (y ) P xy (y ) (x) P xy (x) (y ) P xy (x) (y ) P xy (x) (y ) P xy (y ) (x) P xy Ejercicio 4. Demuestre el teorema. Observacin 1. Note que en todos los casos anteriores se dene uno o ms grupos de sujetos, y las proposiciones se reeren a miembros de ellos. Cuando la referencia a un grupo no es clara, se debe explicitar. Normalmente eso lo hacemos agregando al cuanticador la expresin X , donde X es el grupo de referencia. Por ejemplo, la armacin hay un hombre que ama a todas las mujeres la escribiramos como: Alternativamente, podramos denir Hx = x es hombre y My = y es mujer, y as escribir la frase hay un hombre que ama a todas las mujeres sin hacer referencia a los grupos X e Y como: (y ) (My = (x) (Hx P xy )) , (x X ) (y Y ) P xy. (y ) (x) P xy (y ) (x) P xy (y ) (x) P xy (x) (y ) P xy (x) (y ) P xy (y ) (x) P xy (y ) (x) P xy (x) (y ) P xy

Vial Zurita

Agosto 2008

Demostraciones

Elementos

Lgica

(podemos escribirla alternativamente como (x) (Hx = (y ) (My = P xy ))?). 2. Demostraciones

Una demostracin es un argumento que pretende hacer evidente que una proposicin es tautolgica. Dependiendo de la importancia que la proposicin tiene en el discurso, la proposicin recibe el nombre de lema, teorema, corolario o proposicin. En cualquier caso, se trata de una proposicin tautolgica, tpicamente con la estructura p q. Una demostracin es correcta cuando de hecho hace ver al lector la tautologa. Evidentemente, entonces, depende del conocimiento del lector qu se necesita para hacerle ver ese hecho. Toda demostracin supone un determinado nivel de conocimiento del lector, y toma como dado un lenguaje de referencia. Tratndose de un argumento, entonces, es posible plantearla en longitudes y con detalle variado. Considere el siguiente ejemplo: Teorema 5. (p q ) (q p) Demostracin. (p q ) (p q ) (p q ) (p q ) ( (q ) (p)) (q p) (denicin ) (doble negacin) (distribucin y doble negacin) (conmutatividad, distribucin ) (denicin )

Decimos que la frase (q p) es el contrapositivo de (p q). El teorema dice que el contrapositivo es equivalente a la proposicin, es decir, que ambas frases tienen siempre el mismo valor de verdad, cualquiera sea ste. La demostracin usa diversas ideas: la denicin de implicancia, el hecho que la negacin se revierte cuando es aplicada dos veces, etc. Este desarrollo no constituye una demostracin propia para una persona que no est familiarizada con estos conceptos (en el sentido de que no lo hace evidente), y es todo lo que necesita otra que s lo est para convencerse de la veracidad de la proposicin en cuestin. Existen diversas estrategias para construir una demostracin; la eleccin tpicamente privilegiar la claridad y la brevedad. Estas estrategias corresponden a las diversas formas equivalentes (en el sentido lgico) en que una frase se puede escribir. As, una demostracin puede ser: 1. Directa, mostrando que (p q) es una tautologa. 2. Indirecta, mostrando que su contrapositivo (q p) es una tautologa. 3. Por contradiccin, mostrando que su negacin, (p q ) , es una contradiccin.

Vial Zurita

Agosto 2008

Ejercicios

Elementos

Lgica

4. Por induccin: cuando se tiene una secuencia de proposiciones ordenadas p1 , ..., pn , y se quiere mostrar que (p1 ... pn ) es una tautologa, se demuestra que pk pk+1 (para todo k ) y que p1 lo son. El resultado se sigue de modus ponens. Considere el siguiente ejemplo: Ejemplo 1. (Primer Teorema del Bienestar) La asignacin de recursos que se alcanza en un equilibrio walrasiano es eciente. Primero pongamos esta frase en lenguaje simblico: sea X el conjunto de asignaciones de recursos, con elemento tpico x; W el conjunto de asignaciones de recursos que son alcanzables en un equilibrio walrasiano, y sea E el conjunto de asignaciones de recursos ecientes. Entonces, las diversas formas de demostracin estn dadas por: Tipo de demostracin Directa Contrapositivo Contradiccin Proposicin tautolgica (x W ) (x E ) (x / E ) (x / W) ((x W ) (x / E ))

En palabras, la demostracin directa consiste en hacer evidente que si una asignacin es de equilibrio, entonces es eciente; la demostracin indirecta consiste en hacer evidente que si una asignacin no es eciente, no puede ser de equilibrio, y nalmente, la demostracin por contradiccin consiste en mostrar que es imposible que una asignacin sea de equilibrio y no sea eciente a la vez.

Ejercicios 1. Demuestre que (p p) es una contradiccin. Demuestre, asimismo, que [(p p) q ] [q ] y que [(p p) q ] [p p] . 2. Demuestre que los siguientes argumentos son invlidos: a ) Todos los astronautas son valientes. Pedro es valiente. Luego, Pedro es un astronauta. b ) Todos los rboles de hojas no perennes son fragantes. Algunos rboles que expelen resina no son fragantes. Por lo tanto, algunos rboles de hoja no perenne no expelen resina. c ) El consumidor compra la canasta ms preferida dentro de las alcanzables. Luego, si una canasta es inalcanzable, entonces es preferida a la que compra. 3. Demuestre que: [(x) (P x)] [(@x) (P x)] [(@x) (P x)] [(x) (P x)] [(x) (P x)] [(x) (P x)] [(x) (P x)] [(x) (P x)]

Vial Zurita

Agosto 2008

Ejercicios

Elementos

Lgica

4. Demuestre que: (x) (y ) P (x, y ) (y ) (x) P (x, y ) (x) (y ) P (x, y ) (y ) (x) P (x, y ) (x) (y ) P (x, y ) (y ) (x) P (x, y ) (y ) (x) P (x, y ) (x) (y ) P (x, y ) (x) (y ) P (x, y ) (x) (y ) P (x, y ) (x) (y ) P (x, y ) (y ) (x) P (x, y ) (x) (y ) P (x, y ) (y ) (x) P (x, y ) (y ) (x) P (x, y ) (x) (y ) P (x, y ) donde la referencia a los conjuntos X e Y se deja implcita para facilitar la notacin. 5. Escriba es trminos simblicos los teoremas que siguen, y demustrelos. Sea preciso en el uso de los cuanticadores. a ) Todos los acusados son culpables. Todos los condenados sern colgados. Por lo tanto, si todos los culpables son condenados, entonces todos los acusados sern colgados. b ) Si cualquier joya ha desaparecido, entonces, si todos los empleados son honestos, ser devuelta. Si cualquier empleado es honesto, entonces todos lo son. As, si cualquier joya ha desaparecido, entonces, si al menos un empleado es honesto, ser devuelta. c ) Si existen los genios, entonces todos los grandes compositores son genios. Si cualquier persona es temperamental, todos los genios son temperamentales. Luego, si alguna persona es un genio temperamental, entonces todos los grandes compositores son genios temperamentales. 6. Escriba en lenguaje comn las frases indicadas a continuacin, en donde P (x, y ) signica x est relacionado con y , representando una relacin en X Y , y donde X e Y son conjuntos nitos. Escriba estas frases en los siguientes dos casos: a ) X son mdicos e Y son pacientes, y P (x, y ) signica x atiende a y . b ) X e Y son los conjuntos de consecuencias posibles de los dos actos al alcance de un individuo, y P (x, y ) signica la consecuencia x es preferida por el individuo a la consecuencia. y . (x) (y ) P (x, y ) (x) (y ) P (x, y ) (x) (y ) P (x, y ) (x) (y ) P (x, y ) (y ) (x) P (x, y ) (y ) (x) P (x, y ) (y ) (x) P (x, y ) (y ) (x) P (x, y )

donde la referencia a los conjuntos X e Y se deja implcita para facilitar la notacin. 7. Construya una demostracin directa, otra por contrapositivo y otra por contradiccin, para cada una de las siguientes proposiciones: a ) Sea A A el conjunto de canastas alcanzables para un consumidor, y a {a0 A| a0 % a a A}. Entonces, si a a , entonces a / A.

Vial Zurita

Agosto 2008

Ejercicios

Elementos

Lgica

b ) El mximo de una funcin real acotada f (x) es creciente en el siguiente sentido: A B m axxA f (x) m axxB f (x) . c ) Si f y g son funciones acotadas de X R en X , entonces m ax f (x) + m ax g (x) m ax (f (x) + g (x)) .

Vial Zurita

Agosto 2008