Un poco de l ogica

Ram on Espinosa Departamento de Matem aticas, ITAM

La l ogica, como el whisky, pierde sus efectos ben ecos cuando se consume en grandes cantidades. Lord Dunsany

Uno de los principales prop ositos de la l ogica consiste en proporcionar reglas, por medio de la cuales se pueda determinar si un argumento particular es correcto. La l ogica se interesa en cualquier tipo de razonamiento, los cuales pueden ser, por ejemplo, argumentos legales, demostraciones matem aticas o conclusiones cient cas, basadas todas ellas en ciertas suposiciones.

1.

Proposiciones

Una proposici on es una armaci on que puede ser verdadera o falsa, pero no ambas. Por ejemplo, la frase Guadalajara es la capital de M exico, es una proposici on falsa. La negaci on de una proposici on P es la proposici on P que es verdadera cuando P es falsa y es falsa cuando P es verdadera. Sean P y Q dos proposiciones. Si escribimos P y Q obtenemos una nueva proposici on, llamada la conjunci on de P y Q, la cual es verdadera solamente cuando P y Q son ambas verdaderas.

La disyunci on de dos proposiciones es la proposici on P o Q

que es verdadera si P verdadera, o si Q es verdadera, o si ambas son verdaderas. Es importante hacer notar que el o matem atico siempre es inclusivo. Observa que la negaci on de la conjunci on es la proposici on P o Q,

y la negaci on de la disyunci on es la proposici on P y Q.

Una proposici on condicional es una proposici on de la forma si P entonces Q la cual es falsa solamente cuando P es verdadera y Q es falsa. Se acostumbra escribir P Q. Esta proposici on tambi en puede expresarse como: P implica Q, P s olo si Q, P es una condici on suciente para Q, Q es una condici on necesaria para P . En este caso la proposici on P se llama hip otesis y la proposici on Q se llama conclusi on. Observa que la negaci on de P Q es la proposici on P y Q. Ejemplo 1. En el ITAM el reglamento estipula que para aprobar un curso es necesario que el alumno apruebe el examen nal. Esta armaci on se puede representar como P Q, donde P : aprueba el curso. Q: aprueba el examen nal. Observa que la condici on Q es necesaria, pero no suciente para P , es decir, si el alumno aprueba el examen nal no necesariamente aprueba el curso. La rec proca de la proposici on condicional P Q es la proposici on Q P. 2

Es posible que una proposici on condicional sea verdadera pero que su rec proca sea falsa. La contrarrec proca (o contraposici on) de la proposici on condicional P Q es la proposici on Q P. Toda proposici on condicional es l ogicamente equivalente a su contrarrec proca. La proposici on P Q y Q P se llama proposici on bicondicional y se denota P Q. Esta proposici on se lee: P si y s olo si Q. Tambi en se acostumbra decir que P es una condici on necesaria y suciente para Q.

2.

Cuanticadores

La armaci on x > 5 no es una proposici on, porque su valor de verdad depende de la variable x. Este tipo de enunciados son llamados predicados. Una manera de convertir un predicado P (x) en una proposici on es cuanticar las variables para las cuales el predicado es verdadero. El cuanticador universal se utiliza para construir proposiciones como: x X P (x) que se lee: para toda x X , P (x) es verdadera. La proposici on anterior es verdadera s olo si P (x) es verdadera para cualquier x X . El s mbolo puede leerse para todo, o para cada, o para cualquier. Con frecuencia se coloca el cuanticador universal despu es del predicado, sin que cambie el signicado de la proposici on. Por ejemplo, la proposici on xR tambi en puede escribirse como x2 0 x R. x2 0

El cuanticador existencial se utiliza para construir proposiciones de la forma: x X P (x) que signica existe x X tal que P (x) es verdadera. El s mbolo puede leerse existe, o para alg un, o para al menos un. Algunas proposiciones involucran m as de un cuanticador. Por ejemplo, el axioma que establece que en los n umeros enteros existe un elemento neutro aditivo se escribe: 0 Z x + 0 = x x Z. Es importante hacer notar que aunque esta notaci on es utilizada ampliamente en textos de l ogica y es utilizada tambi en por los profesores de matem aticas en el sal on de clase, o por los alumnos en sus tareas y ex amenes, se debe evitar escribir estos s mbolos en documentos formales, como puede ser una tesis, un art culo o un libro. En estos documentos el axioma anterior se escribir a como: Existe 0 Z tal que x + 0 = x para todo x Z. Si hay m as de un cuanticador el orden en que aparecen estos es muy importante. No es lo mismo la proposici on hH que la proposici on mM h H. En otras palabras, no es lo mismo la frase: para todo hombre existe una mujer, que la frase: existe una mujer para todos los hombres. La negaci on de la proposici on xX es la proposici on xX P (x). Equivalentemente, para mostrar que la proposici on x X P (x) es falsa, basta exhibir un elemento x X tal que P (x) sea falso. Tal elemento es llamado un contraejemplo. Ejemplo 2. Mostrar que la proposici on: 4 P (x) mM

Para todo n Z si n2 4 entonces n 2. es falsa. Soluci on. Basta observar, por ejemplo, que n = 3 < 2, pero n2 = 9 4. La negaci on de la proposici on xX es la proposici on xX P (x). Ejemplo 3. La negaci on de la proposici on aA bB es la proposici on aA bB cC P (b, c) y Q(a, b, c). cC P (b, c) Q(a, b, c) P (x)

3.

M etodos de demostraci on

Una demostraci on es una sucesi on de armaciones que representan una argumentaci on de la validez de un enunciado matem atico. Algunas de las armaciones que aparecen en una demostraci on pueden considerarse verdades a priori, estas incluyen axiomas, deniciones o resultados establecidos previamente. Otras armaciones pueden ser las hip otesis del enunciado, las cuales se suponen verdaderas en el argumento. Por u ltimo, algunas armaciones pueden ser inferidas de otras armaciones cuya validez fue probada al principio de la demostraci on. Una demostraci on directa de P Q comienza suponiendo que P es verdadera y de ah concluye que Q es verdadera, utilizando cualquier informaci on disponible, como axiomas o resultados demostrados previamente. Ejemplo 4. Probar que si n es un entero par entonces n2 es par. Demostraci on. Por hip otesis n = 2k para alg un k Z. Por lo tanto n2 = (2k )2 = 4k 2 = 2(2k 2 ) es par. Una demostraci on indirecta de P Q consiste en probar la contrarrec proca Q P . 5

Ejemplo 5. Probar que para todo entero n, si n2 es par entonces n es par. Demostraci on. Si n es impar entonces n = 2k + 1 para alg un entero k . De 2 2 2 2 ah que n = (2k + 1) = 4k + 4k + 1 = 2(2k + 2k ) + 1 es impar. Observa que, a partir de los ejemplos anteriores, podemos concluir que si n es un entero, entonces n es par si y s olo si n2 es par. Una demostraci on por contradicci on (o reducci on al absurdo) de P Q comienza suponiendo que P es falsa y de esta suposici on concluye una contradicci on. Ejemplo 6. Probar que si r es un n umero racional entonces r2 = 2. Demostraci on. Supongamos que existe un n umero racional r = n/m tal que r2 = 2. Podemos suponer, sin p erdida de generalidad, que n y m no tienen factores comunes. La suposici on de que r2 = 2 implica que n m
2

= 2.

esto a su vez implica que n2 = 2m2 . Es decir, n2 es par, de ah que, por el ejemplo anterior, n tambi en debe ser par, es decir, n = 2k para alg un entero k . Por lo tanto 2m2 = n2 = (2k )2 = 4k 2 , y de ah que m2 = 2k 2 , de modo que m tambi en es par, lo cual contradice la hip otesis de que n y m no tienen factores comunes. Una proposici on matem atica cuya veracidad ha sido probada, es llamada un teorema. Un lema es un resultado que no es considerado importante, pero que es u til para probar un teorema. Un resultado que puede probarse f acilmente a partir de un teorema es llamado un corolario de ese teorema. Cabe mencionar que en libros avanzados y en art culos de investigaci on los teoremas sencillos se enuncian como proposiciones (dando a esta palabra un signicado distinto al que se ha utilizado aqu ), utilizando la palabra teorema solamente para los resultados m as importantes. Claramente esta distinci on es subjetiva, algunos autores se han visto muy modestos enunciado como proposiciones o incluso como lemas resultados que a la postre han resultado muy importantes.