RECONOCIMIENTO GENERAL DE ACTORES

Nombre del curso: Palabras clave: Institucin: Ao: Unidad Acadmica: Campo de formacin: Crditos acadmicos: Tipo de curso: Destinatarios:

Lgica Matemtica. Conjunto, Conectivo Lgico, Razonamiento Deductivo e Inductivo, Inferencias Lgicas. Universidad Nacional Abierta y a Distancia UNAD. 2012. Facultad de Ciencias Bsicas e Ingeniera. Disciplinar. Dos(2). Terico. Estudiantes de los programas de pregrado de la Universidad Nacional Abierta y a Distancia UNAD. El estudiante comprende los conceptos bscos de lgica matemtica que le permiten clasificar un razonamiento como vlido o invlido. A distancia. Material impreso, campus virtual. 1) Teora de conjuntos, Principios de Lgica; 2) Razonamientos Deductivo e Inductivo

Competencia general de aprendizaje:

Metodologa de oferta: Formato de circulacin: Denominacin de las unidades didcticas:

Justificacin
Un curso de Lgica Matemtica es significativamente importante en la formacin de cualquier profesional, si se mira desde la ptica de la necesidad de la apropiacin de una fundamentacin conceptual mnima exigible para fortalecer la destreza en la formulacin de argumentos e hiptesis que den validez lgica a nuevas concepciones o actualizaciones cognitivas. En las formas de comunicacin cotidiana utilizamos expresiones del lenguaje natural que en el fondo responden a estructuras de inferencia lgica, o por induccin o por deduccin y que en la medida que se comprenda este proceso de pensamiento complejo se mejoran obviamente los procesos de interaccin comunicativa y de resignificacin cognitiva. Desafortunadamente los campos de formacin de tinte matemtico generan situaciones conflictivas y traumticas en el estudiante por los resultados adversos que en ocasiones genera. En este sentido, la Lgica Matemtica abre un excelente espacio de reflexin y expectativa para modificar esaconcepcin y generar una actitud diferente.

El curso de Lgica Matemtica es desde su estructura un curso de fundamentacin terica, que intenta generar en el estudiante competencias comunicativas y cognitivas a travs del desarrollo de habilidades de pensamiento, como: anlisis, sntesis, comparacin, abstraccin, etc.; aspectos fundamentales para un ptimo desempeo en lo acadmico, disciplinar y profesional. La pertinencia de las temticas que se abordan en las unidades didcticas del curso acadmico de Lgica Matemtica con los diferentes camposdel saber debe generar una dinmica acadmica interesante en el estudiante que lo lleve a desplegar toda su capacidad interpretativa de contextospara encontrar el sentido, fundamento y trascendencia del saber que se imparte para su formacin integral. La metodologa del curso busca mantener una dinmica permanente de interactividad a travs de medios y mediaciones que faciliten procesos de aprendizaje significativo en el estudiante y fundamentalmente sta se apoya en el trabajo acadmico de estudio independiente y de acompaamiento tutorial. En cada una de ellas se facilitan los procesos de aprendizaje considerando que stos se dinamizan estratgicamente desde las fases de reconocimiento, profundizacin y transferencia. Y como todo proceso debe ser evaluado, ste se dinamiza desde la visin institucional de la cual contempla eventos de autoevaluacin, coevaluacin y heteroevaluacin.
Toda esta serie de aspectos antes sealados son motivo de expectativa para generar una nueva visin frente al logro de competencias en aptitud matemtica.

Objetivos
* Que el estudiante comprenda nociones, conceptos, definiciones y operaciones bsicas que configuran la fundamentacin terica sobre conjuntos mediante el estudio y anlisis de las fuentes documentales propuestas articuladas a situaciones especficas donde es pertinente su aplicacin. * Que el estudiante relacione expresiones del lenguaje simblico y del lenguaje natural mediante anlisis comparativo e interpretacin de la funcionalidad de las variables lgicas y operacionabiliadad de los conectivos lgicos como elementos estructurales de la lgica proposicional transcribibles a otras formas de comunicacin en diferentes contextos del saber. * Que el estudiante interprete la fundamentacin terica que soporta los mtodos de inferencia lgica por deduccin e induccin a travs del estudio, anlisis, aplicacin y ejercitacin de los axiomas y leyes de inferencia lgica en la formulacin y demostracin de razonamientos vlidos.

Metas

El estudiante presentar y sustentar un informe personal de trabajo como resultado del estudio y anlisis de los fundamentos de la teora de conjuntos, en donde evidencie la utilizacin de nociones, conceptos, definiciones y operaciones bsicas en el anlisis de situaciones especficas por l definidas. El estudiante plantear y formular expresiones lgicas en lenguaje natural y lenguaje simblico como evidencia del anlisis comparativo e interpretativo de la funcin que cumplen variables y conectores lgicos como elementos estructurales de las expresiones lgicas en el estudio de situaciones particulares propuestas para tal fin. El estudiante presentar una propuesta amplia de razonamientos y demostraciones como resultado del estudio, anlisis y ejercitacin en la interpretacin y aplicacin de los axiomas y leyes de inferencia lgica en los diferentes contextos disciplinares de formacin.

Contexto terico
En todo acto pedaggico intervienen cinco componentes: el que ensea, el que aprende, el sistema de comunicacin, el contenido de lo que va ser enseado y el bagaje cultural y acadmico del estudiante. En el diseo de este curso se tuvieron en cuenta las experiencias que promueven la articulacin de los anteriores elementos; por eso en su estructura se encuentran: Actividades previas: corresponden a las actividades en las cuales se identifican los propsitos del curso, sus intencionalidades y se presenta el desarrollo del curso. Puede desarrollarse de manera individual a travs del estudio del protocolo del curso o a travs de actividades grupales propuestas. Actividades de ejecucin: se llevan a cabo por medio de diversas actividades con el fin de alcanzar los propsitos de formacin. Se dan a travs de: Estudio independiente, desarrollado por el estudiante, a travs de: - Estudio del material sugerido por la UNAD. - Consulta de fuentes documentales ( bibliografa de documentos impresos en papel: libros y revistas; bibliografa de documentos situados en Internet; direcciones de sitios Web de informacin especializada, bibliotecas y hemerotecas virtuales, etc. ) Trabajo en grupo: desarrolladas por estudiantes a travs de pequeos grupos colaborativos, con el propsito de: - Crear grupos de estudio o discusin, para resolver dudas y preparar consultas estructuradas al tutor. Consultas al tutor: teniendo en cuenta las inquietudes, el tutor estar dispuesto a resolver dichas consultas. Se puede realizar a travs de: - Tutora: Sesiones formativas cuya finalidad es asesorar a los estudiantes en los puntos crticos del curso. Se puede realizar de forma individual, en pequeos grupos o en grupo de clase. - Medios tecnolgicos: a travs de herramientas como correo electrnico, salas de conversacin, foros, etc. Actividades de evaluacin: permiten identificar los logros alcanzados en cada una de las unidades didcticas, establecer las dificultades en el aprendizaje y afianzar los

conocimientos adquiridos. Lea cuidadosamente la programacin y organizacin de dichas actividades dentro del curso. Esto le brindar la oportunidad de desarrollar un proceso de aprendizaje evidenciado en sus fases de reconocimiento, profundizacin y transferencia. Al poner en operacin estas fases, propias del proceso de aprendizaje, cada uno de los participantes del curso tiene la oportunidad de materializar su propio proyecto de aprendizaje, esto es, su propio proceso de descubrimiento que por su misma naturaleza, es individual y que se reafirma desde la cooperacin de cada uno de los compaeros de pequeo y gran grupo.

Metodologa
En todo acto pedaggico intervienen cinco componentes: el que ensea, el que aprende, el sistema de comunicacin, el contenido de lo que va ser enseado y el bagaje cultural y acadmico del estudiante. En el diseo de este curso se tuvieron en cuenta las experiencias que promueven la articulacin de los anteriores elementos; por eso en su estructura se encuentran: Actividades previas: corresponden a las actividades en las cuales se identifican los propsitos del curso, sus intencionalidades y se presenta el desarrollo del curso. Puede desarrollarse de manera individual a travs del estudio del protocolo del curso o a travs de actividades grupales propuestas. Actividades de ejecucin: se llevan a cabo por medio de diversas actividades con el fin de alcanzar los propsitos de formacin. Se dan a travs de: Estudio independiente, desarrollado por el estudiante, a travs de: - Estudio del material sugerido por la UNAD. - Consulta de fuentes documentales ( bibliografa de documentos impresos en papel: libros y revistas; bibliografa de documentos situados en Internet; direcciones de sitios Web de informacin especializada, bibliotecas y hemerotecas virtuales, etc. ) Trabajo en grupo: desarrolladas por estudiantes a travs de pequeos grupos colaborativos, con el propsito de: - Crear grupos de estudio o discusin, para resolver dudas y preparar consultas estructuradas al tutor. Consultas al tutor: teniendo en cuenta las inquietudes, el tutor estar dispuesto a resolver dichas consultas. Se puede realizar a travs de: - Tutora: Sesiones formativas cuya finalidad es asesorar a los estudiantes en los puntos crticos del curso. Se puede realizar de forma individual, en pequeos grupos o en grupo de clase. - Medios tecnolgicos: a travs de herramientas como correo electrnico, salas de conversacin, foros, etc. Actividades de evaluacin: permiten identificar los logros alcanzados en cada una de las unidades didcticas, establecer las dificultades en el aprendizaje y afianzar los conocimientos adquiridos.

Lea cuidadosamente la programacin y organizacin de dichas actividades dentro del curso. Esto le brindar la oportunidad de desarrollar un proceso de aprendizaje evidenciado en sus fases de reconocimiento, profundizacin y transferencia. Al poner en operacin estas fases, propias del proceso de aprendizaje, cada uno de los participantes del curso tiene la oportunidad de materializar su propio proyecto de aprendizaje, esto es, su propio proceso de descubrimiento que por su misma naturaleza, es individual y que se reafirma desde la cooperacin de cada uno de los compaeros de pequeo y gran grupo.

Fuentes Documentales

Bustamante, Sandra., Corts, D. Juvenal., et al. (2008). Razonamiento Lgico. Razono y acto con lgica. Universidad de Antioquia. Medelln, Colombia.

Galindo Patio, N. J. (1999) Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C. Suppes, Patrick. Hill, Shirley (1988). Primer curso de lgica Matemtica. Revert. Santaf de Bogot. Picacenza, Eduardo (1991). Lgica. Universidad Nacional Abierta. Caracas. Salazar, R. (2008). Gua didctica para el diseo de la Gua de Actividades de los cursos por mediacin Tradicional. Vicerrectora de Medios y Mediaciones Pedaggicos. Universidad Nacional Abierta y a Distancia. UNAD. Bogot. D.C. Valenzuela, Gustavo E. (1999). Lgica. Nociones y Aplicaciones. McGraw-Hill. Mxico

Mapa Conceptual

Contexto Histrico de la Lgica

Concete a ti mismo ("gnosei seauton") es la frase que apareca en el santuario del Dios Olmpico Apolo y que se atribuye a Tales de Mileto (639 a.c), quien es considerado como el primer representante de la filosofa occidental: tanto as como para reconocrsele como el iniciador de la indagacin racional sobre el universo, a Tales de Mileto se atribuye plantear explicaciones de la naturaleza sin hacer referencia a lo sobrenatural.

Es as, como los precursores de la filosofa, llamados los presocrticos, representaron una innovacin en el pensamiento, al tratar de explicar las cosas por si mismas.

En el perodo Socrtico, los filsofos pasarn de preocuparse por los temas de la naturaleza a ocuparse en el hombre. En este perodo aparecen los sofistas, quienes profundizan en el arte de discutir, a ellos debemos lo que en la lgica se

denomina un sofisma, argumentos que parecen vlidos pero que realmente no lo son.

Originalmente logos significa palabra o discurso, por lo que en un principio se defini la lgica como la rama de la gramtica que se ocupaba de ciertas formas de lenguaje.

Como la palabra es la expresin, o manifestacin del pensamiento y el pensamiento racional es la base de la filosofa, puede decirse en general, que la lgica es la ciencia del pensamiento racional; es importante aclarar que la lgica no se ocupa del contenido de los pensamientos sino de la manera o forma de los pensamientos.

En respuesta a la necesidad de construir argumentos, para defender o refutar pensamientos de los dems, Aristteles, considerado por los griegos El padre de la lgica, creo mtodos sistemticos para analizar y evaluar dichos argumentos, para lo cual desarroll la lgica proposicional estableciendo procedimientos para determinar la verdad o falsedad de proposiciones compuestas.

El gran matemtico Gottfried Leibniz en 1646 fue el primero en intentar reformar la lgica clsica, planteando que la dependencia lgica entre proposiciones es demostrada reduciendo argumentos complejos en simples, para lo cual propuso representar el conocimiento en una forma que pudiera ser usado por un razonamiento mecnico y a ste esquema (lgica simblica) lo llam una caracterstica universal.[1] El proceso de la lgica continu en el siglo XIX. En 1847 el matemtico ingls George Boole en compaa de Augustus de Morgan hizo notar el parentesco entre las operaciones lgicas con las matemticas, pues a partir de los operadores aritmticos de adicin, multiplicacin y sustraccin crearon los operadores lgicos equivalentes de unin, interseccin y negacin; adems formularon los principios del razonamiento simblico y el anlisis lgico. A Boole se le atribuye la invencin de las tablas de verdad para comprobar la veracidad de proposiciones compuestas. [2]

Este trabajo fue retomado por Bertrand Russell y Alfred Whitehead en 1910 en su obra Principio Matemtico, quienes codificaron la lgica simblica en su presente forma definindola como la Ciencia de todas las operaciones conceptuales posibles, por esta razn la fundacin de la lgica formal moderna se le atribuye a ellos. [3]

Clasificacin de la lgica
La lgica se puede clasificar como lgica tradicional o no formal y lgica simblica o formal:

1. Lgica tradicional o no formal. 2. Lgica simblica o formal.

En la lgica no formal o lgica tradicional se considera la destreza para interpretar y distinguir un razonamiento correcto de un razonamiento incorrecto como un producto de la experiencia humana obtenida en la relacin con el mundo circundante. En palabras de Galindo (1999), se consideran los procesos psicobiolgicos del pensamiento lgico.

La lgica como ciencia constituye la lgica formal o simblica, la cual se encarga de investigar, desarrollar y establecer los principios fundamentales que siguen la validez de la inferencia; es considerada como uno de los sistemas mediante el cual se llega a formas puras y rigurosas. [1]

En el pensamiento simblico, las palabras se manipulan, segn las reglas establecidas, como si fueran simples signos sin preocuparse por su sentido.

De all, que afirmemos que la lgica se ocupa de la forma de los pensamientos y no de su contenido.

Propsito de la lgica
La lgica ofrece mtodos que ensean cmo formar proposiciones, evaluar sus valores de verdad y determinar si unas conclusiones se

pueden deducir correctamente a partir de proposiciones supuestas; adems, la lgica es una ciencia que se interesa por las relaciones existentes entre las proposiciones, con el fin de obtener precisin, claridad y generalidad en los razonamientos.

La precisin la logra mediante el uso de smbolos, los cuales tienen como funcin primordial eliminar las ambigedades que la estructura del lenguaje ordinario no puede evitar con facilidad.

La claridad y generalidad, la consigue en la medida en que el usuario se familiariza con los elementos bsicos de un argumento lgico, tanto en su representacin simblica como en su significado para luego establecer un lenguaje simblico artificial, que le permita simplificar argumentos lgicos complicados; de esta manera, el smbolo permite concentracin sobre lo esencial de un contexto dado, incrementando la fiabilidad con que se aplica el conocimiento. [1]

Leccion 2 - Proposiciones
La proposicin lgica constituye el elemento fundamental de la lgica.

Una proposicin lgica es un enunciado lingstico que debe cumplir con la condicin de ser susceptible de poder ser verdadero o falso.

Por ejemplo:
La temperatura ambiente es mayor de 20 grados es un enunciado que puede ser Verdadero o Falso.

La proposicin puede ser verdadera o falsa en un momento dado, decimos entonces que, el valor de verdad de una proposicin lgica es, por definicin, verdadero o falso, y es representado por las letras V o F.

El valor de verdad de la proposicin de acuerdo a la relacin de su contenido con la realidad no es el objeto de estudio de la lgica. Es por esta razn que se afirme que la lgica habla de lo posible, pero no de lo real. De esta manera, dada la proposicin hace fro, independiente de las creencias de cualquiera o de la realidad de que est o no haciendo fro, independiente del lenguaje o de la forma lingstica usada como la temperatura est baja, la lgica slo se ocupa de la posibilidad de ser verdadero o falso de la proposicin. De all que se suela afirmar que la verdad lgica es una verdad formal, que no tiene contenido. Observemos que las proposiciones se dan mediante un enunciado lingstico, generalmente en la forma gramatical de oracin enunciativa: Recordemos que la oracin enunciativa se corresponde con los actos de habla declarativos, los cuales comunican sin ms, un hecho: Juan es Colombiano. Estas expresiones contienen un sujeto perfectamente definido o dado por el contexto, un predicado y una conjugacin del verbo ser, observemos algunos ejemplos:

Ejemplos:
Hoy es sbado Soy estudiante de psicologa New York es llamada la capital del mundo

De esta manera, podemos afirmar que la lgica se ocupa de las proposiciones. Ms adelante, estudiaremos reglas que permiten la transformacin de unas expresiones en otras equivalentes, y veremos cmo, de acuerdo a estas reglas o leyes lgicas, a partir del valor de verdad de una o varias proposiciones logramos inferir la verdad o falsedad de otras proposiciones.

Proposiciones
La lgica utiliza un lenguaje exacto que no da lugar a imprecisiones, para tal fin toma como elemento bsico de anlisis a la proposicin, que no es otra cosa que una oracin del lenguaje cotidiano con un significado mucho ms limitado; en tales condiciones, se puede considerar una proposicin como una excepcin lingstica que tiene la propiedad de ser verdadera o falsa.

Es importante tener en cuenta que las proposiciones representan oraciones declarativas, las cuales contienen un sujeto perfectamente definido o dado por el contexto, un predicado y una conjugacin del verbo ser. Para simplificar la escritura de argumentos lgicos complicados; crea un lenguaje simblico artificial, en donde establece un conjunto de reglas claras, bien definidas y que no presentan las ambigedades ni vaguedades del lenguaje corriente.

Clasificacin de las proposiciones

En lgica se consideran y se simbolizan dos clases de proposiciones: atmicas o simples y moleculares o compuestas: Una proposicin con sentido compleo cuyo valor es falso o verdadero, se denomina proposicin simple.

Ejemplos - proposiciones atmicas

Ejemplos de proposiciones atmicas:

"1 + 4 = 5" es una proposicin Verdadera (V) "3 es un nmero par" es una proposicin Falsa (F) "S.F de Bogot es la capital de Colombia" es una proposicin Verdadera (V)

Proposiciones compuestas
Si se unen dos o ms proposiciones simples, mediante trminos de entlace tales como no, y, o , Si...entonces, si y slo si, se forman las proposiciones compuestas; el valor de verdad de dichas proposiciones es verdadero o falso, dependiendo slo de los valores de verdad de las proposiciones simples que las conforman.

Ejemplos - Proposiciones compuestas

Ejemplos de proposiciones compuestas:

4 es un cuadrado perfecto y 5 es un nmero primo Si un tringulo es issceles, entonces es equiltero Quieres gaseosa o helado

Ejemplos - No son proposiciones

Veamos algunos ejemplos de oraciones que no son proposiciones porque no se les puede asignar un valor de verdad "El tringulo es menor que el crculo ... esta oracin no esproposicin, pues no especifica el criterio de comparacin (rea, permetro, etc), entre las figuras geomtricas. x+5=8 ..Aqu, x es una varialge independiente, por lo tanto puede tomar cualquier valor. Esta condicin no nos permite determinar el valor de la expresin matemtica.

Razonamiento
Razonar es un proceso por el cual se establece una conclusin basada en una o ms proposiciones supuestas o aceptadas, llamadas premisas, las cuales constituyen el punto de partida del proceso. Si la conclusin es correcta significa que las premisas contienen la informacin necesaria y suficiente para establecer la conclusin y por lo tanto se puede afirmar que el razonamiento es correcto, de lo contrario, se dir que es incorrecto. Todos los seres humanos tenemos la capacidad del raciocinio; una operacin del pensamiento, la ms elevada, en la cual se enlazan ideas y fluyen otras, permitiendo as la comunicacin con el exterior. Se ha dicho que la lgica es la ciencia que estudia la estructura o forma del pensamiento, por lo cual no es difcil comprender que hay varias formas de pensamientos, ms an, existen varias formas de razonar. En la unidad 2 estudiaremos algunos tipos de razonamiento

Leccin3 - Conectivos Lgicos Fundamentales

Conjuncin: ^

Sean p y q dos proposiciones simples. La proposicin compuesta p y q simbolizada por p ^ q, se denomina la conjuncin de p y

La disyuncin v
Sean p y q dos proposiciones simples. La proposicin p o q, simbolizada p v q se llama disyuncin de p y q.

La negacin ~
Sea p una proposicin simple. Se define la negacin de p mediante la proposicin compuesta no p simbolizada por: ~ p o por