ANEXO TERICO

U.1. LOGICA
Y MTODOS DE DEMOSTRACIN

INTRODUCCIN:

LA MATEMTICA Y LA LGICA.
Como todo juego, la matemtica tiene sus reglas. La matemtica se construye a partir de elementos bsicos (el punto, el nmero, .) y de una mnima cantidad de postulados aceptados como verdaderos sin necesidad de demostracin (por dos puntos pasa una nica recta, ). Las reglas para el juego son slo las necesarias para lograr producciones coherentes entre s. Fuera de los postulados mencionados, todo lo que enunciemos debe poder demostrarse, y en caso de nuevos elementos bsicos, definirse. Una vez demostrado (o definido), nuestro enunciado (o elemento) pasa a ser una pieza ms del juego y puede ser usado para seguir adelante, como una pieza ms del juego. Hacer matemtica es tanto usar los elementos existentes para resolver problemas, como generar nuevas propuestas que nos ayuden a resolver nuevos problemas. La demostracin es el medio de asegurar que cada nuevo elemento es compatible con los ya existentes, y puede pasar a integrar ese sistema de coherencias que hemos llamado matemtica. Toda demostracin requiere anlisis de datos, deducciones y razonamientos. Cmo decidir si un razonamiento es vlido? La validez de un razonamiento es fundamental, y en absoluto arbitrario. En esta unidad pretendemos mostrarte el punto de partida de las reglas bsicas que validan una demostracin, y darte algunos mtodos tiles a la hora de encararla.

I. EL LENGUAJE COLOQUIAL Y EL LENGUAJE LGICO-MATEMTICO

Hola! Tanto tiempo! Me diras la hora? Lo que mata es la humedad Me parece que ests un poco ms gordito Me traera un cortado? Todas estas frases cotidianas suponen un interlocutor que comprende los cdigos y supuestos del lenguaje coloquial, segn el contexto en que aparezcan.

La lgica es impersonal, desconcoce ambigedades y supuestos. Debe poder analizarse del mismo modo bajo cualquier contexto y por cualquier persona. Para evitar distintas interpretaciones, gener sus propios cdigos y sus propios smbolos.

I-1. PROPOSICIONES
La lgica slo reconoce enunciados de los que puede asegurar si son verdaderos o falsos. Esos enunciados se denominan proposiciones.
EJEMPLOS:

La capital de la provincia de La Pampa es Santa Rosa. (proposicin verdadera) Vino Juan? (no es una proposicin pues haya o no venido Juan, de una pregunta nunca podemos decir que sea verdadera o falsa) La capital de la provincia de Chubut es Bariloche. (proposicin falsa) Analicemos la siguiente oracin: Juan vino. Tal vez no podemos asegurar si es verdadera o falsa porque no conocemos a Juan, pero la lgica la reconoce como proposicin, pues bastar encontrar quien lo conozca para poder decir si es verdadera o falsa la afirmacin. Veamos el siguiente enunciado: x + 3 = 5 , siendo x un nmero. Podemos asegurar si es verdadero o falso? No, pues para algn nmero x puede ser verdadero, pero para otro puede ser falso. Este enunciado no es una proposicin. Posteriormente analizaremos este tipo de expresin.

I-2. NOTACIONES
Para referirnos abreviadamente a una proposicin usaremos letras minsculas, en general, del final del abecedario: p, q, r, s En los ejemplos anteriores podramos anotar: p : La capital de La Pampa es Santa Rosa q : La capital de Chubut es Bariloche r : Juan vino. As, dentro de cada apartado, cada vez que aparezca p nos estaremos refiriendo a la proposicin as nombrada y no a otra, sin necesidad de reescribirla.

I-3. VALOR DE VERDAD DE UNA PROPOSICIN.

La veracidad o falsedad de una proposicin se denomina su valor de verdad. Veamos la notacin correspondiente en los ejemplos del apartado I-2: v(p) = V , el valor de verdad de p es verdadero, o bien, p es una proposicin verdadera. v(q) = F, q es una proposicin falsa, o bien, el valor de verdad de q es falso. De r no indicamos el valor de verdad pues no conocemos el paradero de Juan.

I-4. PROPOSICIONES SIMPLES Y PROPOSICIONES COMPUESTAS

Una proposicin se denomina compuesta si puede expresarse mediante 2 o ms proposiciones relacionadas entre s1. Si una proposicin no es compuesta, se denomina simple.
EJEMPLOS:

1. s: Bariloche es la capital de Chubut y Santa Rosa de La Pampa. La proposicin s es compuesta pues puede expresarse como p y q , siendo p y q las proposiciones dadas en el apartado I-2. 2. p: La capital de La Pampa es Santa Rosa No es compuesta, pues no hay descomposicin posible de este enunciado en otras proposiciones. Se trata de una proposicin simple. 3. Si Juan va al cine hoy, entonces, Mara tambin. En este enunciado, se esconden dos proposiciones simples: t : Juan va al cine hoy w: Mara va al cine hoy (o Mara va al cine tambin) La estructura del enunciado es: si t , entonces w. La proposicin dada es una proposicin compuesta, obtenida combinando las proposiciones t y w. 4. Esta noche vamos al cine o a tomar un caf. La estructura de esta proposicin compuesta es: m o n, siendo: m : Esta noche vamos al cine. n : Esta noche vamos a tomar un caf 5. Esta noche vamos al cine y a tomar un caf Observ que las proposiciones componentes son las del ejemplo anterior, sin embargo, el sentido de la nueva proposicin es diferente, habiendo cambiado el modo de combinarlas, de conectarlas.
1

A excepcin de la negacin que se define compuesta aunque depende de una nica proposicin. (ver apartado II-1)

II. LOS CONECTIVOS LGICOS

Hemos definido las proposiciones compuestas como combinaciones entre otras proposiciones. La lgica determina estrictamente las combinaciones posibles y sus valores de verdad mediante la definicin de conectivos lgicos (siendo la proposicin compuesta una proposicin, debe poder decirse de ella si es verdadera o falsa). Dichos conectivos se definen mediante tablas, que consideran todas las posibles combinaciones entre los valores de verdad de las proposiciones componentes, otorgando a la proposicin compuesta un significado, una interpretacin, adems de su propio valor de verdad. Con la definicin de los distintos conectivos y sus tablas, iremos analizando las distintas opciones. Te sugerimos ir confeccionando una ficha con todas las tablas, para tenerlas a mano cuando las tengas que usar simultneamente.

II-1. NEGACIN
Smbolo : Dada una proposicin p cualquiera, la negacin de p se anota: p y se lee no p o no es cierto que p Este conectivo afecta a una nica proposicin, por lo que los nicos valores de verdad que pueden considerarse son dos, pues : v(p) = V o v(p) = F. La tabla correspondiente tiene entonces 2 filas: p V F p F V

La negacin define que dada una proposicin p, el valor de verdad de p, es opuesto al de p. As, si p es una proposicin verdadera, p es una proposicin falsa y recprocamente, si p es una proposicin verdadera, p es una proposicin falsa.
EJEMPLOS:

1. p : La estatua de la libertad est en Pars p : La estatua de la libertad no est en Pars

v(p) = F v( p) = V

Tambin podramos enunciar p como: No es cierto que la estatua de la libertad est en Pars. 2. q:2+3 7 q:2+3=7 v(q) = V v( q) = F

Observemos que en este caso, q es una proposicin compuesta, pues puede considerarse como no es cierto que 2 + 3 es igual a 7. Por eso en ningn caso hemos hecho referencia a que las proposiciones componentes deban ser proposiciones simples, ya nos ocuparemos ms detalladamente del tema en ejemplos posteriores.

II-2. CONJUNCIN
Smbolo , se lee y. Este conectivo combina 2 proposiciones: p q, se lee: p y q La tabla debe considerar todas las posibles combinaciones de los valores de verdad de p y q. Para cada valor de verdad de p, existen 2 posibles valores de verdad de q, por lo que la tabla tiene 4 = 22 renglones. Prest atencin al orden sugerido para los valores de verdad de las proposiciones p y q en el armado de la tabla, permite no olvidar ninguna alternativa y verificar con un compaero si coinciden sus conclusiones finales, observando slo la ltima columna. p V V F F q V F V F p q V F F F

Las 2 primeras columnas indican los posibles valores de verdad que pueden combinarse, pero es la ltima columna, la que define a la conjuncin. La conjuncin p y q (p q) , es una proposicin compuesta que es verdadera solamente en el caso en que sean verdaderas simultneamente las proposiciones componentes p y q. Mirando la ltima columna de la tabla, que es la que la define, vemos que slo es verdadera en el primer rengln (o primera fila).
EJEMPLOS:

1. Te voy a comprar unas zapatillas y una remera.

Observ que este enunciado slo resulta verdadero en el caso en que ambas promesas se cumplan. 2. Sean: p: 2+3=5 v(p) = V q:5+2=7 v(q) = V r:2+1=6 v(r) = F

v(p q) = V , observando del primer rengln, la ltima columna de la tabla v(p r) = F , observando del segundo rengln, la ltima columna. v(p r) = V , pues v( r) = V y v(p) = V, luego, debemos mirar otra vez el primer rengln.

II-3. DISYUNCIN INCLUSIVA

Smbolo , se lee o ; p q se lee: p o q Veamos como se define: p V V F F q V F V F p q V V V F

Segn se define en la tabla, la disyuncin inclusiva slo es falsa si las proposiciones componentes lo son simultneamente.
EJEMPLOS:

1. Te voy a comprar unas zapatillas o una remera. Basta que una de las compras se efecte, lo que incluye que se produzcan ambas, para que el enunciado sea verdadero. 2. Sean: p: 3 - 1 v(p) = V q: 2 3 = 6 v(q) = F v(pr) = V r: 0 < - 7 v(r) = F

v(p q) = V

v(q r) = F

v[(p r) p] = V, pues v(p r) = F, pero v(p) = V v[( r p) q] = V, trat de justificarlo mediante las tablas vistas.

Este ltimo ejemplo constituye una conjuncin entre dos proposiciones compuestas, una disyuncin y una negacin.

II-4. DISYUNCIN EXCLUSIVA

Smbolo: , se lee: uno u otro : p q se lee: o p o q (no ambas) Se define mediante:

p V V F F

q V F V F

p q F V V F

La disyuncin exclusiva es verdadera si y slo si una de las proposiciones componentes los es. O compramos las zapatillas o la remera. (Se supone que no pods llevar ambas) NOTA: En general, las definiciones matemticas que dependen de la disyuncin, se remiten a la disyuncin inclusiva (a la que llamaremos slo disyuncin), por lo que, aunque nos parece importante mostrarte hasta qu punto la lgica especifica las interpretaciones del lenguaje, no profundizaremos el anlisis de este conectivo.

II-5. CONDICIONAL O IMPLICACIN

Smbolo: , p q se lee : si p, entonces q o bien p implica q. p se denomina antecedente de la implicacin y q se denomina consecuente. Veamos su definicin: p V V F F q V F V F p q V F V V

La implicacin es falsa slo en caso de ser verdadero el antecedente y falso el consecuente. Observ que: Una implicacin de antecedente falso es verdadera, independientemente del valor de verdad del consecuente. La importancia de este conectivo, radica en lo que nos permite deducir a partir de su tabla. Lo analizaremos en los ejemplos.

EJEMPLOS:

1. Si aprobs los parciales, entonces te presto el auto. Tambin podra haberse expresado como : Si aprobs los parciales, te voy a prestar el auto, para la lgica, la lectura habra sido la misma. p : Aprobs los parciales. q: Te voy a prestar el auto. La proposicin dada es : p q Cundo ser verdadero el enunciado? Si aprobs los parciales y te los presto, el enunciado es verdadero. Si los aprobs y no te lo presto, te habr mentido, el enunciado sera falso. Qu pasa si no aprobaste? Ya sea que te los preste o no, no te habra mentido, pues nada dije respecto a lo que pasara en caso de no aprobar. El ejemplo describe los alcances de la implicacin. La implicacin tambin puede leerse como q es condicin necesaria para p, pues si no pasa q, o sea no te prest el auto, y yo no ment, es seguro que no aprobaste. Tambin puede interpretarse como p es condicin suficiente para q, pues si aprobs, debo prestarte el auto para cumplir el enunciado. Los conceptos de condicin necesaria y suficiente aparecern con frecuencia en tus cursos de matemtica, este es slo un primer acercamiento. 2. Si el tringulo es equiltero, entonces es issceles2. p : El tringulo es equiltero q: El tringulo es issceles. Proposicin : p q , v(p q) = V

Observemos cmo interpretar en este ejemplo la condicin necesaria: Si el tringulo no es issceles, no tiene dos lados iguales, por lo tanto, tampoco los tres, por lo que seguro no es equiltero. Si q no se cumple, p no puede cumplirse, siendo verdadera la implicacin.

Definiciones: Un tringulo es issceles si tiene al menos dos lados iguales Un tringulo es equiltero si tiene los 3 lados iguales.

Analicemos ahora la condicin suficiente: Basta que el tringulo sea equiltero, para que tenga dos lados iguales, por lo tanto es tambin issceles. Ser equiltero es condicin suficiente para ser isosceles: p es condicin suficiente para q, mientras que ser issceles es condicin necesaria para ser equiltero q es necesaria para p, pero no suficiente, pues puede ser issceles pero no equiltero. Lo que podemos garantizar es que si la implicacin es verdadera: si no pasa q, entonces, no pasa p. 3. r:7>3 v(r) = V v(r s) = F s : 49 < - 2 v(s) = F t:1=32 v(t) = V

v(s r) = V , pues ahora el antecedente es s, y v(s) = F, por lo que la implicacin es verdadera (ver tabla).

Combinando con otras tablas vistas en los apartado anteriores: v[(r s) t] = V , pues v(r s) = F , luego la implicacin es verdadera. v{[ (s t) r] r} = V, la conjuncin entre estas 2 proposiciones, una compuesta (entre corchetes), otra simple r , es verdadera. IMPLICACIONES ASOCIADAS Dada la implicacin : p q, se deducen a partir de ella 3 formas asociadas del condicional: Dada: p q, implicacin directa (condicional dato) Se definen: q p, implicacin recproca de la dada p q , implicacin contraria q p, implicacin contrarrecproca (es la contraria de la recproca)
EJEMPLO:

Escribir las implicaciones directa, contraria, recproca y contrarrecproca siendo: p: Juan aprob Mate II q : Juan aprob Mate I Directa: Si Juan aprob Mate II, entonces aprob Mate I (p q) (prop. Verdadera, por el sistema de correlatividades) 10

Contraria: Si Juan no aprob Mate II, entonces Juan no aprob Mate I ( p q) (no podemos asegurar el valor de verdad, debiramos conocer a Juan, puede ser verdadera o falsa) Recproca: Si Juan aprob Mate I, entonces Juan aprob Mate II (q p) (no podemos asegurar que esto sea cierto) Contrarrecproca: Si Juan no aprob Mate I, entonces Juan no aprob Mate II (prop. verdadera) ( q p) Ms adelante, podremos probar que una implicacin y su contrarrecproca siempre tienen el mismo valor de verdad.

II-5. BICONDICIONAL O DOBLE IMPLICACIN

Smbolo: , la proposicin p q se lee: p si y slo si q p V V F F q V F V F pq V F F V

El bicondicional es verdadero si las proposiciones dadas tienen el mismo valor de verdad. El bicondicional puede pensarse como la conjuncin de dos implicaciones: (p q) (q p) 3 Veamos la tabla de esta proposicin compuesta: p V V F F q V F V F p q V F V V q p V V F V (p q) (q p) V F F V

Observ que la ltima columna de esta tabla, que nos da el valor de verdad de la proposicin compuesta, es igual a la del bicondicional. O sea que a igual valor de verdad de p y q, el bicondicional tiene el mismo sentido lgico, la misma interpretacin, que la doble implicacin. Por la doble implicacin podramos decir que p es condicin necesaria y suficiente para q, y q es condicin necesaria y suficiente para p, pues ambas condiciones quedan
3

Si bien la lgica define claramente los usos del parntesis, no profundizaremos en el tema, y los usaremos cada vez que consideremos que su falta pueda llevar a confusin o ambiguedad.

11

establecidas siendo p y q antecedente y consecuente respectivamente, en cada una de las implicaciones que define el bicondicional.
EJEMPLOS:

1. Hoy es lunes si y slo si maana es martes. p : hoy es lunes q : maana es martes v(p q) = V 2. Te presto el auto si y slo si aprobs los parciales. En este caso, faltara a mi palabra si te lo presto y desaprobaste alguno, lo que constituye una gran diferencia respecto de la implicacin. 3. El auto funciona si y slo si tiene combustible. p: el auto funciona. q: el auto tiene combustible. V(pq) = F, que tenga combustible no es condicin suficiente para que el auto funcione.

II-6. TABLAS DE VERDAD CON MS DE 2 PROPOSICIONES COMPONENTES

Analizaremos los posibles valores de verdad de proposiciones compuestas por ms de dos proposiciones dadas. A. CASO DE TRES PROPOSICIONES: Sean las proposiciones p, q y r. Para que la tabla contemple todas las posibles combinaciones de los valores de verdad, observemos que para cada valor de verdad de p, existen 2 valores de q , cada uno de los cuales se combina con los dos posibles valores de verdad de r, de modo que en total tendremos 23 = 8 combinaciones posibles que se traducirn en 8 renglones en la tabla. Un diagrama de rbol puede ayudarte a analizar esas combinaciones, caso contrario, debieras listarlas todas. B. CASO GENERAL DE n PROPOSICIONES: La tabla deber contar con 2n renglones, en un anlisis anlogo al anterior.
EJEMPLO: (Slo analizaremos un ejemplo del caso A)

Sea s: (p r q)

12

Mediante una tabla de verdad, analizaremos los posibles valores de verdad de segn los valores de p, q y r. Volvemos a sugerirte observar muy bien el orden elegido para los valores de verdad de las proposiciones componentes, para unificar criterios a la hora de comparar. p V V V V F F F F q V V F F V V F F r V F V F V F V F p q V V V V V V F F r F V F V F V F V (p r q) F V F V F V V V

Sean p: El sol es una estrella. q: Marte es un planeta. r: La luna no es un planeta

v(p) = V v(q) = V v(r) = V

V(s) = F, mirando el primer rengln de la tabla.

III. CONTINGENCIA, TAUTOLOGA Y CONTRADICCIN

III-1. CONTINGENCIA
La proposicin del ejemplo del apartado II-6 , es verdadera o falsa segn los valores de verdad de las proposiciones componentes, segn puede observarse en la ltima columna de la tabla. Este tipo de proposiciones se denomina CONTINGENCIA.

III-1. TAUTOLOGA
Analicemos la proposicin s: [(p r] [(pr) (q r)] q)
p V V V V F F F F q V V F F V V F F r V F V F V F V F p q V V F F F F F F (p r q) V V V F V F V F p r V V V V V F V F q r V V V F V V V F (p (qr) q) V V V F V F V F [(p r] [(p (qr)] q) r) V V V V V V V V

13

Esta proposicin compuesta es verdadera independientemente de los valores de verdad de las proposiciones componentes. Cualquier proposicin que presente esta estructura, para cualesquiera p, q y r elegidos, es verdadera. Este tipo de proposiciones se denomina tautologa o proposicin tautolgica. En el caso del ejemplo, el bicondicional () es tautolgico. En los casos en que sabemos que el condicional o el bicondicional son tautolgicos, suele usarse una doble barra. Quiz usaste en el colegio los smbolos: (entonces) y (s y slo si), ahora tens una idea ms formal de su significado. Si un bicondicional es tautolgico, como el caso del ejemplo, las proposiciones componentes tienen el mismo valor de verdad, se llaman equivalentes, y una puede reemplazar a la otra en un razonamiento o deduccin. En el ejemplo son formalmente equivalentes las proposiciones: t : (p r q) y w : (pr) (qr) t w , pudiendo reemplazarse una por otra en caso de ser conveniente. TAUTOLOGAS USUALES o LEYES LGICAS USUALES. Puede probarse mediante las tablas correspondientes (y constituira un buen ejercicio hacerlo), que las siguientes proposiciones son tautolgicas, y por lo tanto pueden ser consideradas propiedades que pueden usarse para simplificar expresiones complejas o analizar proposiciones desde un punto de vista ms conveniente. 1. Idempotencia: (p p) p (pp) p 2. Doble negacin: ( p) p 3. Propiedad conmutativa de la conjuncin: p q q p de la disyuncin: pq q p 4. Propiedad asociativa de la conjuncin: (p q) r p (q r) p q r de la disyuncin: (p q) r p (q r) p q r 5. Propiedad distributiva de la conjuncin respecto de la disyuncin: (p q) r (p r) (q r) Propiedad distributiva de la disyuncin respecto de la conjuncin: (p q) r (p r) (q r) 6. Leyes de De Morgan de la negacin: De la conjuncin: (p q) p q

14

De la disyuncin: ( p q) p q 7. Ley de definicin de la implicacin: ( p q) ( p q) 8. Negacin de la implicacin: (p q) p q 9. Ley de Contrarrecprocos: (pq) ( q p)

NOTA: En la ley 9, puede distinguirse con claridad el uso de la doble barra del bicondicional tautolgico: no son tautologas pq ni q p, pero ambas tienen las misma tabla de verdad, y por tanto una puede reemplazar a la otra.

SIMPLIFICACIN DE PROPOSICIONES Usaremos las leyes lgicas para transformar algunas proposiciones en otras ms secillas formalmente equivalentes, que pueden reemplazarlas.
EJEMPLOS:

1. ( p q ) ( p) q , por De Morgan p q , por ley de doble negacin 2. [ ( p r) ( q r) ] [ ( p ( r) ) ( q ( r) )] por negacin de la implicacin [ ( p r ) ( q r) ] por doble negacin ( p r) ( q r) , por De Morgan ( ( p) r ) ( ( q) ( r) ) por De Morgan p r q ( r) , por doble negacin y asociatividad de la disyuncin. p q ( r r), por conmutatividad y asociatividad de la disyuncin p q r , por idempotencia Si en una deduccin apareciera una estructura como la del enunciado, podras reemplazarla para su anlisis por la obtenida, ms sencilla, pues son equivalentes.

15

III-3 . CONTRADICCIN
Una proposicin compuesta que es falsa independientemente del valor de verdad de las proposiciones componentes se denomina contradiccin.
EJEMPLOS:

1. p p p V F p F V p p F F

Observ que esta conjuncin es falsa independientemente del valor de verdad de p. 2. [ (pq) ( p q)]
p q p q V F V V p F F V V p q V F V V (p q) ( p q) V V V V [(p q) ( p q)] F F F F

V V V F F V F F

En este caso, la contradiccin se obtuvo negando la tautologa 9.

IV. PROPOSICIONES CUANTIFICADAS.

IV-1. FUNCIN PROPOSICIONAL
Consideremos la expresin : x > 3 Dado que no podemos asignarle un valor de verdad, no es una proposicin. Pero bastara asignarle a x un valor numrico, para que lo sea. Si decidimos: x = 4: 4 > 3, es una proposicin verdadera. Si x = 1 : 1 > 3 , es una proposicin falsa. Este tipo de expresin se denomina funcin o esquema proposicional y se anota p(x), q(y),..., siendo x , y , etc, las variables proposicionales correspondientes.
EJEMPLOS:

p(x) : x + 3 = 7

q(y) : y 3 < 1

r(x;y) : x + y = 2 16

p(x) , q(y) y r(x ; y) representan esquemas proposicionales. Si asignamos valores numricos a x e y, obtendremos proposiciones. As: p(4) es una proposicin verdadera , que se obtiene asignando a x el valor numrico 4 en p(x). Del mismo modo: q(7) es una proposicin falsa , r(1 ; 5) es una proposicin falsa mientras que r(1;1) es verdadera. UNIVERSAL En los ejemplos anteriores, no te habr llamado la atencin haber asignado a las variables valores numricos, y estars de acuerdo con nosotros en que cualquier otro tipo de eleccin hubiera carecido de sentido. Ya te dijimos que la lgica no admite sobreentendidos, por eso, en el caso de las funciones proposicionales, es importante determinar en cada caso un conjunto de elementos entre los que elegir como posibles reemplazos de la variable. Ese conjunto, que deber determinarse para cada esquema proposicional, se denomina universo o conjunto universal o universal. Te aconsejamos consultar el Apndice de Consulta, para una mejor comprensin de los ejemplos de los apartados siguientes.

IV-2. PROPOSICIONES CUANTIFICADAS

Le los siguientes enunciados: 1. Cualquier nmero x es tal, que x + 3 = 7. Observ que, aunque no hemos reemplazado a x, no le hemos asignado un valor, podemos asegurar que el enunciado es falso. Por lo tanto, es una proposicin, obtenida a partir de la funcin proposicional x + 3 = 7. 2. Hay un nmero x para el cual x + 3 = 7. Estamos en presencia de una proposicin verdadera, tambin obtenida sin reemplazos, a partir de la funcin proposicional : x + 3 = 7. Hemos transformado en proposicin un esquema proposicional, sin elegir un valor determinado para la variable. Hemos cuantificado la variable, en el primer caso, aseguramos que podemos tomar cualquiera, o sea que todos los nmeros del conjunto que consideremos universal, verifican el esquema proposicional dado; en el segundo caso, slo aseguramos que existe algn elemento de ese universal que cumple con el enunciado. CUANTIFICADORES Existen dos posibilidades de cuantificacin:

17

A. CUANTIFICADOR UNIVERSAL : se lee para todo e indica que puede elegirse cualquier elemento del universal determinado. Forma genrica: x: p(x) , se lee : para todo x del universal elegido, se verifica el esquema proposicional p(x).
EJEMPLOS: (ya leste el apdice?)

1. Todos los nmeros enteros son racionales. Simblicamente: x Z: x Q Se trata en este caso de una proposicin verdadera. Otras formas de expresar la misma proposicin cuantificada: Cualquier nmero entero es racional. O bien: Todo nmero, si es entero entonces es racional. Que podemos expresar simblicamente: x : ( x Z x Q) Las anteriores constituyen expresiones equivalentes y es necesario que tomes contacto con todas ellas y que aprendas a leer los smbolos, traducindolos al lenguaje coloquial. La ltima expresin tiene una importancia particular pues pone en evidencia las dos funciones proposicionales que componen la dada: Genricamente, podramos escribirla como: x: p(x), siendo p(x) un esquema proposicional compuesto por otros dos: q(x) : x es entero ( o x Z) y r(x) : x es un racional Luego, simblicamente: x: ( q(x) r(x)) 2. x R : x > 7 , proposicin falsa. Puede leerse como: Cualquier nmero real es mayor que 7 o bien Todos los reales son mayores que 7 o Si x es un nmero real, entonces es mayor que 7 Cuya expresin simblica es: x : (x R x > 7), por supuesto, equivalente a la anterior. En este caso, los esquemas proposicionales que componen la funcin proposicional son : q(x) : x es un real (o xR) y r(x) : x > 7 3. Todos los argentinos trabajan. Para la expresin simblica de esta proposicin falsa, debemos buscar las funciones proposicionales que la componen: 18

q(x) : x es argentino r(x) : x trabaja En este caso el universal ser el conjunto de seres humanos, para dar sentido a las funciones proposicionales dadas. En smbolos: x : ( q(x) r(x)), pues, si todos los argentinos trabajan, ser argentino es condicin suficiente para trabajar. Si como universal elegimos el conjunto de los argentinos (A), escribiremos: x A: r(x) B. CUANTIFICADOR EXISTENCIAL: , se lee existe algn Forma genrica: x: p(x) , existe al menos un elemento del universal elegido que verifica el esquema proposicional p(x) o bien existe x tal que p(x).
EJEMPLOS:

1. Existe un argentino que trabaja. Proposicin verdadera que puede enunciarse tambin como: Al menos un argentino trabaja o Existe algn argentino que trabaja o Existe una persona que es argentina y trabaja Esquemas proposicionales componentes: q(x) : x es argentino r(x) : x trabaja Simblicamente: x : (q(x) r(x)), tomando como universal al conjunto de seres humanos, o bien x A : r(x) , considerando como universal al conjunto A de argentinos. 2. x : (x N x < 0) o bien x N : x < 0 , proposicin falsa. Puede leerse : Exite algn natural negativo o Algn natural es menor que 0 o Existen naturales menores que 0 o Existe por lo menos un natural negativo o Existe un x natural tal que x es negativo. 3. Siendo: p(x) : x es europeo q(x) : x es mayor de edad Escribiremos simblicamente: a. Todos los europeos son mayores de edad: x: (p(x) q(x)), proposicin falsa. b. Algn europeo es mayor de edad : x : ( p(x) q(x)), proposicin verdadera. Observ que si anotamos con E al universo de todos los europeos, las proposiciones anteriores pueden escribirse tambin: a. x E : q(x) b. x E : q(x) 19

Esta expresin para las proposiciones cuantificadas es la usual en matemtica. NEGACIN DE CUANTIFICADORES Analicemos el siguiente enunciado: Ningn natural es negativo Constituye una proposicin verdadera construida a partir del esquema proposicional: p(x) : x es negativo . Para expresarla simblicamente no contamos con un cuantificador que responda a ningn. Analicemos la proposicin. Tambin podemos expresarla como: No es cierto que exista un natural negativo, o sea, estamos negando el cuantificador existencial. Simblicamente: ( x N : x < 0) Pero tambin podramos haberla expresado, sin perder el significado, como: Todos los naturales son no negativos En smbolos: x N : (x <0) , o lo que es lo mismo: xN : x 0 Es lgico pensar que si no hay alguno que cumpla p(x), es porque todos cumplen no p(x), o sea, cumplen lo contrario. Del mismo modo, si no es cierto que todos cumplan p(x), es porque existe al menos uno que no lo cumple. La negacin de cuantificadores permite expresar proposiciones cuantificadas como la dada, y, aunque nuestro ejemplo no puede considerarse una demostracin, nos aproxima a las siguientes reglas de negacin: NEGACIN DEL UNIVERSAL: (x : p(x) ) x : p(x) NEGACIN DEL EXISTENCIAL: ( x : p(x) ) x: p(x)
EJEMPLO:

Ningn argentino trabaja. Constituye una proposicin falsa, y podemos descubrir que esconde dos funciones proposicionales usadas en un ejemplo anterior: q(x) : x es argentino r(x) : x trabaja Buscamos expresarla para usar los cuantificadores conocidos: No es cierto que un argentino trabaje En smbolos: ( x: (q(x) p(x)) ), no es cierto que exista un ser humano que sea argentino y trabaje Siguiendo la regla de la negacin del existencial: x : (q(x) p(x)) Y por De Morgan: x: ( q(x) r(x)) , todos los seres humanos, o no son argentinos, 20

o no trabajan Seguramente no elegiramos esta expresin en nuestro lenguaje cotidiano, pero si la analizs, es equivalente a las anteriores. JUSTIFICACIN DEL VALOR DE VERDAD DE PROPOSICIONES CUANTIFICADAS: Cmo analizar correctamente el valor de verdad de una proposicin cuantificada? Si est universalmente cuantificada: x: p(x). Para asegurar que es verdadera, debiramos reemplazar la variable por todos y cada uno de los elementos del universal elegido, mostrando que verifican la funcin proposicional propuesta. Si el conjunto universal es muy amplio, ser necesario recurrir a una demostracin. Si descubrimos que es falsa, bastar mostrar que algn elemento del referencial no verifica la funcin proposicional, pues entonces, no es verdadero que todos la cumplen. Debemos buscar un contraejemplo. Si est existencialmente cuantificada: x : p(x) Para demostrar que es verdadera, basta mostrar algn x que la verifique, o sea mostrar un ejemplo, pues con la existencia de al menos uno, garantizamos la veracidad de la proposicin. Si en cambio descubrimos que es falsa, debemos mostrar que ninguno la cumple, o sea que todos verifican lo contrario, debemos tomar todos los elementos del universal para verificarlo (si son pocos) o bien demostrar.

V. MTODOS DE DEMOSTRACIN
Ya te hemos hablado de la importancia de la demostracin en matemtica. En este apartado pretendemos darte las herramientas necesarias para validar tus demostraciones. Los matemticos demuestran sus nuevos supuestos o descubrimientos. Nosotros, nos limitaremos a practicar, demostrando propiedades conocidas, ya demostradas con anterioridad.

V-1. HIPTESIS, TESIS Y CUERPO DE UNA DEMOSTRACIN

Toda propiedad se sustenta en otras anteriores, o en postulados (de los que ya te hemos hablado), y en elementos conocidos que ya han sido definidos o cuya existencia ha sido aceptada. (Ver INTRODUCCIN) Por ejemplo, si queremos demostrar: La suma de dos nmeros pares es otro nmero par, se supone que sabemos lo que es un nmero par, que sabemos sumar nmeros enteros y adems conocemos las propiedades de la suma. Todo aquello que puede considerarse dato para una demostracin se agrupa en la hiptesis(H). 21

Aquello que deseamos demostrar, se denomina tesis (T). La forma general de una demostracin ser: H T, pues de los elementos de la hiptesis pretendemos implicar, la propiedad de la tesis. El cuerpo de la demostracin o demostracin propiamente dicha (D), ser la manera en que relacionemos lgicamente H y T, de modo de poder concluir que si H es verdadero, T lo es.

V-2. LOS MTODOS

Te sugerimos releer el apndice para recordar algunas expresiones usuales en Z. MTODO DIRECTO Puede esquematizarse como: H T Partiendo de los datos de H y propiedades conocidas, debemos llegar a demostrar que T es verdadero, mediante una cadena que implicaciones. Demostraremos: La suma de dos nmeros enteros impares es un nmero par H. x es un nmero impar : x = 2.k + 1, siendo k algn nmero entero (k Z) y es un nmero impar : y = 2.k + 1, siendo k Z Todas las propiedades de la suma en el conjunto Z (en gral. este tem se obvia, aunque se tiene en cuenta en la demostracin) T. x + y es un nmero par , o lo que es equivalente: x + y = 2. q , siendo q Z D. Partiendo del primer miembro de la tesis, trataremos de llegar al segundo, usando la hiptesis: x + y = (2.k + 1) + (2.k + 1) = 2.k + 2.k + 2 , por conmutatividad y asociatividad de la suma en Z Entonces : x + y = 2.(k + k+ 1) , por distributividad del producto respecto de la suma. Pero k + k + 1 es un nmero entero, por ser suma de enteros, y podemos llamarlo q , pues no importa cul es el valor de dicho q, sino que exista algn q en Z que verifique la expresin. En nuestro caso: q = k + k + 1 Entonces: x + y = 2.q , con q Z , que es lo que queramos demostrar. MTODO INDIRECTO (O DE CONTRARRECPROCOS) Por la ley de contrarrecprocos: (p q) ( q p)

22

Para el caso de las demostraciones podemos considerar: (H T) ( T H), por lo que el esquema de la demostracin es en este caso: T H Proposicin equivalente a la directa. Queremos demostrar : Si el cuadrado de un nmero entero es par, entonces lo es el nmero dado H. xZ. x2 es par, o sea: x2 = 2.k , k Z Propiedades de las operaciones en Z. T. x es par, o sea : x = 2.k , k Z D. Por mtodo indirecto, demostraremos T H , o sea Si x no es par, entonces x2 no es par Si x es entero, y x no es par , entonces es impar: x = 2.q + 1 , para algn q entero. Entonces: x2 = x . x = (2q + 1)(2q + 1) x2 = 4q2 + 4q + 1 , distribuyendo el producto respecto de la suma y asociando. 2 = 2(2q + 2q) + 1 , sacando factor comn en los primeros trminos. = 2.q + 1 , llamando q = 2q2 +2q , que es entero por suma y producto de enteros. 2 Entonces : x es un impar,o sea que no es par, que es lo que queramos demostrar ( H) MTODO DEL ABSURDO Este mtodo consiste en considerar la hiptesis verdadera y la tesis falsa, demostrando que entonces llegamos a una contradiccin ( o absurdo). La expresin simblica de este mtodo es: (H T) ( r r ), siendo r r una contradiccin lgica y por lo tanto siempre falsa. Como la contradiccin se obtiene de suponer que la tesis es falsa, la tesis debe ser verdadera y queda demostrado el teorema. Demostraremos: Si sumamos un mltiplo de 6 y un impar, el resultado es impar H. Propiedades de las operaciones en Z. x = 6k , kZ ; x es mltiplo de 6 y = 2k + 1 , k Z ; y es impar 23

T. x + y = 2q + 1 , q Z , o sea x + y es impar. D. Por el absurdo, demostraremos que si consideramos H verdadera y T , llegamos a un absurdo o contradiccin. Si H y T x = 6k , k entero y y = 2k + 1, con k entero y x + y = 2q, pues no es impar y = 2q x , despejando y en la ecuacin y = 2q - 6k , reemplazando x y = 2(q 3k) , sacando factor comn y es par, pues : q 3k , es un entero. Concluimos entonces que y es par por lo demostrado, pero es impar por la hiptesis, que consideramos verdadera, por lo cual, negar la tesis nos ha llevado a una contradiccin (y es par e impar simultneamente). Por lo tanto T debe ser verdadera. La eleccin del mtodo a utilizar depende del enunciado a demostrar, la conveniencia de uno u otro, la irs detectando con la prctica. A MODO DE RESUMEN CONSEJOS A SEGUIR: 1. Todas las demostraciones deben explicitar hiptesis (H) , tesis (T) y cuerpo de la demostracin propiamente dicho (D), as como el mtodo elegido. 2. Los pasos de la misma deben estar justificados. 3. La H contiene los datos con los que voy a trabajar, tener en cuenta que, aunque no lo escribamos explcitamente, tambin es hiptesis aquello que conocemos del tema: propiedades de las operaciones, de los nmeros, de las figuras, etc.: se las llama hiptesis tcitas. 4. Las demostraciones de propiedades geomtricas deben incluir una grfica de anlisis. 5. Si en la demostracin aparecen dos nmeros distintos, por ejemplo 2 nmeros mltiplos de 3 distintos, si uno es a = 3.k , con k Z, el otro ser b = 3.q , con q Z, pues de llamarlo 3.k, nos estaramos refiriendo al nmero a. ALGUNOS EJEMPLOS MS 1. La suma de dos racionales es un racional. H. x racional : x = p/q , con p Z y q Z, y q 0 y racional: y = a/b, con a y b enteros, y b 0 24

T. x + y = r racional (o sea cociente de enteros) D. Mtodo directo ( En este caso, las nombradas hiptesis tcitas, son las propiedades de la suma de fracciones) Partimos del primer miembro de la tesis, y tratamos de llegar al egundo, utilizando la hiptesis.
x+y = p a p.b + a.q + = , siendo el numerador un entero por ser suma y q b q.b

producto de enteros, as como el denominador, que no es cero por ser producto de nmeros distintos de cero, entonces x + y es cociente de enteros, o sea racional, como queramos demostrar. 2. La suma de un racional y un irracional, es irracional. H. x es racional y es irracional T. x + y es irracional D. El problema ms grande con los irracionales, es que no tienen, como los racionales, una forma definida de expresin. . Entonces, el mtodo directo no alcanza, y usaremos el absurdo. Si consideramos la H verdadera, y suponemos la tesis falsa, llegaremos a una contradiccin.(absurdo) Supondremos entonces que con los datos de la hiptesis, la tesis es falsa, o sea: x + y es racional. Sea por ejemplo: x + y = r, con r racional x + y = r y = r x, pero, siendo r y x racionales, ya demostramos que la suma (y restar es sumar el opuesto), es racional, pero entonces y es racional, pero por H. es irracional. Entonces llegamos a un absurdo, pues y debe cumplir con las condiciones dadas, y al mismo tiempo, no cumplirlas. El absurdo provino de suponer falsa la tesis, por lo que sta debe ser verdadera. 3. Demostrar que
2 es un nmero irracional.

H. Todo lo que conozco de operaciones numricas y sus propiedades. (como no hay otra hiptesis, pongo la tcita).

25

T.

2 es irracional

D. Otra vez nos encontramos con la imposibilidad de operar entre la H y la T, por lo que recurrimos al absurdo. Suponiendo que
2

es racional:

2 =

a , con a y b enteros y b 0 . b

Siendo a/b una fraccin, puede suponerse irreducible (totalmente simplificada), o sea que a y b son coprimos, no tienen factores comunes.
b 2 = a, m ultiplica Entonces, Entonces, Entonces ndo am bos m bros iem por b :

b 2 .2 = a 2 (1) , elevando

am bos al cuadrado. )

a 2 es par (2 por b 2 , siendo b entero). a es par (propiedad que esperam os que dem uestres : a =2.k, k Z

R plazan do en (1) : b 2 .2 = ( 2.k ) 2 b 2 .2 = 4k 2 b 2 = 2k 2 , por lo que b 2 , es par, eem de donde b es par. Pero entonces a y b son pares, y por lo tanto a/b no es la fraccin de supones irreducibl e . que dijim os que era. Este es un absudo que proviene

que raz de 2 es racional.

Por lo tanto es irracional

4. Las diagonales de un paralelogramo se cortan en segmentos iguales. B

0 D C

A C

ES LA DIAGONAL DEL PARALELOGRAMO ABCD.

y A // D B C y A =D B C y D =B A C

H. ABCD paralelogramo, por lo tanto:

A // B D C

T.

A0 =0C y D =0 B 0

D. Por mtodo directo, trataremos de demostrar, utilizando los datos de la hiptesis, que los tringulos DA0 y C0B son iguales, con lo cual sus elementos respectivos lo son y llegaremos a la igualdad de la tesis. 26

(Podramos elegir probar la igualdad de los tringulos D0C y A0B) Comparemos los tringulos mencionados:
A0 D = B 0C , p r se o u s o r p esto p r el v o rtice. al.

A =B , p r h D C o ip tesis, sien o lad s o u s d o p esto d u p e n aralelo r g am . o DA0 =0CB , p r ser altern s in o o o tern s en tre D p A aralela a B y A tran ers C C sv AD0 =0BC , p r alt. in en o t. tre A // B y D tran ers al. D C B sv

Los tres ngulos iguales y un lado igual, son ms que suficientes para asegurar la igualdad de los tringulos (pero los 3 ngulos iguales no aseguraban la igualdad, a continuacin de la demostracin, criterios de igualdad de tringulos) Siendo iguales los tringulos, los elementos correspondientes entre uno y otro (aqullos que son iguales al superponer con coincidencia ambas figuras), son iguales, entre ellos los lados involucrados en la tesis. CRITERIOS DE IGUALDAD DE TRIANGULOS QU DEBEMOS ASEGURAR PARA CONFIRMAR LA IGUALDAD ENTRE DOS TRINGULOS? Pueden elegir entre las siguientes alternativas: - Demostrar que tienen los tres lados iguales. O bien: - Demostrar que tienen un lado y los dos ngulos que sustiende dicho lado iguales. O bien: - Demostrar que tiene los tres ngulos iguales y un lado igual (derivando de la anterior, o sea que uno de los ngulos podra evitarse si tomamos los dos que el lado sustiende). O bien: Demostrar que tienen dos lados y el ngulo comprendido igual.

Cualquiera de estas justificaciones es correcta. 5. La suma de un nmero par y su siguiente al cubo, es impar. H. x = 2.k , con k Z Su siguiente: y = x + 1 = 2.k + 1 Todas las propiedades y operaciones conocidas (hiptesis tcita)

27

T. x + y3 = 2.q + 1 , con q Z D. Partiendo del primer miembro de la tesis, tratamos de llegar al segundo: x + y3 = 2.k + (2.k + 1)3 = 2.k + 8k3 + 12k2 + 6k + 1 , desarrollando el binomio al cubo = 2(k + 4k3 + 6k2 + 3k) + 1 Y siendo la expresin dentro del parntesis suma y producto de enteros, o sea un entero: x + y3 = 2.q + 1 , o sea un impar.

28

29