GEOMETR IA

HUGO CAEROLS - RELY PELLICER

gico, el aporte de los Griegos 1. Razonamiento lo 1.1. El lenguaje de la Matem atica. El lenguaje matem atico, a diferencia del lenguaje con el que nos expresamos diariamente, es extremadamente preciso. Entender c omo funciona es una gran ayuda para comprender el lenguaje cient co en general y es por eso que en este primer cap tulo hemos decidido aclarar al lector en este punto de vital importancia para que entienda c omo leer el resto del libro. Las teor as matem aticas se construyen fundamentadas en elementos b asicos, que no se denen y que se aceptan como fundamento de todo. Por ejemplo: aceptamos los puntos, las rectas y los planos como elementos iniciales de la geometr a sin cuestionarnos demasiado, s olo teniendo una idea de estos. Lo mismo ocurre con los n umeros naturales que expresan el concepto profundo de cantidad. Dan cuerpo a la teor a un conjunto de deniciones y teoremas. La geometr a se puede deducir a partir de algunos principios b asicos llamados postulados que se asumen como verdaderos.1 Un ejemplo de postulados: Dos puntos del plano determinan una u nica recta. Cuando los matem aticos determinaron un conjunto de postulados de los que se deduc a toda la geometr a pensaron que esto era posible de realizar en todos los contextos matem aticos y por varios a nos estuvieron buscando un conjunto de postulados de los que se dedujeran las propiedades de los n umeros naturales, hasta que el matem atico (l ogico) checo Kurt G odel (1906-1978) prob o que si se consideraba un conjunto de postulados b asicos para los naturales, siempre existir a una propiedad que verican los naturales que no es posible deducir de los axiomas anteriores; lo que prueba que no existe tal conjunto de postulados b asicos para los n umeros naturales. Los teoremas conectan los elementos b asicos, las deniciones y los postulados de una teor a usando la l ogica. Pasamos ahora a explicar los elementos que conforman la l ogica binaria. Denici on 1.1.1. Proposiciones. Son enunciados del lenguaje natural sobre los cuales es posible armar que son verdaderos o falsos. Por ejemplo la proposici on p : dos es mayor que cinco. No es una proposici on q : Hola c omo est as? Denici on 1.1.2. La veracidad o falsedad de una proposici on se llama su valor de verdad.
1

El conjunto de postulados de los que se deduce la geometr a plana se agrega en el Ap endice 1

1

HUGO CAEROLS - RELY PELLICER

Denici on 1.1.3. Se llama funci on proposicional a una proposici on cuyo valor de verdad depende de una o m as variables. Por ejemplo, p(n) : n es un n umero par. El valor de verdad de p depende del valor asumido por n. p(1) es falsa porque uno no es un n umero par, p(6) es verdadera por que seis es un n umero par. A partir de proposiciones simples, podemos construir otras proposiciones utilizando ciertos s mbolos denominados conectivos. Los conectivos m as usados son: Condicional (), Conjunci on (), Disyunci on (), Bicondicional (), Negaci on (). Al conectar dos proposiciones dadas por algunos de estos conectivos producimos una nueva proposici on cuyo valor de verdad depende de los valores de las proposiciones originales. Sean p y q dos proposiciones, como mencion abamos el valor de verdad de la proposici on compuesta p q depender a de los valores de verdad tanto de p, como de q. Las siguientes tablas resumen todas las posibilidades con los conectivos antes mencionados, reemplazando en p q por el conectivo respectivo. p V V F F q pq V V F F V V F V p V V F F q pq V V F F V F F F p V V F F q pq V V F V V V F F p V V F F q pq V V F F V F F V p p V F F V

Pasamos ahora a describir los diferentes conectivos. La implicaci on p q se lee p implica q y en general se traduce al lenguaje natural como si p entonces q. El valor de verdad de p q es falso s olo si p es verdadera y q es falsa. En los dem as casos p q es verdadera. p se dice tambi en antecedente y q consecuente. Pensemos por ejemplo en las funciones proposicionales q (n) : n es un n umero par, p(n) : n es divisible por cuatro. La proposici on compuesta p(n) q (n), se traduce al lenguaje natural como: Si n es divisible por cuatro entonces n es un n umero par. Si la implicaci on p q es verdadera p es una condici on suciente para q y q es una condici on necesaria para p. Esta terminolog a es utilizada en diferentes materias y contextos, pero siempre con el mismo signicado. Aclararemos lo anterior con un ejemplo. En el caso que analiz abamos, si n es divisible por cuatro entonces n es un n umero par, que es claramente verdadera para cualquier valor asignado a la variable n. Que n sea divisible por cuatro es una condici on suciente para que n sea un n umero par. Que n sea un n umero par es una condici on necesaria para que n sea divisible por cuatro. Ejemplo: Considere las funciones proposicionales: p(n) : n es divisible por tres, q (n) : n es divisible por nueve. En el contexto de los n umeros naturales. Responda lo siguiente: (1) Es p(n) condici on necesaria para q (n) ?

 APUNTES DE LOGICA

(2) Es p(n) condici on suciente para q (n) ? Para responder la pregunta (1) nos preguntamos si la implicaci on q (n) p(n) es verdadera para todo natural n. Supongamos que q (n) es verdadera, es decir, sea n N tal que n es divisible por 9. Entonces n = 9a, para alg un a N, luego lo que equivale a n = 3(3a), para alg un a N. Por lo anterior n es divisible por 3, la proposici on q (n) p(n) es verdadera y p(n) es condici on necesaria para q (n). Pasamos ahora a responder la parte (b). Esta equivale a decidir si la implicaci on p(n) q (n) es verdadera para todo natural n. La intuici on nos dice que esta propiedad debe ser falsa para algunos naturales. Para conrmar lo anterior debemos encontrar un n N tal que p(n) sea verdadera y q (n) sea falsa. Basta tomar por ejemplo n = 3. p(3) es verdadera pues 3 es divisible por 3, sin embargo q (3) es falsa pues 3 no es divisible por 9. Luego el hecho que un n umero sea divisible por tres no es condici on suciente para que sea divisible por nueve. La conjunci on p q de las proposiciones p y q se lee p y q. La conjunci on es verdadera si y s olo si, ambas proposiciones p y q son verdaderas y falsa en los dem as casos. Por ejemplo, sean p y q las proposiciones p : dos es par, q : tres es m ultiplo de cuatro. p es verdadera y q es falsa, luego p q es falsa. La disyunci on p q de las proposicones p y q se lee p o q, esta es falsa s olo en el caso que ambas proposiciones sean falsas y verdadera en los otros casos. Por ejemplo, sean como antes p y q las proposiciones p : dos es par, q : tres es m ultiplo de cuatro. p es verdadera y q es falsa, luego p q es verdadera. Analice desde el punto de vista de la l ogica binaria la siguiente frase: La restricci on vehicular afecta este viernes a los veh culos sin convertidor catal tico cuyas patentes terminen en tres y cuatro. C omo corregir a la proposici on anterior ? El bicondicional de las proposiciones p y q se denota p q y se lee p si y s olo si q. Este es verdadero s olo en el caso que ambas proposiciones tengan el mismo valor de verdad y falso en los dem as casos. Por ejemplo, considere como antes las siguientes funciones proposicionales p(n) : n es divisible por cuatro, q (n) : n es un n umero par. p(n) q (n), en lenguaje natural dice n es divisible por cuatro si y s olo si n es un n umero par. y es claro que para n = 2 esta funci on es falsa porque p(2) es falsa y q (2) verdadera. Ejemplo: Escribamos en simbolog a l ogica la siguiente expresi on: Si el sol no ilumina las plantas y no se riegan entonces los frutos no crecen.

HUGO CAEROLS - RELY PELLICER

Sean p : El sol ilumina las plantas. q : Las plantas se riegan. s : Los frutos de las plantas crecen. En forma simb olica nos queda (p q ) s Ejercicios (1) Exprese en lenguaje simb olico las siguientes frases: (a) Hoy es Lunes y Mar a tiene fr o. (b) Ma nana voy a ir al cine o al teatro. (c) Si ma nana no voy al cine entonces comer e papas fritas. (2) Determinar el valor de verdad de cada una de las siguientes proposiciones: (a) (b) (c) (d) (e) (f) (g) Si 3 < 5 entonces 3 < 5. Si olo si 1 + 1 = 1. , entonces 3 + 3 = 7 si y s 2+2=4 16 = 4 o 16 = 4 . 6 + 4 = 10 y 2 2 = 2 52 = 25 o 2+2=5 Si 2 + 2 = 4, entonces no es cierto que 2 + 1 = 3 y 5 + 5 = 10. Si 3 1 = 1 entonces 2 + 2 = 5.

(3) Si sabemos que El d a est a lluvioso es una aseveraci on verdadera, pero que la aseveraci on El auto es nuevo es falsa, cu al es el valor de verdad de la aseveraci on El d a est a lluvioso y el auto es nuevo? (4) Considere las funciones proposicionales denidas en los enteros t(x) : x(x + 1) es un n umero par, 2 f (x) : (x x + 41) es un n umero primo. Determine el valor de verdad de la proposici on t(3) f (2)

Denici on 1.1.4. Proposiciones l ogicamente equivalentes. Decimos que dos proposiciones compuestas m y n son equivalentes si entregan el mismo valor de verdad para cualquier valor de verdad de las variables involucradas. Escribimos m n para indicar este hecho. Por ejemplo las proposiciones m : p q y n : (p q ) (q p) son equivalentes. Si consideramos una evaluaci on cualquiera, por ejemplo p = V, q = F, el valor de verdad de m es falso y el de n tambi en es falso. Esto no es casualidad, si analizamos todas las posibilidades de evaluaci on que resumimos en la siguiente tabla,

 APUNTES DE LOGICA

p V V F F

q p q p q q p (p q ) (q p) V V V V V F F F V F V F V F F F V V V V

y vemos las columas que est an bajo las proposiciones m y n, nos damos cuenta que coinciden, lo que signica que las proposiciones asumen el mismo valor de verdad cualquiera sea el valor de verdad de las variables involucradas, por lo que son equivalentes. Anotamos p q (p q ) (q p). Note que de lo anterior se deduce que si p q es verdadera p es una condici on necesaria y suciente para q, q tambi en es una condici on necesaria y suciente para p. Denici on 1.1.5. Tautolog as. Una proposici on cuyo valor de verdad es verdadero, cualquiera sea el valor de verdad de las variables involucradas se llama una tautolog a. Una tautolog a se denota con la letra V . Por ejemplo la proposici on (p q ) p es verdadera independientemente del valor de verdad de p o de q, como puede vericarse construyendo la tabla de asignaciones. Denici on 1.1.6. Contradicciones. Una proposici on cuyo valor de verdad es falso, cualquiera sea el valor de verdad de las variables involucradas se llama una contradicci on. Una contradicci on se denota por la letra F . Por ejemplo: p p es una contradicci on. Colocamos a continuaci on un listado de proposiciones l ogicamente equivalentes, que es de mucha utilidad para simplicar expresiones en el algebra l ogica.
(1) (p) p. (2) p F F. (3) p F p. (4) p V p. (5) p V V. (6) p p p. (7) p p p. (8) p q q p, conmutatividad. (9) p q q p, conmutatividad. (10) p (q r) (p q ) r, asociatividad. (11)p (q r) (p q ) r, asociatividad. (12) p (q r) (p q ) (p r), distributividad. (13) p (q r) (p q ) (p r), distributividad. (14) p q p q. (15) p q q p, contrapositivo. (16) (p q ) p q, ley de Morgan. (17)(p q ) p q, ley de Morgan. (18) p (p q ) p, absorci on. (19)p (p q ) p, absorci on. (20) p p F (21) p p V

Las equivalencias anteriores nos permiten realizar algebra en el conjunto de las proposiciones y las operaciones que se realizan con los conectivos. Podemos simplicarlas, expandirlas y trabajar de forma similar a como lo hac amos con expresiones algebraicas en secundaria. Ejemplo: Simplique al m aximo la expresi on [(p (p q )] q

HUGO CAEROLS - RELY PELLICER

(A la derecha de cada l nea se indica la propiedad utilizada.) [ p (p q ) ] q [ p (p q ) ] q (14)

[ (p p) (p q ) ] q (12) [ F (p q ) ] q (p q ) q (20) (3) (14) (16) (10) (21) (5)

(p q ) q (p q ) q p (q q ) p V V. luego, la proposici on es una tautolog a.

Ejemplo: Se sabe que la proposici on (p q ) r es falsa. Determine el valor de verdad de ([p q ] r) ([[p q ] r] p)

C omo la proposici on (p q ) r es falsa tenemos que (p q ) debe ser verdadera y r falsa, lo que nos indica que r debe ser verdadera y tanto p como q deben ser verdaderas. Reemplazando los valores de verdad en ([p q ] r) ([[p q ] r] p) obtenemos que la proposici on es verdadera. Ejercicios (1) Determine si las siguientes proposiciones son tautolog as, contradicciones o contingencias (esto es, no tienen un valor de verdad jo) (a) (p q ) (p q ). (b) [(p q ) (p q r)] (p q ). (2) V ctor, que siempre dice la verdad, le ha contado a su hermana lo siguiente: Me gusta Mar a Elena o Liliana, pero no las dos. Adem as, si me gustara Liliana, tambi en me gustar a Mar a Elena. Qui en le gusta a V ctor realmente ? (3) Simplique al m aximo las siguientes expresiones (a) [(p (p q )] p. (b) [(p q ) p] q.

 APUNTES DE LOGICA

(4) Bajo qu e condiciones de p y q la proposici on [(p q ) q ] (p q ), es falsa ? (5) Demostrar que las siguientes proposiciones son tautolog as: (a) (p q ) (p q ). (b) p (p q ) p. (6) Demostrar las siguientes equivalencias: (a) p (q r) (p q ) r (b) p (p q ) p, (propiedad de absorci on) (7) Sean p, q, r proposiciones. Determine el valor de verdad de cada una de ellas sabiendo que (p q ) [r (p q )] es falsa. (8) Usando las propiedades del algebra de conectivos l ogicos simplique la proposici on compuesta (p q ) [p (q p)]. (9) Demuestre sin usar tablas que las proposiciones (p q ) (p q ) y p q son equivalentes. A partir de una funci on proposicional, se puede obtener una proposici on anteponiendo un cuanticador. Los cuanticadores m as usados son el cuanticador universal y el existencial. Denici on 1.1.7. Cuanticador Universal. Se denota por el s mbolo . Sea A un conjunto y p(x) una funci on proposicional en el conjunto A. La proposici on x A : p(x), se traduce al lenguaje natural como: Para todo x en el conjunto A se verica p(x). Esta proposici on es verdadera si todos los elementos del conjunto A hacen que p(x) sea verdadera, o dicho de otra forma, verican la proposici on p. Por ejemplo, p(x) : x es positivo , la proposici on x R : p(x) se traduce al lenguaje natural como para todo n umero real x se tiene que x es positivo. La que es claramente falsa porque 1 es un n umero real que no es positivo. Denici on 1.1.8. Cuanticador existencial. Se denota por el s mbolo . Sea A un conjunto y p(x) una funci on proposicional en el conjunto A. La proposici on x A : p(x), se traduce al lenguaje natural como: Existe un elemento x en el conjunto A que verica p(x). Esta proposici on es verdadera si al menos un elemento del conjunto A verica la proposici on p. Por ejemplo, p(x) : x es positivo , la proposici on x R : p(x) se traduce al lenguaje natural como existe un n umero real x que es positivo, la que es claramente verdadera porque 4 es un n umero real positivo. La negaci on de la proposici on x A : p(x), se denota (x A : p(x)) y es equivalente a x A : p(x), esto es, existe un elemento del conjunto A que no verica la proposici on p(x).

HUGO CAEROLS - RELY PELLICER

La negaci on de la proposici on x A : p(x), se denota (x A : p(x)) y es equivalente a x A : p(x), esto es, para todo elemento del conjunto A no se verica la proposici on p(x). Ejemplo: Sean A = {1, 2, 3, 4, 5, 6, 7} y B = {1, 2, 4, 5, 6, 9, 10}. Determinemos el valor de verdad de la proposici on x (B A), y (A B ) tal que 2x + y 7

B A = { 1, 9, 10 } A B = {1, 3, 7} x {1, 9, 10}, y {1, 3, 7} tal que 2x + y 7. Para x = 1 basta tomar y = 1 y se cumple que 2x + y = 1 que es menor o igual que 7. Si consideramos x = 9 debemos averiguar si existe un elemento y en el conjunto {1, 3, 7} que verique 18 + y 7, que equivale a y 11. Como ning un elemento del conjunto anterior satisface esta condici on la proposici on es falsa. Ejercicios. (1) Exprese las siguientes proposiciones utilizando los s mbolos matem aticos y l ogicos usuales: (a) No es cierto que, si el doble de cuatro es diecis eis entonces el cuadrado de cuatro es treinta y dos. (b) El cuadrado de menos tres es nueve y es mayor que siete. (c) Existe un n umero entero mayor que dos. (d) Dos es menor que tres y un real x es mayor o igual que 7. (2) Escriba la negaci on de cada una de las armaciones anteriores en lenguaje natural. (3) Dada la funci on proposicional p(x) : x es un n umero mayor o igual que 2 y menor que 3, determine el valor de verdad de las proposiciones siguientes: (a) x E : p(x), donde E = {2, 1, 0}. (b) x W : p(x), donde W = {3, 4, 5}. (4) Considerando N como universo escriba en s mbolos cada una de las siguientes expresiones: (a) (b) (c) (d) (e) (f) Todo n umero multiplicado por cero es cero. Todo n umero es menor o igual que s mismo. Hay un n umero que es mayor o igual que los dem as. Si x es menor que 2 entonces es menor que 5. Hay un n umero tal que su cuadrado es igual al n umero. No hay ning un n umero entero positivo y negativo a la vez.

 APUNTES DE LOGICA

(5) Considere las proposiciones p : x {1, 3, 5}, y {2, 4} : x > y. q : y {2, 4}, x {1, 3, 5} : x > y. (a) Traduzca p y q al lenguaje natural. (b) Determine los valores de verdad de p y q. (c) Exprese simb olicamente las negaciones de p y q. (6) Escribir las negaciones de las siguientes proposiciones (a) (b) (c) (d) x R, y x R, y x R, y x R, y R : (x + y = 1 x = y ). R : (x + y es par x es par y es par ). R : (x < y x2 y ). R, z R : (x < y x + z = y ).

(7) Sabiendo que la proposici on x U : p(x) es verdadera, determine el valor de verdad de la proposici on x U : P p(x) x U : p(x) (8) Sean A = {1, 2, 3, 4, 1} y B = {1, }. Determine el valor de verdad de la armaci on: x A, y B : x + y < y, justique.
1 (9) Sean U = {2, 2 , 0, 1}, V = {2, 1, 2}. Determine el valor de verdad de las siguientes proposiciones:

(a) u U, v V : (uv + 1 < 0) (u2 v 2 = 0). (b) u U, v V : (uv + 1 < 0) (u2 v 2 = 0). Denici on 1.1.9. Teorema. Un teorema es un enunciado que relaciona elementos de una teor a y que se desprende de postulados o de otros teoremas. Los teoremas en matem atica, a diferencia de los postulados y las deniciones, tienen que ser establecidos a trav es de una prueba rigurosa, que est a basada en razonamientos l ogicos. Conseguir una demostraci on adecuada de un teorema siempre es un acto creativo, las ideas que conducen a la prueba no son siempre naturales. Bajo un enunciado muy simple puede encontrarse una propiedad muy dif cil de probar. El lector debe recordar posiblemente el inter es p ublico causado por la demostraci on del u ltimo teorema de Fermat, enunciado que fue atacado por los matem aticos m as connotados sin llegar a una prueba favorable por m as de tres siglos, hasta que el matem atico brit anico Andrew Wiles di o una prueba completa, en un art culo de 98 p aginas publicado reci en en el a no 1995. Muchos de los teoremas est an redactados de manera bastante general en la forma p q. Pensemos por ejemplo en el que pareciera ser uno de los m as conocidos teoremas: el teorema de Pit agoras. Un enunciado de este establece lo siguiente: En un tri angulo rect angulo cuyos catetos miden a y b e hipotenusa c, se verica la relaci on 2 2 c = a + b .
2

10

HUGO CAEROLS - RELY PELLICER

Es claro que hay elementos que es necesario conocer para entender el teorema, como qu e es un tri angulo rect angulo, cu ales son sus catetos e hipotenusa. Estas son deniciones relacionadas con elementos que aparecen en el teorema. Notemos que el enunciado anterior puede ponerse en la forma Si un tri angulo es rect angulo con catetos que miden a y b e hipotenusa c, entonces se verica 2 2 2 la relaci on c = a + b . En todo teorema de la forma p q, p se dice la hip otesis y q la tesis, en este caso la hip otesis es que el tri angulo es rect angulo, tambi en que la hipotenusa mide c, y los catetos a y b. La tesis es que c2 = a2 + b2 . Muchas veces se aprende mucho de los teoremas pregunt andose si es cierta la proposici on rec proca. La rec proca de p q, es q p. En nuestro ejemplo la proposici on rec proca dice : Si en un tri angulo con lados que miden a, b y c, se verica la relaci on c2 = a2 + b2 , entonces el tri angulo es rect angulo. La proposici on rec proca en este caso es cierta pero, para otros teoremas, no lo es en general. Encontrar a ejemplos de esto en los ejercicios que aparecen m as adelante. Existen adem as las proposiciones inversa y contrarrec proca. Resumimos esto en la siguiente tabla: Directa p q. Rec proca q p. Inversa p q. Contrarrec proca q p. Ejercicios (1) Enunciar y analizar el valor de verdad de las proposiciones rec proca, inversa y contrarrec proca si la proposici on directa es: Si un pol gono es regular entonces todos sus lados tienen la misma medida. (2) Considerando como denici on: Un tri angulo equil atero es aquel que tiene sus tres lados de igual longitud, y el siguiente teorema: Si un tri angulo es equil atero entonces sus tres alturas miden exactamente lo mismo. (a) (b) (c) (d) (e) Demuestre que cada altura mide la mitad de la longitud del lado por la ra z de tres. Demuestre el teorema. Enuncie el enunciado rec proco. Es cierto el rec proco ? Es cierto el contrarrec proco?

 APUNTES DE LOGICA

11

Las t ecnicas de demostraci on m as utilizadas son la demostraci on directa, la contrarrec proca y reducci on al absurdo. Pasamos ahora a describir cada uno de estos tipos de demostraciones. Demostraci on directa. Suponga que un teorema es de la forma p q. Una demostraci on directa del teorema es suponer p y a partir de deducciones probar q. Por ejemplo, Si un n umero es impar entonces su cuadrado tambi en es impar. Este enunciado tiene impl cito un para todo, esto es su enunciado en t erminos de funciones proposicionales ser a m as o menos as : Considere las proposiciones p(n) : n es impar, q (n) : n2 es impar. Para todo n umero natural n, se tiene que si n es impar entonces n2 es impar. Usando notaci on simb olica: n N : p(n) q (n). Muchas personas en sus primeras demostraciones omiten este hecho y creen que una demostraci on de lo anterior es algo como lo siguiente: 3 es impar y 32 = 9, que es impar. Las personas que razonan de esta forma han omitido el para todo y luego no han probado m as que un caso particular. El lector debe evitar este error bastante com un entre las personas que se inician en el estudio de la matem atica. La demostraci on directa ser a: Si n es impar entonces n = 2k 1 para alg un natural k, luego n2 = (2k 1)2 = 4k 2 4k +1 = 2(2k 2 2k ) + 1, que es claramente un impar. Es decir en una demostraci on directa de p q, se supone p verdadero y se prueba q. on se basa en la siguiente equivalencia Demostraci on por contrarrec proco. Esta demostraci l ogica p q q p. Por ejemplo supongamos que debemos probar la siguiente proposici on: Si un n umero a2 es par entonces a es par. Escribimos la proposici on anterior como: a N : p(a) q (a), donde p(a) : a2 es par y q (a) : a es par . El contrarrec proco ser a: a N : q (a) p(a) la que traducimos como: Si un n umero es a es impar entonces a2 es impar. que es la proposici on que probamos anteriormente.

12

HUGO CAEROLS - RELY PELLICER

Reducci on al absurdo. Esta se basa en el hecho de que la negaci on de p q es p q. En este caso para probar p q suponemos que se cumple p y que no se cumple q y debemos llegar a alguna contradicci on. Por ejemplo, probar el siguiente teorema: Si un n umero c verica que c2 = 2 entonces c es irracional. Suponga que c2 = 2 y que no se verica que c es irracional, entonces c es racional. Lo anterior signica que existen enteros a y b tal que c = a/b donde esta fracci on es irreducible, es decir a y b no tienen factores comunes. Como c2 = es par.
a2 b2

= 2, tenemos que a2 = 2b2 luego a2 es par. Por lo anterior deducimos que a

Como a es par a = 2d, reemplazando en la igualdad anterior 4d2 = 2b2 luego b2 = 2d2 , de donde b2 es par, luego b es par. Lo anterior prueba que a y b tienen el factor 2 en com un, contrario a lo que se hab a supuesto. Esta contradicci on prueba el teorema. Note que hemos probado que los n umeros 2 son irracionales. Presentamos a continuaci on un conjuto inicial de postulados y deniciones, que tienen por objeto que el lector se haga una idea m as acabada de c omo se construye una teor a a partir de elementos b asicos, deniciones, postulados y teoremas, repasando de paso nuevamente los tipos de demostraciones antes mencionadas. Consideremos una colecci on nita no vac a de personas S y los clubes formados por estas personas donde, por un club entendemos un conjunto de personas organizadas seg un un cierto n com un. Tenemos entonces t erminos b asicos que no se denen, s olo se tiene una idea de lo que signican y se trabaja con ellos. En este caso: el conjunto de personas S y los clubes a los que estas pernenecen. Considere el siguiente conjunto de postulados y deniciones. Postulado 1. Toda persona de S es miembro de al menos un club. Postulado 2. Para cada par de personas de S hay uno y s olo un club al que ambas pertenecen. Denici on 1. Dos clubes que no tienen elementos en com un se llaman conjugados. Postulado 3. Para cada club hay uno y s olo un club conjugado. Notaci on: Al conjugado del club C lo denotaremos por C . Con este conjunto de elementos b asicos, postulados y deniciones es posible comenzar a establecer algunos teoremas. Teorema 1. Toda persona de S es miembro de al menos dos clubes.

 APUNTES DE LOGICA

13

Demostraci on Sea p1 una persona cualquiera de S, por el postulado 1, esta persona pertenece al menos a alg un club digamos C1 . Para el club C1 existe, por el postulado 3, un club conjugado digamos C2 = C1 . Este club est a formado por alguna persona distinta de p1 digamos p2 . Por el postulado 2 la pareja de personas {p1 , p2 } pertenecen a un u nico club C3 . Ahora C1 = C3 porque p2 no pertenece a C1 . Hemos probado as que la persona p1 pertenece a los clubes C1 y C3 , luego pertenece al menos a dos clubes. Teorema 2. Todo club tiene al menos dos miembros. Demostraci on Por reducci on al absurdo. Supongamos que existe un club C1 con exactamente un miembro p1 . Esto es C1 = {p1 } por el teorema 1, p1 pertenece al menos a otro club digamos C2 . Como el , el conjugado club C2 es distinto del club C1 este tiene al menos a otra persona p2 . Sea C3 = C2 de C2 . C3 y C1 no tienen elementos en com un, luego son conjugados. Para el club C3 hay dos clubes conjugados, el club C2 y el club C1 , lo que contradice el postulado 3. Esta contradicci on nace de suponer que existe un club que tiene un solo elemento, luego todos los clubes tienen al menos dos elementos. Teorema 3. S contiene al menos cuatro personas. Demostraci on Como S es no vac o, S tiene al menos una persona p1 . Esta persona, por el postulado 1, es miembro de alg un club C1 . El club C1 tiene al menos dos personas por el teorema 2. , que existe por el postulado 3. Estos clubes tienen al menos dos Consideremos el club C1 personas cada uno y no tienen elementos en com un, luego en S hay al menos cuatro personas. Dejamos la demostraci on del teorema 4 al lector. Teorema 4. Hay al menos seis clubes. Ejercicios (1) Considere la siguiente armaci on > 0, > 0 tal que 2 + = . Determine si la armaci on es verdadera o falsa. Justique su respuesta y escriba la negaci on de la armaci on. (2) D e dos ejemplos de Deniciones, Teoremas (con nombre y sin nombre), Lemas y Axiomas. Explique las diferencias entre estos. (3) Demuestre usando el m etodo de reducci on al absurdo que si x es un n umero real que 1 cumple x = 0 entonces x = 0.

14

HUGO CAEROLS - RELY PELLICER

(4) Demuestre que p y q son soluciones de la ecuaci on cuadr atica x2 + bx + c si y s olo si p + q = b y pq = c , (suponemos que q, p, b y c son n umeros reales ). (5) Demuestre usando la axiom atica real que (x)(y ) = xy. (6) Determine el valor de verdad de las siguientes proposiciones. Demu estrelas en caso de ser verdaderas o d e un contraejemplo para probar que son falsas: (a) (b) (c) (d) x R(x2 + 1 > 0). x R(x2 + x + 1 > 0). Si x es un real positivo entonces x2 < x. 1 < 1 entonces x > 1. Si x es un n umero real y x

(7) Demuestre que si el n umero natural a cumple que a2 es divisible por tres, entonces a es divisible por tres. Indicaci on: pruebe el contrarrec proco. (8) Demuestre por reducci on al absurdo que el n umero 3 es irracional. Indicaci on: Suponga que 3 = a donde la fracci on a ya esta simplicada al m aximo.) b b (9) Considere las proposiciones, p : En un cuadril atero las diagonales se dimidian y q : El cuadril atero es un paralel ogramo. Decida si: (a) p es suciente para q. (b) q es suciente para p. (c) q es necesario para p. (d) p es necesario para q. (e) p es necesario y suciente para q. (10) Encuentre la falla en el siguiente argumento. Supongamos que x = y entonces x2 = xy. Sumando y 2 a ambos lados obtenemos x y 2 = xy y 2 . Factorizando inferimos de lo anterior que (x + y )(x y ) = (x y )y luego simplicando por x y tenemos x + y = y. Como x = y de lo anterior podemos deducir que 2x = x y simplicando por x tenemos 2 = 1. ( Sorpresa ?)
2

(11) Busque un enunciado del teorema de Thales de Mileto, determine los elementos involucrados, deniciones, hip otesis, tesis, tanto del directo como del rec proco. (12) Se sabe que la proposici on p es verdadera, p : No es cierto que un pa s africano ha sido ganador de alguna Copa del Mundo (f utbol) . Determine el valor de verdad de la siguiente proposici on Si un pa s africano fue ganador de una Copa del Mundo, entonces Chile ser a vencedor de la pr oxima Copa del Mundo.

 APUNTES DE LOGICA

15

(13) Analice el siguiente planteamiento y comente si la conclusi on es v alida. O la l ogica es dif cil o no le gusta a muchos estudiantes. Si la matem atica es f acil, entonces la l ogica no es dif cil. Por tanto, si a muchos estudiantes les gusta la l ogica, la matem atica no es f acil. (14) Un Ingeniero civil industrial fallece y se encuentra con San Pedro quien le dice: hermano m o, tus acciones no han sido del todo correctas en la tierra por lo que deber as ir al Inerno, sin embargo he decidido darte una u ltima oportunidad. Est as viendo dos puertas, una es la puerta del Cielo, la otra la del Inerno. Frente a cada puerta hay un guardia. Uno de los guardias siempre miente y el otro siempre dice la verdad. Tienes derecho a hacer una pregunta a cualquiera de los guardias y luego escoger la puerta. Como el ingeniero conoc a bastante l ogica hizo la pregunta correcta y pudo escoger la puerta del Cielo. Qu e pregunta hizo ?
ticas y Estad Departamento de Matema stica, Facultad de Ciencias de la Universidad Adolfo n ez, Chile Iba E-mail address : hugo.caerols@uai.cl, rely.pellicer@uai.cl