PROGRAMA SENIOR

UNIVERSIDAD DE CANTABRIA

Es lgico. Apuntes o
Beatriz Porras

2011-12

 Indice general

1. S mbolos Matemticos a 1.1. S mbolos de carcter aritmtico . . . . . . . . . . . . . . . . . . a e 1.2. S mbolos de la teor de conjuntos . . . . . . . . . . . . . . . . a

4 5 8

1.3. S mbolos lgicos . . . . . . . . . . . . . . . . . . . . . . . . . . 14 o 1.4. Cuanticadores . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2. Formas de demostracin o 19

2.1. Qu es una demostracin en matemticas? . . . . . . . . . . . 19 e o a 2.2. Cmo se hace una demostracin? . . . . . . . . . . . . . . . . 22 o o 2.2.1. Mtodo directo . . . . . . . . . . . . . . . . . . . . . . . 23 e 2.2.2. Por reduccin al absurdo . . . . . . . . . . . . . . . . . . 23 o 2.2.3. Probando el contrarrec proco . . . . . . . . . . . . . . . 25 2.2.4. Mtodo de induccin . . . . . . . . . . . . . . . . . . . . 26 e o 2.2.5. Algunos errores que deben evitarse . . . . . . . . . . . . 28

Es Lgico. o

INDICE GENERAL

Introduccin o
El objetivo de esta asignatura es introducirnos en la forma de pensar de un matemtico, tratar de comprenderlo, y quiz de imitarlo. Ser impresionante que a a a pudiramos llegar a pensar como ellos, a adquirir sus estrategias de razonamiento, e pero esto normalmente lleva mucho tiempo. No se trata de saber matemticas, nada en concreto, ni de hacer matemtia a cas, sino de aprender algo de cmo lo hacen ellos (los matemticos). o a Si se tratara de una clase de magia, no tratar amos de llegar a hacer un gran truco, sino de conocer algunas de las estrategias que utilizan los magos. Parece tan fcil cuando te explican el truco! Cmo lo hace? Lo ests viendo, y sin a o a embargo es imposible repetirlo. No es imposible. Pero s requiere tiempo, observacin y prctica. o a Para el que nos ve desde fuera, hay una primera sensacin evidente: utilizamos o un lenguaje propio, lleno de signos extraos. n Esto es verdad, en algn sentido, aunque no lo hacemos para jugar con los u dems o para sentirnos diferentes. El lenguaje es una herramienta fundamental a en las matemticas, que intentamos utilizar con la mxima precisin. Esto nos a a o hace utilizar un cdigo bastante limitado, y muy repetitivo. El uso de cdigos o o simblicos por un lado nos ahorra mucho trabajo, y por otro nos permite disponer o de un lenguaje casi universal. Como se dice en la Wikipedia, Al igual que la notacin musical, la notacin matemtica moderna tiene una sintaxis estricta y o o a codica la informacin que ser dif de escribir de otra manera o a cil Dedicaremos una parte de la asignatura a conocer o recordar una parte de este lenguaje.

Es Lgico. o

INDICE GENERAL

En esta primera parte tambin conoceremos algo de la estructura de este lenguaje. e Cabe sealar que este lenguaje matemtico es bastante moderno. No siempre ha n a sido as Para empezar, podemos recordar que el sistema numrico decimal se . e introdujo en Europa desde el mundo rabe en tiempos de la conquista. Alguien a sabe cmo sumaban los romanos? Alguien sabe cuando empez a utilizarse el o o nmero cero? u El lenguaje matemtico se ha ido adaptando y est ligado al propio desarrollo de a a la ciencia. Ningn estudiante de matemticas actual, y casi ningn profesor, ser u a u a capaz de entender los Elementos de Euclides, o a Pitgoras, pero tampoco otros a escritos menos antiguos como los tratados de Newton o Leibnitz sobre clculo a diferencial, del siglo XVII o incluso textos mucho ms recientes. a El lenguaje matemtico ha tenido su mximo desarrollo en el siglo XX, con la a a teor de conjuntos y la lgica matemtica. a o a Repasando los s mbolos y el lenguaje nos iremos adentrando, en las actividades del curso, en distintos temas que nos llevarn del lenguaje al pensamiento, a del formalismo a los conceptos. Veremos cosas de nmeros, de funciones, de u conjuntos, del innito, de la lgica,... o Poco a poco conseguiremos un vocabulario y una gramtica suciente para poder a expresar matemticamente algunos razonamientos, y empezaremos a abordar a algunas de las formas de razonar para hacer demostraciones. Despus intentaremos aplicar lo que hayamos aprendido para hacer un poco e de matemticas, intentando resolver algunos problemas. a Finalmente, si nos da tiempo, veremos algunos juegos de lgica y paradojas o matemticas, que nos ilustren la potencia del uso de ese lenguaje matemtico. a a

Lecturas recomendadas
http://es.wikipedia.org/wiki/Matem%C3%A1ticas http://www.astroseti.org/articulo/3472/

Es Lgico. o

INDICE GENERAL

http://cms.dm.uba.ar/material/paenza

Es Lgico. o

1. S IMBOLOS MATEMATICOS

1 S mbolos Matemticos a
Para poder utilizar el lenguaje matemtico, debemos conocer en primer lugar a sus s mbolos. Distinguimos dos tipos de criterios en la denicin y utilizacin de o o los s mbolos: el contexto, en el sentido de que algunos s mbolos tienen distinto signicado dependiendo del contexto en el que se utilicen, y los convenios, por los cuales se ha establecido un determinado signicado para algunos s mbolos. Tenemos un conjunto de s mbolos de carcter aritmtico. La mayor de ellos a e a son conocidos por todos, porque se han incorporado a nuestra educacin desde o nios, aunque puede haber algunos menos conocidos. Estos s n mbolos suelen estar muy relacionados con el contexto aritmtico en el que se utilizan. e Veremos tambin algunos s e mbolos relacionados con la teor de conjuntos. a Otro grupo de s mbolos habituales estn relacionados con la lgica, en el sentido a o del razonamiento deductivo. Y por ultimo veremos los cuanticadores.

Es Lgico. o

1. S IMBOLOS MATEMATICOS

1.1.
+

S mbolos de carcter aritmtico a e

Representa la adicin de elementos. Se utiliza en contextos muo cho ms generales que los conjuntos de nmeros: podemos sumar a u vectores, funciones, conjuntos de vectores,... El concepto de adicin se generaliza en la teor de conjuntos, como veremos ms o a a adelante, como una operacin ente los elementos de ese conjunto o con ciertas propiedades (similares a las que conocemos para la suma de nmeros; por eso se utiliza el mismo s u mbolo) Ejemplo 1.1.1. Un ejemplo ms cercano puede ser la suma a de vectores: Un punto del plano lo representamos con un par de nmeros que nos indican las distancias a dos ejes de referencia, u y que llamamos coordenadas del punto.
(a + c, b + d) d (c, d)

(a, b)

Dados dos puntos (a, b) y (c, d), se dene su suma como otro punto del plano de coordenadas (a + c, b + d) = (a, b) + (c, d) El s mbolo de suma que hay en las expresiones a + c y b + d es la suma de nmeros. Sin embargo el s u mbolo de suma que hay entre (a, b) y (c, d) es la suma de puntos, o de vectores del plano, no es la suma de nmeros. u

Es Lgico. o

1. S IMBOLOS MATEMATICOS Representa el producto. Como en el caso de la suma, el producto tiene distintos signicados en distintos contextos aritmticos, e aunque siempre se la llama producto. Por ejemplo, entre vectores el s mbolo se utiliza para el llamado producto vectorial, y el punto se utiliza para el producto escalar. Tambin tenemos en cuenta el medio en el que nos expresamos. e En la pizarra es posible que un simple punto no se distinga, por lo que solemos utilizar ms el aspa. a Y como siempre tendemos a abreviar, en algunos contextos no hace falta indicar ningn s u mbolo para expresar un producto, como por ejemplo en expresiones polinmicas: 2x es el producto las o z de 2 por equis, y 3 2 es tres por la ra cuadrada de dos. En general, cuando se multiplican objetos de distinto tipo (un vector por un nmero, por ejemplo), no es necesario poner ningn u u s mbolo entre ellos.

Es el signo menos, y se utiliza para nombrar los nmeros negau tivos, el opuesto de un elemento respeto a la adicin, y para la o operacin de sustraccin, entendida como la adicin del opuesto. o o o

( )n

se utiliza para representar la potencia n-sima de lo que est en el e e parntesis. El signicado lo tenemos claro cuando n es un nmero e u natural. 1 La expresin a1 para llamar al inverso de a, a1 = a y las o reglas de la operacin producto nos permite entender tambin el o e signicado de las potencias con exponente negativo. De la misma manera, la lgica de las propiedades de la operao cin producto nos lleva a la denicin de potencias de exponente o o fraccionario p aq . Un paso que requiere mucha ms abstraccin es la denicin de a o o 2 potencias de exponente irracional, como 3 o 2 . Veremos esto con ms detalle en los ejercicios y ejemplos. a

Es Lgico. o

1. S IMBOLOS MATEMATICOS Se llama sumatorio, y se utiliza para expresar de forma abreviada la suma de un conjunto grande de trminos. e Por ejemplo, si tenemos una familia de nmeros a1 , a2 , ...ak , y u queremos sumarlos todos, podemos escribir
k

a1 + a2 + ... + an =
i=1

ai

que se lee suma desde que i es igual a uno hasta que i = k de los trminos ai e Ejemplo 1.1.2. Si queremos escribir la suma de los diez primeros nmeros pares, podemos poner u
10

2 + 4 + 6 + 8 + 10 + 12 + 14 + 16 + 18 + 20 =
n=1

2n

Similar al anterior, se llama producto, y se utiliza para expresar de forma abreviada el producto de un conjunto grande de trminos. e Por ejemplo, si tenemos una familia de nmeros a1 , a2 , ...ak , y u queremos multiplicarlos todos, podemos escribir a1 a2 ... an = k ai i=1 que se lee producto desde que i es igual a uno hasta que i = k de los trminos ai e

Es Lgico. o

1. S IMBOLOS MATEMATICOS n es un nmero natural, y la expresin n1 se llama n factorial, u o o factorial de n, y representa el producto de todos los nmeros u naturales desde el nmero 1 hasta el nmero n. Con el s u u mbolo anterior podr amos expresarlo tambin como e n! = n k = 1 2 3 (n 1) n k=1 La razn de utilizar una nueva expresin es la de facilitar un o o s mbolo reducido para una expresin comn (en ciertos contexto o u matemticos) a

n!

n k

Como en el caos anterior, se ha creado un s mbolo compacto para expresar una operacin compleja, que se repite en numerosas o ocasiones. Esta expresin n aparece en una parte de la teor o k a, la combinatoria, por lo que a veces se conoce como nmero comu binatorio. Se lee n sobre k, y representa el siguiente clculo: a n k = n! k!(n k)!

1.2.

S mbolos de la teor de conjuntos a

No podemos hacer una lista completa de s mbolos, pero vamos a repasar algunos de los ms conocidos. De paso esta revisin nos facilitar comprendernos a o a mutuamente facilitndonos un vocabulario comn, aunque sea algo escaso. a u

{}

Se utiliza para delimitar la descripcin de una coleccin o conjuno o to de elementos. La descripcin de este conjunto de elementos o puede hacerse de una forma extensiva, mencionando todos y cada una de ellos, o de una forma descriptiva, mediante una frmula o matemtica o una descripcin literal. Por ejemplo, el conjunto a o de las vocales del castellano ser a {vocales del castellano} = {a, e, i, o, u}

Es Lgico. o

1. S IMBOLOS MATEMATICOS Este s mbolo se utiliza para indicar la pertenencia (o la no pertenencia) de un elemento a un conjunto dado. Por ejemplo, a {vocales del castellano} 5 {vocales del castellano} Muy raramente se utiliza este s mbolo colocado al revs, e cribiendo primero el conjunto y luego su elemento, {vocales del castellano} e , es-

Es Lgico. o

1. S IMBOLOS MATEMATICOS Es el s mbolo de igualdad. En la teor de conjuntos lo utilizamos a para identicar un conjunto con un nombre, normalmente una letra, y simplicar la escritura. Algunos conjuntos tienen ya un nombre propio mediante una letra: 1. los nmeros naturales N: son los nmeros que usamos para u u contar, con una observacin: para algunos autores se debe o incluir el cero en N, y para otros autores no. Yo preero indicarlo en cada caso, segn sea ms conveniente. u a 2. los nmeros enteros Z: son los nmeros naturales y sus u u opuestos, y el cero. 3. los racionales Q son los nmeros que se pueden escribir cou mo cociente de dos nmeros enteros; es decir, los nmeros u u p u de la forma x = donde p y q tiene que ser dos nmeros q enteros, positivos o negativos, y q = 0 4. los nmeros reales R incluye a todos los anteriores y a u otros nmeros que no son racionales, como por ejemplo u 2 Todos los nmeros reales se pueden obtener de forma u aproximada mediante su expresin decimal, pero lo que o son irracionales tienen una expresin decimal innita y no o peridica (que no se repite). o 5. el conjunto vac se expresa siempre con el s o, mbolo Tambin se utiliza para indicar que dos conjuntos son iguales, lo e que quiere decir que tienen exactamente los mismos elementos.

10

Es Lgico. o

1. S IMBOLOS MATEMATICOS Son los s mbolos para indicar que un conjunto est contenido en a el otro, qu est formado por una parte de sus elementos. e a Si escribimos A B, quiere decir que cada elemento de A est en a B, con lo que A est contenido en B; se lee A est contenido o a a es igual a B. Es una relacin de contenido no estricta. o Si escribimos A B, que se lee A est contenido en B, la a relacin de contenido es estricta, en el sentido de que todos los o elementos de A estn en B, pero A y B no son iguales (B tiene a algn elemento ms que A). En algunos textos no se distinguen u a estos dos casos, y se utiliza slo el segundo s o mbolo en el sentido amplio, y cuando se quiere indicar que A est contenido en B y a es distinto de l se utiliza un nuevo s e mbolo bastante intuitivo: A B o A B. Por motivos de comodidad, sobre todo en la pizarra, se utilizan tambin los s e mbolos simtricos e AB o AB si es B el que est contenido en A. a Por ejemplo, podemos poner que { mltiplos de 6} { mltiplos de 3} u u { mltiplos de 6} { mltiplos de 3} u u { mltiplos de 6} u { mltiplos de 3} u Las dos ultimas armaciones son la misma. En la primera deci mos que los mltiplos de seis son tambin mltiplos de tres, sin u e u precisar si ambos conjuntos son iguales o no. En las dos segundas damos ms informacin: decimos que los mltiplos de seis a o u son mltiplos de tres, pero que los dos conjuntos no son iguales, u porque hay nmeros que son mltiplos de tres pero no de seis. u u

11

Es Lgico. o

1. S IMBOLOS MATEMATICOS Unin de dos conjuntos: es el conjunto formado con los elementos o que estn en A y los que estn en B. a a Aqu solemos tener una diferencia de opinin importante entre o los matemticos y los no matemticos: a a Decimos que un elemento x est en A B si est en A, en B, a a o en los dos a la vez, y lo resumimos con la expresin x est en o a A o en B (al menos en uno de los dos conjuntos; la no es o disyuntiva). A B se lee A unin B o AB = {x : x est en A o x est en B} = {x : x A o x B} a a

Representa la interseccin de dos conjuntos: es el conjunto foro mado con los elementos que estn a la vez en A y en B. a AB = {x : x est en A y x est en B} = {x : x A y x B} a a

Es la diferencia de conjuntos: A \ B es el conjunto de aquellos elementos que estn en A pero no estn en B. a a A\B = {x : x est en A y x no est en B} = {x : x A y x B} a a

12

Es Lgico. o

1. S IMBOLOS MATEMATICOS

AB
B B

AB

A\B

13

Es Lgico. o

1. S IMBOLOS MATEMATICOS En la teor de conjuntos este s a mbolo representa el producto cartesiano El producto cartesiano de dos conjuntos A y B, A B es el conjunto formado por todos los posibles pares de dos elementos, el primero de A y el segundo de B. Este producto tiene poco parecido con el producto de nmeros, u por no decir ninguno. Para empezar, no es conmutativo, ya que en la denicin de los pares de elementos esta incluida la decisin o o de orden: el primer elementos se escoge en A y el segundo en B. Los elementos del producto cartesiano se escriben con una notacin particular, entre parntesis o e A B = {(x, y) : x A, y B} Los conjuntos A y B pueden ser conjuntos de nmeros, o pueden u ser cualquier otra cosa. No estamos haciendo ninguna operacin o entre los elementos de a y de B, slo los estamos ordenando. o Por ejemplo, si = { , , } y B = { , , , }, el producto cartesiano de A y B es

A B = {( , ); ( , ) ( , ); ( , ); ( , ); ( , ); ( , ); ( , ); ( , ); ( , ); ( , ); ( , )} El producto cartesiano de dos conjuntos suele representarse en una tabla de doble entrada: colocamos en las columnas lo elementos de A y en las las los de B, y escribimos el producto AB

( , ( , ( ,

) ( , ) ( , ) ( , ) ) ( , ) ( , ) ( , ) ) ( , ) ( , ) ( , )

1.3.

S mbolos lgicos o

Vamos a hacer un repaso ahora de algunos de los s mbolos que utilizamos en las construcciones lgicas. Estos s o mbolos tienen un signicado lxico, que no siempre e 14

Es Lgico. o

1. S IMBOLOS MATEMATICOS

coincida con su interpretacin en el vocabulario cotidiano, por lo que hay que o dedicar un rato a asegurarse que entedemos correctamente su signicado.

Utilizamos las letras minsculas p, q, r,. . . para trepresenu tarproposiciones. Una proposicin es una armacin de la o o que se puede decidir si es verdadera o falsa. La idea es llegar a construir demostraciones matemticas enlazando proposicioa nes mediante razonamientos lgicos, de manera que podamos o establecer en cada enlace la falsedad o la veracidad del razonamiento. Algunos ejemplos de proposiciones son las expresiones siguientes: p: Jpiter es un planeta q: El pizarrn es verde r: El nmero real u o u x es negativo s: Algn elefante es de color rosa t: Ningn pez u u respira fuera del agua u: Todos los leones son feroces

Se utiliza para la negacin de una proposicin, en la formas p. o o p ser verdadera si p es falsa, a Las negaciones de las proposiciones anteriores son: p: Jpiter no es un planeta q: El pizarrn no es verde r: u o El nmero real x no es negativo o tambin El nmero real x es u e u positivo o cero s: Ningn elefante es de color rosa t: Algn u u pez respira fuera del agua u: Algn len no es feroz u o

Conjuntcin: es un operador binario, entre dos proposiciones, y o representa la conjuncin y. Se escribe p q o La expresin (p q) es verdadera slo si las dos proposiciones o o son verdaderas.

Disyuncin: es un operador binario, entre dos proposiciones, y o representa la disyuncin o, entendida de forma no exclusiva. o Es decir, p q se leep o q, y es cierta si al menos una de las dos proposiciones es verdadera. La expresin (p q) es verdadera si alguna de dos proposiciones o son verdaderas.

15

Es Lgico. o

1. S IMBOLOS MATEMATICOS Condicional: es tambin un operador binario, entre dos proposie ciones, y representa una relacin de implicacin. p q se lee p o o implica q, o si p entonces q y es una armacin verdadera o salvo en el caso de que p sea verdadera y q falsa. Es el operador lgico ms importante en las demostraciones mao a temticas. a

Bicondicional: es el ultimo operador que vamos a ver. Es tambin e binario, entre dos proposiciones, y representa una relacin de o equivalencia. p q se lee p equivale a q, o p si y solo si q. Esta armacin es verdadera slo si p y q tienen el mismo o o carcter: p es verdadera si q es verdadera, y slo en ese caso. a o

1.4.

Cuanticadores

Entre los s mbolos que aparecen en el razonamiento lgico hay dos especiales, o por su signicado, que llamamos cuanticadores. Para entenderlos, consideremos antes unas ideas generales: En la seccin anterior hemos hablado de proposiciones y relaciones entre ellas. Y o hemos denido las proposiciones como armaciones susceptibles de ser verdaderas o falsas, una y slo una de estas dos cosas. o En matemticas consideramos armaciones que dependen de un valor genria e co (variable), y que no son verdaderas o falsas siempre, sino que dependen del valor que pongamos en ese valor genrico. Por ejemplo, podemos decir que e 5 n es un nmero par . Esta armacin es verdadera, por ejemplo, si n = 4, u o ya que 5 4 = 20 es par, y es falsa si n = 3 ya que 5 3 = 15 que es impar. Este tipo de armaciones son frmulas lgicas, o predicados. Un predicado es o o una formulacin P (x) que depende de un valor genrico, se convierte en una o e proposicin lgica cuando se dan valores a ese valor genrico. o o e Por poner un ejemplo quiz ms usual, una funcin f (x) = x2 + 3 no es un a a o nmero. Se convierte en un nmero cuando se da un valor concreto a la variable u u x. Si x = 2, f (2) = 7 si es un nmero. Esto nos da paso a las operaciones con u 16

Es Lgico. o

1. S IMBOLOS MATEMATICOS

funciones, y al desarrollo del anlisis matemtico que estudia el comportamiento a a de las funciones. De la misma manera, el predicado P (x) = 5x es par no es una proposicin, o pero se convierte en una cuando damos un valor a x: P (6) = 5 6 es par es una proposicin, que en este caso es verdadera. o Otra manera en que un predicado se convierte en una proposicin es aadindole o n e un cuanticador. Si decimos todos los mltiplos de 5 son pares, esto ya es una u proposicin, que adems es falsa. Tambin si decimos hay algn mltiplo de o a e u u cinco que es par, esto es una proposicin, que en este caso s es verdadera. o Estos dos adverbios,todos y algn son lo que llamamos cuanticadores, y u tienen una representacin simblica propia. o o

Se lee como todos, para todo, cualquier, para cada... Por ejemplo, la expresin n N, 5n es par se lee para todo o nmero natural n, 5n es un nmero par. En general, la expresin u u o x A : P (x) signica que para todo valor de x en A P (x) es cierto. El adverbio se llama cuanticador universal. Se lee como existe un, aunque debe entenderse en un sentido no exclusivo, como existe algn, hay al menos un,... Por u ejemplo, la expresin n N, 5n es par se lee existe algn o u nmero natural n de modo que 5n es un nmero par. En general, u u la expresin x A : P (x) signica que existe al menos un valor o x en A para el que P (x) es cierto. Normalmente la expresinexiste un va unida a la expresin tal o o que, o de modo que. Por ejemplo, existe un nmero natural u tal que 9n es impar, o en la frase del prrafo anterior, existe a algn nmero natural n de modo que 5n es un nmero par. u u u Esa expresin tal que o de modo que se suele escribir con o el s mbolo /, la barra inclinada, o los dos puntos : n N / 9 n es impar n N : 5 n es par El adverbio se llama cuanticador existencial. 17

Es Lgico. o

1. S IMBOLOS MATEMATICOS

En las actividades vamos a hacer algunos ejercicios para traducir expresiones cotidianas al lenguaje lgico de predicados, utilizando cuanticadores. o

18

Es Lgico. o

2. FORMAS DE DEMOSTRACION

2 Formas de demostracin o
2.1. Qu es una demostracin en matemticas? e o a

Una demostracin es un conjunto de proposiciones del tipo q r , todas ellas o ciertas, que se van construyendo utilizando las leyes elementales de la lgica con o el objetivo de ver si un enunciado del tipo R:Es cierto que P C es verdadero. Obsrvese que cuando decimos que q r es cierta, no decimos que sea cierto e q, sino que es cierta la implicacin. Es decir, es cierto que si q es cierto entonces o r tambin es cierto. Recordemos la tabla de verdad de la implicacin, que hemos e o visto en las actividades del curso Implicacin o q V V F F Ejemplo: Decidir cules de los siguientes enunciados de tipo condicional (si . . . entonces a . . . ) se ajustan a la siguiente armacin: o 19 r qr V V F F V V F V q r V V V V F F F V V F V F

Es Lgico. o

2. FORMAS DE DEMOSTRACION

Cualquier recta de vector director v = (1, 2, 3) tiene un punto de interseccin o con el plano de ecuacin 2x 2y + z 2 = 0 o a) Si una recta tiene un punto de interseccin con el plano 2x 2y + z 2 = 0 o entonces tiene vector director v = (1, 2, 3) b) Si una recta tiene vector director v = (1, 2, 3), entonces tiene un punto de interseccin con el plano de ecuacin 2x 2y + z 2 = 0 o o c) Si una recta no tiene vector director v = (1, 2, 3), entonces no tiene un punto de interseccin con el plano de ecuacin 2x 2y + z 2 = 0 o o d) Si una recta no tiene un punto de interseccin con el plano de ecuacin o o 2x 2y + z 2 = 0, entonces no tiene vector director v = (1, 2, 3) Un enunciado del tipo q r se llama un razonamiento, y una demostracin de o R:Es cierto que P C es una cadena de razonamientos que empieza en P y acaba en C. En esta cadena de razonamientos, el punto de partida P se llama Premisa, o Hiptesis, y el punto nal C se llama Conclusin, o Tesis o o La hiptesis es una proposicin formada por un conjunto de proposiciones eleo o mentales,{P1 , P2 , . . . , Pr } o armaciones, que se tienen que vericar a la vez, P = P 1 P 2 P 3 . . . Pr La Tesis puede ser una proposicin, o tambin un conjunto de ellas, de formatos o e diferentes T1 T2 , T1 T2 , T1 T2 , etc. La hiptesis se llama la condicin suciente, y la tesis la condicin necesaria. o o o Cuando decimos Si llueve me pongo el sombrero, tenemos una condicin del tipo q r, donde o q es llueve, y r es me pongo el sombrero. Es suciente que llueva para saber que me vais a ver con sombrero. Pero nadie ha dicho que no me pueda poner el sombrero aunque no llueva. Que llueva es una condicin suciente, pero no es necesaria para verme con sombrero. o Por otra parte, si queris saber si en la calle lleve o no lleve, y me veis entrar sin e el sombrero, sabis seguro que no llueve. Si llevo el sombrero, puede que llueva y e 20

Es Lgico. o

2. FORMAS DE DEMOSTRACION

puede que no. Pero si es que llueve, necesariamente yo debo llevar el sombrero. Llevar el sombrero es condicin necesaria para asegurar que est lloviendo, aunque o a puede no ser suciente. Un tipo de razonamientos muy importante es el de equivalencia: se trata de demostrar una doble implicacin entre la hiptesis y la tesis. Realmente se trata o o de dos demostraciones, P C y C P ; en la segunda las conclusiones se convierten en premisas y las premisas en conclusiones. En este caso, las dos condiciones son a la vez necesarias y sucientes, cada una para que sea vlida la otra. a Si yo hubiera dicho Me pongo el sombrero siempre que llueve, pero slo cuando o llueve, tendr amos una expresin del tipo q r. En este caso, para saber si o llueve es suciente ver que llevo el sombrero, y tambin es seguro que si me veis e con el sombrero puesto, (necesariamente) est lloviendo. a Ejercicio: En este ejercicio se trata de hallar una condicin necesaria y suciente para o encender la calefaccin(C), sabiendo que: o i. Si llueve entonces truena. L T ii. Si hace fr enciendo la calefaccin. F C o, o iii. Llueve o hace fr L F o. iv. Si llueve, no enciendo la calefaccin. L C o v. Si hace fr no truena. F T o, Sigamos los siguientes pasos. En cada apartado, indicar cul es la respuesta a correcta: 1. Qu estamos buscando?. Se trata de determinar un enunciado, llammosle e e de momento E, tal que: EC CE EC EC

2. De la hiptesis se sabe que C es una condicin necesaria para o o 21

Es Lgico. o F L T F L

2. FORMAS DE DEMOSTRACION

3. Cul de las siguientes es una condicin lgicamente equivalente a la iii.? a o o F L L F LF (F L)

4. Cul de las siguientes es una condicin lgicamente equivalente a la iv.? a o o C L L C C L L C 5. De las premisas iii. y iv. (o sus equivalentes) se puede deducir que C es una Si A veces No No lo s e condicin suciente para F? o 6. El proceso anterior garantiza que una condicin necesaria y suciente para C o es T L F Ninguna de las anteriores

2.2.

Cmo se hace una demostracin? o o

En el caso general, a partir de las premisas {P1 , P2 , ..., Pr } (con la notacin o anterior) se van determinando ordenadamente proposiciones {C1 , C2 , ..., Ck , C} de tal manera que C1 es conclusin de unas cuantas de esas premisas, y C1 se o convierte a su vez en premisa de un nuevo razonamiento, cuya conclusin es C2 , o ... hasta llegar a C. Para obtener las distintas conclusiones (intermedias o nal) se emplean las reglas de inferencia lgica para asegurar la argumentacin correcta de dichas conclusioo o nes. Unos principios elementales a la hora de realizar una demostracin son: o Toda demostracin debe apoyarse unicamente en proposiciones verdaderas. o Todas las conclusiones de que conste una demostracin deben estar bien o argumentadas. La proposicin a probar puede ser sustituida por otra slo en el caso de o o que sean equivalentes. Hay distintos mtodos de demostracin, de los que vamos a mostrar slo algunos: e o o 22

Es Lgico. o 1. Mtodo directo e 2. Por reduccin al absurdo o 3. Probando el contrarrec proco 4. Por induccin o

2. FORMAS DE DEMOSTRACION

2.2.1.

Mtodo directo e

Proposicin 2.1. Si disminuimos en una unidad el cuadrado de un nmero o u impar, el resultado es un mltiplo de 8. u Demostracin: Cualquier nmero impar es de la forma k = 2n + 1, donde n es o u un nmero natural. Si elevamos k al cuadrado tenemos u k 2 = (2n + 1)2 = 4n2 + 4n + 1 Si a este cuadrado le quitamos una unidad, y manipulamos un poco la frmula, o tenemos k 2 1 = 4n2 + 4n = 4n(n + 1) n y n + 1 son dos nmeros consecutivos, as que seguro que uno de los dos debe u ser un nmero par, mltiplo de 2, as que seguro que k 2 1 es mltiplo de 8. u u u

2.2.2.

Por reduccin al absurdo o

Este mtodo consiste en construir un razonamiento que se basa en la negacin e o de la propiedad que estamos enunciando, y nos lleva a una situacin absurda. o Es decir, suponemos que la propiedad enunciada es falsa, y demostramos que esto nos lleva a una situacin imposible, bien porque es contradictoria con las o hiptesis de la argumentacin, bien porque nos lleva a dos conclusiones opueso o tas, o bien porque nos lleva a una contradiccin con otra informacin conocida o o anteriormente. 23

Es Lgico. o

2. FORMAS DE DEMOSTRACION

En el lenguaje de la lgica de proposiciones: queremos demostrar una armacin o o del tipo p q. Suponemos esta propiedad fuera falsa: que p es cierto, pero que q es falso, es decir, que se cumple p q, y vemos que eso nos lleva a una contradiccin. o Proposicin 2.2. El nmero 5 es irracional o u Demostracin: o Suponemos 5= a b 5 es racional. Esto signica que podemos escribir

donde a y b son nmeros enteros primos entre s u . Entonces elevamos la igualdad al cuadrado, 5= a b 5= a2 b2 5b2 = a2

De esta igualdad se deduce que a2 es un mltiplo de 5, y para eso el propio a u tiene que ser un mltiplo de 5. Ponemos a = 5c y sustituimos, u 5b2 = a2 = 52 c2 de donde se deduce que b2 = 5c2 As que tambin b2 , y por tanto el mismo b, es mltiplo de 5. e u a Esto es contradictorio con nuestra construccin de la fraccin que representa o o b a 5. As que 5 no puede ser un nmero racional. u

24

Es Lgico. o

2. FORMAS DE DEMOSTRACION

2.2.3.

Probando el contrarrec proco

Este modo de demostracin se confunde en muchas ocasiones con el anterior. o Se trata de cambiar la proposicin que queremos demostrar, p q por otra o que es equivalente, q p, que se llama contrarrec proco (de unir rec proco y contrario). Se confunde fcilmente con la reduccin al absurdo, que consistir en suponer a o a que p es cierto, y que no se verica q, y llegar de la negacin de q a la negacin o o de p, q p , con lo que el absurdo aparece al tener a la vez p y p . Por ejemplo, Proposicin 2.3. Para cualquier nmero entero n, si 5n + 3 es par, n es impar. o u Demostracin: o Si llamamos p a la proposicin p: 5n + 3 es par, y q a q: n es impar, se trata de o demostrar que para todo entero n se tiene p q En primer lugar, el cuanticador para cualquier nmero entero n no es parte u de la condicin de suciencia. Y en segundo lugar, el rec o proco ser q p. a Es decir, vamos a demostrar que Para todo nmero entero n, si n no es impar entonces 5n + 3 no es par. u Veamos esto: si n no es impar, es par, luego es de la forma 2k para algn otro u nmero entero k. Sustituyendo en la expresin 5n + 3 tenemos u o

5n + 3 = 5(2k) + 3 = 10k + 3 = 2(5k + 1) + 1 y por tanto es impar (no es par) que es lo que quer amos demostrar.

Este tipo de demostracin es muy habitual en las equivalencias. Para demostrar o que p q tenemos que hacer realmente dos demostraciones: primero hay que 25

Es Lgico. o

2. FORMAS DE DEMOSTRACION

ver que si se cumple p, entonces se cumple q (p q), y luego que si se cumple q, entonces se cumple p (q p). Esta segunda parte se sustituye por el contrarec proco: si no se cumple p, no se cumple q. p q es equivalente a si se cumple p se cumple q, y si no se cumple p no se cumple q Proposicin 2.4. El cuadrado de un nmero natural n2 es par si y slo si n es o u o par. Demostracin: o La condicin p es p: n2 es par y la condicin q es q: n es par La proposicin o o o arma que p q. Vamos a escribirlo en el orden contrario, q p Primero probamos que q p: Si n es par, n = 2k, y al elevar al cuadrado n2 = (2k)2 = 4k 2 = 2(2k 2 ), luego n2 tambin es par. e Y ahora probamos que q p: Si n no es par, es impar, as que es de la forma n = 2k+1, y al elevar al cuadrado n2 = (2k+1)2 = 4k 2 +4k+1 = 2(2k 2 +2k)+1, luego n2 es impar (no es par).

2.2.4.

Mtodo de induccin e o

Se emplea cuando se pretende demostrar que una proposicin P (n) es cierta para o cualquier valor de n entre los nmeros naturales, n = 1, 2, 3, . . . . La tcnica de u e demostracin tiene una estructura muy particular: o 1. Primero se demuestra que la propiedad se cumple para el caso n = 1, P (1). 2. Despus se demuestra que si P (n) es cierta, tambin P (n + 1) es cierta. e e Hemos utilizado est tcnica en el curso, para demostrar que el nmero de suba e u conjuntos que se pueden formar con un conjunto de n elementos es 2n . 26

Es Lgico. o Vamos a ver otro ejemplo.

2. FORMAS DE DEMOSTRACION

Proposicin 2.5. La suma de los n primeros nmeros naturales es o u

n

k=
k=1

n(n + 1) 2

Demostracin: o La propiedad P (n) se enunciar de la forma tal como aparece en el enunciado a de la proposicin. o 1(1 + 1) , El caso n = 1 dir que la suma del primer nmero natural, 1, es igual a a u 2 que es verdad. Pero como este caso parece poco claro, vemos tambin el caso e n = 2, o incluso alguno ms para asegurarnos de que entendemos lo que hacemos. a Para n = 2 la propiedad P (2) dir que a 1+2= 23 2

que tambin es verdad. e Suponemos ahora que P (n) es cierto, y utilizando esta suposicin, vamos a ver o
n+1

que entonces P (n + 1) tambin es cierto. P (n + 1) habla de cunto vale e a

k=1

(n + 1)(n + 2) y dice que debe ser k= . Como 2 k=1

n+1 n

n+1

k=1

k = 1 + 2 + 3 + + n + (n + 1) =

k + (n + 1)
k=1

Utilizando la propiedad P (n),

n+1

k=
k=1

n(n + 1) n(n + 1) + 2(n + 1) (n + 1)(n + 2) + (n + 1) = = 2 2 2

As que P (n + 1) tambin es cierto. e 27

Es Lgico. o Esto termina la demostracin. o

2. FORMAS DE DEMOSTRACION

2.2.5.

Algunos errores que deben evitarse

Algunos errores habituales en los intentos de demostracin son: o Pretender generalizar por analog un resultado particular como uno genea ral. Confundir un enunciado con su rec proco (que no es lo mismo que el contrarrec proco, que s est bien). a Hacer la demostracin slo para un caso particular. o o Utilizar en la demostracin lo que se quiere demostrar. o Un ejemplo notable del primer error lo cometi nada menos que Leibnitz, as que o no castigaremos a nadie por hacerlo, pero tendremos que ensearle su error: n En el siglo XVII el matemtico alemn Leibnitz demostr que a a o Cualquiera que sea el nmero natural n, n3 n es mltiplo de 3. u u Cualquiera que sea el nmero natural n, n5 n es mltiplo de 5. u u Cualquiera que sea el nmero natural n, n7 n es mltiplo de 7. u u Tras estos resultados supuso que Cualquiera que sea el nmero natural n, nk n u es mltiplo de k cuando k es impar. Pronto observ que 29 2 no es mltiplo u o u de 9. Otro ejemplo: Sustituyendo n en la expresin 991n2 + 1 por los nmeros naturales consecutivos o u n = 1, 2, 3, 4, . . . parece imposible obtener el cuadrado de un nmero. Sin emu bargo es errneo armar que ningn nmero de este tipo es cuadrado perfecto. o u u El menor valor de n para el que 991n2 + 1 es cuadrado de un entero es 28

Es Lgico. o

2. FORMAS DE DEMOSTRACION

n = 12 055 735 790 331 359 447 442 538 767 Un ejemplo sobre el uso del rec proco o el contrarrec proco (contrarrec proco es el contrario del rec proco): Si decimos que P:si dos ngulos son opuestos por el vrtice tienen la misma a e medida, el rec proco ser decir que q:si dos ngulos tienen la misma medida, a a son opuestos por el vrtice, lo cual es evidentemente falso, y el contrarrec e proco es que s: si dos ngulos no tienen la misma medida, entonces no son opuestos a por el vrtice, que no es lo mismo que q, y s lo mismo que p, y que s es e cierto.

.1: Angulos opuestos por el vrtice e

ero es mltiplo de 30, entonces es mltiplo de 10 y u u si un nmero es mltiplo de 10 y de 6 entonces es u u cierto, pero no es lo que estbamos diciendo antes. a contrarrec proca, es que si un nmero no es mltiplo u u

Es Lgico. o

2. FORMAS DE DEMOSTRACION

Figura 2.2: Tringulo a

As si decimos el ngulo adyacente a uno de los ngulos de un tringulo es a a a mayor que cualquiera de los ngulos del tringulo. el resultado parece obvio: el a a ngulo adyacente es obtuso, y los ngulos del tringulo son agudos. a a a Y es tan obvio como falso, si tenemos en cuenta otro tipo de tringulos y escoa gemos bien el vrtice. e

Figura 2.3: Otro tringulo a

30