LICENCIATURA EN EDUCACIN PREESCOLAR COMPETENCIAS LGICO - MATEMTICAS FECHA LIMITE DE ENTREGA: 28 de FECHA INICIO: 11 de noviembre de 2011 noviembre de 2011

DOCENTE Rosa Mara Palacios Jimnez. Magister en Docencia de las matemticas Universidad Pedaggica Nacional DESCRIPCIN La asignatura de competencias lgico-matemticas hace parte de los cursos que se desarrollan en la Facultad De Estudios Generales, en ella se realiza un estudio detallado de la teora y la deduccin proposicional, es currculo de las carreras. Considerando su destinacin, se ha intentado cobijar en l los conceptos ms relevantes de la lgica, desde el punto de vista de su aplicacin a la argumentacin corriente: Proposiciones simples y compuestas, tablas de verdad y tautologas y su relacin con los conjuntos OBJETIVOS Preparar al estudiante para que pueda determinar la validez o invalidez de los argumentos utilizados la conversacin diaria, y en los utilizados en el desarrollo de sta, y de las dems asignaturas del programa. de carcter general para todos los programas acadmicos de la universidad con lo cual es de vital importancia dentro del

JUSTIFICACIN La Lgica es la Ciencia que nos permite elaborar argumentos, y decidir si un argumento es vlido o no es vlido. A lo largo del da, y todos los das, nuestro cerebro se ve obligado a sacar conclusiones a partir de los sucesos, o situaciones, o argumentos, que se van presentando. En la conversacin diaria, con frecuencia, nos vemos precisados a obtener conclusiones con base en algunas aseveraciones anteriores; y en otros casos nos toca mostrar a otros, o a nosotros mismos, que una argumentacin no es vlida. En el desarrollo normal de la ciencia, generalmente despus de la observacin, o experimentacin de los fenmenos, se procede a formular hiptesis, y con el apoyo de la matemtica y la lgica, a obtener conclusiones predictivas. Si no se cuenta con los conocimientos cientficos adecuados para valorar los argumentos, se corre el riesgo de obtener, y aceptar, conclusiones no vlidas. Los argumentos anteriores muestran que para quien pretende estudiar una carrera universitaria unos fundamentados conocimientos de lgica resultan absolutamente necesarios. Esta es la razn por la cual se ha incluido un curso de lgica como parte de la formacin bsica de los estudiantes de licenciatura en educacin preescolar. CONTENIDOS 1. Proposiciones 2. Tablas de verdad y tautologas 3. Teora de la deduccin proposicional 4. Teora de conjuntos METODOLOGA Un estudiante a distancia de Licenciatura en educacin preescolar de la Universidad del Magdalena debe estar en permanente bsqueda del perfeccionamiento en su formacin acadmica, ser un apasionado por el conocimiento, buscar constantemente la excelencia y su independencia intelectual. El estudiante entonces ser el principal responsable de su aprendizaje. De acuerdo con estas caractersticas, se privilegia un aprendizaje virtual 100%, que propicie el dominio adecuado de los conceptos matemticos estudiados y el desarrollo tanto de habilidades de pensamiento como de competencias para la resolucin de problemas. Se basar en la lectura y apropiacin del modulo y el desarrollo de talleres que

involucren actividades de solucin de problemas, donde se ponga en juego la creatividad, las habilidades para comunicarse, la manipulacin, la formacin de conjeturas, la generalizacin y la argumentacin. Se deben desarrollar los ejercicios y talleres propuestos en el mdulo y entregar dentro de las fechas establecidas y como ltimo plazo el 28 de noviembre de 2011.

BIBLIOGRAFA ALLWOOD, Jean y Otros. Lgica para Lingistas. Paraninfo. Bogot 1990. COPI, Irving M. Lgica Simblica. C.E.C.S.A. Mxico. 1.981.

Madrid 1.981

CAICEDO, Xavier. Elementos de Lgica y Calculabilidad. Universidad de los Andes,

GRASSMANN, Winfried K. y TREMBLAY, Jean P. Matemtica Discreta y Lgica. Prentice Hall. Madrid 1998. GUARIN, Hugo, Introduccin al Simbolsmo Lgico. Universidad de Antioquia. Medelln HAACK, Susan. Filosofas de las Lgicas. Ctedra . Madrid 1.982 NEGRETE, Juan M. Lgica Elemental. Limusa. Mexico 1994. SMITH, Karl J. Introduccin a la Lgica Simblica. Grupo Editorial Iberoamericano. Mexico 1991. SUPPES, Patrick y HILL, Shirley. Introduccin a la Lgica Simblica. Mxico, 1.970. 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. C.E.C.S.A.

LOGICA MATEMTICA INTRODUCCIN Consideremos algunas teoras acerca de qu es la lgica y su relacin con la matemtica; al respecto Alberto Dou, S.J. afirma que: El logicismo es una doctrina sobre los fundamentos de la matemtica que considera la lgica como anterior o ms fundamental que la matemtica y efecta la reduccin de los conceptos y mtodos de inferencia matemtica a los correspondientes de la lgica, concluyendo consiguientemente que la matemtica no es ms que una rama de la lgica. Las relaciones que existan entre la matemtica y la lgica pueden constituir un aspecto muy importante de una teora sobre fundamentos Una definicin precisa de la lgica, que la caracterice totalmente, depende del sistema filosfico que se adopte. De esta manera:

La lgica matemtica es una ciencia que es anterior a las dems, que contiene las ideas y los principios en que se basan todas las ciencias. K. Gdel (1906)

La lgica es generalmente considerada como un arte que como una ciencia; un arte que da la manera de operar vlidamente con conceptos y proposiciones, y no como ciencia, porque carece de objetos propios a los que corresponda algo en la naturaleza. Aristteles y en la escolstica.

Lgica es el estudio sistemtico de la estructura de las proposiciones y de las condiciones generales de vlida inferencia por un mtodo que abstraiga del contenido o materia de las proposiciones y tenga en cuenta solamente su forma lgica. Se distingue entre materia y forma cuando distinguimos entre la legitimidad lgica o validez de un texto razonado y la verdad de las premisas de las cuales se deduce; y en este sentido es familiar en el lenguaje ordinario. A. Church (1903).

Sin embargo, es necesario establecer con precisin la distincin con referencia a un lenguaje particular o sistema de notacin, un lenguaje formalizado, el cual evite las inexactitudes y las irregularidades de estructura y expresin que sistemticamente llevan a equivocaciones y que se encuentran en los lenguajes ordinarios, y el cual siga o reproduzca la forma lgica, a costa de la brevedad y facilidad de comunicacin cuando sea necesario. De modo que adoptar un lenguaje formalizado particular es adoptar un sistema o teora particular de anlisis lgico. Entonces se puede caracterizar el mtodo formal diciendo que se trata de la forma objetiva de las sentencias que expresan proposiciones, y suministra en estos trminos concretos, criterios para determinar si las sentencias tienen sentido o criterios de inferencia vlida. Por consiguiente, segn el logicismo la matemtica es una rama de la lgica, sin duda extensa y con vida propia, pero cuyo mtodo se identifica con el propio mtodo de la lgica. Se concibe as la matemtica como una disciplina universal que regira todas las formas de argumentacin. As una de las tareas fundamentales del logicismo es la reduccin de los conceptos matemticos a conceptos lgicos; a esta reduccin se le designa como logificacin ELEMENTOS DE LGICA PROPOSICIONAL Iniciamos ahora nuestro trabajo especfico en el clculo proposicional, con la construccin de un lenguaje preciso, libre de ambigedades, que nos permita desde

sus bases, la consolidacin de una estructura dinmica, pero rigurosa y a prueba de inconsistencias.

PROPOSICIN Una proposicin es una afirmacin que puede ser falsa o verdadera pero no ambas a la vez. La proposicin es un elemento fundamental de la lgica matemtica. A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se explica el porqu algunos enunciados no son proposiciones. Las proposiciones se indican por medio de una letra minscula, dos puntos y la proposicin propiamente dicha. Ejemplo. p: q: r: s: t: w: La tierra es plana. -17 + 38 = 21 x > -9 El Morelia ser campen en la presente temporada de ftbol. Hola como estas? Lava la loza por favor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones validas. La proposicin del inciso s tambin esta perfectamente expresada aunque para decir si es falsa o verdadera se tendra que esperar a que terminara la temporada de ftbol. Sin embargo los enunciados t y w no son vlidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden. El inciso r tambin es una proposicin valida, aunque el valor de falso o verdadero depende del valor asignado a la variable x, en determinado momento por lo que se denomina una proposicin abierta es decir su valor de verdad depende del valor que se le de a las variables. Para una proposicin abierta existe un conjunto solucin el cual est ubicado dentro de un conjunto referencial as por ejemplo: Proposicin abierta:

p: x es mltiplo de 5 Conjunto solucin: P = {5, 10, 15, 20, 25, 30, 35, ...} Conjunto Universal o referencial. U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, ...} Ejercicio 1. Hallar el conjunto solucin de cada una de las siguientes proposiciones abiertas: p: x es un nmero primo q: x divisor de 48 r: x es mltiplo de 4 s: x no es nmero par NEGACIN DE UNA PROPOSICIN El operador NO tiene como funcin negar la proposicin. Esto significa que s alguna proposicin es verdadera y se le aplica el operador NO se obtendr su negacin (falso). Este operador se indica por medio de los siguientes smbolos: (~) p V F ~p F V Lo anterior es un concepto importante de la lgica matemtica, permite observar la relacin existente entre la negacin de

proposiciones con el complemento de un conjunto. En la negacin de una proposicin existen dos principios que son: Principio del tercero excluido dice: entre falso y verdadero no hay trmino medio

 Principio de la no contradiccin dice que una proposicin no puede ser falsa y verdadero al mismo tiempo.

PROPOSICIONES COMPUESTAS CONECTIVOS LGICOS Y PROPOSICIONES COMPUESTAS. Existen conectores u operadores lgicos que permiten formar proposiciones compuestas (formadas por varias proposiciones). La forma de las proposiciones compuestas depende del trmino de enlace utilizado, y no del contenido de la proposicin o proposiciones simples. Es decir, si en una proposicin compuesta se sustituyen las proposiciones simples por otras proposiciones simples cualesquiera, la forma de la proposicin compuesta se conserva. Cuando una proposicin compuesta utiliza el trmino de enlace "y" es una conjuncin ( . Si el enlace se hace mediante la conectiva "o" es una disyuncin (v). Si se usa el ) trmino "no" es una negacin. Cuando la conectiva es "si,.... entonces.." es una proposicin condicional () , y si utiliza "si y slo si" se tiene un bicondicional ( ) En proposiciones que tienen ms de un trmino de enlace es preciso indicar la manera de agruparse, pues distintas agrupaciones pueden tener distintos significados. En el lenguaje corriente, las agrupaciones se presentan de acuerdo a la posicin de ciertas palabras o mediante la puntuacin. En lgica la agrupacin se indica por medio de parntesis. Ejemplo: O los soldados encontraron cerrado el paso, o si temieron un ataque enemigo, se refugiaron en las montaas. Este texto se simboliza de la siguiente forma: p : Los soldados encontraron cerrado el paso. q : Los soldados temieron un ataque enemigo. r : Los soldados se refugiaron en las montaas. La proposicin compuesta es: p (q r ) , proposicin ( p q) r la cual tiene un sentido distinto de la

Cuando no hay lugar a ambigedades, pueden omitirse los parntesis y se adopta una convencin con respecto a la dominancia relativa de los diversos conectivos. La convencin es: y dominan a y . As: s pvr significa s ( pvr ) p q r significa p )(q r ) Ejercicio 2. Simbolizar completamente las proposiciones siguientes, utilizando los smbolos correspondientes a cada trmino de enlace. Indicar las proposiciones simples sustituidas por cada letra minscula. a. En el hemisferio sur, julio no es un mes de verano. b. Si dos pulsaciones se atraviesan, continan conservando la forma original. c. O Jaime no es puntual o Toms llega tarde. d. Ni Antonio ni Ana estudian en la Universidad. e. O Pedro es presidente y Juan es tesorero, o Jaime es tesorero. f. Si este cuadro es negro entonces aquel cuadro es rojo y su rey est sobre el cuadro rojo. g. A la vez si este cuadro es negro entonces aquel cuadro es rojo y su rey est sobre el cuadro rojo. h. Patinaremos si y slo si el hielo no es demasiado delgado.

3. Si p , q , r , s designan las proposiciones: p: Juan viaj en el avin de las 8 a.m. q: Pedro lleg a tiempo al aeropuerto. r: El proyecto se expuso ante la junta directiva. s: El vuelo se retras Expresar en el lenguaje ordinario las siguientes proposiciones: p ((q r ) s) ( p (q r ) s) (( p q) r ) s )

 ( p q) (r s) (( p q ) r ) s Tablas de verdad Interpretacin en el lenguaje ordinario Estas tablas pueden construirse haciendo una interpretacin de los signos lgicos, , como: no, o, y, si ... entonces, si y slo si, respectivamente. La interpretacin corresponde al sentido que estas operaciones tienen dentro del razonamiento. Puede establecerse una correspondencia entre los resultados de estas tablas y la deduccin lgico matemtica. En consecuencia, las tablas de verdad constituyen un mtodo de decisin para chequear si una proposicin es o no un teorema. LA CONJUNCION: Operador , (y) Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero solo cuando las dos proposiciones son verdaderas. Se le conoce como la multiplicacin lgica LA DISYUNCIN Operador v (O) Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera.

Condicional o Implicativa. Dos proposiciones simples p y q relacionadas por el conectivo lgico "entonces" conforman la proposicin compuesta llamada condicional o implicativa, la cual se simboliza as: p q: p q p q

VV VF FV FF

V F V V

Bicondicional. Dos proposiciones simples p y q relacionadas por el conectivo lgico "si y slo si" conforman la proposicin compuesta llamada conjuncin, la cual se simboliza as: p q. p q p q VV VF FV FF FRMULA LGICA Una frmula lgica es la representacin simblica de una proposicin compuesta, las cuales estn conformadas por proposiciones simples, conectivos lgicos y signos de agrupacin. Al evaluar una frmula se confecciona su tabla de verdad. Ejemplo: Se tiene las siguientes proposiciones: p: Abigail Alcalde Flores gana la partida de damas. q: Abigail Alcalde Flores recibe el premio. Una proposicin compuesta empleando p y q ser: "Si Abigail Alcalde Flores gana la partida entonces recibe el premio", la cual se representa simblicamente as: p q. Expresiones como: p q, (p q) q y (p q) ( p q) reciben el nombre de frmulas lgicas. V F F V

Al evaluar una Frmula se confecciona su Tabla de Verdad.

Si en esta tabla todos los valores de verdad son V, tal frmula es una Si en esta tabla todos los valores de verdad son F, tal frmula es una Si en esta tabla, algunos de los valores de verdad son V y otros son F, tal

TAUTOLOGA.

CONTRADICCIN.

frmula es una CONTINGENCIA. Al evaluar una frmula debemos tener en cuenta un orden en las operaciones lgicas a realizarse. Empezamos con las operaciones encerradas por los parntesis interiores, siguen todas las negaciones y luego se avanza de izquierda a derecha. Es recomendable identificar el conectivo principal de la frmula que representa la operacin final a realizarse. Si en el interior de un parntesis alguna proposicin simple esta precedida por una negacin, primero se opera sta.Ejemplos Encontrar el valor de verdad de las siguientes frmulas lgicas:
a.

( p q ) ( q r ) Siendo p, q y r proposiciones con valor de verdad: p: V, q: F y q ( p q ) ( p q ) Siendo p y q proposiciones con valor de verdad: p: V y q: F

r: V
b.

Solucin 1. ( p q ) (q r ) (V F) (F V) F F 2. q (p q) (p q) F (V F) (V F) F FV F VV F V F

EJERCICIOS I. Evaluar las siguientes frmulas lgicas y establecer si se trata de Tautologa, Contradiccin o Contingencia.
a. ( p q ) ( p q ) b. [ p q ] q c. ( p q ) ( p q ) d. [ ( p) ( r) ] q e. [ ( p q ) p ] p f. ( p q ) ( p q ) g. [ (p q) q] q h. ( p q ) ( q r )

II Sean p, q y r proposiciones tales que p es verdadera (v), q es falsa (F) y r es falsa (F). Indique el valor de verdad de la proposicin:
a. b. c. d.

[ ( p q ) ( r q ) ] ( p r ) ( p q) r s

[ ( p q ) ( p q ) ] ( p q ) [ q ( p r ) ] ( r q )

III De las siguientes proposiciones Cules son tautologas?

e.

( p q ) [ ( p ) q ] [ ( p q ) ( q ) ] p
TEORA DE CONJUNTOS

f. [ ( p q ) ( q q ) ] p g.

NOCION INTUITIVA DE CONJUNTO Un conjunto es la reunin en un todo de objetos bien definidos y diferenciables entre si, que se llaman elementos del mismo.

Si a es un elemento del conjunto A se denota con la relacin de pertenencia a A . En caso contrario, si a no es un elemento de A se denota a A Ejemplos de conjuntos:

: el conjunto vaco, que carece de elementos. N: el conjunto de los nmeros naturales. Z: el conjunto de los nmeros enteros. Q : el conjunto de los nmeros racionales. R: el conjunto de los nmeros reales. C: el conjunto de los nmeros complejos.

Se puede definir un conjunto:

por extensin, enumerando todos y cada uno de sus elementos. por comprensin, diciendo cul es la propiedad que los caracteriza.

Diagrama de Venn: Los diagramas de venn permiten visualizar grficamente las nociones conjuntistas y se representan mediante crculos inscritos en un rectngulo. Los crculos corresponden a los conjuntos dados y el rectngulo al conjunto universal. Ejemplo: A B

Un conjunto se suele denotar encerrando entre llaves a sus elementos, si se define por extensin, o su propiedad caracterstica, si se define por comprensin. Por ejemplo: A := {1,2,3, ... ,n} B := { p Z | p es par}

Se dice que A est contenido en B (tambin que A es un subconjunto de B o que A es una parte de B), y se denota A B , si todo elemento de A lo es tambin de B, es decir, a A a B Dos conjuntos A y B se dicen iguales, y se denota A = B, si simultneamente A B y

B A;

Operaciones Fundamentales con Conjuntos

Las operaciones bsicas del lgebra de conjuntos son:

Unin. La unin de dos conjuntos A y B es el conjunto A B que contiene todos los

elementos de A y de B. Interseccin. La interseccin de dos conjuntos A y B es el conjunto A B que contiene todos los elementos comunes de A y B.

Diferencia. La diferencia entre dos conjuntos A y B es el conjunto A \ B que contiene todos los elementos de A que no pertenecen a B.

Complemento. El complemento de un conjunto A es el conjunto Ac que contiene todos los elementos que no pertenecen a A.

Ejemplos

A={3,4,5,8,9} AB={3,4,5,7,8,9,10 A={7,8,9,10,11,12}

B={5,7,8,9,10}

B={5,6,9,11,13,14}

A B={9, 11}

U= {1,2,3,...10} y A={ 3,4,6,7} C = {u, v, x, y, z}

Ac= {1,2,5,8,9,10} C - D = {x, y, u}

D = {s, t, z, v, p, q}

TALLER DE CONJUNTOS 1) La ltima encuesta realizada, sobre las Editoriales ms solicitadas en la Biblioteca. Arroj los siguientes resultados: 48 utilizan de Pearson, 40 utilizan Mc Graw Hill, 34 utilizan Limusa, 25 utilizan Pearson y Mc Graw Hill, 14 utilizan Mc Graw Hill y Limusa, 23 utilizan Pearson y Limusa, 3 utilizan las tres Editoriales. a) Realice el diagrama adecuado. b) Cul es el nmero de personas entrevistadas por este tema? c) Cuntos utilizan slo textos de una Editorial? 2) En un estudio de 120 consumidores realizado en un centro comercial, 80 consumidores indicaron que compran la marca A de cierto producto, 68 compran la marca B, y 42 adquieren ambas. Determine la cantidad de consumidores participantes en el estudio, quienes compran a) al menos una de estas marcas. b) exactamente una de estas marcas. c) Slo la marca A. d) Ninguna de estas marcas. 3)

. 4) .

5) . En cada caso, representar en un diagrama de Venn las siguientes situaciones: