UNIVERSIDAD DEL MAGDALENA FACULTAD DE ESTUDIOS GENERALES (CICLO GENERAL) ASIGNATURA: RAZONAMIENTO Y REPRESENTACION MATEMTICA

GUIA N 2
PRINCIPIOS DE LGICA

OBJETIVOS

Valorar la importancia y utilidad de la lgica simblica como instrumento demostrativo.

Identificar y aplicar los elementos bsicos de la lgica cuantificacional en el proceso de deduccin. Establecer grficamente la relacin existente entre las premisas y la conclusin de un argumento. Construir argumentos que permitan explicar las estrategias utilizadas en la solucin de problemas segn Polya.

COMPETENCIA Diferencia entre proposicin simple y compuesta, reconociendo los conectores lgicos que intervienen en un enunciado idiomtico que le ayudan a dar sentido a su estructura lgica; adems comprende el significado, papel y alcance de los cuantificadores, utiliza diagramas para representar las relaciones entre proposiciones cuantificadas demostrando la validez del argumento.

DESARROLLO TEMTICO
PRINCIPIOS DE LGICA 1. INTRODUCCIN La capacidad de razonar est estrechamente relacionada con la habilidad para utilizar el lenguaje. Un razonamiento apropiado puede contribuir a una comunicacin efectiva. PROBLEMAS CONDUCTORES Y SU SEXO. Las estadsticas indican que los conductores de sexo masculino sufren ms accidentes de automvil que las conductoras. La conclusin es que: a) Como siempre, los hombres, tpicos machistas, se equivocan en lo que respecta a la pericia de la mujer conductora. b) Los hombres conducen mejor, pero lo hacen con ms frecuencia. c) Los hombres y mujeres conducen igualmente bien, pero los hombres hacen ms kilometraje. d) La mayora de los camioneros son hombres. e) No hay suficientes datos para justificar una conclusin. NEUMTICOS. Todos los neumticos son de goma. Todo lo de goma es flexible. Alguna goma es negra. Segn esto, cul o cules de las siguientes afirmaciones son ciertas? a) Todos los neumticos son flexibles y negros. b) Todos los neumticos son negros. c) Solo algunos neumticos son de goma. d) Todos los neumticos son flexibles. e) Todos los neumticos son flexibles y algunos negros. ESTUDIANTES Y DROGAS. Determine la validez o invalidez del siguiente argumento, utilizando para ello diagramas de Venn: Algunos estudiantes son adictos a las drogas. Todos los adictos a las drogas son delincuentes. Por lo tanto, algunos estudiantes son delincuentes. PROPOSICIONES Proposicin Simple. Es todo enunciado declarativo afirmativo que puede ser verdadero o falso dependiendo de un contexto. Ejemplo: Caja es una cuenta debito

UNIVERSIDAD DEL MAGDALENA FACULTAD DE ESTUDIOS GENERALES (CICLO GENERAL) ASIGNATURA: RAZONAMIENTO Y REPRESENTACION MATEMTICA Las plantas producen clorofila Colombia es un pas exportador de petrleo El hueso fmur es ms largo que el hueso tibia

Proposicin Compuesta. Es todo enunciado formado por dos o ms proposiciones simples o por una sola proposicin simple negada. Existen bsicamente cinco tipos de proposiciones compuestas: 1. Negacin 2. Disyuncin inclusiva Disyuncin exclusiva 3. Conjuncin 4. Condicional 5. Bicondicional Proposicin compuesta Negacin. Es una proposicin compuesta que se forma anteponindole la partcula No a una proposicin simple o cualquier expresin equivalente. Disyuncin Inclusiva. Es una proposicin compuesta que se forma enlazando dos proposiciones simples con la partcula o con otra partcula equivalente. En este tipo de proposicin ambas proposiciones simples son posibles, es decir verdaderas. Disyuncin Exclusiva. Es una proposicin compuesta que se diferencia de la anterior en que una y slo una de las proposiciones simples que la conforman es verdadera. Conjuncin. Es una proposicin compuesta que se forma enlazando dos proposiciones simples con la partcula y u otra expresin equivalente. Estructura Expresiones del lenguaje natural No es cierto que No es verdad que No es correcto que Es falso que Nunca Jams Ningn Anteponindole no al verbo principal. La letra u cuando la siguiente palabra comienza por o. Ejemplos No es verdad que el hombre es un ser racional No hay animales ovparos Jams el hombre ha llegado a Marte

No ______________

_______ o ________ Es muy comn hoy en da expresar este tipo de situaciones mediante el enlace y/o.

Dos es un nmero par o primo Yo hablo francs o ingles Se necesita empleado con ttulo de administrador y/o experiencia Hay quienes cantando u orando alaban a Dios O dos es un nmero par o impar Una de dos: o gan el examen de lgica o lo perdi

Una de dos: o o

O ______o _______

______ y _______

Sin embargo Sino Pero A pesar de Tambin Adems Aunque La letra e cuando la siguiente palabra comienza por i.

Estudio, sin embargo trabajo La matemtica es necesaria e importante A pesar de haber buen tiempo en el da de hoy, no hay clases en la universidad

UNIVERSIDAD DEL MAGDALENA FACULTAD DE ESTUDIOS GENERALES (CICLO GENERAL) ASIGNATURA: RAZONAMIENTO Y REPRESENTACION MATEMTICA Condicional. Es una proposicin compuesta que se forma enlazando Si___ , entonces ___ dos proposiciones simples, anteponindole a la primera la partcula si y enlazando la primera con la segunda con la palabra entonces. En una condicional donde la primera proposicin simple es el antecedente y la segunda el consecuente, es decir Si (antecedente) entonces (consecuente) Se puede expresar utilizando las siguientes expresiones en ese orden: (antecedente), solamente si (consecuente) (antecedente), es condicin suficiente para (consecuente) (consecuente), si (antecedente) (consecuente), siempre que (antecedente) (consecuente), es condicin necesaria de (antecedente) Siempre y cuando Es equivalente a Si y solamente si Es condicin necesaria y suficiente Agregndole a una condicional la expresin Y si no, no Si trabajo entonces gano dinero Gano dinero, siempre que trabajo Trabajo, solamente si gano dinero Que gano dinero, es condicin necesaria de que trabajo Si se talan rboles, nuestro planeta se queda sin pulmones

Bicondicional. Es una proposicin compuesta que se forma enlazando dos proposiciones simples con la expresin si, y solo si o con otra expresin equivalente.

___ si, y slo si ____

La televisin educa siempre y cuando los programas tengan algn contenido cientfico Voy a cine si, y solo si tengo dinero

ESTRUCTURA DE LOS ENUNCIADOS El lenguaje Puede ser Oral Utiliza La entonacin y las pausas Utiliza Signos de puntuacin Escrito

POTENCIA DE LOS TRMINOS DE ENLACE La negacin es el ms dbil de todos los trminos de enlace o conectivos lgicos. La disyuncin y la conjuncin tienen igual potencia y son ms fuertes que la negacin. La condicional y la bicondicional tienen igual potencia y son los ms fuertes de todos los trminos de enlace. CUANTIFICADORES Son expresiones que aparecen en las proposiciones simples, indicando cuantos elementos cumplen una condicin dada.

UNIVERSIDAD DEL MAGDALENA FACULTAD DE ESTUDIOS GENERALES (CICLO GENERAL) ASIGNATURA: RAZONAMIENTO Y REPRESENTACION MATEMTICA PROPOSICIONES CUANTIFICADAS Son enunciados afirmativos mediante las cuales se establece una relacin entre dos conceptos. Este tipo de proposiciones tiene un cuantificador, un verbo y dos conceptos. Los conceptos representan clases de objetos (conjuntos) o situaciones y cambian de una proposicin a otra, es decir son variables. Ejemplo: analicemos las siguientes proposiciones: 1. Todos los hombres son seres vivos 2. Ninguna ave es pez 3. Algunas mariposas son de color azul 4. No todas las vocales son abiertas 5. Todas las plantas son vegetales 6. Algunas pelculas son de terror 7. Ningn hueso es un cartlago 8. No todos los nadadores son deportistas Se puede observar en ellas que las palabras todos, ninguna, algunas y no todas, permiten saber si la proposicin hace referencia a todos los miembros de un grupo, a ninguno, o slo a algunos de ellos. Los cuantificadores permiten concretar el significado de las proposiciones. El significado encuentra sentido en el verbo ser el cual est representado en son y es par a unas y otras proposiciones. El verbo busca establecer una relacin entre dos conceptos (conjuntos). Si se cambian los conceptos (conjuntos) el significado de la afirmacin cambia. Cada uno de los conceptos tienen funciones diferentes: el primero es el sujeto del cual se dice algo y el segundo el predicado que expresa lo que se dice del sujeto. En el enunciado 3 mariposas es el sujeto y de color azul es el predicado. Los cuantificadores y el verbo mantienen constante la forma de las proposiciones cuantificadas, ms no su significado. Tal es el caso de los enunciados 1 y 5 la estructura lgica es la misma, pero los pares de palabras [hombres, seres vivos] y [plantas, vegetales] le dan otro significado. CLASES DE CUANTIFICADORES Existen bsicamente dos tipos de cuantificadores: universal y particular. Cuantificador Universal. Son expresiones que indican que todos y cada uno de los elementos de un conjunto cumplen una condicin dada. Algunas expresiones del lenguaje natural son todo, todos, cada uno, para todo, los, etc y sus correspondientes expresiones femeninas y plurales. Cuantificador Existencial. Son expresiones que indican que al menos un elemento de un conjunto cumple una condicin dada. Dentro de las expresiones ms frecuentes del lenguaje natural se tienen algn, algunos, existe, hay, hay algn, etc y sus correspondientes expresiones femeninas y plurales. Este tipo de clasificacin da origen a proposiciones cuantificadas universales y existenciales. Tambin pueden ser positivas y negativas. Positivas (Todos) Universales Negativas (Ninguno) Proposiciones Cuantificadas Positivas (Algunas) Existenciales

Negativas (No todos)

REPRESENTACIN GRFICA DE PROPOSICIONES CUANTIFICADAS Muchas veces la comprensin de una idea, un concepto o una relacin se facilita mediante el uso de diagramas o representaciones, para ello utilizaremos valos o crculos (diagramas de Venn) para

UNIVERSIDAD DEL MAGDALENA FACULTAD DE ESTUDIOS GENERALES (CICLO GENERAL) ASIGNATURA: RAZONAMIENTO Y REPRESENTACION MATEMTICA representar las dos clases que aparecen en toda proposicin cuantificada (sujeto predicado), se rayan las partes donde no hay elementos, y se coloca un punto para afirmar que en esa parte hay algn elemento, veamos los siguientes ejemplos con las caractersticas que cada forma implica: Proposicin cuantificada Todos los colibres son aves Representacin grfica Caracterstica
Para representar la relacin entre las dos clases o conjuntos colibres y aves se hacen dos crculos. En ella se afirma que la clase de los colibres est totalmente contenida en la clase de las aves. Este tipo de relacin se denomina de inclusin. La inclusin es una relacin que expresa que todos los elementos de una de las clases estn contenidos en la otra.

Todo C es A

C A
Proposicin universal positiva
* La expresin clase vaca

A es el complemento de A.

*Se utiliza el smbolo

para indicar la

Ningn lpiz cuaderno

es

un

Ningn L es C

L C
Proposicin universal negativa Algunos perros animales de raza son

En este diagrama se ve claramente que los lpices no son cuadernos y los cuadernos no son lpices. Niega que los lpices en forma universal sean cuadernos, es decir que no hay ningn miembro de la primera clase que pertenezca tambin a la segunda. Este tipo de relacin la llamaremos de exclusin.

Algn P es A

S P

Proposicin existencial positiva

Algunos rusos ajedrecistas

no

son

Se utilizan dos crculos superpuestos para indicar qu algunos miembros de la primera clase pertenecen tambin a la segunda. Esto quiere decir que algunos perros son animales de raza, pero que, a la vez, hay algunos animales de raza que no son perros. A este tipo de relacin se le denomina de interseccin. La relacin de interseccin muestra que algunos, pero no todos los miembros de una clase son tambin miembros de la otra. Esta proposicin afirma que hay por lo menos un ruso que no pertenece a la clase de los ajedrecistas.

Algn R no es A

R A
Proposicin existencial negativa
* La expresin

A es el complemento de A.

UNIVERSIDAD DEL MAGDALENA FACULTAD DE ESTUDIOS GENERALES (CICLO GENERAL) ASIGNATURA: RAZONAMIENTO Y REPRESENTACION MATEMTICA REPRESENTACIN Y EVALUACIN DE ARGUMENTOS MEDIANTE DIAGRAMAS La estructura fundamental del razonamiento deductivo es el argumento y est conformado por las premisas (proposiciones cuantificadas) y la conclusin. En un argumento lgico la conclusin se deriva lgicamente de las premisas que lo sustentan (suponiendo que es vlido). Los argumentos forman parte del lenguaje verbal cotidiano, ya que continuamente necesitamos sustentar puntos de vista, defender posiciones, juzgar la validez o la lgica de los planteamientos que nos hacen. Los argumentos estn formados por dos o ms proposiciones cuantificadas. Analicemos varias situaciones donde se determine la validez o invalidez de los siguientes argumentos: Ejemplo 1: Primera premisa: Algunos estudiantes son adictos a las drogas Segunda premisa: Todos los adictos a las drogas son delincuentes Conclusin: Por lo tanto, algunos estudiantes son delincuentes. Solucin: Comprender el problema: lo que se desea saber es si realmente a partir de la interaccin de los conjuntos que aparecen en el argumento es posible obtener tal conclusin. Desarrollar un plan. Identificamos los conjuntos que intervienen en el argumento, sealando cada uno con una letra del alfabeto en mayscula, luego a travs de los diagramas de Venn establecemos representamos cada una de las premisas y comparamos el resultado del diagrama con la informacin contenida en la conclusin, de manera que podamos establecer la validez o no validez del argumento. Llevar a cabo el plan. Ilustramos aqu el uso de los diagramas de Venn para establecer la validez o invalidez de los argumentos deductivos. Sea A la clase de los adictos, D la clase de los delincuentes y E la clase de los estudiantes.

El punto dibujado sobre la lnea significa que puede pertenecer a cualquiera de las dos regiones. En la conclusin, el punto debe desplazarse a la regin no vaca. El argumento es vlido porque la conclusin es compatible con los diagramas de las premisas. Comprobar. Es notorio en el ltimo grafico que si leemos una vez ms la informacin y la comparamos con este existe una coincidencia. Ejemplo 2: Primera premisa: Algunos ingleses no son caballeros. Segunda premisa: Todos los jugadores de pool son caballeros. Conclusin: Por lo tanto, algunos ingleses no son jugadores de pool. Solucin. Comprender el problema. Lo que se desea saber es si realmente a partir de la interaccin de los conjuntos que aparecen en el argumento es posible obtener tal conclusin. Desarrollar un plan. Identificamos los conjuntos que intervienen en el argumento, sealando cada uno con una letra del alfabeto en mayscula, luego a travs de los diagramas de Venn establecemos representamos cada una de las premisas y comparamos el resultado del diagrama con la informacin

UNIVERSIDAD DEL MAGDALENA FACULTAD DE ESTUDIOS GENERALES (CICLO GENERAL) ASIGNATURA: RAZONAMIENTO Y REPRESENTACION MATEMTICA contenida en la conclusin, de manera que podamos establecer la validez o no validez del argumento. Llevar a cabo el plan. Ilustramos aqu el uso de los diagramas de Venn para establecer la validez o invalidez de los argumentos deductivos. Sea I la clase de los ingleses, C la clase de los caballeros y P la clase de los jugadores de pool.

Comprobar. El argumento es vlido porque la conclusin es compatible con los diagramas de las premisas. Ejemplo 3: Primera premisa: Todo tringulo equiltero es equingulo. Segunda premisa: Todo tringulo regular es equiltero. Conclusin: Todo tringulo regular es equingulo. Solucin: Comprender el problema. Lo que se desea saber es si realmente a partir de la interaccin de los conjuntos que aparecen en el argumento es posible obtener tal conclusin. Desarrollar un plan. Identificamos los conjuntos que intervienen en el argumento, sealando cada uno con una letra del alfabeto en mayscula, luego a travs de los diagramas de Venn establecemos representamos cada una de las premisas y comparamos el resultado del diagrama con la informacin contenida en la conclusin, de manera que podamos establecer la validez o no validez del argumento. Llevar a cabo el plan. Trazamos los tres crculos que se intercepten, correspondientes a las tres clases que aparecen en el argumento. Para ello denotaremos con E la clase de los tringulos equilteros, con A la clase de los tringulos equingulos y con R la clase de los tringulos regulares

Todo tringulo equiltero es equingulo.

Todo tringulo regular es equingulo.

Comprobar. La conclusin Todo R es A ha quedado representada en la tercera figura. Por tanto, el argumento dado es vlido. Ejemplo 4: Primera premisa: Todos los universitarios son inteligentes. Segunda premisa: Algunos peces son inteligentes. Conclusin: Algunos peces son universitarios. Solucin: Comprender el problema. Lo que se desea saber es si realmente a partir de la interaccin de los conjuntos que aparecen en el argumento es posible obtener tal conclusin.

UNIVERSIDAD DEL MAGDALENA FACULTAD DE ESTUDIOS GENERALES (CICLO GENERAL) ASIGNATURA: RAZONAMIENTO Y REPRESENTACION MATEMTICA Desarrollar un plan. Identificamos los conjuntos que intervienen en el argumento, sealando cada uno con una letra del alfabeto en mayscula, luego a travs de los diagramas de Venn establecemos representamos cada una de las premisas y comparamos el resultado del diagrama con la informacin contenida en la conclusin, de manera que podamos establecer la validez o no validez del argumento. Llevar a cabo el plan. Trazamos los tres crculos que se intercepten, correspondientes a las tres clases que aparecen en el argumento. Denotaremos con P la clase de los peces, con U la clase de los universitarios y con I la clase de los inteligentes. El diagrama completo de las premisas, se muestra en la siguiente figura:

Comprobar. Al inspeccionar el diagrama para ver si la conclusin del argumento aparece en l, hallamos que no est. Por tanto el argumento no es vlido. Ejemplo 5: Primera premisa: Ningn electrn es partcula neutra. Segunda premisa: Algunas partculas neutras son nucleares. Conclusin: Algunas partculas nucleares no son electrones. Solucin: Comprender el problema. Lo que se desea saber es si realmente a partir de la interaccin de los conjuntos que aparecen en el argumento es posible obtener tal conclusin. Desarrollar un plan. Identificamos los conjuntos que intervienen en el argumento, sealando cada uno con una letra del alfabeto en mayscula, luego a travs de los diagramas de Venn establecemos representamos cada una de las premisas y comparamos el resultado del diagrama con la informacin contenida en la conclusin, de manera que podamos establecer la validez o no validez del argumento. Llevar a cabo el plan. El diagrama completo de las premisas, se muestra en la figura adjunta

P es la clase de las partculas neutras, E es la clase de los electrones y N es la clase de los neutrones. Comprobar. Al inspeccionar el diagrama, observamos que la conclusin del argumento aparece en l, y por tanto, el argumento es vlido. Ejemplo 6: Determinar una conclusin del siguiente argumento, para que sea vlido. Primera premisa: Ningn hombre de ciencia es poltico. Segunda premisa: Todos los gobernantes son polticos. Solucin: Comprender el problema. Lo que se desea saber es si realmente a partir de la interaccin de los conjuntos que aparecen en el argumento es posible obtener tal conclusin. Desarrollar un plan. Identificamos los conjuntos que intervienen en el argumento, sealando cada uno con una letra del alfabeto en mayscula, luego a travs de los diagramas de Venn establecemos

UNIVERSIDAD DEL MAGDALENA FACULTAD DE ESTUDIOS GENERALES (CICLO GENERAL) ASIGNATURA: RAZONAMIENTO Y REPRESENTACION MATEMTICA representamos cada una de las premisas y comparamos el resultado del diagrama con la informacin contenida en la conclusin, de manera que podamos establecer la validez o no validez del argumento. Llevar a cabo el plan. En la figura siguiente representamos las premisas.

H es la clase de los hombres de ciencias, P es la clase de los polticos y G es la clase de los gobernantes. Comprobar. Podemos concluir: Ningn hombre de ciencia es gobernante, pues la regin comn a H y G est sombreada. Ejemplo 7. Hay un solo anillo y tres cajas cerradas de diferentes colores, rotuladas con los siguientes enunciados: Caja de color plomo: El anillo no est aqu Caja de color negro: El anillo no est en la caja marrn Caja de color marrn: El anillo est aqu Si slo uno de estos enunciados es verdadero, entonces es cierto que: a. En ninguna de las cajas est el anillo b. El anillo no est en la caja de color plomo c. El anillo est en la caja marrn d. El anillo est en la caja de color plomo e. El anillo est en la caja negra Solucin: Comprender el problema. Lo que se desea es conocer cul de las afirmaciones es verdadera, asimismo conocer la ubicacin del anillo. Desarrollar un plan. Efectuaremos un cuadro donde compararemos las afirmaciones con respecto al color de cada caja, de manera que se puede establecer cul es la afirmacin verdadera analizando el caso donde no se presente contradiccin. Llevar a cabo el plan. Analizando la caja donde est el anillo por suposicin, en el siguiente cuadro: El anillo est en la Plomo: El anillo no Negra: El anillo no Marrn: El anillo est caja est aqu est en la caja marrn aqu Plomo Negra Marrn F V V V V F F F V

Comprobar. Se puede ver claramente que se cumple cuando el anillo est en la caja de color plomo, uno es verdadero y los dems son falsos, por lo tanto la respuesta es la (d).

ACTIVIDADES
TRABAJO GRUPAL

1. Consulte la diferencia entre conector lingstico y lgico 2. Clasifique los siguientes enunciados como proposiciones y no proposiciones; las que correspondan a proposiciones categorcelas como simples o compuestas.

UNIVERSIDAD DEL MAGDALENA FACULTAD DE ESTUDIOS GENERALES (CICLO GENERAL) ASIGNATURA: RAZONAMIENTO Y REPRESENTACION MATEMTICA a. Los fsicos: Pierre y Marie Curie son esposos b. El cncer cura c. Cloroplastos en clulas vegetales d. No es cierto que los ros son fuente de vida e. La Unin Europea es un bloque econmico muy fuerte f. construir puentes es un pasatiempo de los ingenieros civiles g. Un bit es una medida de corriente elctrica y magntica h. el empleo es una fuente de ingreso, siempre que genere bienestar a los seres humanos i. La idiosincrasia hace parte del acervo cultural de un pueblo si, y solo si conservan sus tradiciones j. Si la pulpa est formada por vasos sanguneos entonces es un tejido blando 3. En cada uno de las siguientes proposiciones compuestas subraye con azul las proposiciones simples constituyentes y con rojo los conectivos lgicos, al final identifique el tipo que representa. a. En Colombia no hay una verdadera democracia b. El ro Manzanares es un atractivo turstico, siempre y cuando este canalizado y con parques en algunas zonas a lo largo de l c. Si los pases desarrollados no reducen sus problemas ambientales, entonces el calentamiento global ser progresivo y el planeta tierra desaparecer. d. Todos los nmeros pares terminan en cero o en cifra par. e. Los psiclogos estudian la personalidad del ser humano si, y solo si se especializan en psicologa clnica. f. Si leer o escribir son competencias bsicas del ser humano, entonces el analfabetismo en Colombia debe ser erradicado. g. No es cierto que: Colombia no ser una riqueza de la biodiversidad, si no conservamos las especies. h. Las empresas obtendrn buenas utilidades, siempre que crean buenas estrategias de mercado. i. O es importante alimentarse bien o las frutas son malas para la salud j. El sobrepeso es una forma de manifestacin de la obesidad, pero si se ejercita diariamente, este ser eliminado. 4. Un avin cubri la distancia que separa a Santa Marta y Pereira en una hora y 20 minutos, sin embargo al volar de regreso recorri esta distancia en 80 minutos. Cmo se explica esto? 5. Si en Bogot est lloviendo a las 12 de la noche Es posible que en Colombia halla un da soleado 50 horas despus?
TRABAJO INDIVIDUAL

1. Utilice las siguientes reglas para cada una de las proposiciones compuestas Negacin ~V F ~F V Disyuncin exclusiva VvF V FvV V Conjuncin V^V=V Condicional V F = F Disyuncin inclusiva FvF=F Bicondicional VV V FF V

para determine su valor de verdad acorde con la realidad (contexto) en los enunciados que a continuacin se relacionan: a. Si la pena de muerte en Colombia se cumple, entonces no es cierto que: la delincuencia y la corrupcin en nuestro pas existe. b. En Colombia an hay culturas indgenas desconocidas, siempre que exista la selva amaznica c. El caf de Colombia es el ms suave del mundo, sin embargo su madera la ms fina para elaborar esculturas y muebles d. Es falso que: O El ganado criollo en Colombia est en va de extincin o las organizaciones agropecuarias nacionales estn invirtiendo en publicidad engaosa para evitar su desaparicin e. Que una persona mantenga una dieta rica en papaya o zanahoria, es condicin necesaria de que tenga problemas visuales

UNIVERSIDAD DEL MAGDALENA FACULTAD DE ESTUDIOS GENERALES (CICLO GENERAL) ASIGNATURA: RAZONAMIENTO Y REPRESENTACION MATEMTICA f. Segn informe del banco de la repblica los colombianos gastan ms que sus ingresos si, y solamente si el costo de la canasta familiar est en aumento y no generan ahorros g. A pesar de ser el futbol el deporte predilecto por los colombianos, la seleccin futbol de mayores no da resultados satisfactorios en campeonatos h. La educacin superior en Colombia est al alcance de todos, siempre que sea pblica y financiada completamente por el gobierno. 2. Utilizando diagramas determinar si los siguientes argumentos son o no vlidos: a. Todos los antlopes son rumiantes. Algunos mamferos no son rumiantes. Por tanto: Algunos mamferos no son antlopes. b. Toda prctica mdica se basa en una aplicacin de la biologa. Ninguna aplicacin de la biologa se basa en una prctica mgica. Por tanto: Ninguna prctica mdica se basa en una prctica mgica. c. Todo cetceo es animal acutico. Ningn cetceo es pez. Por tanto: Algunos animales acuticos no son peces. d. Ningn juicio apriorstico es cientfico. Ningn juicio cientfico es irracional. Luego: Ningn juicio apriorstico es irracional. e. Ningn cloruro es compuesto oxigenado. Algunos compuestos oxigenados contienen cloro. Por tanto: Algunos compuestos de cloro no son cloruros. 3. Obtener la conclusin (si es posible) de la inferencia mediata correspondiente a cada una de las parejas de premisas siguientes, mediante la utilizacin de un diagrama para representarlas. a. Todo movimiento mecnico puede convertirse en calor. Toda traslacin es un movimiento mecnico. b. Ningn nmero primo es compuesto. Todo nmero compuesto tiene divisores mayores que la unidad. c. Todo tringulo equiltero es issceles. Ningn tringulo escaleno es issceles. d. Todo nmero real tiene representacin geomtrica. Algunos nmeros trascendentes son reales. e. Ningn polgono regular tiene los lados incongruentes. Algunos cuadrilteros son polgonos regulares.

BIBLIOGRAFIA
GUARIN, Hugo, Introduccin al Simbolismo Lgico. Universidad de Antioquia. Medelln. SUPPES, Patrick y HILL, Shirley, Introduccin a la Lgica Matemtica. Revert S. A. Santaf de Bogot, 1988. TINOCO, Jess. Introduccin a la Lgica Simblica. Universidad del Magdalena. Santa Marta 1995. ESCOBAR, Gustavo. Lgica nociones y aplicaciones. Mc Graw-Hill. Mxico 1999.