Está en la página 1de 23

Lgica Proposicional, Teoremas y Demostraciones o

Manuel Maia 19 de marzo de 2012

Proposiciones

Una proposicin es una oracin declarativa o una expresin matemtica que es verdadera o o o a o es falsa, pero no ambas. De esta manera, una proposicin tiene un valor de verdad, o que puede ser V, si es verdadera o puede ser F, si es falsa. Consideraremos exclusivamente proposiciones matemticas. Algunos ejemplos de proposiciones verdaderas son: a 4 es un nmero entero par. u 15 15. La solucin de 2x 3 = 1 es 2. o 18 es mltiplo de 3. u Algunos ejemplos de proposiciones falsas son: 144 es un nmero entero impar. u 2 = 17. La solucin de 2x 3 = 1 es 0. o 16 es mltiplo de 5. u Algunos ejemplos de expresiones que no son proposiciones son: 73. 2x 1 = 3. Cul es la solucin de 2x 3 = 1?. a o 1

x es mltiplo de 3. u Generalmente, para referirnos a proposiciones espec cas se usan letras maysculas. Por u ejemplo, P : 25 es un nmero entero par. u Q : 3 + 4 = 7. R : 2x + 3 es una ecuacin. o Las proposiciones pueden contener variables. Por ejemplo, sea x un nmero entero y u consideremos P : 2x + 1 es un entero impar. Esta es una proposicin que es verdadera no importa que nmero entero sea la variable x. o u Entonces podemos denotarla por P (x) : 2x + 1 es un entero impar. Hay oraciones o expresiones matemticas que contienen variables y no son proposiciones. a Por ejemplo, Q(x) : El nmero entero x es mltiplo de 3. u u Slo ser una proposicin cuando le otorguemos un valor a x (y as podremos determinar o a o si es verdadera o falsa). Por ejemplo, Q(13) es falsa y Q(21) es verdadera. Una expresin o como Q(x), cuyo valor de verdad depende de una o ms variables, es lo que se llama una a expresin abierta. o

Conectivos Lgicos o

Podemos usar la palabra y para conectar dos proposiciones y crear una nueva proposicin. o Por ejemplo, podemos conectar las proposiciones P : El nmero 4 es un entero par. u Q : El nmero 5 es un entero impar. u para formar la nueva proposicin o 2

R : El nmero 4 es un entero par y el nmero 5 es un entero impar. u u La proposicin R arma que P y Q son ambas verdaderas. Como P y Q, en efecto son o verdaderas, la proposicin R tambin lo es. o e As dadas dos proposiciones cualesquiera P y Q, podemos combinarlas para formar una , nueva proposicin P y Q. Se usa el s o mbolo para indicar la palabra y. De esta manera, P Q signica P y Q. La proposicin P Q es verdadera si ambas proposiciones P y Q son verdaderas. En o cualquier otro caso, es falsa. Esto se resume en la siguiente tabla de verdad. P V V F F Q V F V F P Q V F F F

En cada la aparece una de las cuatro posibles combinaciones de valores de verdad para P y Q. Por ejemplo, si P es falsa y Q es verdadera, entonces P Q es falsa. Tambin podemos conectar dos proposiciones usando la palabra o para crear una nueva e proposicin. Dadas dos proposiciones cualesquiera P y Q, la armacin P o Q signica o o que una o ambas proposiciones son verdaderas. Esto diere del signicado usual que tiene o en el lenguaje cotidiano, donde signica una alternativa o la otra, de manera excluyente, cuando hay dos alternativas. De esta manera, por ejemplo, la proposicin o El nmero entero 4 es par o el nmero entero 3 es par u u es verdadera. Se usa el s mbolo para indicar la palabra o. As P Q signica P o Q. La tabla , de verdad para P Q es la siguiente. P V V F F Q V F V F P Q V V V F

Otra manera de obtener nuevas proposiciones a partir de otras es usando la palabra no. Dada una proposicin cualquiera P, podemos formar una nueva proposicin no es o o verdadero que P . Por ejemplo, si consideramos la proposicin (verdadera) o 3

El nmero entero 3 es impar, u podemos formar la nueva proposicin o No es verdadero que el nmero entero 3 es impar, u la cual evidentemente es falsa. Se usa el s mbolo para indicar la frase no es verdadero que. As P signica no , es verdadero que P . La tabla de verdad para P es la siguiente. P V F Otras maneras de expresar la negacin de o El nmero entero 3 es impar, u son: Es falso que el nmero entero 3 es impar, u El nmero entero 3 no es impar. u P F V

Proposiciones Condicionales

Otra manera de conectar dos proposiciones es mediante el uso de condicionales. Dadas dos proposiciones cualesquiera P y Q, podemos formar la nueva proposicin Si P, entonces o Q. Esta proposicin se escribe de manera simblica como P Q, la cual tambin se lee P o o e implica Q. Que la proposicin P Q es verdadera signica que si P es verdadera entonces o Q tambin debe ser verdadera (P verdadera obliga a que Q sea verdadera). Una proposicin e o de la forma P Q se conoce como proposicin condicional (Q ser verdadera bajo la o a condicin de que P sea verdadera). El signicado de P Q nos dice que la unica manera o en que la proposicin P Q es falsa es cuando P es verdadera y Q falsa. As la tabla de o , verdad para P Q es la siguiente. P V V F F Q V F V F 4 P Q V F V V

Las expresiones ms comunes que signican P Q son las siguientes: a Si P, entonces Q. Q, si P. Q, siempre que P. P es una condicin suciente para Q. o Q es una condicin necesaria para P. o P, solo si Q. Por ejemplo, la proposicin (verdadera) Si el nmero entero a es par, entonces es el nmero o u u entero a es mltiplo de 2, se puede escribir como cualquiera de las siguientes expresiones: u El nmero entero a es mltiplo de 2, si el nmero entero a es par . u u u El nmero entero a es mltiplo de 2, siempre que el nmero entero a sea par . u u u El nmero entero a es par, solo si el nmero entero a es mltiplo de 2. u u u La rec proca de una proposicin condicional P Q es la proposicin Q P. La o o contrarrec proca (o contrapositiva) de P Q es la proposicin Q P. o

Proposiciones Bicondicionales

Dadas dos proposiciones cualesquiera P y Q, podemos considerar tanto P Q como su rec proca Q P. En primer lugar, P Q no es lo mismo que Q P, pues tienen distinto signicado, y en consecuencia, pueden tener valores de verdad diferentes. Consideremos ahora la proposicin ms compleja (note el uso de los parntesis) o a e (P Q) (Q P ) . Esta arma que tanto P Q como Q P son verdaderas. Se usa el s mbolo para expresar este signicado. Ahora, Q P se lee P si Q y P Q se lee P, solo si Q. En consecuencia, leemos P Q como P, si y solo si, Q. Una proposicin de la forma o P Q se conoce como proposicin bicondicional. o Por ejemplo, sea a un nmero entero jo y consideremos: u P : a es par, 5

Q : a es mltiplo de 2. u Entonces: P Q : Si a es par, entonces a es mltiplo de 2, u Q P : Si a es mltiplo de 2, entonces a es par. u As tenemos la proposicin (que es verdadera) , o P Q : a es par, si y solo si, a es mltiplo de 2. u El conocimiento que tenemos de las tablas para y , y un anlisis cuidadoso de la a siguiente tabla (ntese que las columnas intermedias corresponden a las proposiciones ms o a simples que conforman (P Q) (Q P )), P V V F F Q V F V F P Q QP V F V V V V F V (P Q) (Q P ) V F F V

revela que la tabla de verdad para P Q es la siguiente. P V V F F Q V F V F P Q V F F V

Equivalencia Lgica o

Dos proposiciones lgicamente equivalentes son dos proposiciones cuyos valores de o verdad coinciden l nea por l nea en una tabla de verdad, y de esta manera tienen el mismo signicado. Por ejemplo, las proposiciones P Q y (P Q) (P Q) son lgicamente o equivalentes, como podemos ver en la siguiente tabla de verdad. P V V F F Q V F V F P F F V V Q F V F V (P Q) (P Q) V F F F F F F V 6 P Q (P Q) (P Q) V F F V V F F V

Esto se evidencia en la coincidencia l nea por l nea de las dos ultimas columnas. La equiva lencia lgica de P Q y (P Q) (P Q) la expresamos de la siguiente manera o (P Q) (P Q) (P Q) Un ejemplo importante (como veremos ms adelante) de equivalencia lgica es el sia o guiente. (P Q) (Q) (P ). Que son lgicamente equivalentes, podemos verlo en la tabla siguiente. o P V V F F Q V F V F P F F V V Q F V F V P Q (Q) (P ) V F V V V F V V

Otras dos equivalencias lgicas importantes son las conocidas como Leyes de Morgan: o 1. (P Q) (P ) (Q). 2. (P Q) (P ) (Q). Verique estas dos equivalencias como un ejercicio.

Deniciones, Teoremas, Proposiciones y Demostraciones

Una denicin es una explicacin exacta y sin ambigedad del signicado de un trmino o o u e o frase matemtica. Daremos, como ejemplo, algunas deniciones que nos sern de utilidad a a en esta seccin. No podemos denir todo, de manera que asumimos que el lector est de o a alguna manera familiarizado con los nmeros naturales, u 1, 2, 3, 4, 5 . . . , los nmeros enteros, u . . . , 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5 . . . , los nmeros racionales, los nmeros reales, las operaciones de suma y producto con ellos, y u u algo de algebra elemental.

Denicin: Un nmero entero n es par si existe un entero k, tal que n = 2k. o u Por ejemplo, 4, 28, 0 son pares, pues 4 = 22 28 = 2 (14) 0 = 20 (k = 2), (k = 14), (k = 0).

Denicin: Un nmero entero n es impar si existe un entero k, tal que n = 2k + 1. o u Por ejemplo, 3, 15, 1 son impares, pues 3 = 21+1 15 = 2 (8) + 1 1 = 20+1 (k = 1), (k = 8), (k = 0).

Claramente, un nmero entero cualquiera es par o es impar, pero no ambos a la vez. u Hay que hacer una observacin. Las deniciones usualmente se expresan como proposio ciones condicionales, aunque lo ms adecuado ser expresarlas como proposiciones bicondia a cionales. Por ejemplo, la denicin tcnica y precisa de nmero entero par deber ser o e u a Un nmero entero n es par si y solo si existe un entero k, tal que n = 2k, u pero se conviene en escribirla en forma de proposicin condicional. Es decir, an cuando o u una denicin est escrita en forma condicional, se interpreta como bicondicional. Esto es o e una convencin. o Denicin: Dados dos enteros a y b, si b = ac, para algn entero c, decimos que a divide o u a b, y escribimos a | b. En esta situacin, a es un divisor de b, y b es m ltiplo de a. o u Por ejemplo, 4 divide a 28 pues 28 = 4 7. Escribimos esto como 4 | 28. Sin embargo, 5 no divide a 12, pues no existe un entero c tal que 12 = 5c. Escribimos esto como 5 12, que puede leerse como 5 no divide a 12. Denicin: Decimos que un nmero natural p es primo si sus unicos divisores positivos o u son 1 y p. Los primeros diez nmeros primos son: 2, 3, 5, 7, 11, 13, 17, 19, 23 y 29. u

Un teorema es una proposicin matemtica que es verdadera, y puede ser (y ha sido) o a vericada como verdadera. Los teoremas usualmente son proposiciones condicionales del tipo P Q (esto es, si P , entonces Q), aunque el enunciado del teorema o proposicin a o veces oculta este hecho. Ntese el enunciado de la siguiente proposicin. o o Proposicin Las soluciones de la ecuacin ax2 + bx + c son o o b b2 4ac . x= 2a Con este enunciado, la proposicin no parece ser una proposicin condicional, sin embargo o o podemos expresar esta proposicin como una proposicin condicional escribiendo: o o Proposicin Si x es una solucin de la ecuacin ax2 + bx + c, entonces o o o b b2 4ac x= . 2a Cuando un teorema se expresa como una proposicin condicional P Q, la proposicin o o P se llama hiptesis y la proposicin Q se llama tesis. Por ejemplo, en la proposicin o o o anterior la hiptesis es x es una solucin de la ecuacin ax2 + bx + c y la tesis es o o o b b2 4ac x = . 2a Cabe sealar que no todo teorema es una proposicin condicional. Algunos tienen la n o forma bicondicional P Q (que puede expresarse como dos proposiciones condicionales). Otros teoremas son simplemente proposiciones P. Por ejemplo, Teorema Existe una innidad de nmeros primos. u Hay teoremas que tienen otras formas menos comunes, por ejemplo, las tres siguientes: (P Q) R, P (Q R), P (Q R). Hay varias palabras que signican esencialmente lo mismo que la palabra teorema. En general teorema se reserva para proposiciones signicativas o importantes (por ejemplo, el Teorema de Pitgoras). Una proposicin a o matemtica verdadera, pero no signicativa, se llama simplemente proposicin, un lema a o es una proposicin que ayuda a demostrar un teorema. Un corolario es una proposicin o o relativamente sencilla que es consecuencia inmediata de un teorema o proposicin ms releo a vante. 9

Una demostracin de un teorema es una vericacin escrita que muestra que el teorema o o es verdadero. Informalmente, desde el punto de vista de la lgica, una demostracin de un o o teorema es un argumento lgico que establece la verdad del teorema. Consiste de una o sucesin de armaciones (1), (2), . . . , (n), tales que cada armacin tiene una o ms razones o o a que justican su validez, que pueden ser hiptesis, deniciones, armaciones anteriores en o la misma demostracin o proposiciones matemticas ya demostradas y adems la ultima o a a armacin, (n), es la tesis que queremos demostrar. o

6.1

Demostracin Directa o

La forma ms natural de demostracin de un teorema o proposicin que es una proposicin a o o o condicional es la demostracin directa. Analizando la tabla de verdad para P Q, o vemos que si queremos demostrar el teorema o proposicin P Q, es suciente demostrar o que Q es verdadera siempre que P lo sea (pues P Q es verdadera cuando P es falsa). P V V F F Q V F V F P Q V F V V

As en una demostracin directa de P Q asumimos que la hiptesis, P, es verdadera y , o o demostramos usando argumentos lgicos que la tesis, Q, es verdadera. Una demostracin o o directa sigue el siguiente esquema. Esquema para una demostracin directa o Proposicin Si P, entonces Q. o Demostracin: Supongamos P. o . . . En consecuencia Q. . Los puntos suspensivos . indican la sucesin de razonamientos lgicos que inician con . o o P verdadero y nalizan con Q verdadero. El inicio de la demostracin se indica con Deo mostracin: y se naliza con el s o mbolo o algn otro parecido. u Como ejemplo, demostraremos que la expresin abierta o 10

Si x es un nmero entero impar, entonces x2 es un nmero entero impar u u es en realidad una proposicin verdadera, esto es, no importa qu entero sea x, siempre ser o e a una proposicin verdadera. o Proposicin Si x es un nmero entero impar, entonces x2 es un nmero entero impar. o u u Demostracin: Supongamos que x es impar. Entonces, por denicin de nmero entero o o u impar, existe un nmero entero a, tal que u x = 2a + 1. Ahora x2 = (2a + 1)2 = (2a + 1) (2a + 1) = 4a2 + 4a + 1 = 2(2a2 + 2a) + 1 = 2k + 1 (k = 2a2 + 2a). En consecuencia, x2 es impar.

6.2

Demostracin por Contrarrec o proca

La demostracin por contrarrec o proca se usa para demostrar, al igual que la demostracin o directa, teoremas y proposiciones que tienen la forma condicional P Q. Esta forma de demostracin se basa en el hecho de que P Q es lgicamente equivalente a (Q) (P ), o o como muestra la siguiente tabla. P V V F F Q V F V F P F F V V Q F V F V P Q (Q) (P ) V F V V V F V V

De esta manera, si queremos demostrar P Q por contrarrec proca, basta demostrar (Q) (P ) usando una demostracin directa. Esto es, asumimos que Q es verdadera y o demostramos que P es verdadera. Una demostracin por contrarrec o proca sigue el siguiente esquema. 11

Esquema para una demostracin por contrarrec o proca Proposicin Si P, entonces Q. o Demostracin: (por contrarrec o proca) Supongamos Q. . . . En consecuencia P. Como ejemplo, demostraremos una misma proposicin usando los dos mtodos vistos o e hasta ahora. Proposicin Si 3x 1 es par, entonces x es impar. o Demostracin: (directa) Supongamos que 3x 1 es par. Entonces, por denicin, existe un o o nmero entero a, tal que u 3x 1 = 2a. As restando 2x a ambos lados, obtenemos , 3x 1 2x = 2a 2x x 1 = 2(a x) x = 2(a x) + 1 x = 2k + 1 (k = a x). En consecuencia, x es impar. Proposicin Si 3x 1 es par, entonces x es impar. o Demostracin: (por contrarrec o proca) Supongamos que x no es impar. Entonces x es par. As existe un nmero entero a, tal que , u x = 2a. Ahora, 3x 1 = 3(2a) 1 = 6a 1 1 + 1 = 6a 2 + 1 = 2(3a 1) + 1 = 2k + 1 (k = 3a 1). 12

En consecuencia, 3x 1 es impar. Vale la pena mencionar que en ocasiones una demostracin por contrarrec o proco es mucho ms fcil que una demostracin directa. Por ejemplo, consideremos la expresin abierta (que a a o o en realidad es una proposicin) o Si x2 es par, entonces x es par. Una demostracin directa no es fcil, sin embargo, una demostracin por contrarrec o a o proca s lo es: Proposicin Si x2 es par, entonces x es par. o Demostracin: (por contrarrec o proca) Supongamos que x no es par. Entonces x es impar. As existe un nmero entero a, tal que , u x = 2a + 1. Ahora, x2 = (2a + 1)2 = (2a + 1) (2a + 1) = 4a2 + 4a + 1 = 2(2a2 + 2a) + 1 = 2k + 1 (k = 2a2 + 2a). Es decir, x2 es impar. En consecuencia x es par. Habr notado, de hecho, que es la misma demostracin directa de si x es impar, entonces a o o x2 es impar . Esto es porque Si x2 es par, entonces x es par es lgicamente equivalente a si x es impar, entonces x2 es impar.

6.3

Demostracin por Contradiccin o o

Supongamos que queremos demostrar que una proposicin P es verdadera. Una demostracin o o por contradiccin comienza suponiendo que P es falsa, esto es, que P es verdadera y o naliza deduciendo que para una cierta proposicin C, se tiene que C C es verdadera. o Esto es una contradiccin, pues una proposicin y su negacin no pueden tener el mismo o o o valor de verdad (recordemos la tabla de verdad para ). Esto es equivalente a demostrar que P es verdadera, como muestra la siguiente tabla de verdad, 13

P V V F F

C V F V F

P F F V V

C F V F V

C C F F F F

(P ) (C C) V V F F ,

donde se ve que P (P ) (C C). As para demostrar P por contradiccin, basta , o demostrar (P ) (C C) mediante una demostracin directa. As una demostracin o , o por contradiccin sigue el siguiente esquema. o Esquema para una demostracin por contradiccin de una proposicin o o o Proposicin P. o Demostracin: (Por contradiccin) Supongamos P. o o . . . En consecuencia C C. Algo que no es claro en este mtodo es qu proposicin es la proposicin C. En cualquier e e o o caso, se inicia la demostracin asumiendo que P es verdadera y deduciendo lgicamente o o nuevas proposiciones se llegar a alguna proposicin C y su negacin, C. a o o Daremos un ejemplo, pero antes necesitamos recordar qu es un nmero racional. e u a Un n mero racional es un nmero real de la forma , donde a y b son nmeros enteros u u u b y b = 0. Un n mero irracional es un nmero real que no es racional. u u Proposicin El nmero o u 2 es irracional.

Demostracin: (por contradiccin) Supongamos que o o

2 no es irracional. Entonces

2 es

racional y por tanto existen enteros a y b (b = 0), tales que a 2= . (1) b a Supongamos que la fraccin est completamente simplicada. Esto es, a y b no tienen o a b factores comunes. En particular, esto signica que a y b no son ambos pares. Ahora, elevando ambos lados de la ecuacin (1) al cuadrado, obtenemos o 2= a2 , b2 (2)

14

y en consecuencia a2 = 2b2 . (3)

Esto nos dice que a2 es par. Pero hemos demostrado anteriormente que si a2 es par, entonces a es par. Como sabemos que a y b no son ambos pares, se concluye que b es impar. Ahora, como a es par, existe un entero c tal que a = 2c. Sustituyendo en la ecuacin (3), obtenemos o (2c)2 = 2b2 , y as 4c2 = 2b2 . Por lo tanto b2 = 2c2 . En consecuencia b2 es par, y por lo tanto, b es par. De esta manera, b es impar y b es par (una contradiccin). o Supongamos que queremos demostrar una proposicin condicional P Q usando una o demostracin por contradiccin. Comenzamos suponiendo que P Q es falsa. Esto ocurre o o precisamente cuando Q es falsa y P verdadera (vea la tabla de verdad para P Q). De esta manera, comenzamos suponiendo que Q es falsa y P es verdadera, y nalizamos deduciendo que para cierta proposicin C se tiene que C C es verdadera, esto es, llegando a una o contradiccin. En consecuencia, por lo visto antes, P Q es verdadera. o Esquema para una demostracin por contradiccin o o de una proposicin condicional o Proposicin P Q. o Demostracin: (Por contradiccin) Supongamos P y Q. o o . . . En consecuencia C C. Como ejemplo, demostraremos una proposicin condicional ya demostrada, pero esta vez o por contradiccin. o Proposicin Si x2 es par, entonces x es par. o Demostracin: (por contradiccin) Supongamos que x2 es par y que x no es par. Esto es, o o x es impar, y por lo tanto existe un entero a, tal que x = 2a + 1.

15

Ahora, x2 = (2a + 1)2 = (2a + 1) (2a + 1) = 4a2 + 4a + 1 = 2(2a2 + 2a) + 1 = 2k + 1 (k = 2a2 + 2a). En consecuencia, x2 es impar. Hemos llegado a una contradiccin, x2 es par y x2 es impar. o

6.4

Demostracin de Bicondicionales o

Sabemos que una proposicin bicondicional o P si y solo si Q es lgicamente equivalente a la proposicin o o (si P, entonces Q) y (si Q, entonces P ). De esta manera, para demostrar una proposicin de la forma P si y solo si Q debemos o demostrar dos proposiciones condicionales: la proposicin si P, entonces Q y la proposicin o o si Q, entonces P . Una demostracin de una proposicin bicondicional tiene el siguiente o o esquema. Esquema para una demostracin o de una proposicin bicondicional o Proposicin P si y solo si Q. o Demostracin: o (Demuestre P Q usando una demostracin directa, o por contrarrec proco o por contradiccin). o (Demuestre Q P usando una demostracin directa, o por contrarrec proco o por contradiccin). o

16

Veamos un ejemplo. Proposicin El entero x es impar si y solo si x2 es impar. o Demostracin: Primero demostraremos que si x es impar, entonces x2 es impar. Supongamos o que x es impar. Entonces, por denicin, existe un entero a, tal que o x = 2a + 1. Ahora, x2 = (2a + 1)2 = (2a + 1) (2a + 1) = 4a2 + 4a + 1 = 2(2a2 + 2a) + 1. En consecuencia, x2 es impar. Rec procamente, supongamos que x2 es impar y veamos que x es impar. Para demostrar esto usaremos una demostracin por contrarrec o proco. Supongamos que x no es impar. Entonces x es par, y por lo tanto existe un entero a tal que x = 2a. As , x2 = (2a)2 = 4a2 = 2(2a2 ). En consecuencia, x2 es par. Esto demuestra que si x2 es impar, entonces x es impar

6.5

Otras Demostraciones

Hay otros tipos de demostraciones menos comunes. Algunas son las siguientes (slo las o describiremos). Demostracin por Casos. Supongamos que queremos demostrar P Q R. Como o (P Q R) (P R) (Q R), (verif quelo)

debemos considerar y demostrar dos casos, P R y Q R. 17

Demostracin de Proposiciones y. Supongamos que queremos demostrar la proposicin o o P (Q R). Como (P (Q R)) (P Q) (P R), debemos demostrar P Q y P R. Demostracin de Proposiciones o. Para demostrar la proposicin P (Q R) proo o cedemos por contradiccin. Esto es, suponemos P y (Q R) y debemos llegar a una o contradiccin. Es util recordar que (Q R) Q R (leyes de Morgan). o (verif quelo)

6.6

Conjeturas y Contraejemplos

Hay tres grandes categor de proposiciones matemticas: as a 1. Teoremas y Proposiciones. Estas son proposiciones verdaderas. Por ejemplo, El Teorema de Pitgoras. a El cuadrado de un nmero impar es impar. u 2. Conjeturas. Estas son proposiciones cuya verdad o falsedad an no ha sido deu mostrada, pero hay indicios de que son verdaderas. Por ejemplo, Cualquier nmero entero par mayor que 2 es la suma de dos nmeros primos u u (Conjetura de Goldbach). Hay una innidad de nmeros primos de la forma 2n 1, donde n es un entero u positivo. 3. Proposiciones Falsas. Por ejemplo, Todos los nmeros primos son impares. u La ecuacin ax2 + bx + c = 0 tiene tres soluciones. o La ultima categor nos lleva a la pregunta cmo demostrar que una proposicin es a o o falsa? Discutiremos brevemente algunos casos. Supongamos que queremos demostrar que una proposicin P es falsa. La manera de o hacerlo es demostrando que P es verdadera, y esto lo podemos hacer, en teor mediante a, una demostracin directa, por contrarrec o proco o por contradiccin. o Ahora supongamos que queremos demostrar que una proposicin condicional P Q es o falsa. Como P Q es falsa unicamente cuando P es verdadera y Q falsa (vea la tabla de 18

verdad para P Q), debemos hallar un ejemplo en el cual P es verdadera y Q falsa. La existencia de tal ejemplo demuestra que P Q es falsa. Un ejemplo de este tipo es lo que se llama un contraejemplo. Por ejemplo, consideremos la siguiente conjetura (pues no sabemos si es verdadera o es falsa). Conjetura Si n es un entero, entonces n2 n + 11 es un nmero primo. u Hallemos el valor de n2 n + 11 para algunos valores de n : n 3 2 1 0 1 2 3 4 5 6 7 8 9 10 n2 n + 1 23 17 13 11 11 13 17 23 31 41 53 67 83 101

La conjetura parece ser verdadera, pues todos los nmeros obtenidos en cada caso son priu mos. Esto no basta para concluir que la conjetura es verdadera. Habr que hacer una a demostracin. Antes de intentar una demostracin, probemos un valor ms para n. Observe o o a que 112 11 + 11 = 112 no es primo. En consecuencia, la conjetura es falsa, pues n = 11 es un contraejemplo. As podemos escribir la siguiente demostracin de que es falsa: , o Demostracin (de que la conjetura es falsa): La proposicin Si n es un entero, entonces o o n2 n + 11 es un nmero primo es falsa. Para un contraejemplo, tomemos n = 11, y el u entero 112 11 + 11 = 121 = 11 11 no es primo.

19

Induccin Matemtica o a

Considere la siguiente proposicin. o Conjetura La suma de los n primeros nmeros naturales impares es igual a n2 . u Esta conjetura dice lo siguiente: n suma de los n primeros nmeros naturales impares es igual a n2 u 1 1= 2 1+3= 3 1+3+5= 4 1+3+5+7= 5 1+3+5+7+9= . . . . . . n 1 + 3 + 5 + 7 + + (2n 1) = . . . . . . 1 4 9 16 25 . . . n2 . . .

Observe que en las 5 primeras l neas de la tabla, la suma de n primeros nmeros naturales u impares es efectivamente igual a n2 . Observe tambin que el nsimo nmero natural impar e e u (el ultimo en cada suma) es 2n 1. Esta tabla lleva a la siguiente pregunta, es verdad que para cada n, se tiene que 1 + 3 + 5 + 7 + + (2n 1) = n2 ? Es decir, la conjetura es verdadera? Podemos plantear esto en trminos de proposiciones como sigue. Para cada nmero e u natural n tenemos una proposicin P (n) como sigue: o P (1) : 1 = 12 , P (2) : 1 + 3 = 22 , P (3) : 1 + 3 + 5 = 32 , P (4) : 1 + 3 + 5 + 7 = 42 , . . . P (n) : 1 + 3 + 5 + 7 + + (2n 1) = n2 , . . . Son verdaderas todas estas proposiciones?, cmo demostrar, por ejemplo, que o P (723452137234875623895647802020218237584298376342375629484474764157234968721450) 20

es verdadera? La tcnica de demostracin por Induccin Matemtica (o simplemente Induccin) e o o a o se usa cuando tenemos una coleccin, o P (1), P (2), P (3), . . . , P (n), . . . de proposiciones y queremos demostrar que todas son verdaderas. La validez de este mtodo se demostrar despus. Por lo pronto slo presentaremos el e a e o esquema para una demostracin por induccin y, usndolo demostraremos que la conjetura o o a es verdadera. Esquema para una demostracin por Induccin Matemtica o o a Proposicin Las proposiciones o P (1), P (2), P (3), . . . , P (n), . . . son todas verdaderas. Demostracin: (por Induccin) o o (1) Se demuestra que P (1) es verdadera. (2) Dado k 1, se demuestra que P (k) P (k + 1) es verdadera. Se sigue por induccin matemtica que cada P (n) es verdadera. o a El primer paso, (1), se llama paso inicial. Generalmente, P (1) es muy fcil de demostrar. a El paso (2) se llama paso inductivo. Aqu generalmente se hace una demostracin directa , o de P (k) P (k + 1). La hiptesis de que P (k) es verdadera se llama hiptesis inductiva. o o Veamos que la conjetura 1 + 3 + 5 + 7 + + (2n 1) = n2 , para n N, es verdadera. Proposicin Si n es un nmero natural, entonces o u 1 + 3 + 5 + 7 + + (2n 1) = n2 . Demostracin: (por Induccin) Aqu o o , P (n) : 1 + 3 + 5 + 7 + + (2n 1) = n2 . 21

(1) Si n = 1, la proposicin es o 2 1 1 = 12 , que obviamente es verdadera. (2) Debemos demostrar que P (k) P (k + 1), donde P (k) : 1 + 3 + 5 + 7 + + (2k 1) = k 2 . y P (k + 1) : 1 + 3 + 5 + 7 + + (2(k + 1) 1) = (k + 1)2 . Usaremos una demostracin directa. Supongamos que o P (k) : 1 + 3 + 5 + 7 + + (2k 1) = k 2 es verdadera. Entonces 1 + 3 + 5 + 7 + + (2(k + 1) 1) = 1 + 3 + 5 + 7 + + (2k 1) + (2(k + 1) 1) = [1 + 3 + 5 + 7 + + (2k 1)] + (2(k + 1) 1) = k 2 + (2(k + 1) 1) = k 2 + 2k + 1 = (k + 1)2 . As , 1 + 3 + 5 + 7 + + (2(k + 1) 1) = (k + 1)2 . Esto demuestra que P (k) P (k + 1). Se sigue por Induccin Matemtica que si n es un nmero natural, entonces o a u 1 + 3 + 5 + 7 + + (2n 1) = n2 .

Ejercicios
1. En los siguientes ejercicios a, b, c y n son nmeros enteros. Demuestre: u (a) Si n es impar, entonces n3 es impar. (b) Si a es impar, entonces a2 + 3a + 5 es impar. 22

(c) Si a, b son pares, entonces ab es par. (d) Si a, b son impares, entonces ab es impar. (e) Si a | b y a | c, entonces a | (b + c). (f) Si a | b, entonces a | (3b3 b2 + 5b). (g) Si n es un nmero entero, entonces n2 + 3n + 4 es par. u (h) Si n2 es impar, entonces n es impar. (i) Si n es impar, entonces n2 es impar. (j) Si a no divide a bc, entonces a no divide a b. (k) Si 4 no divide a a2 , entonces a es impar. (l) Si n es impar, entonces 8 | (n2 1). (m) Si n es un nmero entero, entonces 4 (n2 + 2). u (n) Si n es un entero, entonces 4 | n2 o 4 | (n2 1). (o) Si a | b y a | (b2 c), entonces a | c. 2. En los siguientes ejercicios demuestre que la proposicin es falsa: o (a) Si n es un nmero natural, entonces 2n2 4n + 31 es primo. u (b) Si n es un nmero natural, entonces n2 + 17n + 17 es primo. u (c) Si n2 n es par, entonces n es par. (d) Si a es un nmero entero, entonces 4 | (a2 3). u 3. Demuestre por Induccin Matemtica: o a (a) Si n es un nmero natural, entonces u n2 + n . 1 + 2 + 3 + 4 + + n = 2 (b) Si n es un nmero natural, entonces u 12 + 22 + 33 + 42 + + n2 = (c) Si n es un nmero natural, entonces u 21 + 22 + 23 + 24 + + 2n = 2n+1 2. n(n + 1)(2n + 1) . 6

23