ISSN 0325 6308

CUADERNOS UNIVERSITARIOS
Universidad Nacional del Comahue
Centro Regional Universitario Bariloche

N 49 Agosto de 2006

LGICA INFORMAL
Mnica de Torres Curth, Carolina Biscayart y Ana Mara Fernndez

Editor Responsable: Secretara de Investigacin Centro Regional Universitario Bariloche Universidad Nacional del Comahue Unidad Postal UNC 8400 Bariloche ARGENTINA TE: ++54-944-26368 FAX: ++54-944-22111 ISSN - 0325 6308

Agosto 2006

Resumen:

Este trabajo, dirigido a un pblico no matemtico, es una aproximacin a la lgica a travs de un anlisis del paralelismo entre el razonamiento cotidiano y el razonamiento formal propio de las ciencias. Distinto tipo de razonamientos impregnan la vida cotidiana, aunque muchas veces se diferencian sustancialmente del razonamiento lgico formal. Intentamos usar este hecho como punto de partida para la formalizacin de algunos conceptos que dan las bases para la estructura del razonamiento lgico formal.

ndice

Introduccin...................................................................................................................... 6 Lgica formal y Lgica informal...................................................................................... 8 Qu saben de lgica los que no saben lgica? ................................................................ 9 Usos de la palabra lgica en el lenguaje coloquial ....................................................... 9 Proposiciones.................................................................................................................. 15 Las proposiciones y los conjuntos .................................................................................. 17 Cuantificadores............................................................................................................... 18 Los cuantificadores en el lenguaje coloquial.................................................................. 20 El valor de verdad de las proposiciones categricas ...................................................... 22 Una breve digresin acerca de la verdad en las ciencias................................................ 22 Operadores lgicos ......................................................................................................... 24 La negacin .................................................................................................................... 26 Valor de verdad de la negacin ...................................................................................... 26 La negacin como relacin entre conjuntos: .................................................................. 27 La negacin en el lenguaje coloquial ............................................................................. 27 La negacin de proposiciones categricas ..................................................................... 29 Los conectivos ................................................................................................................ 30 El conectivo ............................................................................................................. 30 Valor de verdad de una conjuncin ................................................................................ 32 La conjuncin como una operacin entre conjuntos ...................................................... 32 El conectivo ............................................................................................................. 34 Valor de verdad de una disyuncin ................................................................................ 34 La disyuncin como una operacin entre conjuntos ...................................................... 35 El o excluyente............................................................................................................ 36 La conjuncin y la disyuncin en el lenguaje coloquial................................................. 37 Resumen de las relaciones entre operadores lgicos y conjuntos ................................. 39 Algunos ejercicios relativos A los conectivos y y la negacin......................... 40 La implicacin ................................................................................................................ 41 El valor de verdad de la implicacin .............................................................................. 43 La implicacin en el lenguaje coloquial ......................................................................... 45 La implicacin como una relacin entre conjuntos ........................................................ 48 Condiciones necesarias y suficientes.............................................................................. 51 Algo ms sobre el valor de verdad de las implicaciones................................................ 54 La doble implicacin ...................................................................................................... 55 El valor de verdad de la doble implicacin .................................................................... 56 La doble implicacin como una relacin entre conjuntos .............................................. 56 Algo ms sobre cuantificadores...................................................................................... 56 Algunos ejemplos de aplicacin ..................................................................................... 58 La lgica y las reglas ortogrficas de acentuacin ......................................................... 58 La lgica y las plantas .................................................................................................... 60 La demostracin en matemtica ..................................................................................... 63 Agradecimientos............................................................................................................. 65 Bibliografa..................................................................................................................... 65 5

La lgica llena el mundo; los lmites del mundo son tambin sus lmites.
Ludwig Wittgenstein Tractatus Logico-Philosophicus, 5.61

Introduccin

El lenguaje cotidiano tiene una gran riqueza porque ofrece la posibilidad de ser usado analgicamente. Cuando hablamos hacemos uso de metforas, de smbolos, de sinnimos y podemos abundar en matices. Tenemos cdigos de comunicacin que nos permiten sobreentender cosas que no estn dichas. Podemos ser breves y an as ser entendidos. Usamos el lenguaje para transmitir sentimientos o ideas que no pueden expresarse con exactitud. Ms an, iguales expresiones pueden cambiar de significado segn las circunstancias, nuestro interlocutor, o nuestra intencionalidad. Una misma palabra puede ser usada con humor, irona, rabia, ternura... Esta flexibilidad del lenguaje cotidiano, es la que permite construir expresiones de gran belleza como un poema. El lenguaje utilizado para la comunicacin en las ciencias, el lenguaje cientfico, es un depuracin y, en algn sentido, un empobrecimiento del lenguaje ordinario. El lenguaje cientfico es un lenguaje carente de ambigedad, de un alto nivel de correccin y una marcada sencillez sintctica, objetividad y universalidad. Es por eso especialmente cuidadoso con el orden expositivo y la coherencia interna de lo expuesto. Cada ciencia posee su jerga y su lenguaje propio. En la matemtica predomina el uso de un lenguaje formal que se distancia, en mayor grado que en otras ciencias, del lenguaje cotidiano. En muchas ciencias, los objetos de los que se ocupan suelen ser naturales, observables a simple vista o por medio de instrumentos. Sus enunciados no 6

estn sometidos a la opinin pero admiten cierto grado de interpretacin. La matemtica trabaja con objetos ideales que son creados por el hombre, que existen en su mente. Sus formulaciones suelen ser muy concisas en cuanto a la forma. El lenguaje matemtico puede ser considerado un idioma, ya que dispone de un sistema de escritura complejo, regido por reglas y sintaxis propias. Otra caracterstica de este lenguaje, reside en el uso de smbolos sin distincin de los objetos que representan y en la naturaleza abstracta de esos objetos. Esta cualidad de forma compacta hace que, desde el punto de vista del experto que conoce el idioma matemtico, la comunicacin sea ms sencilla, pero pone en juego la comprensin de aquellas personas que se aproximan a la esta ciencia. Desde el lenguaje cotidiano hasta el que utilizan los profesionales matemticos en la comunicacin de sus resultados hay infinidad de grises. El lenguaje matemtico formal debera ser la culminacin de un proceso de construccin personal que permita separarse paulatinamente del lenguaje cotidiano. As como hay un lenguaje matemtico, tambin hay una forma de pensar matemtica . La matemtica se basa en procesos deductivos, en razonamientos vlidos que permiten inferir con rigurosidad una verdad de la validez de otras. Tanto el pensamiento como el lenguaje cotidiano, presentan aparentes similitudes con esta forma de pensar, aunque en el fondo, hay diferencias radicales. Nos proponemos un anlisis de los razonamientos bsicos de la matemtica y de sus aparentes pares en el la forma de pensar de todos los das, para explotar sus similitudes, en aras de facilitar el recorrido hacia la comprensin, y clarificar las diferencias, que muchas veces se convierten en obstculos invisibles en el aprendizaje.

En este trabajo hablamos de matemtica, y hablamos de lgica, que es la forma de pensar de la matemtica.

Lgica formal y Lgica informal El trmino lgica deriva del griego clsico logos el cual significaba palabra o lo que se habla, sin embargo, en la poca contempornea, se interpreta como pensamiento o razonamiento. La lgica se remonta a la antigua China, India y Grecia, entre el siglo V a.c. y el siglo I a.c. Hemos denominado a este trabajo Lgica Informal. La lgica informal existe como rama de la lgica, y naci como el estudio metdico de los argumentos (Aristteles la llamaba el arte de la argumentacin correcta y verdadera), investigada principalmente por la retrica, la oratoria y la filosofa, especializndose en la identificacin de falacias y paradojas, as como en la construccin correcta de los razonamientos. Tradicionalmente esta lgica parte de la base de que el pensamiento humano es muchas veces falaz. As, ha tenido como finalidad una bsqueda de la verdad por lo que se ha dedicado a clasificar los razonamientos en correctos y falaces. A diferencia de la anterior, la lgica formal se refiere al estudio de argumentos racionales en forma estrictamente esquematizada y organizada. Se basa en razonamientos correctos e intenta llegar a niveles superiores de razonamiento. La lgica matemtica o simblica est inmersa dentro del campo de la lgica formal [1]. Este trabajo no es entonces un apunte de lgica formal ni de lgica informal. No estamos usando el nombre de informal en el sentido que hemos descripto, sino que pretendemos sealar algunas diferencias entre el razonamiento propio de la matemtica y el razonamiento cotidiano, y en este sentido, nuestro trabajo es ms bien un estudio de una lgica sin corbata1. Para una aproximacin ms formal al estudio de esta disciplina, puede el lector consultar el texto Elementos de lgica proposicional [2] de esta misma serie o el libro Elementos de lgica simblica [3]. En este trabajo se encontrarn actividades que aparentemente poco tienen que ver con la matemtica (como por ejemplo un anlisis de varios fragmentos tomados de la literatura, los peridicos o libros de texto), pero que aportan elementos de reflexin acerca de lo que significa el pensamiento lgico deductivo, propio de la matemtica.
Estamos usando (con permiso) este trmino que fue acuado por una querida profesora de la Universidad Nacional del Comahue, Cristina Ferraris, al referirse a algunas demostraciones informales en geometra.
1

Qu saben de lgica los que no saben lgica? Todos los seres humanos tenemos necesidad de hacer inferencias, de uno u otro tipo. Dondequiera que hay necesidad de realizar inferencias hay lgica, por tanto, todos practicamos cotidianamente algn tipo de lgica. Si lo anterior es cierto, entonces es falso que un estudiante que por vez primera se enfrenta a un curso de lgica, vaya a aprender, por primera vez en su vida, a realizar inferencias lgicas. En un sentido, se trata siempre de falsos principiantes. En particular, parece un error suponer que la tarea de un curso de lgica sea ensear a pensar. Los estudiantes ya saben pensar (y cosas muy interesantes). La tarea del profesor de lgica es, ms bien, orientarlos para pensar mejor. Darles herramientas para un mejor anlisis del pensamiento de los otros, y una mejor articulacin del propio. Ayudar al estudiante a pensar mejor primordialmente supone: 1) Hacerle ver la necesidad de discutir y resolver problemas de manera argumentada, lgica y racional, y crear la disposicin a seguir vas racionales y 2) Ayudarle a detectar los modos inadecuados de inferencia y argumentacin, presentes tanto en su propio discurso como en el de los otros [4]. Este cuadernillo, precisamente, busca abrir las puertas en este sentido.

Usos de la palabra lgica en el lenguaje coloquial Como primera actividad proponemos la lectura de un texto [5] acerca de los distintos usos y acepciones de la palabra lgica en el lenguaje coloquial, de modo de intentar una reflexin acerca de las diferencias entre el pensamiento y razonamiento cotidianos, y en las ciencias.

Inmerso en el lenguaje coloquial, el trmino lgica, en su uso como sustantivo, adjetivo o adverbio adquiere diversos sentidos.

Empleado como sustantivo en el lenguaje cotidiano, la palabra lgica adquiere el sentido de estructura de razonamiento, forma o modo de pensar o razonar, o, simplemente, razonamiento. As se habla de la lgica del escndalo, para referirse al modo de pensar de la prensa de nuestro medio, que decide brindar cobertura a un hecho 9

en funcin del escndalo que ste genere. Asimismo, se emplea el trmino lgica como sinnimo de sentido comn, buen sentido, razn o actitud racional, cuando se afirma, por ejemplo, que felizmente prevaleci la lgica. Se hace uso del sustantivo lgica, tambin para significar una determinada estructura de ordenamiento o la forma en que se encuentran dispuestas ciertas partes o ciertos elementos de un conjunto o mbito. As, ese es el sentido que toma en el siguiente texto: Me he visto obligado dijo - a creer que la lgica de sus acciones estaba desequilibrada (G. Flaubert, Madame Bovary). Suele tambin significar, en otro contexto, coherencia o sentido; as podemos leer: Aunque todo es mentira, no deja de tener lgica todo lo que dice (Shakespeare, Hamlet).

En su uso como adjetivo, la palabra lgica pasa a significar natural, en el sentido de previsible; es decir, hace referencia a un hecho o accin que se esperaba sucediese como consecuencia necesaria de un evento determinado; y as se dice: es lgico que el anciano reaccione de la siguiente manera si le robaste las manzanas (M. de Vasconcelos, Mi planta de naranja lima). Tambin suele usarse para significar algo obvio o evidente: no poda haber ms que un solo significado lgico tras las palabras de Luisa Bourget (A.Chirstie, Poirot en Egipto). Asimismo, pasa a significar, en otros casos, necesario, como en el texto siguiente: como consecuencia lgica de su buena actuacin en las tablas, comenz a trabajar en el cine (M. Pajn, Grandes estrellas del cine). En otras ocasiones, con este trmino se hace referencia al carcter coherente que algo posee; en este sentido, por ejemplo, se dice que los ingenieros hidrulicos participantes en el proyecto propusieron soluciones lgicas al problema (El Comercio, 03-08-02, p. 10). Adems, cuando se dice que algo tiene un orden lgico se hace referencia a aquello que tiene un orden riguroso, sistemtico y coherente, aunque en este caso, tal vez, el uso del trmino sea redundante, pues todo orden, por definicin, es riguroso, sistemtico y coherente. El empleo de la palabra lgico tambin sirve para caracterizar una actitud como razonable o sensata, y as se dice, por ejemplo, de un determinado funcionario que lo ms lgico sera que deje su cargo mientras goza de cierta aprobacin.

10

En su uso como adverbio, el trmino lgica se convierte en lgicamente, y expresa los mismos sentidos que posee como adjetivo, pero expresando modo. De esta forma podemos decir, por ejemplo, que la decisin fue tomada, lgicamente, despus de un detenido anlisis.

Por ltimo, el trmino ilgico es usado como sinnimo de irracional, absurdo, incoherente e inverosmil cuando toma la forma de adjetivo. Como ejemplos de este uso tenemos: el alcalde de Miraflores inaugur el viernes una obra inconclusa, aunque suene ilgico (El Comercio, 18-08-02, p.22); Lheureux qued estupefacto, era algo ilgico para l lo que le estaba pasando (G. Flaubert, Madame Bovary).

1) Confeccionar un cuadro o esquema que sintetice los distintos sentidos del trmino lgica (y derivados) en su uso como sustantivo, adjetivo y adverbio en el lenguaje coloquial. Poner un ejemplo para cada caso. 2) Sealar de qu modo (como sustantivo, adjetivo o adverbio) es usado el trmino lgica e indicar su significado en los siguientes textos: a) En esos encuentros imaginarios haba analizado diferentes posibilidades. Conozco mi naturaleza y s que las situaciones imprevistas y repentinas me hacen perder todo sentido, a fuerza de atolondramiento y timidez. Haba preparado, pues, algunas variantes que eran lgicas, o por lo menos posibles. No es lgico que un amigo ntimo le mande a uno un annimo insultante, pero todos sabemos que es posible. (E. Sbato, El Tnel) b) Yo, con slo mirarla, me doy cuenta de que el mal est empezando. No es nada preciso, no hay un sntoma claro, una evidencia objetiva; tampoco una lgica, un motivo, una causa concreta que lo origine. (G. Polarollo, Atado de nervios) c) Hace poco nos enteramos que en el Congreso se iba a eliminar la Comisin de Cultura, arrumando sta en el furgn de cola de otra comisin. Felizmente prevaleci la lgica, y no se deshizo con una mano lo que se haba hecho con la

11

otra. La Comisin de Cultura todava existe. (El Dominical del diario El Comercio, 18-08-02, p.19) d) Los resultados estadsticos pueden ser considerados lgicamente vlidos... (La Razn, 16-07-02, p.13) e) La trampa lgica por la cual todo el que se lanza contra Toledo es un amigo de la oposicin democrtica, viene avanzando peligrosamente (La Repblica, 2208-02, p.7) f) En la sierra es lgico que el lder decida todo sin pedir opinin de nadie, y mucho menos a una mujer; si a ello sumamos la ignorancia, tenemos un modelo de atraso social (Somos, de El Comercio, ao XV, N 820, 2002) g) Los hombres adoran los razonamientos abstractos y las sistematizaciones bien elaboradas, a tal punto que no les molesta deformar la verdad, cierran los ojos y los odos a todas las pruebas que los contradicen con tal de conservar sus construcciones lgicas (F. Dostoievski, Memorias del Subsuelo) h) No pretendo afirmar que universos como el nuestro se den de manera frecuente, simplemente afirmo que la frecuencia esperada no es cero, dijo Tryon. La lgica de la situacin dicta, no obstante, que los observadores siempre se encuentran en universos capaces de generar vida, y tales universos son impresionantemente grandes (J. Gribbin, En busca del gato de Schrdinger) i) Le escribi: pero la melancola me invade con gran fuerza, y cuanto ms se normaliza mi salud, cuanto ms puedo pensar con frialdad y lgica, tanto ms demencial me parece que siga fabricando cuadros que nos cuestan tanto y no aportan nada (H. Frank, Van Gogh) j) Aunque ha encontrado a Mara por casualidad, atribuye el encuentro a la causalidad de su capacidad lgica, pero inmediatamente, ante el miedo ilgico de perderla, se da cuenta de su desorientacin... (S. Sauter, Introduccin a El Tnel)

12

k) Un piloto de una aerolnea comercial sostuvo a Correo lo siguiente: Si hubo poca visibilidad, el comandante de la nave debi regresar y evitar el aterrizaje. Lo lgico era no continuar con el vuelo (Correo, 12-01-03) l) El concepto de etnicidad que opera en la novela presupone una relacin de causalidad entre los orgenes y el estado actual de los comportamientos sociales. Los defectos a los cuales alude Abbadon el Exterminador, encuentran ah su explicacin lgica (E. Castillo Durante, Los vertederos de la postmodernidad) m) No se quines tenan que esperar en Jerusaln, quiz un grupo de templarios supervivientes y disfrazados, o unos cabalistas vinculados con los portugueses, pero seguro que para llegar a Jerusaln desde Alemania, el camino ms lgico es el de los Balcanes, donde esperaba el quinto grupo, el de los paulicianos. (H. Eco, El pndulo de Foucault) n) Castell menciona la noticia de una instancia inexplicable lgicamente, pero que constata la degradacin de la conciencia humana contra su propia especie (S.Sauter, Introduccin a El Tnel) o) Una de esas oscuridades, no la ms ardua pero no la menos hermosa, es la que nos impide precisar la direccin del tiempo. Que fluye del pasado hacia el porvenir es la creencia comn, pero no es ms ilgica que la contraria, fijada en verso espaol por Miguel de Unamuno: Nocturno el ro de las horas fluye / desde su manantial que es la maana / eterno... (J.L. Borges, Historia de la eternidad) p) Los conceptos no pueden considerarse jams como derivados lgicamente de las impresiones de los sentidos. pero, como finalidad didctica y tambin heurstica, es inevitable semejante proceder. Moraleja: si no se peca contra la razn, no se llega generalmente a nada; o bien no se puede edificar una casa o construir un puente sin emplear un andamiaje que, a decir verdad, no forma parte de ellos (A. Einstein, citado por Kouznetsov, pensamiento, sus teoras, 1975, p.110) Einstein. Su vida, su

13

q) El uso del lenguaje para comunicarse por escrito es, quiz, la capacidad que refleja ms fielmente el orden y la madurez del pensamiento del hombre, adems de cumplir la importante funcin educativa de transmitir en cada mensaje, conocimientos de una persona a otra. Es lgico, entonces, pensar que los estudiantes a travs de su trayectoria educativa deben ir evolucionando o, mejor dicho, mejorando, tanto en su contenido de ideas como en la forma de escribir esas ideas de acuerdo con el desarrollo y la madurez de su pensamiento segn se incrementen sus conocimientos debido a los aos de estudio o escolaridad [6].

El abogado Jorge Oyarzbal defendi su caso con pasin. Cada argumento estaba lgicamente encadenado con el siguiente, no dej puntos dbiles, lo que dijo en segundo trmino fue consecuencia de lo que dijo en primer trmino, no se contradijo, dio sus explicaciones sin ambigedad, y toda su construccin de argumentos fue as slida. Diramos que defendi el caso con un rigor lgico admirable? Significa que dijo siempre la verdad? Es precisamente esta coherencia interna de los argumentos, esta coordinacin adecuada del pensamiento consigo mismo, y no su adecuacin a la realidad, no la verdad de las afirmaciones que entraron en juego en este caso lo que le interesa a la lgica como ciencia.

La lgica es una ciencia formal que estudia las tcnicas, procedimientos, reglas, mtodos y los principios o leyes usados para distinguir la inferencia correcta de la incorrecta; para discriminar la inferencia vlida de la no vlida. Es ciencia formal, porque ella atiende slo al aspecto estructural de las inferencias sin considerar el contenido significativo de sus proposiciones componentes.

14

Proposiciones El lenguaje (cotidiano, cientfico, de programacin u otro) est constituido por expresiones, que son un conjunto de signos (smbolos, palabras, etc.) que poseen un sentido. Por ejemplo, 110011 + 10010 = 1000101 tiene un sentido en el lenguaje binario, ms all de que sea correcto o no. If x > 4 then go to 5 tiene un sentido en el lenguaje de programacin. Cmo ests Roberto?, tiene un sentido en el lenguaje social. Las rdenes, las preguntas, los saludos, las afirmaciones, tienen un sentido en el lenguaje cotidiano. En especial, algunas expresiones afirman o niegan cosas. Estas expresiones o enunciados que afirman o niegan, se llaman proposiciones. Las proposiciones pueden ser verdaderas o falsas. Por ejemplo: 8 es un nmero par, es una proposicin, y es verdadera. Todas las aves vuelan, es una proposicin, y es falsa. Existe un alumno de esta universidad menor de 20 aos es una proposicin, y es verdadera. Cmo te llams? no es una proposicin. Baj el volumen de esa msica! no es una proposicin. Lo que hace que una expresin sea una proposicin es precisamente la

posibilidad (aunque sea terica) de asignarle un valor de verdad. Por ejemplo hay vida en otro lugar del universo o Dios existe son proposiciones, ya que pueden ser verdaderas o falsas, aunque demostrar que lo son pueda ser difcil o imposible. Se define como proposicin a una oracin o enunciado declarativo carente de ambigedad, que es verdadera o falsa, pero nunca las dos cosas simultneamente. La veracidad o falsedad de un enunciado se llama su valor de verdad. Los trminos verdadero o falso se consideran como atributos de una proposicin, excluyndose de ellos toda interpretacin filosfica. 15

La estructura matemtica es precisamente una construccin basada en el enunciado de proposiciones de las cuales de debe probar su verdad o falsedad.

3) Determinar si las siguientes expresiones son proposiciones y cules no lo son. Explicar por qu. El sol es cuadrado. La cuchara sirve para. La mam sirve postre. Mi bisabuela se pein con rodete el 16 de julio de 1899. Qu hora es? Existe la justicia? Existe la justicia No existe la justicia 2+5=6 2+5=7 2+5

Las proposiciones a las que hemos hecho referencia hasta ahora se llaman proposiciones cerradas en el sentido de que dentro del enunciado de la proposicin no aparece ninguna variable, y por consiguiente tiene un valor de verdad definido (son verdaderas o falsas). Una proposicin abierta (tambin llamada funcin proposicional) es una expresin que contiene una variable, por lo que no tiene, en principio, un valor de verdad hasta que la variable sea sustituida por un valor determinado, que hace que la expresin se convierta en una proposicin cerrada, es decir, adopte a partir de la asignacin de un valor fijo a la variable, un valor de verdad. Por ejemplo p: x es un nmero par es una proposicin abierta pues su valor de verdad depende del valor que adopte el nmero x. Por ejemplo, si x adopta el valor 2, esta proposicin abierta se transforma en la proposicin cerrada 2 es un nmero par que es verdadera. Si x adopta el valor 3, la proposicin abierta se transforma en la proposicin cerrada 3 es un nmero par que es falsa. Decimos que un determinado valor para la variable verifica la proposicin p cuando la hace verdadera. 16

Las proposiciones y los conjuntos Dado un conjunto referencial cualquiera U, una proposicin abierta p definir un subconjunto (eventualmente vaco) de elementos que hacen a la proposicin verdadera y otro subconjunto (complemento del anterior) de elementos que hacen a la proposicin falsa. Es decir, podemos diferenciar los elementos de U en dos conjuntos disjuntos, uno formado por los elementos que verifican a p y otro por los que no la verifican. U A elementos que no verifican p elementos que verifican p

Por ejemplo, si U tiene por elementos los meses del ao y p es la proposicin abierta el mes x tiene 30 das, podemos distinguir dentro de U un subconjunto de elementos que hacen verdadera a la proposicin p (abril, junio, septiembre y noviembre) y un subconjunto de elementos que hacen falsa a la proposicin p (enero, febrero, marzo, mayo, julio, agosto, octubre y diciembre). En caso de que se trate de dos proposiciones abiertas p y q cada una de ellas definir dentro del referencial un subconjunto de elementos que la verifica, definindose as cuatro regiones. I: elementos que verifican tanto p como q

IV: elementos que no verifican ni p ni q II: elementos que verifican slo p

IV A II I III

III: elementos que verifican slo q

Las regiones I y II renen a todos los elementos que verifican p y las regiones I y III a todos los que verifican q.

17

En adelante usaremos la notacin p, q, ... etc. para referirnos indistintamente a proposiciones abiertas o cerradas, quedando claro su significado en el contexto.

Las proposiciones pueden separarse en simples (o atmicas) y compuestas. Las proposiciones simples son aquellas que no tienen ninguna otra proposicin como parte constituyente, como por ejemplo llueve, o 5 es un nmero primo. Las

proposiciones compuestas son aquellas que estn constituidas por dos o ms proposiciones simples, como por ejemplo hace calor y tengo ganas de ir a la playa, o tengo hambre, fro y no consigo un taxi, o si un nmero es divisible por 2 y por 3, es divisible por 6.

Cuantificadores Veamos ahora un tipo particular de proposiciones que se llaman categricas. Son aquellas en las que est involucrada una referencia a la totalidad de los elementos de un conjunto (por ejemplo todas las plantas son ssiles ) o a una parte de los elemento de un conjunto (por ejemplo existen gramneas que no son anuales ) En el lenguaje comn, hay varias expresiones que se utilizan indistintamente para la misma forma lgica. Por ejemplo: Usamos las palabras: Todo Ninguno Cualquiera No hay Nadie Los / Las Usamos las palabras: Existe Un / unos Alguno o algunos Hay Por ejemplo: Todos los insectos alados tienen 6 patas Ningn lugar est lejos Cualquier mltiplo de 6 puede dividirse por 3 No hay mamferos acuticos Nadie es perfecto Las cmaras digitales utilizan bateras

Para referirnos a TODO

Por ejemplo: Para Existen hombres daltnicos referirnos a Unos pancitos tienen queso que EXISTE al menos uno Algunos mamferos tienen alas Hay algunos sitios de acampe donde no se puede hacer fuego 18

4) Redactar las proposiciones del cuadro en la forma Todo... o Existe..., por ejemplo: Algunos mamferos tienen alas se escribir como Existe un mamfero que tiene alas

Las expresiones todo y existe se denominan cuantificadores.

En resumen:

En el lenguaje matemtico, la palabra todo (o sus equivalentes) en una proposicin indica que cualquier elemento que se elija dentro del conjunto posee la propiedad. El smbolo que se utiliza para todo es (se lee para todo). En el lenguaje matemtico, la palabra existe (o sus equivalentes) en una proposicin indica que hay dentro del conjunto al menos un elemento que posee la propiedad. Puede ser uno, varios, o incluso todos. El smbolo que se utiliza para existe es (se lee existe).

Por ejemplo, consideremos el conjunto de todos los nmeros pares positivos menores o iguales que 20: A = {2,4,6,8,10,12,14,16,18,20} x A, x es par (todo elemento del conjunto A es par) x A tal que x es mltiplo de 6 (existe al menos un elemento dentro de A que es mltiplo de 6)

La utilizacin de los cuantificadores siempre est asociada a un conjunto de referencia y se refiere a una propiedad que cumplen (o no) los elementos de ese conjunto. Y es justamente en relacin a los elementos de ese conjunto de referencia que la afirmacin puede ser verdadera o falsa.

19

5) Dadas las siguientes proposiciones, Todos los perros son blancos. Hay mamferos que vuelan. Existe un len que ruge Los leones tienen melena Hay gallinas que ponen huevos verdes Ningn metal es lquido Hay plantas que no se reproducen por semillas Identificar un conjunto de referencia para cada uno y redactar las proposiciones anteriores de la forma Todo... o Existe... Ejemplo: Todos los perros son blancos Conjunto de referencia: El conjunto de todos los perros que existen Todo perro es blanco. (no es importante si las afirmaciones son verdaderas o falsas!) 6) Proponer algunas proposiciones que incluyan cuantificadores y redactarlas en la forma Todo... o Existe...

Cualquier proposicin categrica se puede escribir en la forma Todo... o Existe... Por ejemplo: Hay mamferos acuticos se escribe como Existe un mamfero que es acutico.

Los cuantificadores en el lenguaje coloquial

Es importante distinguir el uso de la palabra todo del lenguaje comn de su uso en el lenguaje matemtico. Todo en matemtica, no significa muchos, ni casi todos , sino que ningn elemento del conjunto queda excluido de la propiedad. En el lenguaje comn muchas veces se usa la expresin todo sin el rigor de precisin que requiere la matemtica. Por ejemplo, todo el mundo sabe que tomar sol sin protector solar es peligroso. Estamos seguros que no hay sobre el planeta un ser que ignore esta 20

premisa?. Otro ejemplo cotidiano: qu quers comer?, cualquier cosa est bien. Estamos seguros?, cualquier cosa? puaj!. Es decir, en matemtica para que una afirmacin que contenga la palabra todo sea verdadera, la totalidad de los elementos del conjunto al que hace referencia la afirmacin deben cumplir la propiedad, lo cual no es necesariamente cierto en el lenguaje comn. El todo en matemtica, tiene un sentido absoluto. Por ejemplo, los ngulos interiores de todos los tringulos suman 180 hace referencia a que cualquier tringulo, por ms raro que sea, tiene la propiedad. En el lenguaje comn esto no es as. La mayora de las veces la una afirmacin que contiene la palabra todo se refiere a que en la mayora de los elementos del conjunto al que se hace referencia tienen la propiedad. En el lenguaje comn todo se usa muchas veces como equivalente de muchos o casi todos, o la mayora. Por ejemplo la afirmacin en mi familia todos los 29 almorzamos oquis se refiere a que en la medida de lo posible, esa familia come oquis los 29, casi siempre lo hacen, pero nada ocurre en esta afirmacin si justo un 29 de enero son invitados a la casa de los vecinos a almorzar un asado. En el mismo asado, la seora invitada podra decir en mi familia todos los 29 almorzamos oquis como un comentario (falso desde el punto de vista matemtico) y nadie pensar que est diciendo una falsedad. Si al asado est invitado un matemtico, la misma afirmacin nadie pensar que est diciendo una falsedad , que habamos entendido como una generalidad, sera falsa porque el matemtico (que no puede con su genio) estara pensando: el hecho de que esta seora est masticando un choripn demuestra que la afirmacin en mi familia todos los 29 almorzamos oquis es falsa

Asimismo, en matemtica la afirmacin existe hace referencia a que hay al menos un elemento en el conjunto que cumple la propiedad. Puede ser uno, varios o incluso todos. En el lenguaje comn existe se usa como equivalente de alguno, como para sealar una rareza.

21

El valor de verdad de las proposiciones categricas Como toda proposicin, las proposiciones categricas (las que contienen cuantificadores) poseen un valor de verdad (es decir, puede decirse de ellas que son Verdaderas o Falsas). En algunos casos decir de una proposicin que es verdadera o falsa es sencillo. Para la proposicin Llueve, basta con mirar por la ventana para decidir. Cmo podemos demostrar que una afirmacin que tiene un cuantificador es verdadera o falsa? Por ejemplo: La afirmacin Todo los perros son blancos es falsa. cmo lo sabemos? Basta con mostrar un perro que no sea blanco. La afirmacin Todo nmero mltiplo de 6 es par es verdadera. Para mostrar que esto es cierto, dado que no hay posibilidades de revisar uno por uno todos los mltiplos de 6, hay que recurrir a una demostracin general, a un razonamiento deductivo que nos permita evidenciar que la afirmacin es cierta. En este caso es sencillo, porque para que un nmero sea mltiplo de 6, debe ser a la vez mltiplo de 3 y de 2. Al ser mltiplo de 2 es par. Por lo tanto la afirmacin es cierta para cualquier mltiplo de 6.

7) Explicar cmo demostraras si las afirmaciones del inciso 5) son verdaderas o falsas.

Una breve digresin acerca de la verdad en las ciencias La divisin ms aceptada entre las ciencias es la de ciencias fcticas y ciencias formales. Las ciencias fcticas trabajan con objetos reales que ocupan un espacio y un tiempo que a su vez se subdividen en naturales (biologa, fsica, qumica, etc. ) y sociales (sociologa, economa, psicologa, etc.). Las formales trabajan con formas, es decir, con objetos ideales que son creados por el hombre, que existen en su mente y son obtenidos por abstraccin. La lgica y la matemtica son ciencias formales.

22

La verdad de las ciencias fcticas es fctica porque depende de hechos, y es provisoria porque nuevas investigaciones pueden presentar elementos para su refutacin. Las ciencias formales demuestran o prueban. En la matemtica y en la lgica hay verdades absolutas: axiomas o teoremas. Los axiomas son verdades a priori y los teoremas son verdades que se demuestran por procesos deductivos a partir de axiomas o de teoremas anteriores. La verdad de las ciencias formales es necesaria y formal. La demostracin es completa y final. En las ciencias fcticas, las teoras cientficas, que pueden considerarse como verdades se constituyen como un conjunto de leyes y teoras que son aceptadas como tales mientras no exista una observacin o experimentacin que permita rechazarlas. En ellas prima un proceso inductivo, de modo que a partir de un cierto nmero de observaciones o experimentaciones se permite una generalizacin que se denomina ley. En las ciencias formales se demuestran las verdades, mientras que en las ciencias fcticas se verifican (confirman o refutan) hiptesis. Esta verificacin es incompleta y temporaria. En matemtica y lgica cuando un teorema ha sido demostrado, es una verdad para siempre, que ser utilizada para sostener las demostraciones de nuevos teoremas que se enuncien con posterioridad. En las otras ciencias, esto no es as. Abundan en la historia de las ciencias ejemplos de teoras que se sostuvieron como verdades hasta que se comprob su falsedad. Por ejemplo hasta el ao 1759 la teora de la epignesis avalaba entre otras, la teora de la preformacin. Esta sostena que las clulas sexuales contenan individuos diminutos preformados, que slo necesitaban aumentar de tamao durante el desarrollo embrionario. En 1759 C.F. Wolff propuso el concepto de que los caracteres del nuevo individuo deben desarrollarse a partir del material indiferenciado del espermatozoide y los vulos, contrariamente a lo sostenido hasta ese momento. De esta manera la nueva teora (que refutaba la anterior) sent las bases de un nuevo enfoque para el estudio del desarrollo, y permiti implicaciones en la teora evolucionista [7]. 23

Operadores lgicos Consideremos el siguiente conjunto, que llamaremos R, que ser nuestro conjunto referencial en varios de los ejercicios que propondremos realizar2.

Conjunto R
Atributos Valores A rayas Color Blanco Negro Circulo Forma Cuadrado Triangulo Convencin simblica a b n o c t

Grande tamao Pequeo

g p

Indicaremos a los elementos de este conjunto R haciendo referencia al valor que adoptan los tres atributos considerados (forma, color, tamao). As por ejemplo (t,n,g) representa el tringulo negro grande.

Consideremos adems, un tipo de diagramas de circulacin que denominaremos red lgica. En las redes lgicas, es posible hacer circular todos los elementos de un conjunto referencial por sus calles, siguiendo las flechas. Hay flechas que se acompaan
Este conjunto de referencia y la nocin de redes lgicas, tanto como su uso didctico para el anlisis de esta temtica, fueron tomados de La lgica va a la escuela. Juegos con redes lgicas, de Palacios, Cerdeyra y Giordano (1985) [6]
2

24

por carteles indicadores, y otras que son direcciones obligatorias. Los carteles indicadores exigen o prohben el paso de los elementos del conjunto segn tengan o no la propiedad que el cartel indica. Las direcciones obligatorias (como en la circulacin del trnsito en las calles) obligan a la circulacin en el sentido que indica la flecha. En toda red lgica, los elementos del conjunto de referencia circulan respetando las indicaciones de las flechas y los carteles indicadores. Veamos un par de ejemplos: En la figura a la derecha, el cartel p indica que todo elemento p

del conjunto del referencial que haga verdadera la proposicin p deber tomar obligatoriamente el sentido de circulacin que indica la flecha hacia arriba en la bifurcacin. Los elementos que no cumplan con la propiedad p debern tomar obligatoriamente el sentido de circulacin que indica la flecha hacia abajo en la bifurcacin. En la figura de la derecha, hay un cruce de caminos y las flechas indican slo sentidos de circulacin obligatoria. Todos los elementos debern obligatoriamente cambiar de carril. Los que circulen por el camino de arriba, debern pasar al de abajo y anlogamente, los que circulen por el de abajo debern cambiar al de arriba. Las redes lgicas son un recurso que facilitar la comprensin de varias formas lgicas. Cualquier red lgica tiene dos regiones terminales: una donde queda formado un subconjunto S de piezas del referencial que llamamos regin terminal, y la otra, donde queda formado otro subconjunto del referencial que llamamos S , que denominamos regin terminal complementaria. Una vez que los elementos de un conjunto han

25

circulado por la red, debern estar en la regin terminal o en la terminal complementaria. 8) S y S pueden tener elementos en comn? Explicar por qu. 9) La reunin de los elementos de S y S forma el referencial. Explicar por qu. La negacin Consideremos la siguiente red: S a

S
10) Qu elementos encontraremos en la regin terminal S si hacemos circular por esta red los elementos del conjunto referencial R? Llamemos S1 al conjunto de los elementos que resultan en la terminal S de esta red. Podemos afirmar que: El conjunto S1 est formado por todos los elementos de R que no son ......................... El smbolo de la negacin es . Dada una proposicin p, su negacin ser p Por ejemplo: si p es la proposicin la figura es un cuadrado, figura no es un cuadrado Valor de verdad de la negacin El valor de verdad de la negacin de una proposicin p ser opuesto al valor de verdad de la misma. Es decir, si p es Verdadera, entonces p ser Falsa, y anlogamente, si p es Falsa, entonces p ser Verdadera. p es la proposicin la

26

La negacin como relacin entre conjuntos: Supongamos que el conjunto A es el conjunto de todos los elementos del referencial que cumplen con la proposicin p. Podemos representar esto utilizando diagramas de Venn. En el grfico quedan fuera de A todos los elementos del conjunto referencial que no cumplen con esta propiedad, que se ubican en la zona sombreada. p

R A p

Al conjunto de los elementos del referencial que no pertenecen a A, se lo denomina complemento de A, y se anota A .

La negacin en el lenguaje coloquial

Hay que tener en cuenta que de acuerdo a las normas sintcticas propias del lenguaje ordinario, la negacin se expresa de forma distinta a lo que acabamos de ver. Por ejemplo, no decimos no a las focas les crece el pelo, sino que decimos a las
focas no les crece el pelo.

Las proposiciones:
El sol no es cuadrado No llueve No es cierto que la vaca es un paquidermo La vaca no es un paquidermo No ocurre que hace fro No hace fro

27

y todas aquellas donde una proposicin p cualquiera est negada tienen la misma forma lgica p. Tambin ocurre, en el lenguaje coloquial, que la palabra no no necesariamente aparece explcita. Por ejemplo, en lugar de decir este negocio no est abierto, podemos decir este negocio est cerrado. En este mismo sentido, notemos que en el ejemplo anterior, para negar la proposicin es a rayas podemos decir no es a rayas o es blanco o negro. 11) Discutir las siguientes expresiones del lenguaje usual:

No pasa nada No tengo ninguno No hay nadie

Se est usando la negacin en la forma lgica que vimos?

12) Una de las siguientes frases es un proverbio chino, la otra es un invento chino:
Todo lo que brilla no es oro No todo lo que brilla es oro

a) Dicen lo mismo? Qu significa cada una? b) Alguna de ellas dice que el oro no brilla? 13) Considerar la expresin siguiente
De ninguna manera ir nunca jams ni contigo ni con tu padre a Berln

Construir otra equivalente con negaciones ms simples eliminando el nfasis retrico. [8] 14) Considerar
En ninguna oficina de este maldito pas, ni en Agosto, ni en ninguna otra poca, nadie est nunca ni dos horas seguidas en su sitio

Quitar la exageracin retrica construyendo una frase equivalente con el mnimo nmero de negaciones. [9] 28

15) Considerar

las

siguientes

proposiciones

escribir

su

negacin

(independientemente de la verdad o falsedad de la afirmacin) Proposicin: p

Este tringulo es rojo Hoy no es lunes Tengo fro La nafta sper vale 2$

Negacin: p ...................................................... ...................................................... ...................................................... ......................................................

La negacin de proposiciones categricas

Un punto de particular importancia es la negacin de proposiciones categricas (las que incluyen cuantificadores).

16) Considerar las siguientes proposiciones y escribir su negacin (independientemente de la verdad o falsedad de la afirmacin)
Proposicin: p Existen planetas con agua en el sistema solar Ningn alumno ingresante a la universidad debe materias de la escuela secundaria. Todos los egresados de escuelas secundarias del pas hacen su viaje de estudios a Bariloche Hay mamferos acuticos Cualquier miembro de la Asociacin Negacin: p

Argentina de Ecologa tiene descuentos en los congresos de la misma.

29

17) Dado que toda proposicin que posea un cuantificador se puede escribir en la forma Todo... o Existe... , escribir las proposiciones del cuadro anterior en la forma Todo... o Existe... segn corresponda. 18) Analizar si son verdaderas o falsas las siguientes afirmaciones y justificar:
La negacin de una proposicin con el cuantificador

todo es una proposicin con el cuantificador existe

La negacin de una proposicin con el cuantificador

existe es una proposicin con el cuantificador todo

Las dos afirmaciones anteriores son verdaderas y son muy importantes!

Los conectivos

Estudiaremos algunas formas lgicas de relacionar proposiciones, que se denominan conectivos lgicos. Los que estudiaremos en las siguientes secciones son la conjuncin y, la disyuncin o y la implicacin, cuyos respectivos smbolos son , e .
El conectivo

Consideremos ahora la siguiente red lgica y el conjunto referencial R antes definido.

g n

30

Cada cartel representa una proposicin simple (g: la figura es grande, n: la figura es negra). Si para un elemento del referencial la proposicin es verdadera, la figura sigue el sentido de circulacin propuesto, si es falsa, debe tomar el otro camino. En esta red, una figura negra debe tomar la bifurcacin por la calle de arriba, mientras que si no lo es, est obligada a tomar la bifurcacin por la calle de abajo. Frente a la segunda bifurcacin, la figura podr continuar su camino por arriba slo si es grande, y de lo contrario, deber tomar la bifurcacin hacia abajo.

19) La figura (t,n,g) va a S o a S ? y la figura (t,n,p)? 20) Cuntos caminos distintos conducen a la regin terminal S? Proponer ejemplos. 21) Enunciar qu condiciones deben reunir los elementos de R para llegar a S. 22) Cuntos caminos distintos conducen a la regin terminal complementaria S ? Proponer ejemplos 23) Por qu no van a la regin terminal S todos los tringulos negros? 24) Por qu van a la regin terminal S todos los crculos grandes negros? 25) Enunciar qu condiciones deben reunir los elementos de R para llegar a la regin terminal complementaria S . 26) Cules de los cuadrados negros van a la regin terminal complementaria? 27) Hay piezas grandes en la regin terminal complementaria? cmo son?

Consideremos el conjunto de los elementos que resultan en la terminal S de esta red (que llamaremos S2). Podemos afirmar que:
El conjunto S2 est formado por todos los elementos de R que son a la vez ...................... y .........................

y es un conectivo lgico que se denomina conjuncin y su smbolo es

31

Valor de verdad de una conjuncin

Una conjuncin de dos proposiciones simples es una proposicin compuesta y por lo tanto, es posible asignarle un valor de verdad (es decir, de esta proposicin es posible decir si es verdadera o falsa). Para que una afirmacin de la forma p q (donde
p y q son dos proposiciones cualesquiera) sea verdadera, debern cumplirse p y q

simultneamente, es decir debern ser verdaderas tanto p como q. En todos los otros casos p q ser falsa.

La conjuncin como una operacin entre conjuntos

Ahora llamemos:

A al conjunto de todas las figuras del referencial R que cumplan con la propiedad n: la figura es negra y

B al conjunto de todas las figuras del referencial que cumplan con la propiedad g: la figura es grande.

Podemos representar grficamente estos conjuntos mediante un diagrama de Venn:

R

II

III IV

En esta representacin R, el conjunto referencial o universo, abarca la totalidad de los elementos que se consideran (en este caso, las 18 figuras del conjunto original). Cada crculo en el grfico engloba los elementos de los conjuntos A y B. De acuerdo a esta representacin, en la regin I (sombreada en el grfico) se encuentran los elementos que pertenecen a A y tambin pertenecen a B, es decir aquellos elementos que son parte a la vez de ambos conjuntos y que cumplen simultneamente las proposiciones n y g. Son los nicos elementos del referencial para los cuales la proposicin compuesta n g es verdadera. Denominamos a esta regin la interseccin de A y B, y la notamos como A B. 32

La interseccin de dos conjuntos es la reunin de los elementos comunes de ambos conjuntos.

28) Cules de las figuras de nuestro referencial R debemos ubicar en la interseccin de A y B. 29) Enunciar la propiedad compuesta que cumplen los elementos de A B utilizando el conectivo lgico . 30) Qu elementos se encontrarn en la regin II? 31) Qu elementos se encontrarn en la regin III? 32) Qu elementos se encontrarn en la regin IV? 33) Proponer otro par de conjuntos del referencial R y describir las caractersticas generales de los elementos que se ubican en cada una de las 4 regiones del diagrama de Venn.

Otro ejemplo: si un conjunto rene a las mujeres argentinas y otro conjunto rene a los docentes argentinos, encontraremos en la interseccin de estos dos conjuntos a las mujeres (esta propiedad se tiene por pertenecer al primer conjunto) docentes (esta propiedad se tiene por pertenecer al segundo conjunto) 34) Proponer un conjunto referencial para estos dos conjuntos 35) Enunciar las proposiciones simples p y q que los elementos de A y B verifican. 36) Hacer un diagrama de Venn para los conjuntos de este ejemplo. 37) Explicar qu elementos se encuentran en las regiones II, III y IV, suponiendo que el referencial sean las personas argentinas.

33

El conectivo

A continuacin proponemos otra red lgica:

b

S
t

Hacer circular todas las piezas del referencial R por estas calles de esta red, siguiendo los nuevos carteles indicadores.

38) Qu camino recorre la figura (t,b,g)?, y (t,a,p)?, y (c,n,g)? 39) Hay piezas blancas en la regin terminal?. Cules son?. Por qu? Llamemos S3 al conjunto de los elementos que resultan en la terminal S de esta red. Podemos afirmar que:
El conjunto S3 est formado por todos los elementos de R que son

.................... o ....................... o es un conectivo, su smbolo es

Valor de verdad de una disyuncin

Una disyuncin de dos proposiciones simples es una proposicin compuesta y por lo tanto, es posible tambin asignarle un valor de verdad (es decir, de esta proposicin es posible decir si es verdadera o falsa). Para que una afirmacin de la forma p q (donde p y q son dos proposiciones cualesquiera) sea verdadera, debern cumplirse p, q, o ambas, es decir debern ser verdaderas al menos o p o q. Ser falsa slo si son falsas ambas proposiciones simultneamente.

34

La disyuncin como una operacin entre conjuntos

Supongamos ahora que:

A al conjunto de todas las figuras del referencial R que cumplan con la propiedad B: la figura es blanca y

B al conjunto de todas las figuras del referencial R que cumplan con la propiedad t: la figura es tringulo.

40) Si representamos grficamente estos conjuntos mediante un diagrama de Venn (ver figura), qu propiedades que renen las figuras que se ubican en las regiones I, II, III y IV?
R A B

II

III IV

Si sombreamos en el diagrama las regiones donde se ubican las figuras que en la red aparecen en S3, veremos que estn ubicadas en las regiones marcadas como I, II y III. A la zona sombreada la denominamos la unin de A y B, que se nota como A B. La unin de dos conjuntos es la reunin de los elementos comunes y los no comunes de ambos conjuntos. 41) Cules de las figuras de nuestro referencial R debemos ubicar en la unin de A y B. 42) Enunciar la propiedad compuesta que cumplen los elementos de A B utilizando el conectivo lgico . 43) Si una figura no es tringulo pero est en A B, qu podemos afirmar de esa figura?

35

El o excluyente

El caso que hemos analizado, es el que se denomina o (o tambin o

inclusivo) donde, para que la disyuncin sea verdadera, se admite que se cumpla una

propiedad, la otra o ambas. Por ejemplo supongamos que decimos para la fiesta la los invitados trajeron algo para tomar o para comer. Pudo pasar que: Jos trajo algo para tomar, Pedro trajo algo para comer y Luca trajo las dos cosas. En los tres casos la afirmacin inicial es verdadera. Slo harn falsa la afirmacin (y excluidos de nuestras sonrisas) aquellos invitados que hayan que no hayan trado ni bebida ni comida. Hay otro conectivo, que es el o excluyente, en el cual, dadas dos condiciones puede darse una o la otra, pero no ambas para que la disyuncin sea verdadera. Por ejemplo, la proposicin compuesta Carlos vino de Neuqun en auto o en avin tiene un conectivo o excluyente entre las dos proposiciones simples. Si el viaje se concret en avin estamos dentro de la verdad de la afirmacin, si se concret en auto tambin. Ser falsa si no vino ni en auto ni en avin (si lo hizo en bici o a caballo o no vino) y no es posible la opcin de que Carlos haya venido en las dos cosas a la vez. La notacin simblica para el o excluyente es p q

44) Escribir algunas afirmaciones unidas por el conectivo o inclusivo y por el o

excluyente y analizar en qu casos sern verdaderas.

45) Para el referencial R, considerar las proposiciones: es tringulo y es pequeo. Idear una red lgica que lleve a la proposicin compuesta es tringulo es pequeo. 46) Analizar en la representacin grfica de conjuntos de Venn, qu regin quedar sombreada para este caso. 47) Cmo podra expresarse esto utilizando notacin conjuntista?

En general, y salvo aclaracin usaremos el o inclusivo.

36

La conjuncin y la disyuncin en el lenguaje coloquial

Vamos a sealar algunos aspectos relativos al uso de la conjuncin y la disyuncin en el lenguaje coloquial. Como vimos, la conjuncin de proposiciones est relacionada con la interseccin de conjuntos. Sabemos que los elementos de A B son los mismos elementos que los de B A, es decir, la interseccin de conjuntos posee la propiedad conmutativa. Por lo tanto, la conjuncin p q y la conjuncin q p son equivalentes. Por ejemplo, en el lenguaje matemtico, decir que un nmero es par y mltiplo de cinco es lo mismo que decir que un nmero es mltiplo de cinco y par. Ambas conjunciones llevan al subconjunto de nmeros enteros terminados en cero. Sin embargo, en el lenguaje coloquial, el orden en que se expresan las proposiciones muchas veces nos lleva a distintos significados. Por ejemplo, si digo yo llevo agua caliente y yerba o si digo yo llevo yerba y agua caliente, el significado es el mismo, pero si digo Ir y lo har o Lo har e ir, hay un significado diferente debido a que en estas dos ltimas expresiones, aunque tengan la forma p q se encuentra implcito un orden. 48) Pensar ejemplos del lenguaje comn donde la conjuncin no cambie de significado con el cambio de orden y ejemplos en los que s.

En cuanto a la disyuncin en el lenguaje coloquial, es interesante ver que en la mayora de los casos su uso se restringe casi exclusivamente al o excluyente. Vimos que una afirmacin de la forma p q es verdadera siempre que sea verdadera al menos una de las dos proposiciones, pero en el lenguaje coloquial esto puede sonar hasta ridculo. Por ejemplo, supongamos que te llams Gabriel. Qu te parecera presentarte del siguiente modo? me llamo Pedro o Gabriel. Desde el punto de vista de la estructura lgica de la afirmacin, la proposicin es verdadera, pero en el lenguaje cotidiano es no querer decir cmo te llams.

49) En el lenguaje matemtico, es correcto decir 3 es menor o igual que 5? y es correcto decir 5 es menor o igual que 5? 37

50) Si a mi pregunta sobre cundo se marcha, mi amigo me responde el sbado o el domingo y despus me entero de que ese mismo da tena en su bolsillo su billete para el sbado, qu tengo que pensar de mi amigo? 51) Cmo te suena en el lenguaje ordinario la expresin 5 es mayor que 7 o

Bariloche tiene ms de 5000 habitantes? Si se trata de lenguaje matemtico te

parece que es verdadera o falsa? 52) En una librera aparece escrito Nuestros clientes en posesin de constancia de
estudiante regular o empleado de la universidad tendrn derecho al 15% de descuento. Quines obtienen el descuento?.

53) Una nena le pide a su pap que la lleve el domingo a la maana al parque de diversiones y a la tarde al cine. El padre le dice No. Saldremos por la tarde e
iremos al cine o al parque de diversiones. Qu pudo hacer la nena el domingo?

Tiene este o el mismo significado que en el ejercicio anterior?

Llamaremos forma proposicional a la expresin simblica de las proposiciones, simples o compuestas.

Las formas proposicionales que resultan de conectar dos proposiciones por los conectivos lgicos y y o son, respectivamente p q y p q. Por ejemplo, la expresin: Malena canta el tango y en cada verso pone su
corazn, est compuesta de dos proposiciones: p: Malena canta el tango y q: Malena pone en cada verso su corazn.

Su forma proposicional es:

p q

38

Resumen de las relaciones entre operadores lgicos y conjuntos

Llamemos U a un conjunto referencial, A al conjunto de los elementos de U que hacen verdadera la proposicin p y B al conjunto de los elementos de U que hacen verdadera la proposicin q.
p es Verdadera

xA

A B A

U B

p es Falsa (p es Verdadera)

x A (x A )

U B

q es Verdadera

xB

U B

q es Falsa (q es Verdadera)

x B (x B )

p q es Verdadera

U B

xAB

U B

p q es Falsa

x A B (x A B )

U B

p q es Verdadera

xAB

U B

p q es Falsa

x A B (x A B )

39

54) Completar las dos primeras columnas de la tabla siguiente como en el cuadro resumen
A B U

A B

55) a) Escribir como una disyuncin la negacin de p q b) Escribir como una conjuncin la negacin de p q c) Cmo pueden escribirse los incisos anteriores en trminos de unin e interseccin de conjuntos

Algunos ejercicios relativos A los conectivos y y la negacin.

56) Considerar M el conjunto formado por los meses del ao. Cul sera la red lgica que agrupa en S a los elementos: {enero, abril, agosto, octubre}? Cul sera la red lgica que agrupa en S a los elementos: {enero, agosto, octubre}? 57) Considerar el conjunto T = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16} y las siguientes proposiciones:
p es la propiedad es un nmero par q es la propiedad es un nmero de una cifra r es la propiedad es un nmero divisible por 3

Escribir el enunciado y los conjuntos resultantes para las siguientes situaciones:

p q p q p q r q r

40

58) Para cada una de las siguientes expresiones, 1) reconocer las proposiciones que la componen y 2) reconocer los conectivos involucrados escribindolas en forma proposicional (teniendo en cuenta que ciertos trminos del lenguaje cotidiano, pueden traducirse como conectivos).

Platn y Aristteles eran filsofos griegos Yo hablo castellano e ingls Hace mucho calor pero igual vengo a Matemtica 1 2< 3<4 El electrn est cargado positivamente y nieva en Pekn Me pongo zapatillas o sandalias El tiempo atmosfrico es la situacin de la atmsfera en un momento particular; el clima es la variacin de la situacin del tiempo en un perodo largo de tiempo.

Jos escucha la msica suave o tiene la puerta cerrada Juan se asoma por la ventanilla pero no asoma los brazos.

59) Necesitan ser verdaderas las proposiciones para estar escritas en forma proposicional?

La implicacin

En los razonamientos intervienen frecuentemente proposiciones condicionales. Una proposicin condicional enuncia una condicin. Dice que si se cumple cierta condicin, entonces ocurre alguna otra cosa.

41

Por ejemplo: Si un alumno realiza correctamente el 70% del examen, est aprobado
Si un alumno realiza correctamente el 70% del examen entonces est aprobado

La proposicin condicional, se trata de una estructura de la forma

Si (ocurre) p entonces (ocurre) q

En una forma condicional hay pues, una proposicin (simple o compuesta) que denominaremos antecedente que es aquella que prosigue a la palabra Si (antecede a la palabra entonces) y una proposicin (simple o compuesta) que denominaremos
consecuente que es la que prosigue a la palabra entonces. Si Si

entonces

q (proposicin) el consecuente el consecuente

(proposicin) entonces
implica se deduce

el antecedente del antecedente

En smbolos, se escribe p q (y se lee p implica q)

Si el nmero x es divisible por 6, entonces es divisible por 2

El antecedente es p: el nmero x es divisible por 6 El consecuente es q: el nmero x es divisible por 2

Si el nmero x es divisible por 6, implica que el nmero x es divisible por 2

Si

p entonces

42

Ejemplo: La implicacin: Si llueve, entonces las calles estn mojadas La implicacin tiene la forma p q donde p : llueve y q : las calles estn mojadas

El valor de verdad de la implicacin

El valor de verdad de una implicacin es una funcin de los valores de verdad del antecedente y del consecuente. Hay cuatro posibles implicaciones (en relacin a los valores de verdad de p y q): una proposicin verdadera implica una proposicin verdadera una proposicin verdadera implica una proposicin falsa una proposicin falsa implica una proposicin verdadera una proposicin falsa implica una proposicin falsa VV VF FV FF

Veamos un ejemplo: Consideremos la siguiente implicacin

Si

apruebo el examen entonces

te presto el apunte

La implicacin est compuesta de las proposiciones p y q, de modo que tenemos la forma lgica:
p (apruebo el examen) q (te presto el apunte)

Nos interesa conocer la verdad o falsedad de la implicacin, en relacin a la verdad o falsedad de las proposiciones p y q.

43

El enunciado puede pensarse como un compromiso condicionado por p (aprobar el examen), y podemos asociar la verdad de la implicacin al cumplimiento del compromiso. Si p es V (apruebo) y q es V (presto el apunte) el compromiso se cumple, la implicacin es verdadera. Es evidente que si p es F (es decir si no apruebo el examen), quedo liberado del compromiso y, preste o no el apunte, la implicacin es verdadera, es decir son verdaderas F V (no apruebo y an as presto el apunte) y F F (no apruebo y no presto el apunte). Si p es verdadera y q es falsa, es decir si apruebo el examen y no presto el apunte, el compromiso no se cumple y es falsa la implicacin (V F)

Una implicacin es falsa nicamente cuando el consecuente falso (V F).

antecedente es verdadero y el

En los dems casos (V V, F V y F F) es verdadera.

Con respecto a la ltima afirmacin del recuadro anterior, esto es as porque en una implicacin la relacin que se establece entre antecedente y consecuente es suficiente pero puede no ser necesaria. Analicemos el ejemplo Si llueve, entonces las calles estn mojadas Es evidente que la lluvia es condicin suficiente para que una calle est mojada. Si es verdad que la lluvia es condicin suficiente para que una calle se moje, sera falso que lloviera y las calles no estuvieran mojadas (V F) Ello no quiere decir, que la lluvia sea la nica causa (condicin necesaria) para que una calle se moje. (V V llueve entonces las calles estn mojadas, F V no llueve y las calles estn mojadas). Volveremos sobre esta cuestin un poco ms adelante.

44

Es interesante mencionar que existen, desde el punto de vista formal, implicaciones verdaderas V V, carentes de sentido desde el punto de vista de su sentido, tanto en el lenguaje coloquial como en el lenguaje matemtico. Por ejemplo la implicacin si 2+2 = 4 entonces el 9 de julio es el da de la independencia argentina es, en rigor, verdadera, aunque a nadie le interesa. Como forma, la implicacin V V es vlida, y tiene sentido slo en la lgica formal. El valor de verdad de la implicacin tiene un sentido ms amplio en la lgica que en la matemtica, ya que a la matemtica le interesa no slo la forma del razonamiento sino tambin su contenido. Estas afirmaciones matemtica, que interesan a la

son las que construyen el edificio matemtico, y se denominan

Teoremas. Volveremos sobre esto ms adelante.

La implicacin en el lenguaje coloquial

Una implicacin establece una relacin condicional entre dos proposiciones. Hay varios aspectos interesantes para sealar en relacin a las implicaciones en el lenguaje coloquial. Por una parte, no siempre en el lenguaje coloquial las expresiones condicionales se escriben en la forma lgica p q. Por otra, en ocasiones, se usan implicaciones falsas desde el punto de vista matemtico, como verdaderas. Por ejemplo, la expresin popular donde hay humo hay asado (se tratara de la implicacin si hay
humo entonces hay asado) se considera como una implicacin verdadera, es decir, que

la existencia un asado est condicionada la existencia de humo, lo cual es falso (falsedad registrada en el acervo popular con la continuacin del dicho, dijo un loco e
iba corriendo un tren)

Otra particularidad del uso de la implicacin en el lenguaje coloquial proviene del uso de la palabra implicacin en su uso como repercusin, es decir,

describiendo una relacin de causa-efecto entre dos afirmaciones. En este sentido, la implicacin en su uso cotidiano no se refiere a la relacin condicional entre dos afirmaciones sino al valor de verdad necesario de la segunda afirmacin como consecuencia de la validez de la primera, que puede no ser verdadero en rigor desde el punto de vista del razonamiento lgico o matemtico. 45

Concentremos la atencin en aquellas implicaciones que aparecen ocultas en el lenguaje coloquial.

Consideremos el siguiente ejemplo publicado en un diario.

Para cargo gerencial se busca Licenciado en Ciencias Econmicas, con referencias comprobables de al menos dos empresas en el ramo, menor de 40 aos, con posibilidades de radicarse en la ciudad de Neuqun.

60) Reconocer la proposicin (simple o compuesta) que forman el antecedente y el consecuente. y escrib el aviso en un enunciado de la forma si... entonces... utilizando los conectivos que necesites.

61) Escribir en la forma Si ... entonces, el siguiente aviso publicado en el diario (es un diario de mentira en el pas del Nunca Jams):
Becas de ayuda econmica para estudiantes del interior. La Provincia de Ro Negro beneficiar con becas de ayuda econmica a estudiantes egresados de colegios secundarios de la provincia que se inscriban en carreras de ms de dos aos de duracin en Universidades Nacionales, cuyos padres no superen en conjunto un ingreso de 1500 $ en concepto de salarios y constituyan un grupo familiar de ms de 5 personas

62) Cuestiones para pensar en relacin a estos dos avisos, para el caso en que las implicaciones sean verdaderas. a) Para el primer aviso, entre otras, estas dos personas pretenden el trabajo:
Juan Gmez, Licenciado en Ciencias Econmicas, casado, de 43 aos de edad con amplia experiencia en empresas del ramo, podra radicarse en Neuquen.

46

Pablo Ramos, Licenciado en Ciencias Econmicas y Analista de Sistemas, de 33 aos de edad, presenta seis cartas de recomendacin de empresas en el ramo, residente en Neuquen. Juan Gmez puede aspirar al cargo? por qu? Pablo Ramos puede aspirar al cargo? por qu? Pablo Ramos obtendr el cargo? Si le dieron a Jos Ulloa el cargo, qu sabemos de l?. (Supongamos que no

hay acomodo)

b) Para el segundo aviso:

Proponer ejemplos hipotticos de estudiantes que pueden obtener la beca y de estudiantes que no podran. Explicar.

Si a Marcela Garca le dieron la beca, qu sabemos de ella? Si a Rosa Gonzlez no le dieron la beca, qu sabemos de ella?

63) Escribir en la forma Si ... entonces ...

Para obtener el permiso de conducir, debs cumplimentar los siguientes requisitos: a) tener 18 aos cumplidos b) presentar certificados de salud psicofsica c) saber manejar d) pagar una prima de 35$ e) aprobar un examen de manejo en la municipalidad local

No obtuviste tu permiso qu pudo pasar? Lo obtuviste qu pas necesariamente?

47

La implicacin como una relacin entre conjuntos

Consideremos ahora la siguiente red: S

a

S
Hacer circular por esta red todas las piezas de R. 64) Qu figuras hay en S? 65) Tanto en S como en S hay tringulos. Qu caractersticas particulares tienen los tringulos que estn en S y los que estn en S ?

Llamemos S4 al conjunto de los elementos que resultan el la terminal S de esta red. Podemos afirmar que: Si un elemento de S4 es grande ..........................................................................

66) Con el mismo referencial armar una red lgica donde los elementos de la regin terminal S hagan verdadera la implicacin siguiente: si es cuadrado, entonces es a rayas. A este conjunto lo llamaremos S5. Reflexionemos un poco sobre este ejemplo:
Sabemos que una pieza de la terminal S es a rayas, sabemos algo sobre su

forma?.
Sabemos que una pieza de la terminal S es cuadrada , sabemos algo sobre su

color?
En la terminal complementaria puede haber cuadrados?, cules?

48

Llamemos: A al conjunto de todas las figuras del referencial que sean cuadradas y negras B a todas las figuras del referencial que sean negras.

67) Idear un diagrama de conjuntos para los elementos de S5 que permita ver la relacin entre el conjunto A y el conjunto B recin definidos.

Cuando todos los elementos de un conjunto A pertenecen a su vez a un conjunto B decimos que A est incluido en B o que B incluye a A. Simblicamente escribimos: A B.

En este ejemplo, claro est que puede haber en el conjunto B figuras que no sean cuadradas. En este sentido decimos que la inclusin de A en B es estricta, porque todo elemento de A est en B pero existen elementos de B que no estn en A. Un caso particular de la inclusin es cuando todo elemento de A est en B (A B) pero no existen en B elementos que no estn en A. Es decir que tambin se cumple que B est incluido en A (B A). En este caso se tiene la igualdad entre los conjuntos A y B (A = B). 68) Considerar el conjunto H = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16} y la siguiente red S

S
Colocar carteles de modo en S resulte S6 = {0, 2, 4, 6, 8, 10, 11, 12, 13, 14, 15, 16}

49

69) Escribir una implicacin verdadera para los elementos del conjunto S6 en relacin a los atributos referidos en los carteles. 70) Para las siguientes expresiones, identificar las proposiciones que la componen y escribir la forma proposicional correspondiente (Si las expresiones son enunciados condicionales, identificar antecedente y consecuente, y expresarlas en la forma si... entonces...)
El cndor o la nieve parecan inmviles (Pablo Neruda) Para poder morir basta con haber nacido Como sigas con esa actitud vas a terminar rompiendo algo Estudi pero no aprob Cuando se tiene imaginacin, la muerte es demasiado (Sonja Kowalewski) Los animales, como las plantas, son seres vivos Iremos al cine si dan Los increbles. Si estas dos estudiantes tienen la misma direccin deben vivir juntas. Quien a hierro mata, a hierro muere. Si hoy es lunes, maana es martes. Cuando Randolph Carter cumpli los treinta aos perdi la llave de la puerta

de los sueos (Lovecraft)

De haber tomado medidas en su momento no se hubieran propagado los

incendios forestales
Bajo condiciones de sequa, viento y temperaturas extremas se esperan grandes

fuegos en los pastizales de estepa

Si lo sabe, cante (Roberto Galn)

50

Condiciones necesarias y suficientes

En primer lugar analizaremos separadamente qu significa que una condicin sea necesaria para la validez de otra o que sea suficiente.

Consideremos los siguientes ejemplos:

Es suficiente que un nmero sea mltiplo de 8 para que sea divisible por 2. Es suficiente nacer en Argentina para ser sudamericano. Es suficiente cargar 70 litros de nafta para llegar desde Bariloche hasta El Bolsn (aprox. 120 km).

Es suficiente fotosintetizar para ser vegetal.

71) Qu significado tiene que una condicin sea suficiente para que se cumpla otra? 72) Reconocer el antecedente y el consecuente y escribirlos como una implicacin. 73) Enunciar algunos condicionales donde el antecedente sea una condicin suficiente para que ocurra el consecuente. Escribirlos en lenguaje coloquial y como una implicacin.

Consideremos ahora los siguientes ejemplos:

Para ser investigador de Conicet es necesario haber alcanzado el grado de doctor.

Es necesario ser mayor de edad para emitir un voto electoral. Es necesario ser mamfero para ser ballena. Es necesario estar inscripto en la carrera de Biologa (Licenciatura o Profesorado) para cursar Biologa General como alumno regular.

74) Qu significado tiene que una condicin sea necesaria para que se cumpla otra? 75) Reconocer el antecedente y el consecuente y escribirlos como una implicacin. 51

76) Enunciar algunos condicionales donde est involucrada una condicin necesaria entre el antecedente y el consecuente. Escribirlos en lenguaje coloquial y como una implicacin. 77) Siempre una condicin suficiente es necesaria?. Mostrar ejemplos 78) Siempre una condicin necesaria es suficiente? . Mostrar ejemplos

79) Analicemos el siguiente ejemplo: Para ser socio de este club es necesario y suficiente ser suizo El club, es Suiza?. Por qu? 80) Considera la afirmacin Para ser un tringulo es necesario y suficiente tener tres lados Qu significado tiene que una condicin sea necesaria y suficiente para que se cumpla otra? 81) Enunciar algunos condicionales donde estn involucradas condiciones necesarias y suficientes. 82) Veamos ahora un ejemplo dentro la geometra. Consideremos el conjunto de todos los cuadrilteros y las siguientes definiciones Definicin: Un paralelogramo es un cuadriltero que tiene sus lados opuestos paralelos. Definicin: Un rectngulo es un paralelogramo que tiene sus ngulos rectos. Definicin: Un cuadrado es un rectngulo que tiene sus lados congruentes

un rectngulo es un paralelogramo? un paralelogramo es un rectngulo? un cuadrado es un paralelogramo? un rectngulo es un cuadrado? Enumerar el conjunto de condiciones necesarias para ser cuadrado. Si para representar un paralelogramo hubiramos dibujado un rectngulo, hubiera estado bien?

52

Si para representar un rectngulo hubiramos dibujado un cuadrado, hubiera estado bien?

Y si para representar un cuadrado dibujramos un rectngulo, estara bien? por qu?

Podemos decir que para que una figura sea un cuadrado son necesarias las condiciones que se requieren para ser paralelogramo, pero no suficientes, porque adems, la figura debe tener, sus ngulos rectos y deben ser sus lados congruentes. Entonces s tenemos un cuadrado. Estas condiciones ahora son necesarias y suficientes. 83) Si definimos el rectngulo de la siguiente manera: Un rectngulo es un paralelogramo que tiene un ngulo recto.

Es correcto? Por qu? (responder en trminos de condiciones necesarias y suficientes)

84) Si definimos el cuadrado de la siguiente manera: Un cuadrado es un rectngulo que tiene un par de lados consecutivos congruentes.

Es correcto? Por qu? (responder en trminos de condiciones necesarias y suficientes)

85) Representar usando diagramas de Venn los conjuntos de cuadrados, rectngulos y paralelogramos. Analizando estas estructuras de condiciones necesarias y suficientes podemos afirmar que dada una implicacin p q, nos dice que es suficiente que p sea verdadero para que lo sea q, o en otras palabras, p es condicin suficiente para q. Si siempre que ocurre p ocurre q, es necesario que ocurra q para que ocurra p. Las expresiones Si p entonces q Todo p es q pq p es condicin suficiente para q q es condicin necesaria para p son equivalentes 53

Por ejemplo:
Si un animal es una ballena, entonces es un mamfero Toda ballena es mamfero

Ser ballena implica ser mamfero Ser ballena es suficiente para ser mamfero Ser mamfero es necesario para ser ballena

86) Enunciar una proposicin condicional verdadera y escribirla de las cinco formas propuestas en el recuadro. 87) Enunciar una proposicin condicional verdadera en la que se utilice el

cuantificador todo y escribirla de las cinco formas propuestas en el recuadro.

Dada una afirmacin p q, se denomina recproca a la afirmacin q p

Algo ms sobre el valor de verdad de las implicaciones.

Prestemos atencin a un aspecto importante de la implicacin. Si bien la nica implicacin falsa es V F, ciertamente representa real inters slo el razonamiento vlido V V. Consideremos entonces una implicacin V V. Como dijimos, p q nos dice que es suficiente que p sea verdadero para que lo sea q y lo que es lo mismo, que es
necesario que q sea verdadero para que lo sea p. Es decir, que la verdad de p

garantiza la verdad de q. Sin embargo, no es cierto en general, que en este caso, la verdad de q garantice la verdad de p. Volviendo al ejemplo del permiso de conducir, tenemos que, si la conjuncin de las condiciones enunciadas es verdadera (tener 18 aos cumplidos presentar certificados de salud psicofsica saber manejar pagar una prima de 35$ aprobar un examen de manejo en la municipalidad local ) esto garantiza la obtencin del permiso de conducir. Pensemos en algunos ejemplos de lo que puede ocurrir. Dado 54

que la ley no se cumple a rajatabla el hecho de que alguien haya obtenido el permiso de conducir, garantiza que haya cumplido con todos estos requisitos?.
afirmacin recproca q p.

Es decir, si

tenemos una implicacin verdadera p q, no necesariamente es verdadera la

88) Pensar otros ejemplo de implicaciones p q cuyas afirmaciones recprocas q p sean falsas Desde el punto de vista conjuntista, vimos que la implicacin p q se corresponde con la inclusin de conjuntos A B, donde A y B son los conjuntos inducidos en el referencial por las proposiciones p y q respectivamente. Tambin vimos que esta inclusin no garantiza que todos los elementos de B estn en A. Estos son los elementos que hacen que q sea verdadera y p falsa, es decir, hacen falsa la afirmacin q p.

La doble implicacin

Recordemos la afirmacin para poder morir basta con haber nacido 89) Pensemos de nuevo el ejemplo del permiso de conducir, pero ahora suponiendo que se cumpla la ley a rajatabla, sera verdadero el recproco de la implicacin? Por qu?

Cuando una condicin es necesaria y suficiente para que se cumpla otra, se dice que son equivalentes. La notacin es p q, que se lee p si y solo si q

p s y slo s q es equivalente a decir que p implica q y que a la vez q implica p, a lo

cual se denomina doble implicacin. En smbolos:

pq

equivale a

pq

qp

55

El valor de verdad de la doble implicacin

90)

Estudiar el valor de vedad de la doble implicacin p q en relacin a los valores de verdad de las proposiciones p y q.

En un sentido general e intuitivo y sin pretender dar una definicin, diremos que entre dos proposiciones p y q hay equivalencia si cada una se deduce de la otra, o sea, si ambas significan lo mismo. Sin embargo, hay una equivalencia formal (de forma) entre las proposiciones p: 1+1 = 0 y q: todos los perros son azules ya que como son ambas falsas, la doble implicacin es verdadera. Pero, desde el punto de vista de su contenido, es imposible deducir una de la otra, y en este sentido no son equivalentes. Interesan a la matemtica aquellas dobles implicaciones donde sean posibles estas deducciones, y por lo tanto el sentido de la doble implicacin es precisamente la equivalencia entre conceptos.
La doble implicacin como una relacin entre conjuntos

La doble implicacin

se corresponde con una doble inclusin

entre

conjuntos: A B y B A. Es decir,

todo elemento de A pertenece a B y todo

elemento de B pertenece a A, por lo tanto A y B tienen los mismos elementos, A = B.

Algo ms sobre cuantificadores

Sean p y q dos proposiciones. La afirmacin Todo p es q significa que todo elemento que posee la propiedad p, posee, consecuentemente la propiedad q. Por ejemplo: Todo cuadrado es un paralelogramo Todo nmero divisible por 6 es par

En trminos de conjuntos, significa que el conjunto de elementos que cumplen la propiedad p, est incluido (es un subconjunto) del conjunto de elementos que cumplen la propiedad q. 56

En el segundo ejemplo, si U es el conjunto referencial de los nmeros naturales, A es el conjunto de los mltiplos de 6 y B es el conjunto de los nmeros pares, tendremos grficamente: U B A elementos que verifican q elementos que verifican p

91) En cada una de las siguientes expresiones proponer ejemplos que hagan verdadera la afirmacin. Luego, interpretarlos en trminos de conjuntos algn p es q Ejemplo: algn nmero par es nmero primo. Existe un nmero par que es primo (el 2) El conjunto de los nmeros pares y el de los nmeros primos tiene una interseccin no vaca. ningn p es q todo p no es q algn p no es q

92) Analizar el significado de las siguientes afirmaciones. Proponer ejemplos e interpretar la afirmacin en trminos de conjuntos. ( significa no implica) Si todo p es q algn p es q. Si algn p es q todo p es q Algn p no es q ningn p es q ningn p es q todo p no es q

57

Algunos ejemplos de aplicacin

A modo de resumen de todo lo visto, daremos a continuacin dos secuencias de actividades donde interviene el razonamiento lgico en el sentido en que lo hemos analizado en las pginas precedentes, cuyos campo de aplicacin estn fuera de la matemtica.
La lgica y las reglas ortogrficas de acentuacin

Consideremos las siguientes definiciones y reglas ortogrficas del lenguaje castellano, donde no tendremos en consideracin las excepciones (que siempre existen) a las mismas:
Definiciones: Acento: es la mayor intensidad con que se pronuncia una slaba en la pronunciacin de

una palabra.
Acento prosdico: Es el acento que se pronuncia pero no se escribe. Por ejemplo la

palabra tuberculosis tiene acento prosdico en la cuarta slaba

Acento grfico o tilde: Es el acento que se pronuncia y se escribe. Por ejemplo la

palabra espritu tiene tilde en la segunda slaba

Palabras agudas: Son las palabras acentuadas en la ltima slaba (camin, carril) Palabras graves: Son las palabras acentuadas en la penltima slaba (cabeza, revlver) Palabras esdrjulas: Son las palabras acentuadas en la antepenltima slaba o

anteriores (matemtica, ltimamente) Reglas : Palabras que llevan acento grfico o tilde
Regla 1: Las palabras agudas terminadas en n, s o vocal llevan tilde Regla 2: Las palabras graves no terminadas en n, s, o vocal llevan tilde Regla 3: Las palabras esdrjulas siempre llevan tilde sea cual fuera su terminacin

Consideremos ahora los siguientes conjuntos: A el conjunto formado por las palabras con tilde B el conjunto formado por las palabras sin tilde 58

C el conjunto formado por las palabras agudas D el conjunto formado por las palabras graves E el conjunto formado por las palabras esdrjulas F el conjunto formado por las palabras terminadas en n, s o vocal 1) a) Disear un diagrama que muestre la relacin entre los conjuntos A, B, C, D y E b) Ubicar en ese grfico las palabras man y dosel c) Qu reglas cumplen los elementos de B C? Escribirlo haciendo uso de un conectivo lgico y dar un ejemplo. 2) Qu reglas cumplen los elementos de D F? Escribirlo haciendo uso de un conectivo lgico y dar un ejemplo. 3) Consideremos las proposiciones A, B, C, D, E, y F que son verdaderas para los elementos de A, B, C, D, E, y F respectivamente. Por ejemplo, la proposicin A: x es
una palabra con tilde es verdadera si x A. Escribir con palabras las proposiciones

a) DF

b) EF

c) EF

4) a)Escribir una nueva proposicin en este contexto tal que ningn elemento la haga verdadera. b) Mencionar dentro de este contexto todos los casos posibles (a partir de las proposiciones A hasta F) donde tiene sentido conectar las proposiciones con el o excluyente. 5) a) Construir una red lgica donde en la terminal S haya palabras con tilde y sin tilde, y se verifique la implicacin: Si la palabra tiene tilde entonces es aguda b) Qu palabras estn en la terminal complementaria S segn la red propuesta? c) Qu relacin entre conjuntos induce esta implicacin? 5) Escribir ejemplos de proposiciones (simples o compuestas) dentro de este contexto que satisfagan las afirmaciones siguientes: a) ............................ es condicin necesaria (no suficiente) para ............................ b) ............................ es condicin suficiente (no necesaria) para ............................ c) ............................ es condicin suficiente y necesaria para .................................

59

6)Responder si estas afirmaciones son verdaderas o falsas y justificar adecuadamente a) Existen palabras graves sin tilde b) Ninguna palabra esdrjula tiene tilde c) Existen palabras con tilde que no terminan en n, s o vocal d) Toda palabra aguda tiene tilde 7) Escribir con uso de cuantificadores las negaciones de las afirmaciones del inciso 6) 8) Completar a) AC ..... b) CDA .....

La lgica y las plantas

Consideremos slo los siguientes argumentos, sin tener en cuenta las excepciones:
Angiospermas: plantas con flores y semillas. Pueden ser leosas (arbustos o rboles) o herbceas. Monocotiledneas: Plantas angiospermas que se caracterizan por tener un solo cotiledn.

Toda angiosperma que no es monocotilednea, es dicotilednea. En general podemos considerar sin tener en cuenta las excepciones, que toda planta monocotiledneas corresponde a especies herbceas, con tallos huecos, hojas alargadas, flores dispuestas en espigas y frutos en cpsula. Muchas especies herbceas no son monocotiledneas, por ejemplo, crucferas. las

Tambin en general, las especies leosas son dicotiledneas, aunque muchas dicotiledneas no son leosas, por ejemplo algunas hierbas.
Gramneas: Plantas monocotiledneas que tienen tallos cilndricos, flores dispuestas en espigas y frutos secos cubiertos por las escamas de la flor. Heliothis zea: (Isoca del maz ) es una plaga propia del maz, muy difundida que, en su estado de larva, se alimenta de los estigmas o barbas y granos del choclo. Phylophylla heraclei L. (mosca del apio) es una plaga propia del apio Brachycerus algirus (gorgojo del ajo) es una plaga propia del ajo

El apio es una hierba dicotilednea

Rhopalosiphum padi es una plaga propia de la avena

La avena, la alfalfa, el trigo y el maz son gramneas El ajo es una herbcea monocotilednea (no gramnea)
Sirex noctilio es una avispa que parasita la madera de los pinos

60

Consideremos ahora los siguientes conjuntos, teniendo en cuenta todas las especies de plantas angiospermas como conjunto referencial: A el conjunto de las plantas herbceas B el conjunto de las plantas leosas C el conjunto de las gramneas D el conjunto de todas las especies que padecen el ataque de parsitos propios E el conjunto de las monocotiledneas

1) a) Disear un diagrama que muestre la relacin entre los conjuntos A, B, C, D y E b) Ubicar en ese grfico las especies que padecen el ataque de Heliothis zea,
Phylophylla heraclei, Brachycerus algirus , Rhopalosiphum padi y Sirex noctilio

c) Sombrear en el grfico, dnde estn ubicadas las plantas dicotiledneas c) Qu reglas caractersticas tienen los elementos de C D? Escribirlo haciendo uso de un conectivo lgico y dar un ejemplo. 2) Analizar si las siguientes afirmaciones son verdaderas o falsas y justificar: a) El maz es una planta monocotilednea b) Las plantas herbceas son gramneas c) Las plantas monocotiledneas poseen flores en espiga d) Todas las plantas gramneas poseen hojas alargadas e) Existen gramneas no herbceas f) Toda gramnea atacada por Heliothis zea es monocotilednea g) Toda planta angiosperma es gramnea h) Las plantas leosas son dicotilednea i) Toda planta dicotilednea es leosa j) Existen gramneas dicotiledneas k) Ninguna planta herbcea es dicotilednea

3) Consideremos las proposiciones A, B, C, D, E, y F que son verdaderas para los elementos de A, B, C, D, E, y F respectivamente. Por ejemplo, la proposicin A: x es
una planta herbcea es verdadera si x A.

a) A partir de estas proposiciones simples, escribir proposiciones compuestas con los conectivos , y que sean verdaderas en este contexto.

61

b) Escribir algunas implicaciones posibles (de la forma: Si...entonces...) que pueden efectuarse en relacin a las proposiciones A, B, C, D, E y F. c) En todos los casos esa implicacin representa una inclusin?. Mostrar ejemplos d) Completar ............................ es condicin necesaria (no suficiente) para ............................ ............................ es condicin suficiente (no necesaria) para ............................ ............................ es condicin suficiente y necesaria para .................................

4) Considerar las afirmaciones de la primera columna de la tabla siguiente. Sin tener en cuenta el valor de verdad de las mismas, determinar si la afirmacin de la segunda columna es al la negacin la proposicin de la primera.
p

p Toda gramnea es leosa Toda planta leosa es atacada por una plaga propia. Toda planta con espigas es monocotilednea Existen plantas herbceas que no son leosas La avena no es una gramnea f) Todas las plantas angiospermas tienen tallos no huecos

Si- No

a) Ninguna gramnea es leosa b) Algunas plantas leosas no son atacadas por plagas propias c) Existen monocotiledneas que poseen espigas d) Las plantas herbceas no son leosas e) La avena es una gramnea f) Algunas plantas angiospermas tienen tallos huecos

5) Escribir en la lnea punteada, la negacin de la siguiente frase

p: Cualquier gramnea es una planta herbcea

p: ....................................................

62

La demostracin en matemtica

En matemtica, frente a una afirmacin se puede hacer una y slo una de dos cosas:
demostrar que es vlida mostrar un contraejemplo, esto es, mostrar un ejemplo que demuestre su

falsedad

Sin abundar en muchos detalles, daremos una idea de lo que significa demostrar en matemtica [10].

Diremos que demostrar es inferir la veracidad de una proposicin a partir de la veracidad de una proposicin dada, siguiendo una sucesin coherente de pasos. Con esto queremos decir que pretendemos evidenciar que una determinada proposicin (el consecuente) es verdadera, sabiendo que son verdaderas las proposiciones de las cuales se desprende (el antecedente)

Claro est que no se puede demostrar todo,

por ese motivo se establecen

axiomas. Los axiomas son afirmaciones muy simples y elementales que se suponen

verdaderas. No se demuestran, se proponen como vlidos, y a partir de ellos se construye una determinada teora matemtica. Los axiomas vlidos para una teora pueden no ser vlidos para otra.

En matemtica una proposicin es verdadera si es un axioma o si se puede demostrar a partir de ellos. Un teorema es una afirmacin que puede ser demostrada como verdadera dentro de un marco lgico. Los teoremas constan de tres partes: hiptesis, tesis y demostracin.

la hiptesis es la conjuncin de premisas, es lo que se supone vlido la tesis es la conclusin, lo que se debe deducir a partir de las hiptesis, y la demostracin es la deduccin de la validez de la tesis a partir de la validez de las premisas 63

La conexin lgica entre la hiptesis y la tesis se denomina implicacin. Hiptesis Tesis H T

que leemos: H implica T, y es equivalente a decir Si H, entonces T. Esto es, T se deduce de H. Los datos que se nos presentan en la o las hiptesis tienen que ser los suficientes para llegar a buen trmino con la tesis. Esto quiere decir que si las hiptesis son estas, necesariamente se cumple la tesis. Que nosotros no encontremos el camino para

demostrarlo es otra historia. Una afirmacin matemtica que se cree verdadera pero no ha sido demostrada se denomina conjetura. Por ejemplo, la conjetura de Goldbach que es uno de los problemas abiertos ms antiguos en matemticas. Su enunciado es el siguiente: Todo nmero par mayor que 2 puede escribirse como suma de dos nmeros
primos.

Los siguientes son ejemplos de teoremas: Teorema: (Teorema de Pitgoras) En todo tringulo rectngulo, la suma de los

cuadrados de las longitudes de los catetos es igual al cuadrado de la longitud de la hipotenusa. Teorema: Todo nmero entero distinto de 0, 1 y -1 puede escribirse como producto de factores primos.

93) Identificar en cada caso hiptesis y tesis y escribir los teoremas como una implicacin.
Para mostrar que una afirmacin es falsa, basta con mostrar un ejemplo donde la afirmacin no se cumple. Para demostrar que una afirmacin es verdadera, es necesario deducir su verdad de la verdad de las premisas, y ese es el trabajo de los matemticos.

94) Considerar las siguientes afirmaciones y demostrar que es vlida o mostrar su falsedad segn corresponda: * Todo mltiplo de 3 es nmero primo * Si A B y B C entonces A C

64

Agradecimientos

Deseamos agradecer al Dr. Claudio Padra por la cuidadosa lectura del manuscrito de este trabajo y por sus valiosos aportes y comentarios.

Bibliografa

[1] Enciclopedia Libre Wikipedia http://es.wikipedia.org/ [2] Montoro, V. (1997) Elementos de lgica proposicional. Cuaderno Universitario N 25. Centro Regional Universitario Bariloche. Universidad Nacional del Comahue. [3] Barreiro de Nudler, T. y Nudler O. (1973) Elementos de lgica simblica. Ed. Kapeluz. Buenos Aires. [4] Snchez Graillet, L. (2005) Qu saben de lgica los que no saben lgica? Reflexiones sobre el aprendizaje -muy- informal de una lgica -muy- informal Taller de Didctica de la Lgica 2005, Mxico, disponible en http://minerva.filosoficas.unam.mx/~Tdl/052/1006SanchezGraillet.ppt. [5] Garca Zrate O. A. (2005), Conceptos de Lgica, disponible en http://sisbib.unmsm.edu.pe/bibvirtualdata/libros/Filosofia/intro_logica/ [6] Fonseca Yerena, M del S. (1999) El uso del lenguaje escrito en las universidades: Evolucin o deterioro?, en Transferencia 12(45). [7] Jessop, N.M. Biosfera: los seres vivos y su ambiente. Ediciones Omega, Barcelona [8] Palacios A.R, Cerdeyra L.E. y Giordano E.H (1985) La lgica va a la escuela. Juegos con redes lgicas. Ediciones del 80. La Plata [9] de Guzmn, M. (1997) Del lenguaje cotidiano al lenguaje matemtico. Epsilon 38: 19-36. [10] de Torres Curth, M. y Montoro, V. (1994). Teora de Matrices. Aplicaciones a la Biologa. Cuaderno Universitario N 21. CRUB. Universidad Nacional del Comahue.

65

66

CUADERNOS UNIVERSITARIOS

CRUB

ISSN 0325-6308

01 Nudler, Oscar: Introduccin al problema de la fundamentacin de la Aritmtica. Setiembre 1974 02 Buch, Toms: Los carbones. Noviembre 1974 03 Buch, Toms: Uniones qumicas: La teora electrnica de la valencia. Diciembre 1974 04 Barreiro, Telma: Etica, individuo y sociedad. Febrero 1975 05 Hernndez, Enrique: Positivismo y cientificismo en la Argentina. Diciembre 1975 06 Porta de Bressan, Ana Mara: Sistemas y Bases de numeracin. Algunas propiedades numricas en distintas bases. Febrero 1976 07 Sanchez y Juli, Enrique: Sociedad indgena y conquista del desierto. Norpatagonia. Etnohistoria. Abril 1976 08 Guala, Jorge y Bastianciq, Angel: Las cantidades y sus medidas. Abril 1977 09 Daleo, Gustavo Ral: Mecanismos moleculares en memoria y aprendizaje. Agosto 1977 10 Bressan, Ana y de la Cruz, Monserrat: Piaget y la enseanza del tiempo en nuestra escuela. Noviembre 1977 11 de la Cruz, Monserrat; Telma Barreiro y , Ana M.Sorocinschi: Una experiencia del perfeccionamiento docente universitario centrada en el factor humano y la dinmica grupal. Octubre 1982 12 Barreiro, Telma: Escuela, aprendizaje y afectividad. Marzo 1983 13 Lopardo, Gabriel: Socioecologa del mono aullador negro Alquatta caraya: un diseo para investigacin. Noviembre 1984 14 Grigera, Dora y Sigfrido Rubulis: Aves de la cuenca del Ro Manso Superior (Prov. de Ro Negro). Abril 1985 15 Grigera, Dora; Claudio Romero y Adriana Ramassotto:Los problemas ambientales de Bariloche: su deteccin por medio de una encuesta a un sector de la comunidad. Enero 1986 16 El ADN: su descubrimiento, organizacin y manipulacin. Conferencia dada por el Dr. James Watson en el Centro Regional Universitario Bariloche, Universidad Nacional del Comahue. Julio 1986 17 Panorama actual de la Acuicultura en la Argentina. Primera Reunin Argentina de Acuicultura, Bariloche, 19 al 24 de abril de 1987. Secretara de Investigacin, CRUB - UNC. Abril 1987 18 Bianchi, Elena: Estudio Ecolgico de la Pampa de Huenuleo (San Carlos de Bariloche, Prov. Ro Negro) Parte 1: Geomorfologa. Octubre 1987 19 de la Cruz, Monserrat y M. Susana Lolich: Confrontacin cultural y fracaso escolar. 1987 20 Ferraris, Cristina: Orientacin en el plano y en el espacio. 1993 21 de Torres Curth, Mnica y V. Montoro: Teora de Matrices, aplicacin a la Biologa. 1993 22 Sieriz, Liliana: Mtodos y heursticas de resolucin de problemas. 1994 23 Ferraris, Cristina: Construcciones con regla y comps. 1995 24 Bello, M. Teresa; Marcelo F. Alonso y Miguel de Lourdes Baiz: Rendimiento en peso de los ejemplares de tamao comercial del pejerrey patagnico. Agosto 1996

67

25 Montoro, Virginia: Elementos de lgica proposicional. 1997 26 Ferraris, Cristina y Virginia Montoro: Los primos de Fermat y otros parientes aritmticos (taller). 1997 27 Ferraris, Cristina: Una definicin geomtrica de ngulos. Ordenamiento - suma - aplicacin a retaciones. 1997 28 Ferraris, Cristina: Espacios vectoriales y transformaciones lineales. 1997 29 Baiz, Miguel de Lourdes y M. Teresa Bello: Desplazamientos de Oncorhynchus mykiss (Walb.) y de Salmo trutta L.(Pisces, Salmonidae) en el Lago Nahuel Huapi. Dic. 1997 30 Crivelli, Ernesto: Aportes para el conocimiento del comportamiento hdrico de la cuenca del Ro Manso Superior. Mayo 1998 31 Riestra, Dora: La reenseanza de la escritura como problema multidisciplinario. Sep.1998 32 de Torres Curth, Mnica: Clculo diferencial: Teora y aplicaciones. Dic.1998 33 Montoro, Virginia: La teora de conjuntos. Una mirada histrica y epistemolgica. 1999 34 Santinelli, Raquel: Los nmeros reales. Racionales e irracionales. Una mirada histrica y epistemolgica. 1999 35 Di Pasquale, Cristina: Modelos matemticos en poblaciones dinmicas. Dic.99 36 de Torres Curth, Mnica: El concepto de lmite, una mirada histrico epistemolgica. 2000 37 Montoro, Virginia y Juan, Mara Teresa: Nmeros complejos. 2000 38 Montoro, Virginia: Anillo de Polinomios. 2000 39 Biscayart, Carolina y Ferrero, Marta: Particularidades sobre la estructura algebraica de mdulo, 2000. 40 Crivelli, Ernesto: Clculo del nivel del Lago Nahuel Huapi a partir de datos meteorolgicos del Aeropuerto Bariloche, 2000. 41 Di Pasquale, C. y Biscayart, C.: Un camino a la optimizacin ; La programacin dinmica, 2001. 42 Grigera Dora y Palacio, M.: La percepcin de los problemas ambientales de las ciudades de S. C. de Bariloche y de Neuqun por parte de un sector social de su poblacin, 2002. 43 Bello, Mara Teresa: Los peces autctonos de la Patagonia Argentina. Distribucin natural, 2002. 44 Nez , Martn y Quintero, Carolina: Qu hacer con las especies exticas invasoras? . Problemtica y tcnicas de manejo. Algunos ejemplos de especies exticas en la Patagonia argentina, 2002. 45 Ferraris, Cristina: Siempre hay un espacio para un problema, 2002. 46 Montoro, Virginia y Juan, Mara Teresa: Introduccin a la teora de grafos, 2003. 47 Ferraris, Cristina y Ferrero, Martha: Geometra para armar, 2003. 48 Sieriz, Liliana y Santinelli, Raquel: Transformaciones rgidas con Cabri Gomtre II: una aproximacin a la teora axiomtica, 2003.

68