You are on page 1of 68

ISSN – 0325 – 6308

CUADERNOS UNIVERSITARIOS
Universidad Nacional del Comahue
Centro Regional Universitario Bariloche

N° 49 – Agosto de 2006

LÓGICA INFORMAL
Mónica de Torres Curth, Carolina Biscayart y Ana María Fernández

Editor Responsable: Secretaría de Investigación 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

2

Resumen:

Este trabajo, dirigido a un público no matemático, es una aproximación a la lógica a través de un análisis 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 lógico formal. Intentamos usar este hecho como punto de partida para la formalización de algunos conceptos que dan las bases para la estructura del razonamiento lógico formal.

3

4 .

................................................................................ 41 El valor de verdad de la implicación .......................... 39 Algunos ejercicios relativos A los conectivos “∧” y “∨” y la negación............................... 30 Valor de verdad de una conjunción .................................................................................................................................................................................................................................................................................................................................................................. 40 La implicación ................ 65 Bibliografía............... 18 Los cuantificadores en el lenguaje coloquial................................ 24 La negación .................................................................. 60 La demostración en matemática ............................................................................................... 9 Usos de la palabra “lógica” en el lenguaje coloquial ................................. 58 La lógica y las plantas ...................................................................................................................................................................................................................................................................................... 51 Algo más sobre el valor de verdad de las implicaciones............................... 17 Cuantificadores.................................................................................Índice Introducción.................................... 45 La implicación como una relación entre conjuntos .................................................................... 56 La doble implicación como una relación entre conjuntos .. 48 Condiciones necesarias y suficientes....................................... 58 La lógica y las reglas ortográficas de acentuación ....................................................................... 9 Proposiciones....................... 32 El conectivo “∨” ........... 36 La conjunción y la disyunción en el lenguaje coloquial............................... 27 La negación en el lenguaje coloquial ..................................................................................................... 27 La negación de proposiciones categóricas ....................................... 63 Agradecimientos..... 34 Valor de verdad de una disyunción ..................................... 35 El “o” excluyente................................................... 56 Algunos ejemplos de aplicación ................................................................................. 15 Las proposiciones y los conjuntos ............. 55 El valor de verdad de la doble implicación ................................................................................................................................................................................................ 22 Operadores lógicos .................................................................................... 30 El conectivo “∧” ................................................................ 54 La doble implicación .............................................................................. 20 El valor de verdad de las proposiciones categóricas ............................................................................ 34 La disyunción como una operación entre conjuntos ........... 32 La conjunción como una operación entre conjuntos ......................................................................................................................................... 37 Resumen de las relaciones entre operadores lógicos y conjuntos ............................................................................................................................................................. 26 Valor de verdad de la negación ........................................................................................................................ 29 Los conectivos .................................................................................................................. 43 La implicación en el lenguaje coloquial .................................................................................................. 65 5 ................................... 56 Algo más sobre cuantificadores................................... 8 ¿Qué saben de lógica los que no saben lógica? ..................................................................................................................................................................................................................................... 26 La negación como relación entre conjuntos: .................................................................................................................... 22 Una breve digresión acerca de la verdad en las ciencias....................................................................................... 6 Lógica formal y Lógica informal....................................................

es un depuración y. o nuestra intencionalidad. objetividad y universalidad. iguales expresiones pueden cambiar de significado según las circunstancias. Más aún. Una misma palabra puede ser usada con humor. 5. Usamos el lenguaje para transmitir sentimientos o ideas que no pueden expresarse con exactitud. en algún sentido. En la matemática predomina el uso de un lenguaje formal que se distancia. ironía. del lenguaje cotidiano. Cada ciencia posee su jerga y su lenguaje propio. los objetos de los que se ocupan suelen ser naturales. En muchas ciencias. nuestro interlocutor. Podemos ser breves y aún así ser entendidos. el lenguaje científico.61 Introducción El lenguaje cotidiano tiene una gran riqueza porque ofrece la posibilidad de ser usado analógicamente.. El lenguaje científico es un lenguaje carente de ambigüedad. Sus enunciados no 6 . Es por eso especialmente cuidadoso con el orden expositivo y la coherencia interna de lo expuesto. los límites del mundo son también sus límites. Ludwig Wittgenstein Tractatus Logico-Philosophicus. en mayor grado que en otras ciencias. observables a simple vista o por medio de instrumentos.. Esta flexibilidad del lenguaje cotidiano. de un alto nivel de corrección y una marcada sencillez sintáctica. un empobrecimiento del lenguaje ordinario. es la que permite construir expresiones de gran belleza como un poema. Cuando hablamos hacemos uso de metáforas. ternura. El lenguaje utilizado para la comunicación en las ciencias. de símbolos.La lógica llena el mundo. Tenemos códigos de comunicación que nos permiten sobreentender cosas que no están dichas. rabia. de sinónimos y podemos abundar en matices.

y clarificar las diferencias. Nos proponemos un análisis de los razonamientos básicos de la matemática y de sus “aparentes pares” en el la forma de pensar de todos los días. En este trabajo hablamos de matemática. 7 . La matemática trabaja con objetos ideales que son creados por el hombre. en aras de facilitar el recorrido hacia la comprensión. reside en el uso de símbolos sin distinción de los objetos que representan y en la naturaleza abstracta de esos objetos. en razonamientos válidos que permiten inferir con rigurosidad una verdad de la validez de otras.están sometidos a la opinión pero admiten cierto grado de interpretación. Así como hay un lenguaje matemático. Desde el lenguaje cotidiano hasta el que utilizan los profesionales matemáticos en la comunicación de sus resultados hay infinidad de grises. que existen en su mente. regido por reglas y sintaxis propias. presentan aparentes similitudes con esta forma de pensar. que es la forma de pensar de la matemática. hay diferencias radicales. la comunicación sea más sencilla. Sus formulaciones suelen ser muy concisas en cuanto a la forma. que muchas veces se convierten en obstáculos “invisibles” en el aprendizaje. El lenguaje matemático puede ser considerado un “idioma”. La matemática se basa en procesos deductivos. y hablamos de lógica. ya que dispone de un sistema de escritura complejo. Otra característica de este lenguaje. pero pone en juego la comprensión de aquellas personas que se aproximan a la esta ciencia. también hay una “forma de pensar matemática” . para explotar sus similitudes. Esta cualidad de “forma compacta” hace que. Tanto el pensamiento como el lenguaje cotidiano. El lenguaje matemático formal debería ser la culminación de un proceso de construcción personal que permita separarse paulatinamente del lenguaje cotidiano. desde el punto de vista del experto que conoce “el idioma matemático”. aunque en el fondo.

se interpreta como pensamiento o razonamiento. los periódicos o libros de texto). y el siglo I a. Estamos usando (con permiso) este término que fue acuñado por una querida profesora de la Universidad Nacional del Comahue. en la época contemporánea. La “lógica informal” existe como rama de la lógica.c. Se basa en razonamientos correctos e intenta llegar a niveles superiores de razonamiento.c. investigada principalmente por la retórica. En este trabajo se encontrarán actividades que aparentemente poco tienen que ver con la matemática (como por ejemplo un análisis de varios fragmentos tomados de la literatura. La lógica matemática o simbólica está inmersa dentro del campo de la lógica formal [1]. al referirse a algunas demostraciones “informales” en geometría. No estamos usando el nombre de “informal” en el sentido que hemos descripto. la lógica formal se refiere al estudio de argumentos racionales en forma estrictamente esquematizada y organizada. ha tenido como finalidad una búsqueda de la verdad por lo que se ha dedicado a clasificar los razonamientos en correctos y falaces. y nació como el estudio metódico de los argumentos (Aristóteles la llamaba “el arte de la argumentación correcta y verdadera”). nuestro trabajo es más bien un estudio de una lógica “sin corbata”1. puede el lector consultar el texto “Elementos de lógica proposicional” [2] de esta misma serie o el libro “Elementos de lógica simbólica” [3]. Así. pero que aportan elementos de reflexión acerca de lo que significa el pensamiento lógico deductivo. A diferencia de la anterior. 1 8 . sino que pretendemos señalar algunas diferencias entre el razonamiento propio de la matemática y el razonamiento cotidiano. sin embargo. Tradicionalmente esta lógica parte de la base de que el pensamiento humano es muchas veces falaz. especializándose en la identificación de falacias y paradojas.Lógica formal y Lógica informal El término lógica deriva del griego clásico logos el cual significaba palabra o lo que se habla. Hemos denominado a este trabajo “Lógica Informal”. entre el siglo V a. Este trabajo no es entonces un apunte de lógica formal ni de lógica informal. Para una aproximación más formal al estudio de esta disciplina. y en este sentido. Cristina Ferraris. la oratoria y la filosofía. propio de la matemática. La lógica se remonta a la antigua China. así como en la construcción correcta de los razonamientos. India y Grecia.

por tanto. Ayudar al estudiante a “pensar mejor” primordialmente supone: 1) Hacerle ver la necesidad de discutir y resolver problemas de manera argumentada. parece un error suponer que la tarea de un curso de lógica sea “enseñar a pensar”. razonamiento. que decide brindar cobertura a un hecho 9 . busca abrir las puertas en este sentido. por primera vez en su vida. orientarlos para pensar mejor. Los estudiantes ya saben pensar (y cosas muy interesantes). En un sentido. En particular. adjetivo o adverbio adquiere diversos sentidos. precisamente. Darles herramientas para un mejor análisis del pensamiento de los otros. presentes tanto en su propio discurso como en el de los otros [4]. y en las ciencias. forma o modo de pensar o razonar. y una mejor articulación del propio. todos practicamos cotidianamente algún tipo de lógica. Este cuadernillo. entonces es falso que un estudiante que por vez primera se enfrenta a un curso de lógica. vaya a aprender. de uno u otro tipo. Si lo anterior es cierto. Dondequiera que hay necesidad de realizar inferencias hay lógica.¿Qué saben de lógica los que no saben lógica? Todos los seres humanos tenemos necesidad de hacer inferencias. para referirse al modo de pensar de la prensa de nuestro medio. el término “lógica”. de modo de intentar una reflexión acerca de las diferencias entre el pensamiento y razonamiento cotidianos. más bien. Usos de la palabra “lógica” en el lenguaje coloquial Como primera actividad proponemos la lectura de un texto [5] acerca de los distintos usos y acepciones de la palabra “lógica” en el lenguaje coloquial. lógica y racional. simplemente. a realizar inferencias lógicas. La tarea del profesor de lógica es. Inmerso en el lenguaje coloquial. la palabra “lógica” adquiere el sentido de estructura de razonamiento. en su uso como sustantivo. se trata siempre de “falsos principiantes”. Empleado como sustantivo en el lenguaje cotidiano. Así se habla de “la lógica del escándalo”. o. y crear la disposición a seguir vías racionales y 2) Ayudarle a detectar los modos inadecuados de inferencia y argumentación.

Asimismo. Además.Chirstie. en otro contexto. por ejemplo. en este sentido. pasa a significar. buen sentido. sistemático y coherente. aunque en este caso. Poirot en Egipto). 10 . y así se dice: “es lógico que el anciano reaccione de la siguiente manera si le robaste las manzanas” (M. pues todo orden. tal vez. por ejemplo. 10). También suele usarse para significar algo “obvio” o “evidente”: “no podía haber más que un solo significado lógico tras las palabras de Luisa Bourget” (A. de Vasconcelos. con este término se hace referencia al carácter coherente que algo posee. por definición. por ejemplo. Se hace uso del sustantivo “lógica”. como en el texto siguiente: “como consecuencia lógica de su buena actuación en las tablas. también 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. en otros casos. comenzó a trabajar en el cine” (M. p. el uso del término sea redundante.a creer que la lógica de sus acciones estaba desequilibrada” (G. razón o actitud racional. Así. coherencia o sentido. En su uso como adjetivo. Suele también significar. Hamlet). que “felizmente prevaleció la lógica”. y así se dice. así podemos leer: “Aunque todo es mentira. en el sentido de previsible. Asimismo. se emplea el término “lógica” como sinónimo de sentido común. Madame Bovary). sistemático y coherente. es riguroso. Paján. cuando se afirma. ese es el sentido que toma en el siguiente texto: “Me he visto obligado dijo .en función del escándalo que éste genere. es decir. la palabra “lógica” pasa a significar “natural”. no deja de tener lógica todo lo que dice” (Shakespeare. En otras ocasiones. de un determinado funcionario que “lo más lógico sería que deje su cargo mientras goza de cierta aprobación”. cuando se dice que algo tiene un orden lógico se hace referencia a aquello que tiene un orden riguroso. Mi planta de naranja lima). El empleo de la palabra “lógico” también sirve para caracterizar una actitud como “razonable” o “sensata”. Grandes estrellas del cine). hace referencia a un hecho o acción que se esperaba sucediese como consecuencia necesaria de un evento determinado. “necesario”. se dice que “los ingenieros hidráulicos participantes en el proyecto propusieron soluciones lógicas al problema” (El Comercio. 03-08-02. Flaubert.

pero todos sabemos que es posible. “incoherente” e “inverosímil” cuando toma la forma de adjetivo. Había preparado. lógicamente. 18-08-02. “absurdo”. el término “lógica” se convierte en “lógicamente”. adjetivo o adverbio) es usado el término “lógica” e indicar su significado en los siguientes textos: a) “En esos encuentros imaginarios había analizado diferentes posibilidades. a fuerza de atolondramiento y timidez. por ejemplo. me doy cuenta de que el mal está empezando. Polarollo.22). algunas variantes que eran lógicas. El Túnel) b) “Yo. “Lheureux quedó estupefacto. era algo ilógico para él lo que le estaba pasando” (G. De esta forma podemos decir. No es lógico que un amigo íntimo le mande a uno un anónimo insultante. 1) Confeccionar un cuadro o esquema que sintetice los distintos sentidos del término “lógica” (y derivados) en su uso como sustantivo. y no se deshizo con una mano lo que se había hecho con la 11 . adjetivo y adverbio en el lenguaje coloquial. y expresa los mismos sentidos que posee como adjetivo. una causa concreta que lo origine. pero expresando “modo”. Como ejemplos de este uso tenemos: “el alcalde de Miraflores inauguró el viernes una obra inconclusa.En su uso como adverbio. Conozco mi naturaleza y sé que las situaciones imprevistas y repentinas me hacen perder todo sentido. Felizmente prevaleció la lógica. un motivo. pues. que “la decisión fue tomada. después de un detenido análisis”. Poner un ejemplo para cada caso. Madame Bovary).” (G. una evidencia objetiva. No es nada preciso. arrumando ésta en el furgón de cola de otra comisión. Por último. Atado de nervios) c) “Hace poco nos enteramos que en el Congreso se iba a eliminar la Comisión de Cultura. el término “ilógico” es usado como sinónimo de “irracional”. 2) Señalar de qué modo (como sustantivo. aunque suene ilógico” (El Comercio. tampoco una lógica. no hay un síntoma claro. o por lo menos posibles. Flaubert.” (E. p. con sólo mirarla. Sábato.

2208-02.” (El Dominical del diario El Comercio. En busca del gato de Schrödinger) i) “Le escribió: pero la melancolía me invade con gran fuerza.. y cuanto más se normaliza mi salud. Introducción a El Túnel) 12 . Memorias del Subsuelo) h) “No pretendo afirmar que universos como el nuestro se den de manera frecuente. se da cuenta de su desorientación. y mucho menos a una mujer. La Comisión de Cultura todavía existe. pero inmediatamente. y tales universos son impresionantemente grandes” (J. 18-08-02. ante el miedo ilógico de perderla. tanto más demencial me parece que siga fabricando cuadros que nos cuestan tanto y no aportan nada” (H. a tal punto que no les molesta deformar la verdad. si a ello sumamos la ignorancia. no obstante.19) d) “Los resultados estadísticos pueden ser considerados lógicamente válidos. año XV. p.. Frank. tenemos un modelo de atraso social” (Somos. Gribbin.” (S. La lógica de la situación dicta. Sauter. Van Gogh) j) “Aunque ha encontrado a María por casualidad.. simplemente afirmo que la frecuencia esperada no es cero. cierran los ojos y los oídos a todas las pruebas que los contradicen con tal de conservar sus construcciones lógicas” (F.7) f) “En la sierra es lógico que el líder decida todo sin pedir opinión de nadie. Dostoievski. 16-07-02.otra.. 2002) g) “Los hombres adoran los razonamientos abstractos y las sistematizaciones bien elaboradas.” (La Razón. p. de El Comercio.13) e) “La trampa lógica por la cual todo el que se lanza contra Toledo es un amigo de la oposición democrática. p. cuanto más puedo pensar con frialdad y lógica. viene avanzando peligrosamente” (La República. dijo Tryon. Nº 820. atribuye el encuentro a la causalidad de su capacidad lógica. que los observadores siempre se encuentran en universos capaces de generar vida.

es la que nos impide precisar la dirección del tiempo.k) “Un piloto de una aerolínea comercial sostuvo a Correo lo siguiente: ´Si hubo poca visibilidad. Moraleja: si no se peca contra la razón. el de los paulicianos”. Introducción a El Túnel) o) “Una de esas oscuridades. citado por Kouznetsov. Einstein.” (J. Los vertederos de la postmodernidad) m) “No se quiénes tenían que esperar en Jerusalén. encuentran ahí su explicación lógica” (E. o bien no se puede edificar una casa o construir un puente sin emplear un andamiaje que. o unos cabalistas vinculados con los portugueses. pero no es más ilógica que la contraria. Historia de la eternidad) p) “Los conceptos no pueden considerarse jamás como derivados lógicamente de las impresiones de los sentidos. Borges. Eco. pero que constata la degradación de la conciencia humana contra su propia especie” (S. p. Los ´defectos´ a los cuales alude Abbadon el Exterminador. Lo lógico era no continuar con el vuelo´” (Correo. a decir verdad. es inevitable semejante proceder. como finalidad didáctica y también heurística. 12-01-03) l) “El concepto de etnicidad que opera en la novela presupone una relación de causalidad entre los orígenes y el estado actual de los comportamientos sociales. (H.110) Einstein. su 13 . fijada en verso español por Miguel de Unamuno: Nocturno el río de las horas fluye / desde su manantial que es la mañana / eterno. pensamiento. Castillo Durante.Sauter.. el camino más lógico es el de los Balcanes. el comandante de la nave debió regresar y evitar el aterrizaje. pero seguro que para llegar a Jerusalén desde Alemania. Que fluye del pasado hacia el porvenir es la creencia común. quizá un grupo de templarios supervivientes y disfrazados. sus teorías. no se llega generalmente a nada. no la más ardua pero no la menos hermosa. donde esperaba el quinto grupo. no forma parte de ellos” (A..L. Su vida. El péndulo de Foucault) n) “Castell menciona la noticia de una instancia inexplicable lógicamente. 1975. pero.

Cada argumento estaba lógicamente encadenado con el siguiente. la capacidad que refleja más fielmente el orden y la madurez del pensamiento del hombre. porque ella atiende sólo al aspecto estructural de las inferencias sin considerar el contenido significativo de sus proposiciones componentes. conocimientos de una persona a otra. lo que dijo en segundo término fue consecuencia de lo que dijo en primer término.q) El uso del lenguaje para comunicarse por escrito es. esta coordinación adecuada del pensamiento consigo mismo. 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 según se incrementen sus conocimientos debido a los años de estudio o escolaridad [6]. La lógica es una ciencia formal que estudia las técnicas. no la verdad de las afirmaciones que entraron en juego en este caso lo que le interesa a la lógica como ciencia. dio sus explicaciones sin ambigüedad. procedimientos. “El abogado Jorge Oyarzábal defendió su caso con pasión. pensar que los estudiantes a través de su trayectoria educativa deben ir evolucionando o. para discriminar la inferencia “válida” de la “no válida”. mejor dicho. no dejó puntos débiles. métodos y los principios o leyes usados para distinguir la inferencia “correcta” de la “incorrecta”. 14 . Es ciencia formal. reglas. mejorando. Es lógico. no se contradijo. y no su adecuación a la realidad. ¿Diríamos que defendió el caso con un rigor lógico admirable? ¿Significa que dijo siempre la verdad? Es precisamente esta coherencia interna de los argumentos. quizá. además de cumplir la importante función educativa de transmitir en cada mensaje. y toda su construcción de argumentos fue así sólida. entonces.

las preguntas. tiene un sentido en el lenguaje social.) que poseen un sentido. ƒ “Existe un alumno de esta universidad menor de 20 años” es una proposición. 15 . y es verdadera. “If x > 4 then go to 5” tiene un sentido en el lenguaje de programación. etc. ¿Cómo estás Roberto?. ƒ “¿Cómo te llamás?” no es una proposición. Las órdenes. las afirmaciones. La veracidad o falsedad de un enunciado se llama su valor de verdad. más allá de que sea correcto o no. pero nunca las dos cosas simultáneamente. Estas expresiones o enunciados que afirman o niegan. aunque demostrar que lo son pueda ser difícil o imposible.Proposiciones El lenguaje (cotidiano. se llaman proposiciones. ƒ “Todas las aves vuelan”. excluyéndose de ellos toda interpretación filosófica. es una proposición. científico. es una proposición. ƒ “¡Bajá el volumen de esa música!” no es una proposición. 110011 + 10010 = 1000101 tiene un sentido en el lenguaje binario. palabras. ya que pueden ser verdaderas o falsas. En especial. que es verdadera o falsa. de programación u otro) está constituido por expresiones. Por ejemplo: ƒ “8 es un número par”. Por ejemplo “hay vida en otro lugar del universo” o “Dios existe” son proposiciones. y es falsa. tienen un sentido en el lenguaje cotidiano. Las proposiciones pueden ser verdaderas o falsas. Lo que hace que una expresión sea una proposición es precisamente la posibilidad (aunque sea teórica) de asignarle un valor de verdad. Se define como proposición a una oración o enunciado declarativo carente de ambigüedad. Por ejemplo. y es verdadera. que son un conjunto de signos (símbolos. algunas expresiones afirman o niegan cosas. Los términos verdadero o falso se consideran como atributos de una proposición. los saludos.

Decimos que un determinado valor para la variable verifica la proposición p cuando la hace verdadera. por lo que no tiene. y por consiguiente tiene un valor de verdad definido (son verdaderas o falsas). Por ejemplo. un valor de verdad. ƒ La cuchara sirve para. ƒ El sol es cuadrado. ƒ Mi bisabuela se peinó con rodete el 16 de julio de 1899. Una proposición abierta (también llamada función proposicional) es una expresión que contiene una variable. 3) Determinar si las siguientes expresiones son proposiciones y cuáles no lo son. si x adopta el valor 2. que hace que la expresión se convierta en una proposición cerrada. ƒ ¿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 proposición no aparece ninguna variable. Si x adopta el valor 3. un valor de verdad hasta que la variable sea sustituida por un valor determinado. ƒ La mamá sirve postre. la proposición abierta se transforma en la proposición cerrada “3 es un número par” que es falsa.La estructura matemática es precisamente una construcción basada en el enunciado de proposiciones de las cuales de debe probar su verdad o falsedad. esta proposición abierta se transforma en la proposición cerrada “2 es un número par” que es verdadera. Por ejemplo p: “x es un número par” es una proposición abierta pues su valor de verdad depende del valor que adopte el número x. Explicar por qué. adopte a partir de la asignación de un valor fijo a la variable. 16 . es decir. en principio.

podemos distinguir dentro de U un subconjunto de elementos que hacen verdadera a la proposición p (abril. febrero. Es decir. julio. si U tiene por elementos los meses del año y p es la proposición abierta “el mes x tiene 30 días”. una proposición abierta p definirá un subconjunto (eventualmente vacío) de elementos que hacen a la proposición verdadera y otro subconjunto (complemento del anterior) de elementos que hacen a la proposición falsa. junio.Las proposiciones y los conjuntos Dado un conjunto referencial cualquiera U. podemos diferenciar los elementos de U en dos conjuntos disjuntos. I: elementos que verifican tanto p como q IV: elementos que no verifican ni p ni q II: elementos que verifican sólo p U IV A II I III B III: elementos que verifican sólo q Las regiones I y II reúnen a todos los elementos que verifican p y las regiones I y III a todos los que verifican q. agosto. septiembre y noviembre) y un subconjunto de elementos que hacen falsa a la proposición p (enero. octubre y diciembre). marzo. U A elementos que no verifican p elementos que verifican p Por ejemplo. 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. 17 . definiéndose así cuatro regiones. mayo. uno formado por los elementos que verifican a p y otro por los que no la verifican.

q. frío y no consigo un taxi”.. o “ si un número es divisible por 2 y por 3.En adelante usaremos la notación p. etc. . hay varias expresiones que se utilizan indistintamente para la misma forma lógica. como por ejemplo “hace calor y tengo ganas de ir a la playa”. quedando claro su significado en el contexto. 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 • Ningún lugar está lejos • Cualquier múltiplo de 6 puede dividirse por 3 • No hay mamíferos acuáticos • Nadie es perfecto • Las cámaras digitales utilizan baterías Para referirnos a TODO Por ejemplo: Para • Existen hombres daltónicos referirnos a • Unos pancitos tienen queso que EXISTE al menos uno • Algunos mamíferos tienen alas • Hay algunos sitios de acampe donde no se puede hacer fuego 18 . Son aquellas en las que está involucrada una referencia a la totalidad de los elementos de un conjunto (por ejemplo “ todas las plantas son sésiles” ) o a una parte de los elemento de un conjunto (por ejemplo “ existen gramíneas que no son anuales” ) En el lenguaje común. o “5 es un número primo”. para referirnos indistintamente a proposiciones abiertas o cerradas. Las proposiciones pueden separarse en simples (o atómicas) y compuestas. Las proposiciones simples son aquellas que no tienen ninguna otra proposición como parte constituyente. Las proposiciones compuestas son aquellas que están constituidas por dos o más proposiciones simples. es divisible por 6”. Cuantificadores Veamos ahora un tipo particular de proposiciones que se llaman categóricas.. como por ejemplo “llueve”. o “tengo hambre.

19 .12. Puede ser uno.20} ∀ x ∈ A.14. x es par (todo elemento del conjunto A es par) ∃ x ∈ A tal que x es múltiplo de 6 (existe al menos un elemento dentro de A que es múltiplo de 6) La utilización 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. En el lenguaje matemático.6.16. Y es justamente en relación a los elementos de ese conjunto de referencia que la afirmación puede ser verdadera o falsa..18. Por ejemplo.8. la palabra “existe” (o sus equivalentes) en una proposición indica que hay dentro del conjunto al menos un elemento que posee la propiedad. varios. El símbolo que se utiliza para “existe” es ∃ (se lee “existe”). la palabra “todo” (o sus equivalentes) en una proposición indica que cualquier elemento que se elija dentro del conjunto posee la propiedad. consideremos el conjunto de todos los números pares positivos menores o iguales que 20: A = {2. o incluso todos.” o “Existe.4.”..4) Redactar las proposiciones del cuadro en la forma “Todo. El símbolo que se utiliza para “todo” es ∀ (se lee “para todo”). En resumen: En el lenguaje matemático.10. por ejemplo: “Algunos mamíferos tienen alas” se escribirá como “Existe un mamífero que tiene alas” Las expresiones todo y existe se denominan cuantificadores...

” o “Existe.. no significa “muchos”... “Todo” en matemática.” o “Existe.” o “Existe. (¡no es importante si las afirmaciones son verdaderas o falsas!) 6) Proponer algunas proposiciones que incluyan cuantificadores y redactarlas en la forma “Todo. ¿Estamos seguros que no hay sobre el planeta un ser que ignore esta 20 . En el lenguaje común muchas veces se usa la expresión “todo” sin el rigor de precisión que requiere la matemática.5) Dadas las siguientes proposiciones.. Los cuantificadores en el lenguaje coloquial Es importante distinguir el uso de la palabra todo del lenguaje común de su uso en el lenguaje matemático.” Cualquier proposición categórica se puede escribir en la forma “Todo... Hay mamíferos que vuelan..” Ejemplo: Todos los perros son blancos Conjunto de referencia: El conjunto de todos los perros que existen Todo perro es blanco... ni “casi todos” . “todo el mundo sabe que tomar sol sin protector solar es peligroso”. Por ejemplo. Existe un león que ruge Los leones tienen melena ƒ ƒ ƒ Hay gallinas que ponen huevos verdes Ningún metal es líquido 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. sino que ningún elemento del conjunto queda excluido de la propiedad.” Por ejemplo: “Hay mamíferos acuáticos” se escribe como “Existe un mamífero que es acuático”. ƒ ƒ ƒ ƒ Todos los perros son blancos....

casi siempre lo hacen. “cualquier cosa está bien”. por más raro que sea. pero nada ocurre en esta afirmación si justo un 29 de enero son invitados a la casa de los vecinos a almorzar un asado. sería falsa porque el matemático (que no puede con su genio) estaría pensando: “el hecho de que esta señora esté masticando un choripán demuestra que la afirmación en mi familia todos los 29 almorzamos ñoquis es falsa” Asimismo. Por ejemplo. “los ángulos interiores de todos los triángulos suman 180º” hace referencia a que cualquier triángulo. La mayoría de las veces la una afirmación que contiene la palabra todo se refiere a que en la mayoría de los elementos del conjunto al que se hace referencia tienen la propiedad. Si al asado está invitado un matemático. esa familia come ñoquis los 29.premisa?. Puede ser uno. lo cual no es necesariamente cierto en el lenguaje común. tiene un sentido absoluto. en matemática la afirmación existe hace referencia a que hay al menos un elemento en el conjunto que cumple la propiedad. Es decir. o “la mayoría”. ¿Estamos seguros?. Otro ejemplo cotidiano: “¿qué querés comer?”. Por ejemplo la afirmación “en mi familia todos los 29 almorzamos ñoquis” se refiere a que en la medida de lo posible. varios o incluso todos. la totalidad de los elementos del conjunto al que hace referencia la afirmación deben cumplir la propiedad. como para señalar una rareza. En el mismo asado. la misma afirmación “nadie pensará que está diciendo una falsedad” . 21 . En el lenguaje común esto no es así. la señora invitada podría decir “en mi familia todos los 29 almorzamos ñoquis” como un comentario (falso desde el punto de vista matemático) y nadie pensará que está diciendo una falsedad. ¿cualquier cosa? ¡puaj!. En el lenguaje común “existe” se usa como equivalente de “alguno”. En el lenguaje común “todo” se usa muchas veces como equivalente de “muchos” o “casi todos”. en matemática para que una afirmación que contenga la palabra todo sea verdadera. El todo en matemática. tiene la propiedad. que habíamos entendido como una generalidad.

es decir. 22 . Al ser múltiplo de 2 es par. con objetos ideales que son creados por el hombre. etc. puede decirse de ellas que son Verdaderas o Falsas). Para mostrar que esto es cierto. 7) Explicar cómo demostrarías si las afirmaciones del inciso 5) son verdaderas o falsas. porque para que un número sea múltiplo de 6. En algunos casos decir de una proposición que es verdadera o falsa es sencillo. basta con mirar por la ventana para decidir. psicología. Por lo tanto la afirmación es cierta para cualquier múltiplo de 6. a un razonamiento deductivo que nos permita evidenciar que la afirmación es cierta. física. ¿cómo lo sabemos? Basta con mostrar un perro que no sea blanco. química. Una breve digresión acerca de la verdad en las ciencias La división más aceptada entre las ciencias es la de ciencias fácticas y ciencias formales. debe ser a la vez múltiplo de 3 y de 2. La afirmación “Todo número múltiplo de 6 es par” es verdadera. dado que no hay posibilidades de revisar uno por uno todos los múltiplos de 6. ) y sociales (sociología. las proposiciones categóricas (las que contienen cuantificadores) poseen un valor de verdad (es decir. que existen en su mente y son obtenidos por abstracción. ¿Cómo podemos demostrar que una afirmación que tiene un cuantificador es verdadera o falsa? Por ejemplo: La afirmación “Todo los perros son blancos” es falsa.). Las formales trabajan con formas. economía. En este caso es sencillo. Para la proposición “Llueve”. etc. hay que recurrir a una demostración general. Las ciencias fácticas trabajan con objetos reales que ocupan un espacio y un tiempo que a su vez se subdividen en naturales (biología.El valor de verdad de las proposiciones categóricas Como toda proposición. La lógica y la matemática son ciencias formales.

que pueden considerarse como “verdades” se constituyen como un conjunto de leyes y teorías que son aceptadas como tales mientras no exista una observación o experimentación que permita rechazarlas. y permitió implicaciones en la teoría evolucionista [7]. esto no es así.La verdad de las ciencias fácticas es fáctica porque depende de hechos. De esta manera la nueva teoría (que refutaba la anterior) sentó las bases de un nuevo enfoque para el estudio del desarrollo. La demostración es completa y final. las teorías científicas. En las ciencias formales se demuestran las verdades. Las ciencias formales demuestran o prueban. Por ejemplo hasta el año 1759 la teoría de la epigénesis avalaba entre otras. mientras que en las ciencias fácticas se verifican (confirman o refutan) hipótesis. la teoría de la preformación. Wolff propuso el concepto de que los caracteres del nuevo individuo deben desarrollarse a partir del material indiferenciado del espermatozoide y los óvulos. En las otras ciencias. En las ciencias fácticas. En matemática y lógica cuando un teorema ha sido demostrado. Abundan en la historia de las ciencias ejemplos de teorías que se sostuvieron como verdades hasta que se comprobó su falsedad. y es provisoria porque nuevas investigaciones pueden presentar elementos para su refutación. que sólo necesitaban aumentar de tamaño durante el desarrollo embrionario. En ellas prima un proceso inductivo. que será utilizada para sostener las demostraciones de nuevos teoremas que se enuncien con posterioridad. contrariamente a lo sostenido hasta ese momento. 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. de modo que a partir de un cierto número de observaciones o experimentaciones se permite una generalización que se denomina “ley”. Esta verificación es incompleta y temporaria. La verdad de las ciencias formales es necesaria y formal. En 1759 C. 23 . En la matemática y en la lógica hay verdades absolutas: axiomas o teoremas. Esta sostenía que las células sexuales contenían individuos diminutos preformados.F. es una verdad “para siempre”.

tamaño). siguiendo las flechas. Juegos con redes lógicas.g) representa el triángulo negro grande. que llamaremos R. fueron tomados de La lógica va a la escuela.Operadores lógicos Consideremos el siguiente conjunto. de Palacios. En las redes lógicas. color. Consideremos además. que será nuestro conjunto referencial en varios de los ejercicios que propondremos realizar2. es posible hacer circular todos los elementos de un conjunto referencial por sus calles. Cerdeyra y Giordano (1985) [6] 2 24 . tanto como su uso didáctico para el análisis de esta temática. Hay flechas que se acompañan Este conjunto de referencia y la noción de redes lógicas. Así por ejemplo (t.n. un tipo de diagramas de circulación que denominaremos red lógica. Conjunto R Atributos Valores A rayas Color Blanco Negro Circulo Forma Cuadrado Triangulo Convención simbólica a b n o c t Grande tamaño Pequeño g p Indicaremos a los elementos de este conjunto R haciendo referencia al valor que adoptan los tres atributos considerados (forma.

deberán pasar al de abajo y análogamente. y otras que son direcciones obligatorias. donde queda formado otro subconjunto del referencial que llamamos S . los elementos del conjunto de referencia “circulan” respetando las indicaciones de las flechas y los carteles indicadores. hay un cruce de caminos y las flechas indican sólo sentidos de circulación obligatoria. Los carteles indicadores exigen o prohíben el paso de los elementos del conjunto según tengan o no la propiedad que el cartel indica. y la otra. Todos los elementos deberán obligatoriamente “cambiar de carril”. el cartel p indica que todo elemento p del conjunto del referencial que haga verdadera la proposición p deberá tomar obligatoriamente el sentido de circulación que indica la flecha hacia arriba en la bifurcación. Veamos un par de ejemplos: En la figura a la derecha. Los que circulen por el camino de arriba. Cualquier red lógica tiene dos regiones terminales: una donde queda formado un subconjunto S de piezas del referencial que llamamos región terminal. Una vez que los elementos de un conjunto han 25 .por carteles indicadores. Los elementos que no cumplan con la propiedad p deberán tomar obligatoriamente el sentido de circulación que indica la flecha hacia abajo en la bifurcación. En la figura de la derecha. Las direcciones obligatorias (como en la circulación del tránsito en las calles) obligan a la circulación en el sentido que indica la flecha. En toda red lógica. Las redes lógicas son un recurso que facilitará la comprensión de varias formas lógicas. los que circulen por el de abajo deberán cambiar al de arriba. que denominamos región terminal complementaria.

El símbolo de la negación es “∼”.circulado por la red. Explicar por qué... 9) La reunión de los elementos de S y S forma el referencial.. ∼p es la proposición “la 26 . 8) S y S ¿pueden tener elementos en común? Explicar por qué... La negación Consideremos la siguiente red: S a S 10) ¿Qué elementos encontraremos en la región 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...... si p es Verdadera. figura no es un cuadrado” Valor de verdad de la negación El valor de verdad de la negación de una proposición p será opuesto al valor de verdad de la misma... Es decir.... entonces ∼p será Falsa.. y análogamente..... Podemos afirmar que: El conjunto S1 está formado por todos los elementos de R que no son . entonces ∼p será Verdadera. su negación será ∼p Por ejemplo: si p es la proposición “la figura es un cuadrado”.. deberán estar en la región terminal o en la terminal complementaria. Dada una proposición p.. si p es Falsa...

que se ubican en la zona sombreada. se lo denomina complemento de A. la negación se expresa de forma distinta a lo que acabamos de ver.La negación como relación entre conjuntos: Supongamos que el conjunto A es el conjunto de todos los elementos del referencial que cumplen con la proposición p. sino que decimos “a las focas no les crece el pelo”. Por ejemplo. no decimos “no a las focas 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 frío ƒ No hace frío 27 . ∼p R A p Al conjunto de los elementos del referencial que no pertenecen a A. Podemos representar esto utilizando diagramas de Venn. y se anota A . La negación en el lenguaje coloquial Hay que tener en cuenta que de acuerdo a las normas sintácticas propias del lenguaje ordinario. En el gráfico quedan fuera de A todos los elementos del conjunto referencial que no cumplen con esta propiedad.

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 expresión siguiente “De ninguna manera iré nunca jamás ni contigo ni con tu padre a Berlín” Construir otra equivalente con negaciones más simples eliminando el énfasis retórico. notemos que en el ejemplo anterior. [8] 14) Considerar “En ninguna oficina de este maldito país. ni en Agosto.y todas aquellas donde una proposición p cualquiera está negada tienen la misma forma lógica ∼p. En este mismo sentido. También ocurre. [9] 28 . podemos decir “este negocio está cerrado”. 11) Discutir las siguientes expresiones del lenguaje usual: ƒ ƒ ƒ No pasa nada No tengo ninguno No hay nadie ¿Se está usando la negación en la forma lógica que vimos? 12) Una de las siguientes frases es un proverbio chino. en el lenguaje coloquial. Por ejemplo. que la palabra “no” no necesariamente aparece explícita. nadie está nunca ni dos horas seguidas en su sitio” Quitar la exageración retórica construyendo una frase equivalente con el mínimo número de negaciones. para negar la proposición “es a rayas” podemos decir “no es a rayas” o “es blanco o negro”. ni en ninguna otra época. en lugar de decir “este negocio no está abierto”.

15) Considerar las siguientes proposiciones y escribir su negación (independientemente de la verdad o falsedad de la afirmación) Proposición: p • Este triángulo es rojo • Hoy no es lunes • Tengo frío • La nafta súper vale 2$ Negación: ∼p .. ................................................................................................................. ... • Todos los egresados de escuelas secundarias del país hacen su viaje de estudios a Bariloche • Hay mamíferos acuáticos • Cualquier miembro de la Asociación Negación: ∼p Argentina de Ecología tiene descuentos en los congresos de la misma............................... 16) Considerar las siguientes proposiciones y escribir su negación (independientemente de la verdad o falsedad de la afirmación) Proposición: p • Existen planetas con agua en el sistema solar • Ningún alumno ingresante a la universidad debe materias de la escuela secundaria....... La negación de proposiciones categóricas Un punto de particular importancia es la negación de proposiciones categóricas (las que incluyen cuantificadores)......................... ......................... 29 ..............

..” o “Existe... “∨” e “⇒”.. Los que estudiaremos en las siguientes secciones son la conjunción “y”.. que se denominan conectivos lógicos..” o “Existe. El conectivo “∧” Consideremos ahora la siguiente red lógica y el conjunto referencial R antes definido. cuyos respectivos símbolos son “∧”. 18) Analizar si son verdaderas o falsas las siguientes afirmaciones y justificar: • La negación de una proposición con el cuantificador “ todo” es una proposición con el cuantificador “existe” • La negación de una proposición con el cuantificador “existe” es una proposición con el cuantificador “todo” Las dos afirmaciones anteriores son verdaderas y ¡son muy importantes! Los conectivos Estudiaremos algunas formas lógicas de relacionar proposiciones.” según corresponda. escribir las proposiciones del cuadro anterior en la forma “Todo.” .. la disyunción “o” y la implicación.17) Dado que toda proposición que posea un cuantificador se puede escribir en la forma “Todo. g n S S 30 .

la figura sigue el sentido de circulación propuesto... deberá tomar la bifurcación hacia abajo.. debe tomar el otro camino... una figura negra debe tomar la bifurcación por la calle de arriba. y .....Cada cartel representa una proposición simple (g: la figura es grande. Podemos afirmar que: El conjunto S2 está formado por todos los elementos de R que son a la vez . 26) ¿Cuáles de los cuadrados negros van a la región terminal complementaria? 27) ¿Hay piezas grandes en la región terminal complementaria? ¿cómo son? Consideremos el conjunto de los elementos que resultan en la terminal S de esta red (que llamaremos S2)...... 22) ¿Cuántos caminos distintos conducen a la región terminal complementaria S ? Proponer ejemplos 23) ¿Por qué no van a la región terminal S todos los triángulos negros? 24) ¿Por qué van a la región terminal S todos los círculos grandes negros? 25) Enunciar qué condiciones deben reunir los elementos de R para llegar a la región terminal complementaria S ....... 21) Enunciar qué condiciones deben reunir los elementos de R para llegar a S...... En esta red.n. Frente a la segunda bifurcación...... Si para un elemento del referencial la proposición es verdadera. y de lo contrario........ está obligada a tomar la bifurcación por la calle de abajo..g) ¿va a S o a S ? ¿y la figura (t... “y” es un conectivo lógico que se denomina conjunción y su símbolo es ” ∧ ” 31 ....n. la figura podrá continuar su camino por arriba sólo si es grande. 19) La figura (t. mientras que si no lo es..p)? 20) ¿Cuántos caminos distintos conducen a la región terminal S? Proponer ejemplos. si es falsa.. n: la figura es negra).

abarca la totalidad de los elementos que se consideran (en este caso. La conjunción como una operación 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. En todos los otros casos p ∧ q será falsa. y la notamos como A ∩ B. es posible asignarle un valor de verdad (es decir. deberán cumplirse p y q simultáneamente.Valor de verdad de una conjunción Una conjunción de dos proposiciones simples es una proposición compuesta y por lo tanto. Denominamos a esta región la intersección de A y B. 32 . Podemos representar gráficamente estos conjuntos mediante un diagrama de Venn: R A B II I III IV En esta representación R. Son los únicos elementos del referencial para los cuales la proposición compuesta n ∧ g es verdadera. el conjunto referencial o universo. las 18 figuras del conjunto original). en la región I (sombreada en el gráfico) se encuentran los elementos que pertenecen a A y también pertenecen a B. es decir aquellos elementos que son parte a la vez de ambos conjuntos y que cumplen simultáneamente las proposiciones n y g. de esta proposición es posible decir si es verdadera o falsa). es decir deberán ser verdaderas tanto p como q. Cada círculo en el gráfico engloba los elementos de los conjuntos A y B. Para que una afirmación de la forma p ∧ q (donde p y q son dos proposiciones cualesquiera) sea verdadera. De acuerdo a esta representación.

La intersección de dos conjuntos es la reunión de los elementos comunes de ambos conjuntos. III y IV. 30) ¿Qué elementos se encontrarán en la región II? 31) ¿Qué elementos se encontrarán en la región III? 32) ¿Qué elementos se encontrarán en la región IV? 33) Proponer otro par de conjuntos del referencial R y describir las características generales de los elementos que se ubican en cada una de las 4 regiones del diagrama de Venn. suponiendo que el referencial sean las personas argentinas. encontraremos en la intersección 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. Otro ejemplo: si un conjunto reúne a las mujeres argentinas y otro conjunto reúne a los docentes argentinos. 33 . 28) Cuáles de las figuras de nuestro referencial R debemos ubicar en la intersección de A y B. 37) Explicar qué elementos se encuentran en las regiones II. 29) Enunciar la propiedad compuesta que cumplen los elementos de A ∩ B utilizando el conectivo lógico ∧. 36) Hacer un diagrama de Venn para los conjuntos de este ejemplo.

El conectivo “∨” A continuación proponemos otra red lógica: b S t S Hacer circular todas las piezas del referencial R por estas calles de esta red.. “o” es un conectivo.... 38) ¿Qué camino recorre la figura (t..... Podemos afirmar que: El conjunto S3 está formado por todos los elementos de R que son ... 34 . ¿Cuáles son?.. ¿y (c.p)?. ¿Por qué? Llamemos S3 al conjunto de los elementos que resultan en la terminal S de esta red...a. o . de esta proposición es posible decir si es verdadera o falsa)....n.. su símbolo es “ ∨ ” Valor de verdad de una disyunción Una disyunción de dos proposiciones simples es una proposición compuesta y por lo tanto....... es posible también asignarle un valor de verdad (es decir. ¿y (t. Será falsa sólo si son falsas ambas proposiciones simultáneamente.g)? 39) ¿Hay piezas blancas en la región terminal?.. es decir deberán ser verdaderas al menos o p o q.... deberán cumplirse p.. Para que una afirmación de la forma p ∨ q (donde p y q son dos proposiciones cualesquiera) sea verdadera... siguiendo los nuevos carteles indicadores... o ambas... q.....b.g)?....

La disyunción como una operación 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 triángulo. La unión de dos conjuntos es la reunión de los elementos comunes y los no comunes de ambos conjuntos. 40) Si representamos gráficamente estos conjuntos mediante un diagrama de Venn (ver figura). ¿ qué podemos afirmar de esa figura? 35 . 43) Si una figura no es triángulo pero está en A ∪ B. 41) Cuáles de las figuras de nuestro referencial R debemos ubicar en la unión de A y B. II. 42) Enunciar la propiedad compuesta que cumplen los elementos de A ∪ B utilizando el conectivo lógico ∨. III y IV? R A B II I III IV Si sombreamos en el diagrama las regiones donde se ubican las figuras que en la red aparecen en S3. ¿qué propiedades que reúnen las figuras que se ubican en las regiones I. veremos que están ubicadas en las regiones marcadas como I. que se nota como A ∪ B. A la zona sombreada la denominamos la unión de A y B. II y III.

Hay otro conectivo. Pudo pasar que: José trajo algo para tomar. qué región quedará sombreada para este caso. se admite que se cumpla una propiedad. que es el “o excluyente”. para que la disyunción sea verdadera. Será falsa si no vino ni en auto ni en avión (si lo hizo en bici o a caballo o no vino) y no es posible la opción de que Carlos haya venido en las dos cosas a la vez. La notación simbólica 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 serán verdaderas. es el que se denomina “o” (o también “o inclusivo”) donde. la otra o ambas. 47) ¿Cómo podría expresarse esto utilizando notación conjuntista? En general. Pedro trajo algo para comer y Lucía trajo las dos cosas. la proposición compuesta “Carlos vino de Neuquén en auto o en avión” tiene un conectivo “o excluyente” entre las dos proposiciones simples. pero no ambas para que la disyunción sea verdadera. dadas dos condiciones puede darse una o la otra. Idear una red lógica que lleve a la proposición compuesta “es triángulo ∨ es pequeño”. En los tres casos la afirmación inicial es verdadera. 46) Analizar en la representación gráfica de conjuntos de Venn. 36 . si se concretó en auto también. 45) Para el referencial R. Por ejemplo. en el cual. Por ejemplo supongamos que decimos “para la fiesta la los invitados trajeron algo para tomar o para comer”.El “o” excluyente El caso que hemos analizado. y salvo aclaración usaremos el “o inclusivo”. Si el viaje se concretó en avión estamos dentro de la verdad de la afirmación. Sólo harán falsa la afirmación (y excluidos de nuestras sonrisas) aquellos invitados que hayan que no hayan traído ni bebida ni comida. considerar las proposiciones: “es triángulo” y “ es pequeño”.

en el lenguaje coloquial. Por ejemplo. aunque tengan la forma p ∧ q se encuentra implícito un orden. la proposición es verdadera. es correcto decir “3 es menor o igual que 5”? y ¿es correcto decir “5 es menor o igual que 5”? 37 . Vimos que una afirmación de la forma p ∨ q es verdadera siempre que sea verdadera al menos una de las dos proposiciones. pero si digo “Iré y lo haré” o “Lo haré e iré”. Por ejemplo. supongamos que te llamás Gabriel. Como vimos. En cuanto a la disyunción en el lenguaje coloquial.La conjunción y la disyunción en el lenguaje coloquial Vamos a señalar algunos aspectos relativos al uso de la conjunción y la disyunción en el lenguaje coloquial. 49) ¿ En el lenguaje matemático. Sabemos que los elementos de A ∩ B son los mismos elementos que los de B ∩ A. el significado es el mismo. hay un significado diferente debido a que en estas dos últimas expresiones. decir que un número es par y múltiplo de cinco es lo mismo que decir que un número es múltiplo de cinco y par. es interesante ver que en la mayoría de los casos su uso se restringe casi exclusivamente al “o excluyente”. 48) Pensar ejemplos del lenguaje común donde la conjunción no cambie de significado con el cambio de orden y ejemplos en los que sí. en el lenguaje matemático. pero en el lenguaje coloquial esto puede sonar hasta ridículo. Desde el punto de vista de la estructura lógica de la afirmación. es decir. pero en el lenguaje cotidiano es no querer decir cómo te llamás. ¿Qué te parecería presentarte del siguiente modo? “me llamo Pedro o Gabriel”. Por lo tanto. el orden en que se expresan las proposiciones muchas veces nos lleva a distintos significados. Sin embargo. Ambas conjunciones llevan al subconjunto de números enteros terminados en cero. si digo “yo llevo agua caliente y yerba” o si digo “yo llevo yerba y agua caliente”. la conjunción p ∧ q y la conjunción q ∧ p son equivalentes. Por ejemplo. la conjunción de proposiciones está relacionada con la intersección de conjuntos. la intersección de conjuntos posee la propiedad conmutativa.

50) Si a mi pregunta sobre cuándo se marcha. ¿qué tengo que pensar de mi amigo? 51) ¿Cómo te suena en el lenguaje ordinario la expresión “5 es mayor que 7 o Bariloche tiene más de 5000 habitantes”? ¿Si se trata de lenguaje matemático te parece que es verdadera o falsa? 52) En una librería aparece escrito “Nuestros clientes en posesión de constancia de estudiante regular o empleado de la universidad tendrán derecho al 15% de descuento”. Por ejemplo. Saldremos por la tarde e iremos al cine o al parque de diversiones”. Su forma proposicional es: p∧ q 38 . respectivamente p ∧ q y p ∨ q. Las formas proposicionales que resultan de conectar dos proposiciones por los conectivos lógicos “y” y “o” son. ¿Quiénes obtienen el descuento?. mi amigo me responde “el sábado o el domingo” y después me entero de que ese mismo día tenía en su bolsillo su billete para el sábado. está compuesta de dos proposiciones: p: “Malena canta el tango” y q: “Malena pone en cada verso su corazón”. El padre le dice “No. la expresión: Malena canta el tango y en cada verso pone su corazón. simples o compuestas. 53) Una nena le pide a su papá que la lleve el domingo a la mañana al parque de diversiones y a la tarde al cine. ¿Qué pudo hacer la nena el domingo? ¿Tiene este “o” el mismo significado que en el ejercicio anterior? Llamaremos forma proposicional a la expresión simbólica de las proposiciones.

p es Verdadera x∈A A B A U U B p es Falsa (∼p es Verdadera) x ∉ A (x ∈ A ) A U B q es Verdadera x∈B A U B q es Falsa (∼q es Verdadera) x ∉ B (x ∈ B ) p ∧ q es Verdadera A U B x∈A∩B A U B p ∧ q es Falsa x ∉ A ∩ B (x ∈ A ∩ B ) A U B p ∨ q es Verdadera x∈A∪B A U B p ∨ q es Falsa x ∉ A ∪ B (x ∈ A ∪ B ) 39 . A al conjunto de los elementos de U que hacen verdadera la proposición p y B al conjunto de los elementos de U que hacen verdadera la proposición q.Resumen de las relaciones entre operadores lógicos y conjuntos Llamemos U a un conjunto referencial.

6. 13. 1. 56) Considerar M el conjunto formado por los meses del año. 9. 5. 3. agosto. 10. 2. 15. agosto. 8. 7. 11. 4. abril.54) Completar las dos primeras columnas de la tabla siguiente como en el cuadro resumen A B U A B U 55) a) Escribir como una disyunción la negación de p ∧ q b) Escribir como una conjunción la negación de p ∨ q c) Cómo pueden escribirse los incisos anteriores en términos de unión e intersección de conjuntos Algunos ejercicios relativos A los conectivos “∧” y “∨” y la negación. 12. octubre}? • Cuál sería la red lógica que agrupa en S a los elementos: {enero. 16} y las siguientes proposiciones: p es la propiedad “es un número par” q es la propiedad “es un número de una cifra” r es la propiedad “es un número divisible por 3” • Escribir el enunciado y los conjuntos resultantes para las siguientes situaciones: p ∧q p∨ q p∧ q ∧ r q ∧ ∼r 40 . 14. • Cuál sería la red lógica que agrupa en S a los elementos: {enero. octubre}? 57) Considerar el conjunto T = {0.

el clima es la variación de la situación del tiempo en un período largo de tiempo. 1) reconocer las proposiciones que la componen y 2) reconocer los conectivos involucrados escribiéndolas en forma proposicional (teniendo en cuenta que ciertos términos del lenguaje cotidiano. 41 . ƒ ƒ José escucha la música suave o tiene la puerta cerrada Juan se asoma por la ventanilla pero no asoma los brazos. entonces ocurre alguna otra cosa. Dice que si se cumple cierta condición. ƒ ƒ ƒ ƒ ƒ ƒ ƒ Platón y Aristóteles eran filósofos griegos Yo hablo castellano e inglés Hace mucho calor pero igual vengo a Matemática 1 2< 3<4 El electrón está cargado positivamente y nieva en Pekín Me pongo zapatillas o sandalias El tiempo atmosférico es la situación de la atmósfera en un momento particular.58) Para cada una de las siguientes expresiones. pueden traducirse como conectivos). Una proposición condicional enuncia una condición. 59) ¿Necesitan ser verdaderas las proposiciones para estar escritas en forma proposicional? La implicación En los razonamientos intervienen frecuentemente proposiciones condicionales.

entonces es divisible por 2 El antecedente es p: “el número x es divisible por 6” El consecuente es q: “el número x es divisible por 2” Si el número x es divisible por 6. Si Si p entonces q (proposición) el consecuente el consecuente (proposición) entonces implica se deduce el antecedente del antecedente En símbolos. se trata de una estructura de la forma Si (ocurre) p entonces (ocurre) q En una forma condicional hay pues. se escribe p ⇒ q (y se lee p implica q) Si el número x es divisible por 6. una proposición (simple o compuesta) que denominaremos “antecedente” que es aquella que prosigue a la palabra “Si” (antecede a la palabra entonces) y una proposición (simple o compuesta) que denominaremos “consecuente” que es la que prosigue a la palabra “entonces”. implica que el número x es divisible por 2 Si p entonces q 42 .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 proposición condicional.

en relación a la verdad o falsedad de las proposiciones p y q. de modo que tenemos la forma lógica: p (apruebo el examen) ⇒ q (te presto el apunte) Nos interesa conocer la verdad o falsedad de la implicación. 43 .Ejemplo: • La implicación: “Si llueve. entonces las calles están mojadas” La implicación tiene la forma p ⇒ q donde p : “llueve” y q : “las calles están mojadas” El valor de verdad de la implicación El valor de verdad de una implicación es una función de los valores de verdad del antecedente y del consecuente. Hay cuatro posibles implicaciones (en relación a los valores de verdad de p y q): • • • • una proposición verdadera implica una proposición verdadera una proposición verdadera implica una proposición falsa una proposición falsa implica una proposición verdadera una proposición falsa implica una proposición falsa V⇒V V⇒F F⇒V F⇒F Veamos un ejemplo: Consideremos la siguiente implicación Si apruebo el examen entonces te presto el apunte La implicación está compuesta de las proposiciones p y q.

la implicación es verdadera. Analicemos el ejemplo “Si llueve. quedo liberado del compromiso y. y podemos asociar la verdad de la implicación al cumplimiento del compromiso. Con respecto a la última afirmación del recuadro anterior. Si p es verdadera y q es falsa. que la lluvia sea la única causa (condición necesaria) para que una calle se moje. F ⇒ V no llueve y las calles están mojadas). el compromiso no se cumple y es falsa la implicación (V ⇒ F) Una implicación es falsa únicamente cuando el consecuente falso (V ⇒ F). (V ⇒ V llueve entonces las calles están mojadas. Es evidente que si p es F (es decir si no apruebo el examen). es decir si apruebo el examen y no presto el apunte. 44 . entonces las calles están mojadas” Es evidente que la lluvia es condición suficiente para que una calle esté mojada. sería falso que lloviera y las calles no estuvieran mojadas (V ⇒ F) Ello no quiere decir. preste o no el apunte. antecedente es verdadero y el En los demás casos (V ⇒ V. es decir son verdaderas F ⇒ V (no apruebo y aún así presto el apunte) y F ⇒ F (no apruebo y no presto el apunte).El enunciado puede pensarse como un compromiso condicionado por p (aprobar el examen). la implicación es verdadera. esto es así porque en una implicación la relación que se establece entre antecedente y consecuente es suficiente pero puede no ser necesaria. Volveremos sobre esta cuestión un poco más adelante. Si p es V (apruebo) y q es V (presto el apunte) el compromiso se cumple. F ⇒ V y F ⇒ F) es verdadera. Si es verdad que la lluvia es condición suficiente para que una calle se moje.

lo cual es falso (falsedad registrada en el acervo popular con la continuación del dicho. carentes de sentido desde el punto de vista de su sentido. Volveremos sobre esto más adelante. ya que a la matemática le interesa no sólo la forma del razonamiento sino también su contenido. es decir. El valor de verdad de la implicación tiene un sentido más amplio en la lógica que en la matemática. Por una parte. no siempre en el lenguaje coloquial las expresiones condicionales se escriben en la forma lógica p ⇒ q. la “implicación” en su uso cotidiano no se refiere a la relación condicional entre dos afirmaciones sino al valor de verdad necesario de la segunda afirmación como consecuencia de la validez de la primera. en ocasiones. y se denominan Teoremas. Hay varios aspectos interesantes para señalar en relación a las implicaciones en el lenguaje coloquial. La implicación en el lenguaje coloquial Una implicación establece una relación condicional entre dos proposiciones. describiendo una relación de causa-efecto entre dos afirmaciones. y tiene sentido sólo en la lógica formal. Estas afirmaciones matemática. que la existencia un asado “está condicionada” la existencia de humo. tanto en el lenguaje coloquial como en el lenguaje matemático. se usan implicaciones falsas desde el punto de vista matemático. es decir. En este sentido. Por ejemplo. en rigor. 45 . como verdaderas. Como forma. verdadera. la expresión popular “donde hay humo hay asado” (se trataría de la implicación “si hay humo entonces hay asado”) se considera como una implicación verdadera. aunque a nadie le interesa. Por otra. que puede no ser verdadero en rigor desde el punto de vista del razonamiento lógico o matemático.Es interesante mencionar que existen. “dijo un loco e iba corriendo un tren”) Otra particularidad del uso de la implicación en el lenguaje coloquial proviene del uso de la palabra “implicación” en su uso como “repercusión”. implicaciones verdaderas V ⇒ V. la implicación V ⇒ V es válida. desde el punto de vista formal. que interesan a la son las que construyen el “edificio matemático”. Por ejemplo la implicación “ si 2+2 = 4 entonces el 9 de julio es el día de la independencia argentina” es.

“Para cargo gerencial se busca Licenciado en Ciencias Económicas. con posibilidades de radicarse en la ciudad de Neuquén”. 60) Reconocer la proposición (simple o compuesta) que forman el antecedente y el consecuente. casado. 46 .. a) Para el primer aviso. el siguiente aviso publicado en el diario (es un diario de mentira en el país del Nunca Jamás): “Becas de ayuda económica para estudiantes del interior. Consideremos el siguiente ejemplo publicado en un diario. entonces. cuyos padres no superen en conjunto un ingreso de 1500 $ en concepto de salarios y constituyan un grupo familiar de más de 5 personas” 62) Cuestiones para pensar en relación a estos dos avisos.. 61) Escribir en la forma Si .. entre otras. estas dos personas pretenden el trabajo: Juan Gómez...” utilizando los conectivos que necesites. menor de 40 años. podría radicarse en Neuquen. Licenciado en Ciencias Económicas. de 43 años de edad con amplia experiencia en empresas del ramo.. La Provincia de Río Negro beneficiará con becas de ayuda económica a estudiantes egresados de colegios secundarios de la provincia que se inscriban en carreras de más de dos años de duración en Universidades Nacionales. para el caso en que las implicaciones sean verdaderas. y escribí el aviso en un enunciado de la forma “si. entonces.Concentremos la atención en aquellas implicaciones que aparecen “ocultas” en el lenguaje coloquial. con referencias comprobables de al menos dos empresas en el ramo.

(Supongamos que no hay acomodo) b) Para el segundo aviso: ƒ Proponer ejemplos hipotéticos de estudiantes que pueden obtener la beca y de estudiantes que no podrían. qué sabemos de ella? 63) Escribir en la forma Si . ƒ Juan Gómez ¿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.. entonces . Explicar. qué sabemos de ella? Si a Rosa González no le dieron la beca. de 33 años de edad. Para obtener el permiso de conducir.. residente en Neuquen. ¿qué sabemos de él?.. Licenciado en Ciencias Económicas y Analista de Sistemas..Pablo Ramos. presenta seis cartas de recomendación de empresas en el ramo. ƒ ƒ Si a Marcela García le dieron la beca. debés cumplimentar los siguientes requisitos: a) tener 18 años cumplidos b) presentar certificados de salud psicofísica 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 .

.. 64) ¿Qué figuras hay en S? 65) Tanto en S como en S hay triángulos. ¿Qué características particulares tienen los triángulos que están en S y los que están en S ? Llamemos S4 al conjunto de los elementos que resultan el la terminal S de esta red.......La implicación como una relación entre conjuntos Consideremos ahora la siguiente red: S a ∼g S Hacer circular por esta red todas las piezas de R...... entonces es a rayas”....... ƒ Sabemos que una pieza de la terminal S es cuadrada . ¿cuáles? 48 ........................ sabemos algo sobre su color? ƒ En la terminal complementaria ¿puede haber cuadrados?....... Podemos afirmar que: “Si un elemento de S4 es grande ........ A este conjunto lo llamaremos S5......... Reflexionemos un poco sobre este ejemplo: ƒ Sabemos que una pieza de la terminal S es a rayas..” 66) Con el mismo referencial armar una red lógica donde los elementos de la región terminal S hagan verdadera la implicación siguiente: “si es cuadrado........ sabemos algo sobre su forma?...

13. 8. 6. 16} 49 . Un caso particular de la inclusión es cuando todo elemento de A está en B (A ⊂ B) pero no existen en B elementos que no estén en A. porque todo elemento de A está en B pero existen elementos de B que no están en A. 2. 10. 3. En este ejemplo. 11. 9. 15. 11. 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. 67) Idear un diagrama de conjuntos para los elementos de S5 que permita ver la relación entre el conjunto A y el conjunto B recién definidos. En este sentido decimos que la inclusión de A en B es estricta. 1.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. En este caso se tiene la igualdad entre los conjuntos A y B (A = B). 12. 8. 68) Considerar el conjunto H = {0. 5. 4. 10. 2. Simbólicamente escribimos: A ⊂ B. 4. 6. claro está que puede haber en el conjunto B figuras que no sean cuadradas. 15. 13. Es decir que también se cumple que B está incluido en A (B ⊂ A). 14. 14. 7. 12. 16} y la siguiente red S S Colocar carteles de modo en S resulte S6 = {0.

a hierro muere. mañana es martes.. ƒ Cuando Randolph Carter cumplió los treinta años perdió la llave de la puerta de los sueños (Lovecraft) ƒ De haber tomado medidas en su momento no se hubieran propagado los incendios forestales ƒ Bajo condiciones de sequía.. cante (Roberto Galán) 50 . 70) Para las siguientes expresiones.”¨) ƒ El cóndor o la nieve parecían inmóviles (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 imaginación. identificar antecedente y consecuente. son seres vivos ƒ Iremos al cine si dan “Los increíbles”. ƒ Si hoy es lunes. ƒ Quien a hierro mata. viento y temperaturas extremas se esperan grandes fuegos en los pastizales de estepa ƒ Si lo sabe..69) Escribir una implicación verdadera para los elementos del conjunto S6 en relación a los atributos referidos en los carteles. entonces. ƒ Si estas dos estudiantes tienen la misma dirección deben vivir juntas. como las plantas. y expresarlas en la forma “si. identificar las proposiciones que la componen y escribir la forma proposicional correspondiente (Si las expresiones son enunciados condicionales. la muerte es demasiado (Sonja Kowalewski) ƒ Los animales..

Escribirlos en lenguaje coloquial y como una implicación. ƒ Es suficiente fotosintetizar para ser vegetal. Es necesario estar inscripto en la carrera de Biología (Licenciatura o Profesorado) para cursar Biología General como alumno regular. Es suficiente nacer en Argentina para ser sudamericano. Es necesario ser mamífero para ser ballena. Consideremos los siguientes ejemplos: ƒ ƒ ƒ Es suficiente que un número sea múltiplo de 8 para que sea divisible por 2. 71) ¿Qué significado tiene que una condición sea suficiente para que se cumpla otra? 72) Reconocer el antecedente y el consecuente y escribirlos como una implicación. Es suficiente cargar 70 litros de nafta para llegar desde Bariloche hasta El Bolsón (aprox.Condiciones necesarias y suficientes En primer lugar analizaremos separadamente qué significa que una condición sea necesaria para la validez de otra o que sea suficiente. 74) ¿Qué significado tiene que una condición sea necesaria para que se cumpla otra? 75) Reconocer el antecedente y el consecuente y escribirlos como una implicación. 73) Enunciar algunos condicionales donde el antecedente sea una condición suficiente para que ocurra el consecuente. 120 km). ƒ ƒ ƒ Es necesario ser mayor de edad para emitir un voto electoral. Consideremos ahora los siguientes ejemplos: ƒ Para ser investigador de Conicet es necesario haber alcanzado el grado de doctor. 51 .

82) Veamos ahora un ejemplo dentro la geometría.76) Enunciar algunos condicionales donde esté involucrada una condición necesaria entre el antecedente y el consecuente. Mostrar ejemplos 78) ¿Siempre una condición necesaria es suficiente? . ¿Por qué? 80) Considera la afirmación “Para ser un triángulo es necesario y suficiente tener tres lados” ¿Qué significado tiene que una condición sea necesaria y suficiente para que se cumpla otra? 81) Enunciar algunos condicionales donde estén involucradas condiciones necesarias y suficientes. ¿es Suiza?. Definición: Un cuadrado es un rectángulo que tiene sus lados congruentes ƒ ƒ ƒ ƒ ƒ ƒ ¿un rectángulo es un paralelogramo? ¿un paralelogramo es un rectángulo? ¿un cuadrado es un paralelogramo? ¿un rectángulo es un cuadrado? Enumerar el conjunto de condiciones necesarias para ser cuadrado. 77) ¿Siempre una condición suficiente es necesaria?. Definición: Un rectángulo es un paralelogramo que tiene sus ángulos rectos. ¿hubiera estado bien? 52 . Escribirlos en lenguaje coloquial y como una implicación. Mostrar ejemplos 79) Analicemos el siguiente ejemplo: “Para ser socio de este club es necesario y suficiente ser suizo” El club. Si para representar un paralelogramo hubiéramos dibujado un rectángulo. Consideremos el conjunto de todos los cuadriláteros y las siguientes definiciones Definición: Un paralelogramo es un cuadrilátero que tiene sus lados opuestos paralelos.

nos dice que es suficiente que p sea verdadero para que lo sea q. pero no suficientes. ƒ ¿Es correcto? ¿Por qué? (responder en términos de condiciones necesarias y suficientes) 85) Representar usando diagramas de Venn los conjuntos de cuadrados.ƒ Si para representar un rectángulo hubiéramos dibujado un cuadrado. Si siempre que ocurre p ocurre q. rectángulos y paralelogramos. Las expresiones ƒ Si p entonces q ƒ Todo p es q ƒ p⇒q ƒ p es condición suficiente para q ƒ q es condición necesaria para p son equivalentes 53 . o en otras palabras. ¿hubiera estado bien? ƒ Y si para representar un cuadrado dibujáramos un rectángulo. p es condición suficiente para q. ƒ ¿Es correcto? ¿Por qué? (responder en términos de condiciones necesarias y suficientes) 84) Si definimos el cuadrado de la siguiente manera: “Un cuadrado es un rectángulo que tiene un par de lados consecutivos congruentes”. Estas condiciones ahora son necesarias y suficientes. Analizando estas estructuras de condiciones necesarias y suficientes podemos afirmar que dada una implicación p ⇒ q. ¿estaría bien? ¿por qué? Podemos decir que para que una figura sea un cuadrado son necesarias las condiciones que se requieren para ser paralelogramo. es necesario que ocurra q para que ocurra p. porque además. la figura debe tener. 83) Si definimos el rectángulo de la siguiente manera: “Un rectángulo es un paralelogramo que tiene un ángulo recto”. Entonces sí tenemos un cuadrado. sus ángulos rectos y deben ser sus lados congruentes.

Por ejemplo:
ƒ ƒ ƒ ƒ ƒ Si un animal es una ballena, entonces es un mamífero Toda ballena es mamífero

Ser ballena implica ser mamífero Ser ballena es suficiente para ser mamífero Ser mamífero es necesario para ser ballena

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

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

Dada una afirmación p ⇒ q, se denomina recíproca a la afirmación q ⇒ p

Algo más sobre el valor de verdad de las implicaciones.

Prestemos atención a un aspecto importante de la implicación. Si bien la única implicación falsa es V ⇒ F, ciertamente representa real interés sólo el razonamiento válido V ⇒ V. Consideremos entonces una implicación 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 conjunción de las condiciones enunciadas es verdadera (“tener 18 años cumplidos” ∧ “presentar certificados de salud psicofísica” ∧ “saber manejar” ∧ “pagar una prima de 35$” ∧ “aprobar un examen de manejo en la municipalidad local” ) esto garantiza la obtención 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?.
afirmación recíproca q ⇒ p.

Es decir, si

tenemos una implicación verdadera p ⇒ q, no necesariamente es verdadera la

88) Pensar otros ejemplo de implicaciones p ⇒ q cuyas afirmaciones recíprocas q ⇒ p sean falsas Desde el punto de vista conjuntista, vimos que la implicación p ⇒ q se corresponde con la inclusión de conjuntos A ⊂ B, donde A y B son los conjuntos inducidos en el referencial por las proposiciones p y q respectivamente. También vimos que esta inclusión no garantiza que todos los elementos de B estén en A. Estos son los elementos que hacen que q sea verdadera y p falsa, es decir, hacen falsa la afirmación q ⇒ p.

La doble implicación

Recordemos la afirmación “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, ¿sería verdadero el recíproco de la implicación?¿ Por qué?

Cuando una condición es necesaria y suficiente para que se cumpla otra, se dice que son equivalentes. La notación es p ⇔ q, que se lee p si y solo si q

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

cual se denomina doble implicación. En símbolos:
p⇔q

equivale a

p⇒q

q⇒p

55

El valor de verdad de la doble implicación

90)

Estudiar el valor de vedad de la doble implicación p ⇔ q en relación a los valores de verdad de las proposiciones p y q.

En un sentido general e intuitivo y sin pretender dar una definición, 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 implicación 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 matemática aquellas dobles implicaciones donde sean posibles estas deducciones, y por lo tanto el sentido de la doble implicación es precisamente la equivalencia entre conceptos.
La doble implicación como una relación entre conjuntos

La doble implicación

se corresponde con una “doble inclusión”

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 más sobre cuantificadores

Sean p y q dos proposiciones. La afirmación “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 número divisible por 6 es par

En términos 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

Existe un número par que es primo (el 2) El conjunto de los números pares y el de los números primos tiene una intersección no vacía. A es el conjunto de los múltiplos de 6 y B es el conjunto de los números pares. • • • ningún p es q todo p no es q algún p no es q 92) Analizar el significado de las siguientes afirmaciones. Si algún p es q ⇒ todo p es q Algún p no es q ⇒ ningún p es q ningún p es q ⇒ todo p no es q 57 . tendremos gráficamente: 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 afirmación. interpretarlos en términos de conjuntos • algún p es q Ejemplo: algún número par es número primo. ( ⇒ significa “no implica”) • • • • Si todo p es q ⇒ algún p es q. Proponer ejemplos e interpretar la afirmación en términos de conjuntos.En el segundo ejemplo. Luego. si U es el conjunto referencial de los números naturales.

s o vocal llevan tilde Regla 2: Las palabras graves no terminadas en n.Algunos ejemplos de aplicación A modo de resumen de todo lo visto. o vocal llevan tilde Regla 3: Las palabras esdrújulas siempre llevan tilde sea cual fuera su terminación Consideremos ahora los siguientes conjuntos: A el conjunto formado por las palabras con tilde B el conjunto formado por las palabras sin tilde 58 . últimamente) Reglas : Palabras que llevan acento gráfico o tilde Regla 1: Las palabras agudas terminadas en n. Por ejemplo la palabra “espíritu” tiene tilde en la segunda sílaba Palabras agudas: Son las palabras acentuadas en la última sílaba (camión. revólver) Palabras esdrújulas: Son las palabras acentuadas en la antepenúltima sílaba o anteriores (matemática. Acento prosódico: Es el acento que se pronuncia pero no se escribe. s. La lógica y las reglas ortográficas de acentuación Consideremos las siguientes definiciones y reglas ortográficas del lenguaje castellano. daremos a continuación dos secuencias de actividades donde interviene el razonamiento lógico en el sentido en que lo hemos analizado en las páginas precedentes. cuyos campo de aplicación están fuera de la matemática. carril) Palabras graves: Son las palabras acentuadas en la penúltima sílaba (cabeza. Por ejemplo la palabra “tuberculosis” tiene acento prosódico en la cuarta sílaba Acento gráfico o tilde: Es el acento que se pronuncia y se escribe. donde no tendremos en consideración las excepciones (que siempre existen) a las mismas: Definiciones: Acento: es la mayor intensidad con que se pronuncia una sílaba en la pronunciación de una palabra.

es condición suficiente (no necesaria) para ..... es condición suficiente y necesaria para .... D y E b) Ubicar en ese gráfico las palabras maní y dosel c) ¿Qué reglas cumplen los elementos de B ∩ C? Escribirlo haciendo uso de un conectivo lógico y dar un ejemplo.... E.... 3) Consideremos las proposiciones A........ 59 .......... D. B.................. D...... E............. c) .............. b) .... la proposición A: “x es una palabra con tilde” es verdadera si x ∈ A....... 2) ¿Qué reglas cumplen los elementos de D ∩ F? Escribirlo haciendo uso de un conectivo lógico y dar un ejemplo. 5) a) Construir una red lógica donde en la terminal S haya palabras con tilde y sin tilde.. Escribir con palabras las proposiciones a) D∨F b) E∧F c) ∼E∧F 4) a)Escribir una nueva proposición en este contexto tal que ningún elemento la haga verdadera... y se verifique la implicación: “Si la palabra tiene tilde entonces es aguda” b) ¿Qué palabras están en la terminal complementaria S según la red propuesta? c) ¿Qué relación entre conjuntos induce esta implicación? 5) Escribir ejemplos de proposiciones (simples o compuestas) dentro de este contexto que satisfagan las afirmaciones siguientes: a) .. B..... B.................... Por ejemplo.......C el conjunto formado por las palabras agudas D el conjunto formado por las palabras graves E el conjunto formado por las palabras esdrújulas F el conjunto formado por las palabras terminadas en n................ es condición necesaria (no suficiente) para ... y F que son verdaderas para los elementos de A. s o vocal 1) a) Diseñar un diagrama que muestre la relación entre los conjuntos A.... C.... C. 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”............ y F respectivamente............. C....

que toda planta monocotiledóneas corresponde a especies herbáceas. las especies leñosas son dicotiledóneas.. hojas alargadas. con tallos huecos. b) ∼C∧∼D∧A⇒ . crucíferas... es dicotiledónea. Toda angiosperma que no es monocotiledónea. la alfalfa. por ejemplo.6)Responder si estas afirmaciones son verdaderas o falsas y justificar adecuadamente a) Existen palabras graves sin tilde b) Ninguna palabra esdrújula tiene tilde c) Existen palabras con tilde que no terminan en n. por ejemplo algunas hierbas. Phylophylla heraclei L. flores dispuestas en espigas y frutos en cápsula. en su estado de larva... el trigo y el maíz son gramíneas El ajo es una herbácea monocotiledónea (no gramínea) Sirex noctilio es una avispa que parasita la madera de los pinos 60 . (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 dicotiledónea Rhopalosiphum padi es una plaga propia de la avena La avena. aunque muchas dicotiledóneas no son leñosas. las • • • • • • • • • • • También en general.. Gramíneas: Plantas monocotiledóneas que tienen tallos cilíndricos.. La lógica y las plantas Consideremos sólo los siguientes argumentos.. muy difundida que. Muchas especies herbáceas no son monocotiledóneas. Monocotiledóneas: Plantas angiospermas que se caracterizan por tener un solo cotiledón. Pueden ser leñosas (arbustos o árboles) o herbáceas. 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) A∧C⇒ . sin tener en cuenta las excepciones: • • • • Angiospermas: plantas con flores y semillas. En general podemos considerar sin tener en cuenta las excepciones. flores dispuestas en espigas y frutos secos cubiertos por las escamas de la flor. Heliothis zea: (Isoca del maíz ) es una plaga propia del maíz. se alimenta de los estigmas o barbas y granos del choclo.

escribir proposiciones compuestas con los conectivos “ ∧ ” . D. D y E b) Ubicar en ese gráfico las especies que padecen el ataque de Heliothis zea. y F respectivamente. Phylophylla heraclei. y F que son verdaderas para los elementos de A.Consideremos ahora los siguientes conjuntos. “ ∨ ” y “ ∨ ” que sean verdaderas en este contexto. 61 . B. Brachycerus algirus . C. Rhopalosiphum padi y Sirex noctilio c) Sombrear en el gráfico. B. D. la proposición A: “x es una planta herbácea” es verdadera si x ∈ A. C. C. dónde están ubicadas las plantas dicotiledóneas c) ¿Qué reglas características tienen los elementos de C ∩ D? Escribirlo haciendo uso de un conectivo lógico y dar un ejemplo. 2) Analizar si las siguientes afirmaciones son verdaderas o falsas y justificar: a) El maíz es una planta monocotiledónea b) Las plantas herbáceas son gramíneas c) Las plantas monocotiledóneas poseen flores en espiga d) Todas las plantas gramíneas poseen hojas alargadas e) Existen gramíneas no herbáceas f) Toda gramínea atacada por Heliothis zea es monocotiledónea g) Toda planta angiosperma es gramínea h) Las plantas leñosas son dicotiledónea i) Toda planta dicotiledónea es leñosa j) Existen gramíneas dicotiledóneas k) Ninguna planta herbácea es dicotiledónea 3) Consideremos las proposiciones A. Por ejemplo. teniendo en cuenta todas las especies de plantas angiospermas como conjunto referencial: A el conjunto de las plantas herbáceas B el conjunto de las plantas leñosas C el conjunto de las gramíneas D el conjunto de todas las especies que padecen el ataque de parásitos propios E el conjunto de las monocotiledóneas 1) a) Diseñar un diagrama que muestre la relación entre los conjuntos A. a) A partir de estas proposiciones simples. E. E. B.

............. B.......... la negación de la siguiente frase p: Cualquier gramínea es una planta herbácea ∼p: .. es condición suficiente y necesaria para . 62 ...... . 4) Considerar las afirmaciones de la primera columna de la tabla siguiente....... determinar si la afirmación de la segunda columna es al la negación la proposición de la primera...........................entonces.......... Toda planta con espigas es monocotiledónea Existen plantas herbáceas que no son leñosas La avena no es una gramínea f) Todas las plantas angiospermas tienen tallos no huecos Si..................... C.. Sin tener en cuenta el valor de verdad de las mismas.............................. es condición necesaria (no suficiente) para ............ c) ¿En todos los casos esa implicación representa una inclusión?... E y F............ es condición suficiente (no necesaria) para .... ................b) Escribir algunas implicaciones posibles (de la forma: “Si...... Mostrar ejemplos d) Completar ........”) que pueden efectuarse en relación a las proposiciones A........... D....................... p ∼p Toda gramínea es leñosa Toda planta leñosa es atacada por una plaga propia.........No a) Ninguna gramínea es leñosa b) Algunas plantas leñosas no son atacadas por plagas propias c) Existen monocotiledóneas que poseen espigas d) Las plantas herbáceas no son leñosas e) La avena es una gramínea f) Algunas plantas angiospermas tienen tallos huecos 5) Escribir en la línea punteada..........

Diremos que demostrar es inferir la veracidad de una proposición a partir de la veracidad de una proposición dada. Un teorema es una afirmación que puede ser demostrada como verdadera dentro de un marco lógico. tesis y demostración. y la demostración es la deducción de la validez de la tesis a partir de la validez de las premisas 63 . No se demuestran. sabiendo que son verdaderas las proposiciones de las cuales se desprende (el antecedente) Claro está que no se puede demostrar todo. siguiendo una sucesión coherente de pasos. En matemática una proposición es verdadera si es un axioma o si se puede demostrar a partir de ellos. frente a una afirmación se puede hacer una y sólo una de dos cosas: ƒ demostrar que es válida ƒ mostrar un contraejemplo. mostrar un ejemplo que demuestre su falsedad Sin abundar en muchos detalles. se proponen como válidos. Los teoremas constan de tres partes: hipótesis. daremos una idea de lo que significa demostrar en matemática [10]. por ese motivo se establecen axiomas. ƒ ƒ ƒ la hipótesis es la conjunción de premisas. y a partir de ellos se construye una determinada teoría matemática. es lo que se supone válido la tesis es la conclusión.La demostración en matemática En matemática. Con esto queremos decir que pretendemos evidenciar que una determinada proposición (el consecuente) es verdadera. esto es. Los axiomas válidos para una teoría pueden no ser válidos para otra. Los axiomas son afirmaciones muy simples y elementales que se suponen verdaderas. lo que se debe deducir a partir de las hipótesis.

entonces T”. basta con mostrar un ejemplo donde la afirmación no se cumple. Por ejemplo. Esto quiere decir que si las hipótesis son estas. Para demostrar que una afirmación es verdadera. Que nosotros no encontremos el camino para demostrarlo es otra historia. “T se deduce de H”. 1 y -1 puede escribirse como producto de factores primos. Una afirmación matemática que se cree verdadera pero no ha sido demostrada se denomina conjetura. es necesario deducir su verdad de la verdad de las premisas. Esto es.La conexión lógica entre la hipótesis y la tesis se denomina implicación. 93) Identificar en cada caso hipótesis y tesis y escribir los teoremas como una implicación. la suma de los cuadrados de las longitudes de los catetos es igual al cuadrado de la longitud de la hipotenusa. Teorema: Todo número entero distinto de 0. Los siguientes son ejemplos de teoremas: Teorema: (Teorema de Pitágoras) En todo triángulo rectángulo. y ese es el trabajo de los matemáticos. Su enunciado es el siguiente: Todo número par mayor que 2 puede escribirse como suma de dos números primos. 94) Considerar las siguientes afirmaciones y demostrar que es válida o mostrar su falsedad según corresponda: * Todo múltiplo de 3 es número primo * Si A ⊂ B y B ⊂ C entonces A ⊂ C 64 . Hipótesis ⇒ Tesis H⇒ T que leemos: “H implica T”. la conjetura de Goldbach que es uno de los problemas abiertos más antiguos en matemáticas. Los datos que se nos presentan en la o las hipótesis tienen que ser los suficientes para llegar a buen término con la tesis. Para mostrar que una afirmación es falsa. y es equivalente a decir “Si H. necesariamente se cumple la tesis.

Claudio Padra por la cuidadosa lectura del manuscrito de este trabajo y por sus valiosos aportes y comentarios. y Giordano E. [4] Sánchez Graillet. y Nudler O. Ediciones Omega. Bibliografía [1] Enciclopedia Libre Wikipedia http://es. [10] de Torres Curth. CRUB. Teoría de Matrices. México. T. (1973) Elementos de lógica simbólica.E. A. (1999) El uso del lenguaje escrito en las universidades: ¿Evolución o deterioro?. Universidad Nacional del Comahue.unmsm. M del S. M.ppt. 65 .unam. [7] Jessop.H (1985) La lógica va a la escuela.R. N. Buenos Aires. [3] Barreiro de Nudler.informal” Taller de Didáctica de la Lógica 2005. L.informal de una lógica -muy. Cuaderno Universitario N° 21. M. Epsilon 38: 19-36. Juegos con redes lógicas. Conceptos de Lógica. (1994).Agradecimientos Deseamos agradecer al Dr. en Transferencia 12(45). Kapeluz.edu.pe/bibvirtualdata/libros/Filosofia/intro_logica/ [6] Fonseca Yerena. Cerdeyra L. Universidad Nacional del Comahue. Aplicaciones a la Biología. Ed.M.org/ [2] Montoro. Ediciones del 80. Centro Regional Universitario Bariloche. V.filosoficas. (1997) Elementos de lógica proposicional. Biosfera: los seres vivos y su ambiente. (2005) “¿Qué saben de lógica los que no saben lógica? Reflexiones sobre el aprendizaje -muy.wikipedia. disponible en http://minerva. La Plata [9] de Guzmán. V. [5] García Zárate O. disponible en http://sisbib.mx/~Tdl/052/1006SanchezGraillet. (1997) Del lenguaje cotidiano al lenguaje matemático. y Montoro. Cuaderno Universitario N° 25. Barcelona [8] Palacios A. (2005).

66 .

Agosto 1977 10 Bressan. Angel: Las cantidades y sus medidas. Diciembre 1974 04 Barreiro. 19 al 24 de abril de 1987. Setiembre 1974 02 Buch. Abril 1977 09 Daleo. Enrique: Sociedad indígena y conquista del desierto. 1987 20 Ferraris. Cristina: Construcciones con regla y compás. James Watson en el Centro Regional Universitario Bariloche. Ana M. Tomás: Uniones químicas: La teoría electrónica de la valencia. Enero 1986 16 El ADN: su descubrimiento. Monserrat: Piaget y la enseñanza del tiempo en nuestra escuela. Telma Barreiro y .Sorocinschi: Una experiencia del perfeccionamiento docente universitario centrada en el factor humano y la dinámica grupal. Montoro: Teoría de Matrices. Julio 1986 17 Panorama actual de la Acuicultura en la Argentina. Ana María: Sistemas y Bases de numeración. Febrero 1975 05 Hernández. Alonso y Miguel de Lourdes Baiz: Rendimiento en peso de los ejemplares de tamaño comercial del pejerrey patagónico. Mónica y V. M. Monserrat. Telma: Escuela. 1994 23 Ferraris. Conferencia dada por el Dr. Telma: Etica. Octubre 1987 19 de la Cruz. de Río Negro). Noviembre 1977 11 de la Cruz. Norpatagonia. Teresa. Octubre 1982 12 Barreiro. Dora y Sigfrido Rubulis: Aves de la cuenca del Río Manso Superior (Prov. Jorge y Bastianciq. Prov. Susana Lolich: Confrontación cultural y fracaso escolar. Gabriel: Socioecología del mono aullador negro Alquatta caraya: un diseño para investigación. Elena: Estudio Ecológico de la Pampa de Huenuleo (San Carlos de Bariloche. aplicación a la Biología. CRUB . Secretaría de Investigación. Primera Reunión Argentina de Acuicultura. Gustavo Raúl: Mecanismos moleculares en memoria y aprendizaje. Bariloche. Claudio Romero y Adriana Ramassotto:Los problemas ambientales de Bariloche: su detección por medio de una encuesta a un sector de la comunidad. individuo y sociedad. Cristina: Orientación en el plano y en el espacio. Febrero 1976 07 Sanchez y Juliá. 1995 24 Bello. Abril 1985 15 Grigera. Monserrat y M. Abril 1987 18 Bianchi. Diciembre 1975 06 Porta de Bressan.CUADERNOS UNIVERSITARIOS CRUB ISSN 0325-6308 01 Nudler. Ana y de la Cruz. Enrique: Positivismo y cientificismo en la Argentina. Universidad Nacional del Comahue. Agosto 1996 67 . Algunas propiedades numéricas en distintas bases. Noviembre 1984 14 Grigera. Noviembre 1974 03 Buch. aprendizaje y afectividad. organización y manipulación. Liliana: Métodos y heurísticas de resolución de problemas. Tomás: Los carbones. Abril 1976 08 Guala. Etnohistoria. Oscar: Introducción al problema de la fundamentación de la Aritmética. 1993 22 Siñeriz. Río Negro) Parte 1: Geomorfología. Marcelo F. 1993 21 de Torres Curth. Marzo 1983 13 Lopardo. Dora.UNC.

Teresa Bello: Desplazamientos de Oncorhynchus mykiss (Walb. 1997 29 Baiz. 2003. Cristina: Una definición geométrica de ángulos. Una mirada histórica y epistemológica. 48 Siñeriz. Carolina: ¿Qué hacer con las especies exóticas invasoras? . 2000. María Teresa: Los peces autóctonos de la Patagonia Argentina. 2003. 1997 28 Ferraris.suma .1998 32 de Torres Curth. 1999 34 Santinelli. Algunos ejemplos de especies exóticas en la Patagonia argentina. 2000 38 Montoro. Liliana y Santinelli. Mónica: Cálculo diferencial: Teoría y aplicaciones. 2000. Martha: Geometría para armar. Salmonidae) en el Lago Nahuel Huapi. 42 Grigera Dora y Palacio. Raquel: Transformaciones rígidas con Cabri Géomètre II: una aproximación a la teoría axiomática. 43 Bello. Carolina y Ferrero. 40 Crivelli. M.: Un camino a la optimización . una mirada histórico – epistemológica. Mónica: El concepto de límite. Ernesto: Cálculo del nivel del Lago Nahuel Huapi a partir de datos meteorológicos del Aeropuerto Bariloche. Virginia: Anillo de Polinomios. 2000 37 Montoro. 44 Núñez . Virginia y Juan. Raquel: Los números reales.(Pisces. 46 Montoro. 2003.aplicación a retaciones. 1997 26 Ferraris. C.99 36 de Torres Curth. 45 Ferraris.: La percepción de los problemas ambientales de las ciudades de S. Miguel de Lourdes y M. Cristina y Ferrero. María Teresa: Números complejos. Cristina: Espacios vectoriales y transformaciones lineales. 1997 27 Ferraris. Una mirada histórica y epistemológica. 2000 39 Biscayart. Dic. 68 . Dora: La reenseñanza de la escritura como problema multidisciplinario. Cristina: Siempre hay un espacio para un problema. María Teresa: Introducción a la teoría de grafos. Mayo 1998 31 Riestra. Problemática y técnicas de manejo. Sep. de Bariloche y de Neuquén por parte de un sector social de su población. C. 41 Di Pasquale. y Biscayart. 2002. Martín y Quintero. Ernesto: Aportes para el conocimiento del comportamiento hídrico de la cuenca del Río Manso Superior. 1999 35 Di Pasquale. Ordenamiento .1998 33 Montoro. Distribución natural. Dic. Dic. Virginia y Juan. 2001. Racionales e irracionales. Cristina y Virginia Montoro: Los primos de Fermat y otros parientes aritméticos (taller). 2002. Marta: Particularidades sobre la estructura algebraica de módulo. Cristina: Modelos matemáticos en poblaciones dinámicas. C. 47 Ferraris.) y de Salmo trutta L. Virginia: Elementos de lógica proposicional. 2002. Virginia: La teoría de conjuntos. La programación dinámica. 1997 30 Crivelli.25 Montoro. 2002.