LOGICA MATEMATICA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIER INGENIERA MDULO DE LGICA MATEMTICA GICA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIAESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA CIENCIAS BSICAS

LGICA MATEMTICAGE EORFFREY ACEVEDO GONZLEZ

Medelln, 2012

1

Lgica MatemticaJaime Alberto Leal Afanador Rector Dr. Roberto de Jess Salazar Ramos Asesor de Rectora Vicerrector de Servicios a Aspirantes, Estudiantes y Egresados Miguel Roberto Hernndez Saavedra Dra. Elizabeth Vidal Arizabaleta Vicerrectora Acadmica y de Investigacin Dra. Gloria C. Herrera Snchez Vicerrectora de Medios y Mediaciones Pedaggicas Dr. Edgar Guillermo Rodrguez Vicerrector Vicerrectora de Desarrollo Regional Comunitario Gustavo Velsquez Quintana Decano Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Magdalena Pinzn de Posada Vicerrectora de Relaciones Internacionales Maribel Crdoba Guerrero Secretaria General Jorge Eliecer Rondn Coordinador de Ciencias Bsicas

MDULO CURSO DE LGICA MATEMTICA PRIMERA EDICIN (EN EDICIN) Copyrigth Universidad Nacional Abierta y a Distancia

PROHIBIDA LA REPRODUCCIN Y PUBLICACIN PARCIAL O TOTAL DE ESTA OBRA SIN AUTORIZACIN DE LA UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNADISBN 2011 Centro Nacional de Medios para el Aprendizaje Actualizacin, Edicin y Diagramacin Georffrey Acevedo Gonzlez Medelln, Colombia. 9 de Mayo de 2012 (material en prensa) Este material tiene como referencia principal el mdulo diseado por la Dra. Nubia Janeth Galindo Patio en el ao de 1999 para la Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C. 1999 Portada: Aristteles segn un manuscrito de su Historia naturalis. Roma 1457 (Cod. vindob. phil. gr.). Medelln Colombia Mayo de 2012.

2

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA OH dicha de entender, mayor que la de imaginar o la de sentir! Borges. La teora del silogismo categrico es uno de los ms hermosos descubrimientos del espritu humano Leibniz Introduccin Este mdulo est concebido para ser un curso introductorio a la lgica Matemtica. Antes de dar inicio al desarrollo de los temas del curso, y en general, para toda actividad, es importante que nos interroguemos por el origen y propsito de dicho conocimiento, Qu problemas busc resolver el hombre mediante dicho conocimiento? Qu preguntas vamos a contestar con el aprendizaje del curso? Qu competencias se espera que el estudiante desarrolle? Por qu se consideran importantes estas competencias? Por qu, siendo yo un estudiante de regencia de farmacia, o un estudiante de ingeniera, o mejor an, un estudiante de psicologa, debo tomar el curso de Lgica Matemtica? Entre las competencias que debe tener un estudiante, se destaca su capacidad para construir razonamientos deductivos e inductivos, tal que le permitan verificar hiptesis as como generar nuevas, una competencia necesaria, no slo para la investigacin cientfica, sino necesaria para actividades como proponer argumentos vlidos en un ensayo o para debatir ideas. Se considera que la lgica matemtica acompaada de las competencias lingsticas permite plantear las mejores soluciones a diferentes tipos de problemas, al punto que son stas las competencias que son evaluadas por universidades en todo el mundo para determinar el acceso a programas de educacin superior. La competencia lgico matemtica no hace referencia exclusiva a operaciones con representaciones simblicas y ejercicios complejos. En este curso aprenders cmo en nuestro lenguaje cotidiano hacemos uso de los razonamientos lgicos deductivos e inductivos, siguiendo unas estructuras bsicas que nos permiten afirmar que un razonamiento es o no vlido. Ya Platn en la Repblica nos propone que antes del estudio de una ciencia social como lo es la filosofa era necesaria la preparacin de la mente por medio del estudio de la geometra euclidiana, en la cual el discpulo deba entrenarse haciendo demostraciones de teoremas de la geometra, demostraciones que slo se logran siguiendo una secuencia lgica de pasos ordenados. 3

Lgica Matemtica

Hoy, muchas instituciones educativas exigen a sus aspirantes a cualquier programa acadmico, presentar pruebas de admisin que pretenden evaluar las competencias tanto lingsticas como lgico matemticas. Mediante estas evaluaciones, las instituciones pretenden elegir entre todos sus aspirantes a aquellos que se encuentren ms preparados para aprender. Esto es para comprender y elaborar razonamientos lgicos deductivos e inductivos cada vez ms complejos. En este sentido, el curso de lgica matemtica es importante para mejorar en la interpretacin y construccin de razonamientos lgicos presentes tanto en el lenguaje cotidiano como en todas las reas especializadas del conocimiento. Es por esta razn que el curso de lgica matemtica es un curso transversal a todos los programas acadmicos ofertados por la Universidad Nacional Abierta y a Distancia UNAD. Para leer el mdulo slo se requieren conceptos de conjuntos numricos, y operaciones algebraicas bsicas. La intencin es que el estudiante pueda aprender de este mdulo por s mismo, en este sentido es un texto escrito ms para los estudiantes que para el tutor. En el curso de lgica matemtica, analizaremos diferentes operaciones entre conjuntos, tales como unin, interseccin y complemento, entre otras operaciones, que nos permitirn aclarar la comprensin de las relaciones entre los conectivos lgicos usados en el lenguaje natural, partiendo para ello de una representacin grfica. A la par desarrollaremos las destrezas lgico matemticas, dando solucin a problemas como ste: De acuerdo con una encuesta virtual realizada a cincuenta estudiantes de la UNAD, los amantes de la msica de Juanes son 15; mientras que los que nicamente gustan de la msica de Shakira son 20, Cuntos son fanticos de los dos artistas si 10 de los encuestados, entre los 25 que no son fanticos de Shakira, afirman ser fanticos de Juanes? Comprenderemos cmo trabajan los conectivos lgicos que usamos diariamente en nuestro leguaje y que pocas veces nos detenemos a analizar y a comprender, por ejemplo, nuestro amigo Boole afirma que cuando gane su equipo predilecto har fiesta, pasado un tiempo encontramos que Boole est festejando pero que su equipo predilecto ha perdido Se est contradiciendo el amigo Boole con su afirmacin inicial?, En este curso descubriremos y analizaremos el conectivo lgico que ha usado Boole en su afirmacin para concluir sobre este asunto. Identificar los conectivos lgicos, las premisas y comprender su funcin en el lenguaje nos permitir disear frases cada vez ms complejas sin que se pierda la coherencia en la construccin gramatical.

4

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA Posteriormente aprenderemos a simplificar expresiones complejas o difciles de descifrar usando el lenguaje natural, para ello utilizaremos leyes expresadas por medio de smbolos. Por ejemplo, al expresar en lenguaje natural que es falso que Augustus no miente; por medio de la lgica aprendemos a llegar a la simplificacin: Augustus miente, utilizando leyes lgicas bsicas que nos permiten validar la simplificacin hecha con un argumento ms all de la simple intuicin. Gracias al desarrollo informtico un estudiante de psicologa, puede implementar una funcin lgica en una hoja de clculo como Excel o Calc, que le permita obtener en segundos el resultado de la aplicacin de un Test psicolgico a una poblacin. En general, gracias a los principios bsicos de la lgica se pueden implementar funciones de aplicacin en todas las reas del conocimiento. Otra interesante aplicacin de la lgica es en el proceso de validar nuestros argumentos. Por ejemplo, analicemos qu puede concluirse de la siguiente afirmacin: si llueve hace fro, posteriormente ocurre que hace fro, es entonces correcto concluir que llueve?, Por medio de la lgica transformaremos esta expresin en lenguaje simblico que posteriormente podremos analizar por medio de una tabla de verdad y descubrir en qu caso especfico la conclusin puede no derivarse de sus premisas. En el mundo de la argumentacin siempre estamos utilizando unos principios lgicos bsicos que estudiaremos en el curso de Lgica Matemtica, permitindonos mejorar en la construccin de argumentos ms fuertes, basados en los cimientos de la lgica.

Buen Viento y Buena mar.Georffrey Acevedo Gonzlez.1Agradecimientos A los estudiantes y tutores del curso que han contribuido en cada perodo con sus aportes, crticas y comentarios. A Jorge Eliecer Rondn, Fuan Evangelista Gmez, Carlos Arturo Serrano y Euclides Daz Arcos por sus aportes.

Maestro en educacin del Instituto Tecnolgico de Monterrey. Ingeniero electrnico de la Universidad de Antioquia. Docente Ocasional de la Escuela de Ciencias Bsicas Tecnologas e Ingeniera de la Universidad Nacional Abierta y a Distancia UNAD- desde 1995. www.georffrey.com [email protected] [email protected]

1

5

Lgica Matemtica CONTENIDO POR LECCIONES Unidad 1 Principios de Lgica

Captulo 1 Introduccin a la lgica Leccin No.1 Leccin No. 2 Leccin No. 3 Leccin No. 4 Leccin No. 5 Introduccin a la lgica Proposiciones Conectivos lgicos fundamentales Condicional y Bicondicional Tablas de verdad

Captulo 2 Tautologa Leccin No. 6 Leccin No. 7 Leccin No. 8 Leccin No. 9 Leccin No. 10 Tautologa Proposiciones equivalentes Tautologa trivial y doble negacin Implicacin directa, contraria, recproca y contrarrecproca Leyes de la lgica

Captulo 3 Cuantificadores y proposiciones categricas Leccin No. 11 Leccin No. 12 Leccin No. 13 Leccin No. 14 Leccin No. 15 Cuantificadores Proposiciones categricas Representacin de las proposiciones categricas Clasificacin de las proposiciones categricas Proposiciones contrarias, de contingencia y subcontrarias

6

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA

Unidad 2 Razonamientos lgicos

Captulo 4 Razonamientos lgicos Leccin No. 16 Leccin No. 17 Leccin No. 18 Leccin No. 19 Leccin No. 20 Razonamiento lgico El mtodo cientfico Silogismos categricos Validez de un argumento Prueba formal de validez

Captulo 5 Inferencias Lgicas Leccin No. 21 Leccin No. 22 Leccin No. 23 Leccin No. 24 Leccin No. 25 Inferencia lgica Leyes de inferencia Aplicacin de las leyes de inferencia Demostracin directa e indirecta La refutacin

Captulo 6 Argumentos Inductivos Leccin No. 26 Leccin No. 27 Leccin No. 28 Leccin No. 29 Leccin No. 30 Argumento Inductivo El problema de la induccin La analoga La fuerza de los argumentos Analoga refutadora

7

Lgica Matemtica CONTENIDO Introduccin 3 Contenido por lecciones6 Contenido 8 Indice de tablas 10 Indice de figuras 11 Indice de ilustraciones.. 13 Smbolos usados .. 14 Objetivo General.... 15 Conducta de entrada.....16 Actividad de reconocimiento.... 18 Informacin de retorno ....... 25 Ejercicios propuestos 1 ....... 59

UNIDAD 1 Principios de Lgica Introduccin ....... 61 Justificacin ....... 61 Intencionalidades formativas ...... 62

1 1.1 1.2 1.3 1.4 1.4.1 1.5 1.6 1.7 1.7.1 1.7.2 1.7.3 1.8 1.8.1 1.8.2 1.8.3 1.8.4 1.8.5 1.9 1.9.1

Captulo 1: Introduccin a la Lgica ..................................................................................... 64 Contextualizacin Histrica de la Lgica ................................................................................. 63 Clasificacin de la lgica .......................................................................................................... 64 Propsito de la lgica ................................................................................................................ 65 Lgica y Lingstica .................................................................................................................. 65 Lenguajes naturales y artificiales .............................................................................................. 66 Componentes del proceso semitico ......................................................................................... 69 Ramas de la semitica ............................................................................................................... 71 Proposiciones ............................................................................................................................ 74 Representacin de las proposiciones ......................................................................................... 75 Clasificacin de las proposiciones ............................................................................................ 79 Proposiciones Compuestas ........................................................................................................ 79 Conectivos Lgicos ................................................................................................................... 82 Conjuncin: .................................................................................................................... 82 La disyuncin v .................................................................................................................... 86 La negacin ~ ............................................................................................................................ 90 El condicional ............................................................................................................... 92 El bicondicional ........................................................................................................... 94 Tablas de Verdad ....................................................................................................................... 98 Construccin de Tablas de Verdad............................................................................................ 99

8


2 2.1 2.2 2.2.1 2.2.2 2.3 2.4

Captulo 2: Tautologa .......................................................................................................... 106 Tautologa................................................................................................................................ 107 Proposiciones equivalentes ..................................................................................................... 109 Tautologa trivial ..................................................................................................................... 111 Doble Negacin ....................................................................................................................... 111 Implicacin directa, contraria,recproca y contrarecproca ..................................................... 113 Leyes del algebra de proposiciones ......................................................................................... 115

3 Captulo 3: Cuantificadores y proposiciones categricas .................................................. 116 3.1 Cuantificadores........................................................................................................................ 117 3.1.1 Cuantificador universal y existencial ...................................................................................... 117 3.2 Proposiciones categricas ....................................................................................................... 120 3.2.1 Cualidad y cantidad de las proposiciones categricas ............................................................ 121 3.3 Simbologa y diagramas para proposiciones categricas ........................................................ 123 3.3.1 Clasificacin de las proposiciones categricas ....................................................................... 129 3.4 Proposiciones contrarias, de contingenica y subcontrarias ..................................................... 133 3.4.1 Proposiciones contradictorias .................................................................................................. 133 3.4.2 Proposiciones contrarias .......................................................................................................... 135 3.4.3 Proposicin Contingente ......................................................................................................... 137 3.4.4 Proposiciones Subcontrarias ................................................................................................... 136 Ejercicios Propuestos Unidad 1. 140 Laboratorio Unidad 1.. 154 UNIDAD 2 Razonamientos Lgicos 4 4.1 4.1.1 4.1.2 4.2 4.3 4.3.1 4.3.2 5 5.1 5.1.1 5.1.2 5.1.3 5.1.4 5.1.5 5.1.6 5.1.7 Captulo 4: Razonamientos lgicos ...................................................................................... 157 Razonar.................................................................................................................................... 158 Razonamiento inductivo.......................................................................................................... 159 Razonamiento deductivo ......................................................................................................... 159 Silogismos categricos ............................................................................................................ 165 Validez de un argumento......................................................................................................... 172 Prueba formal de validez ......................................................................................................... 173 Prueba de invalidez ................................................................................................................. 173 captulo 5: Inferencias lgicas .............................................................................................. 178 Inferencias Lgicas ................................................................................................................. 179 Modus Ponens (M. P) o Modus Ponendo Ponens (MPP) .................................................... 181 Modus Tollens (M.T) o Modus Tollendo Tollens (MTT) ...................................................... 185 Silogismo Hipottico (S: H) .................................................................................................... 187 Silogismo disyuntivo (S. D) o Modus Tollendo Ponens (MTP) ............................................. 189 Dilema constructivo (D.C) ...................................................................................................... 191 Absorcin (Abs) ...................................................................................................................... 191 Simplificacin (Simp.) ............................................................................................................ 191 9

Lgica Matemtica

5.1.8 5.1.9 5.2 5.2.1 5.2.2 5.2.3 5.2.4 6 6.1 6.1.1

Conjuncin (Conj) ................................................................................................................... 192 Adicin (Ad.) .......................................................................................................................... 192 La demostracin ...................................................................................................................... 197 La demostracin directa .......................................................................................................... 197 La demostracin indirecta ....................................................................................................... 198 La demostracin por recursin ................................................................................................ 199 La demostracin por refutacin............................................................................................... 201 Captulo 6: Argumentos Inductivos..................................................................................... 202 Argumento inductivo por analoga .......................................................................................... 205 Evaluacin de los argumentos analgicos ............................................................................... 207

Ejercicios propuestos Unidad 2.. 210 Laboratorio Unidad 2.. 213

Referencias ....214

10

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA INDICE DE TABLAS

Tabla No. 1 Lenguaje Natural y Artificial ............................................................................................... 76 Tabla No. 2 Tabla de verdad de la conjuncin ......................................................................................... 86 Tabla No. 3 Tabla de vedad de la disyuncin ........................................................................................... 89 Tabla No. 4 Tabla de vedad de la negacin .............................................................................................. 90 Tabla No. 5 Tabla de vedad para el condicional ...................................................................................... 93 Tabla No. 6 Tabla de vedad para el condicional ...................................................................................... 96 Tabla No. 7 Valores de verdad de los conectivos lgicos ......................................................................... 98

11

Lgica Matemtica

INDICE DE FIGURAS

Figura No. Figura No. Figura No. Figura No. Figura No. Figura No.

1 Teorema de Pitgoras. ....................................................................................................... 68 2 Conjuncin ......................................................................................................................... 83 3 Disyuncin .......................................................................................................................... 88 4 Negacin ............................................................................................................................. 91 5 Ejemplo actividad de transferencia I - ........................................................................... 152 6 Ejemplo actividad de transferencia II - .......................................................................... 153

12

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA INDICE DE ILUSTRACIONES

Imagen No. 1 . Scrates. Detalle de La escuela de Atenas - fresco de Raffaello Sanzio (1511) ............. 67 Imagen No. 2. Pitgoras (582 a.c).. Detalle. La escuela de Atenas - fresco de Raffaello Sanzio (1511)68 Imagen No. 3 Euclides. Padre de la Geometra. Detalle. La escuela de Atenas - fresco de Raffaello Sanzio (1511) ............................................................................................................................................ 68

13

Lgica Matemtica

Smbolos usados:sotnujnoc ertne senoicarepO :sotnujnoc ertne senoicarepO :sotnujnoc ertne senoicarepO :sotnujnoc ertne senoicarepO :sotnujnoC :sotnujnoC :sotnujnoC :sotnujnoC

Conjunto universal Conjunto vaco Unin Interseccin Diferencia Diferencia simtrica Contenido en No est contenido en Pertenece a No pertenece a

14

sotnujnoc y sotnemele ertne senoicaleR

,~

:nicaler ed serodacidnI :nicaler ed serodacidnI :nicaler ed serodacidnI :nicaler ed serodacidnI

:socirmun sotnujnoC :socirmun sotnujnoC :socirmun sotnujnoC :socirmun sotnujnoC

: sovitcenoC :socigl sovitcenoC

Conjuncin Disyuncin Negacin Implicacin Equivalencia Menor que Menor o igual que Mayor que Mayor o igual que Diferente a Conjunto de nmeros naturales Conjunto de nmeros enteros Conjunto de nmeros enteros positivos Conjunto de nmeros enteros negativos Conjunto de nmeros reales Conjunto de nmeros complejos


Objetivo GeneralProporcionar al estudiante herramientas que le permitan reconocer, elaborar y determinar la validez de razonamientos lgicos tanto deductivos como inductivos.

Objetivos especficosDesarrollar las competencias para expresar razonamientos lgicos en lenguaje simblico. Identificar y aplicar las diferentes leyes de la lgica en procesos de argumentacin, al llevarlas al lenguaje natural. Desarrollar competencias para la construccin de funciones lgicas en programas de computacin, como las hojas de clculo o de lenguajes de programacin.

15

Lgica Matemtica

Para alcanzar un aprendizaje significativo, tres condiciones importantes son necesarias: La significatividad psicolgica, la significatividad lgica del material y la motivacin. Para tal fin, se han estructurado las diferentes herramientas pedaggicas y didcticas del curso en tres fases de aprendizaje: reconocimiento, profundizacin y transferencia. A continuacin daremos inicio a la fase de reconocimiento, en la cual, partiremos de las experiencias previas de aprendizaje, ya sean stas adquiridas en el estudio de un campo especfico del conocimiento o adquiridas en el desarrollo de actividades diferentes a las acadmicas. Para lograr este objetivo se ha diseado una actividad didctica, que dispone el ambiente para que por medio de algunas herramientas y tcnicas, puedas objetivar esas experiencias previas alcanzadas en tu mundo vital. De esta manera, logrars pasar del mundo impensado de las experiencias a la sistematizacin de las mismas, o de las prenociones a las nociones. Es decir, se trata de un ejercicio de motivacin para que te involucres en los procesos iniciales de aprendizaje y actives tus estructuras cognitivas. Salazar (2008) Pero, ante todo, debemos contar con tu disposicin para el aprendizaje. Para contribuir con el factor de la motivacin, se ha dispuesto el primer OVA u objeto virtual de aprendizaje, el cual es un audio en mp3 con algunos elementos que te motivar para el desarrollo de las competencias del curso:

Audio1.MP3

16


Cuntas horas debo dedicar al estudio del curso de lgica matemtica? El curso de lgica matemtica es un curso de dos crditos acadmicos, por lo tanto un curso de dos unidades. Un crdito acadmico corresponde a 48 horas de estudio, de las cuales 12 horas son de acompaamiento tutorial y 36 horas son de estudio independiente. Esto significa que para matricular el curso de lgica matemtica debers disponer de 72 horas de estudio independiente. Para un perodo acadmico es de 16 semanas, y si consideramos 100 das en el proceso, considerando las pausas activas, esto se traducir en un promedio de una (1) hora diaria. En ninguna otra metodologa como en la educacin a distancia, debemos planear tan juiciosa gestin del tiempo. La invitacin es para desarrollar un cronograma de organizacin de las actividades acadmicas de acuerdo a los temas de cada curso y al tiempo disponible.

17

Lgica Matemtica

A continuacin daremos inicio a la fase de reconocimiento, en la cual, partiremos de las experiencias previas de aprendizaje. Recuerda que la disposicin frente al conocimiento es una condicin para lograr un aprendizaje significativo: 1. Qu entiendes por lgica?________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________

2. Podramos hacer un debate de ideas sin hacer uso de la lgica? Analiza cundo hacemos uso de la lgica.________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________

3. Qu recuerdas de la evolucin histrica de la lgica?________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________

4. Analiza porqu es importante la competencia lgico matemtica para apropiar nuevo conocimiento.________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________

18

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________

5. En tus palabras, plantea la diferencia entre lenguaje simblico y lenguaje natural________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________

6. Cul es tu definicin intuitiva de conjunto?________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________

7. Plantea varios ejemplos de conjuntos. Cmo describiras un conjunto con una cantidad infinita de elementos?________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________

8. Cmo representas un conjunto?1.

________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________

9. Qu formas de determinar un conjunto conoces?2.

________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________

19

Lgica Matemtica________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________

10. Cmo definiras un conjunto finito, infinito, vaco, unitario, universal?3.

________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________

11. Qu relacin conoces entre conjuntos y entre conjuntos y sus elementos? Cmo se representan stas?4.

________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________

12. Cun son iguales dos conjuntos? Cundo son completamente diferentes?________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________

13. Qu operaciones entre conjuntos conoces?5.

________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________

20

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________

14. Qu conoces del lgebra de conjuntos? Cules leyes recuerdas? Cmo haras una demostracin grfica de estas leyes? Cmo aplicaras el principio de dualidad en estas leyes?________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________

15. En los siguientes cuatro diagramas sombrea las reas correspondientes a la operacin: A unin B

U A B B A

U

a. U A B B A

b. U C

c.

d.

21

Lgica Matemtica 16. En los siguientes cuatro diagramas sombrea las reas correspondientes a la operacin: A interseccin B U A B B A U

a. U A B B A

b. U C

c.

d.

17. En los siguientes cuatro diagramas sombrea las reas correspondientes a la operacin: A menos B U A B B A U

a. U A B B A

b. U C

c.

d.

22

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA 18. Propn una expresin de la cual puedas decir que es verdadera. Cmo expresaras la negacin de la misma proposicin?6.

________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________

19. Te has encontrado con un argumento que parece lgico, pero que cuando lo analizamos detenidamente encontramos que no era tal? A continuacin se propone plantearlo:________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ _________________________________________________________________________________________________________

20. Menciona las caractersticas comunes que encuentras en un razonamiento________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ _________________________________________________________________________________________________________

21. Describe, cmo determinas la validez de un argumento________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________

22. Entre dos personas inmersas en un debate. Cmo podramos determinar que el argumento de uno es ms fuerte que el del otro?23.

________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________

23

Lgica Matemtica

1. Qu entiendes por lgica? Desde Aristteles, se ha dado a la lgica una relacin directa con el lenguaje natural, no obstante, en su evolucin, la lgica ha apropiado unos smbolos y reglas de inferencia que le han dado una estructura formal estricta, al punto de hablar hoy de una Lgica Matemtica. As es como hoy decimos que la lgica es una ciencia formal, que estudia la estructura de los argumentos lgicos para determinar su validez. 6. Cul es tu definicin intuitiva de conjunto? Intuitivamente, un conjunto es una coleccin de objetos bien definidos. Estos objetos reciben el nombre de elementos o miembros del conjunto; se nombran con letras maysculas y sus elementos con letras minsculas escrita entre corchetes o llaves. Los conjuntos se representan grficamente por medio de diagramas denominados diagramas de Venn-Euler o simplemente, diagramas de Venn; en los cuales los conjuntos se delimitan por crculos. 8. Cmo representas un conjunto? Una forma sencilla de visualizar los conjuntos y las relaciones entre ellos, es mediante la utilizacin de esquemas grficos llamados crculos de Euler o diagramas de Venn. Estos esquemas estn compuestos por una regin cerrada del plano (generalmente un rectngulo), la cual representa el conjunto universal, y por uno o varios crculos que representan los conjuntos a graficar. Generalmente, los conjuntos se identifican con letras maysculas y sus elementos con minsculas.

Informacin

de

retorno

Para indicar que un elemento es un miembro de un conjunto, se utiliza el smbolo pertenece a ) y

(se lee

Para indicar que no est en el conjunto se utiliza el smbolo

(se lee no pertenece a)

24

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA sta es la representacin grfica:

xU A

AU A x

xAx

Figura No. 1 9. Qu formas de determinar un conjunto conoces? Bsicamente existen dos formas para determinar un conjunto, stas son:

retorno

Un conjunto est determinado por extensin cuando se describe el conjunto nombrando cada uno de sus elementos. Por ejemplo: A = {2, 4, 6, 8} B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} C = {1, 3, 5, 7, 9, 11, 13, 17, 19,} D = {a, e, i, o, u }

Por extensin

Informacin

de

Un conjunto est determinado por comprensin cuando se nombra una propiedad, una regla o una caracterstica comn a los elementos del conjunto. Por ejemplo: C = {Nmeros impares menores que 10} D = {Vocales} B = {Dgitos}

Por comprensin

25

Lgica Matemtica Lenguaje: E = {x R / 0 x < 9}, en este caso se utiliza un lenguaje muy especfico, el cual se lee as: E = E: gual al conjunto de x R: todos los nmeros reales /: tales que (o que verifican que) 0 x < 9: Se lee: cero (0) es menor o igual a x, y, x a su vez es menor que 9, tambin se puede leer: x mayor o igual a cero y menor que nueve. Esta notacin se usa con mucha frecuencia para describir intervalos, para escribir la solucin de una inecuacin o para representar el dominio de una funcin real. 10. Cmo definiras un conjunto finito, infinito, vaco, unitario, universal y de partes? Conjuntos infinitos Existen conjuntos como por ejemplo:

retorno

A = {x

R

/ 0 x < 9}

Z = {x

N

/ x es par}

Los cuales se leen: A = todos los nmeros reales mayores que cero y menores que nueve. Z = todos los nmeros naturales que sean pares. Este tipo de conjuntos no se pueden expresar por extensin debido a que nunca se terminara de escribir la lista de los nmeros reales que pertenecen al conjunto A, o, los naturales que pertenecen a Z, este tipo de conjuntos, reciben el nombre de INFINITOS;

de

Informacin

Conjuntos finitos Mientras que otros conjuntos, como por ejemplo: C = {x / x es vocal} D = {x / x es dgito par}

Son ejemplos de conjuntos que estn formados por cierto nmero de elementos distintos, estos conjuntos reciben el nombre de conjuntos FINITOS. Todos los conjuntos que se nombran por comprensin, se pueden escribir por extensin?

26

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA El anlisis anterior, permite dar respuesta a esta pregunta, se sugiere buscar ms ejemplos que justifiquen la respuesta para que sean analizados con el tutor y luego socializados en los equipos de trabajo.

Conjunto Vaco Un conjunto que carece de elementos se denomina conjunto vaco y se simboliza as:

U A

{ }

A=

Figura No. 2.

retorno

Naturalmente el conjunto afirmar que:

forma parte de cualquier conjunto A, por lo cual se puedeA

de

El conjunto (vaco) est contenido en el conjunto A.

Informacin

Ejemplo 1: D = {x

N

/ xx)

Este conjunto se lee: obviamente D es un conjunto que carece de elementos, puesto que no existe ningn nmero natural que sea diferente a s mismo.

27

Lgica Matemtica

Conjunto Unitario Se denomina conjunto unitario al conjunto formado por un slo elemento.

U A 7 A = Conjunto UnitarioA = {7}

Figura No. 3 Ejemplo 2: E = {x / x es nmero primo par} El nico nmero que cumple las dos condiciones (ser primo y a la vez par) es el nmero 2, por lo tanto E = {2} se llama conjunto unitario.

retorno

Conjunto Universal Cuando se habla o se piensa en los conjuntos, es conveniente establecer la naturaleza de sus elementos, por ejemplo: Los elementos del conjunto A = {a, e, i} pertenecen al conjunto de las vocales, V = {a, e, i, o, u}, es decir, A V, este conjunto V constituye el universo del conjunto A, por esta razn se dice que V es un conjunto Universal.

de

U Informacin A a uFigura No. 4

o e i

U = Conjunto UniversalA = {a,e,i} U = V = {a,e,i,o,u}

Similarmente, si A = {x N / x es primo} sus elementos son elementos del conjunto de los nmeros naturales N, A N y en este caso, N se constituye en el conjunto universal. Generalmente, el conjunto universal se simboliza con la letra U.

28

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA 11. Qu relacin conoces entre conjuntos y entre conjuntos y sus elementos? Cmo se representan stas?

Subconjuntos Un conjunto A es un subconjunto de un conjunto B, si todo elemento del conjunto A tambin es elemento del conjunto B. Simblicamente esta relacin se expresa as: A

B (se lee A esta contenido en B) Si todo elemento x que est en el conjunto A entonces x tambin est en B, es decir: A

B si todo x

A, entonces

x

B

U retorno

B A AB xA xB

x

de

Figura No. 5

Ejemplo 3:

Informacin

Si A = {x / x es dgito par} y B = {x / x es dgito}, claramente A todo dgito par es dgito. Por extensin la situacin se expresa as: A = {2, 4, 6, 8} y B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}

B

ya que

Entonces A es un subconjunto de B.

29

Lgica Matemtica

Un resultado muy til e importante para nuestro curso consiste en un razonamiento lgico acerca de la contenencia entre conjuntos, es el siguiente: Si A es un subconjunto de B y B es un subconjunto de C, entonces, A es un subconjunto de C; simblicamente este enunciado se escribe as: S A B y B C, entonces, AC

U

C B A x

A B B C

______AC xA xB xC

retorno

Figura No. 6

Sigamos nuestra primera demostracin:La demostracin es la siguiente:

A; entonces x B porque A B, pero x tambin est en C porque B C; por lo tanto si xA, entonces xC y esto se cumple para todo elemento x que est enS x A, debido a que el conjunto A esta contenido en el conjunto B y B a su vez, est contenido en C; por consiguiente queda demostrado que A C.

Informacin

de

Si A, B y C son tres conjuntos no vacos que verifican las condiciones A B y B C, qu se puede concluir de A con respecto a C?

30

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA 12. Cun son iguales dos conjuntos? Cundo son completamente diferentes?

El conjunto A es igual al conjunto B si ambos conjuntos tienen los mismos elementos, es decir, si todos los elementos de A pertenecen a B y si todos los elementos de B pertenecen al conjunto A. La igualdad entre conjuntos se simboliza de la siguiente forma:

A = B Si A BU B A 2 1 3 5 4

y

B A

AB BA ______ B=AFigura No. 7.

retorno

Ejemplo 4 Si M = {1, 3, 0, 2} y N = {2, 3, 0, 1}, claramente se observa que M N y que N M, por lo tanto M = N.

Ejemplo 5 Si A = {x / x es dgito} y B = {x / x es dgito par}, se puede observar que B A pero A B, por lo tanto el conjunto A no es igual al conjunto B, lo cual se escribe, A B.

Informacin

de

U A 9 B 1 2 4 5 3 8 6 7Figura No. 8

BA AB ______ AB

31

Lgica Matemtica

Conjuntos Completamente Diferentes o DisyuntosEs importante destacar que cuando dos conjuntos son completamente diferentes (no tienen ningn elemento en comn) reciben el nombre de conjuntos disyuntos.

U A 7 9 B 1 5 2

AB y B A y no hay elementoscomunes

Figura No. 9. Ejemplo 6 Los conjuntos A = {x / x es dgito par} y B = {x / x es dgito impar} no tienen ningn elemento en comn, es decir A y B son disyuntos.

retorno

13. Qu operaciones entre conjuntos conoces? As como las operaciones suma, resta, multiplicacin y divisin estn definidas sobre los nmeros reales, tambin existen operaciones definidas entre los conjuntos como la unin, interseccin, complemento, diferencia, diferencia simtrica y producto cartesiano; stas se estudiarn en las siguientes secciones.

de

Informacin

Si A y B son dos conjuntos no vacos, se define la unin entre A y B como el conjunto de todos los elementos que pertenecen al conjunto A o al conjunto B. Simblicamente la unin se define as:

Unin

AUB = {x / x A, v , x B}, donde el smbolo v se lee o.Para representar grficamente una operacin entre conjuntos, se debe tener en cuenta la relacin que exista entre ellos, segn los siguientes casos:

32


Caso 1. Que los conjuntos no tengan ningn elemento en comn. (conjuntos disyuntos).

La parte subrayada representa la unin entre los conjuntos A y B.

U

A

U B

A

8

B

3

21 49

6

7 5

AUBFigura No. 10.

U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4} B = {5,6,7}

AUB = {1,2,3,4,5,6,7}retorno

Caso 2. Que los conjuntos tengan slo unos elementos en comn.

U de

A

Informacin

3

2

B

8

6 4 5 1

79

U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4,5,6} B = {5,6,7} AUB = {1,2,3,4,5,6,7}

Figura No. 11

33

Lgica Matemtica

Caso 3. Que un conjunto este contenido en el otroLa parte sombreada indica la operacin:

U

A321 4

B6 7

8

U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4,5,6,7} B = {5,6,7} A U B = {1,2,3,4,5,6,7}

5

9

Figura No. 12 Ejemplo 7Si A U B = {x

de esta unin es:

N / x es dgito par o dgito primo}, grficamente la representacin

U A retorno

3 7 1 5 2Figura No. 13

86

B

4

U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,5,7,9} B = {2,4,6,8} AUB = {1,2,3,4,5,6,7,8,9}

de

La figura No.13 permite apreciar que el nico dgito que es a la vez par y primo es el nmero 2; esto nos invita a la formulacin de la siguiente operacin entre conjuntos:

Informacin

Interseccin Se define la interseccin entre dos conjuntos A y B como el conjunto formado por todos los elementos que pertenecen simultneamente al conjunto A y al conjunto B. Simblicamente la interseccin se expresa as:

A B = {x / x A, , x B}

34

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA el smbolo se lee interseccin y el smbolo se lee i.

Caso 1. Que los conjuntos no tengan ningn elemento en comn. (conjuntos disyuntos).

La parte subrayada representa la unin entre los conjuntos A y B.

U

A 3 21 4

8

B6 7

U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4} B = {5,6,7}

59

A B={}

Figura No. 14.

retorno

Se puede observar que cuando dos conjuntos no tienen elementos comunes, su interseccin es vaca y los conjuntos se llaman disyuntos, como ya se haba mencionado;

de

Caso 2. Que los conjuntos tengan slo unos elementos en comn

U Informacin A B 8 U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4,5,6} B = {5,6,7} A B = {5,6} 9

3 2 1 4Figura No. 15

5

6

7

35

Lgica Matemtica

Caso 3. Que un conjunto este contenido en el otro.

La parte sombreada indica la operacin:

U

A3 1 4

2

B6

8

759

U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4,5,6,7} B = {5,6,7}

A B = {5,6,7} = B

Figura No. 16 Podemos afirmar entonces que si A B, entonces. A B = A; anlogamente se puede inferir que si B A, entonces, A B = B. A continuacin se realiza la demostracin analtica para el caso 3 de la figura No. 16, la otra situacin si B A, entonces, AB = B, se deja como ejercicio complementario, esta demostracin es muy similar a la que se har a continuacin: Si A B, por definicin de contenencia entre conjuntos se puede afirmar que todo elemento x A, entonces x B; por definicin de interseccin, stos elementos x forman el conjunto A B y como todos estos son elementos de A, se puede concluir que A B = A.

Informacin36

de

retorno

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA Ejemplo 8 Hallar las intersecciones entre los tres conjuntos: M = {x N / x es mltiplo de 2} N = {x N / x es mltiplo de 3} P = {x N / x es impar} Se pueden analizar las siguientes intersecciones: 1. M N = {6, 12, 18, 24, 36,}, escrito por comprensin es: M N = {x N / x es mltiplo de 6}.

2. M P =

,

Qu elementos comunes hay entre los conjuntos M y N?: no existe ningn nmero natural que sea mltiplo de 2 y a la vez impar. , El conjunto vaco est contenido en cualquier conjunto, en particular en M, esto es

3.

M =

M=.

M, luego se puede concluir que

4. M N P Para hallar la interseccin M N P, se puede encontrar la interseccin de M con N y luego con el conjunto P, es decir, hay que encontrar los elementos que estn en los tres conjuntos: M, N y P. En este caso M N = {x N / x es mltiplo de 6} y ste intersecado con el conjunto P est formado por los mltiplos de 6 que son impares, es decir, M N P = {x N / x es impar y mltiplo de 6}, por extensin el conjunto: M N P = , pues no existe ningn nmero natural que sea a la vez impar y mltiplo de 6.

Ve practicando: Te proponemos visitar el ejercicio propuesto No.1

37

Lgica Matemtica

Diferencia Segn los tres casos estudiados, se puede afirmar que conjuntos no vacos, puede suceder que:

al comparar dos

1. No tengan ningn elemento en comn, (conjuntos totalmente diferentes). 2. Slo algunos elementos sean comunes (conjuntos parcialmente diferentes o parcialmente iguales) 3. Slo algunos elementos sean comunes 4. Un conjunto este contenido en el otro 5. Tengan exactamente los mismos elementos, (conjuntos iguales) En los numerales 1, 2 y 3, se puede formar un conjunto con los elementos que le faltan a un conjunto para ser igual a otro, este conjunto as formado, se denomina diferencia entre conjuntos. Si A y B son dos conjuntos no vacos, entonces se define la diferencia entre A y B as:

A B = { x / x A, , x B}

retorno

Esto se lee: A menos B, es el conjunto formado por los elementos que estn en el conjunto A pero no en el B. En la siguiente grfica, la parte sombreada representa la diferencia entre los conjuntos A y B.Caso 1. Que los conjuntos no tengan ningn elemento en comn. (conjuntos disyuntos).

de

Informacin

A

8

B

3

21 49

6

7

U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4} B = {5,6,7} A- B = A = {1,2,3,4} B- A = B = {5,6,7}

5

Figura No. 18.

38

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA Se puede observar que cuando dos conjuntos son diferentes, su diferencia es vaca y los conjuntos se llaman disyuntos, como ya se haba mencionado;


U

A

B

3 1 4

2

8

6

79

U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4,5,6} B = {5,6,7}

5

A-B = {1,2,3,4}

Figura No. 19Caso 3. Que un conjunto este contenido en el otroLa parte sombreada indica la operacin.

retorno

U

A

32 6 14Figura No. 20

B

7

8 9

U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4,5,6,7} B = {5,6,7}

5

A- B = {1,2,3,4} B-A={}

Informacin

de

En la figura 20, se puede observar que todos los elementos que estn en B, estn en A (debido a que B A), por lo tanto no existe ningn elemento que pertenezca a la diferencia B A y en consecuencia B A = . Surge ahora, la siguiente inquietud: Cul ser la diferencia entre A y B (A B) cuando B A?

39

Lgica Matemtica

Ejemplo 8 Dados los conjuntos A = {x / x es un dgito} y B = {0, 2, 3, 7} hallar A B y B A y hacer la representacin grfica. Para efectuar estas operaciones se escriben los conjuntos por extensin, as: A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} y B = {0, 2, 3, 7}, entonces: A B = {1, 4, 5, 6, 8, 9} y B A = ,

U

A 6

5B4

9 8 1retorno

3 7

U = {0,1,2,3,4,5,6,7,8,9} A = {0,1,2,3,4,5,6,7,8,9} B = {0,2,3,7}

2 0

A- B = {1,4,5,6,8,9}

B-A = { }

Figura No. 21

Informacin40

de


Diferencia simtricaSe define la diferencia simtrica entre dos conjuntos no vacos A y B, como el conjunto formado por los elementos que pertenecen al conjunto A o al conjunto B, pero no pertenecen simultneamente a ambos conjuntos. Simblicamente la diferencia simtrica entre A y B se escribe as:

A B = { x / x A, , x B, x ( A B )}En las siguientes grficas, la parte sombreada representa la diferencia simtrica entre los conjuntos A y B.Caso 1. Que los conjuntos no tengan ningn elemento en comn. (conjuntos disyuntos).

A

8

B

retorno

3 21 4Figura No. 22.

6 79

U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4} B = {5,6,7}

5

A B = {1,2,3,4,5,6,7} B A = {1,2,3,4,5,6,7}

de

Se puede observar que cuando dos conjuntos son diferentes, su interseccin es vaca y los conjuntos se llaman disyuntos.Caso 2. Que los conjuntos tengan slo unos elementos en comn.

Informacin

U

A

B

3

6 1 4 5Figura No. 23

2

8

79

U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4,5,6} B = {5,6,7}

A B = {1,2,3,4,7} B A = {1,2,3,4,7}41

Lgica Matemtica

Caso 3. Que un conjunto este contenido en el otro

La parte sombreada indica la operacin:

U

A

3

1 4

2 6 5

B

7

8 9

U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4,5,6,7} B = {5,6,7}

A B = {1,2,4} B A = {1,2,4}

Figura No. 24 Ejemplo 9 Si A = {x / x es una letra de la palabra INGENIERIA} y B = {x / x es una letra de la palabra SISTEMAS}, entonces A B = {N, G, R, M, S, T}.

retorno

Ejercicio 2: Te invitamos a desarrollar el ejercicio propuesto No.210. Ejemplo 10. Dados los conjuntos M = {1, 2, 3, 4} y N = {4, 5}, la diferencia simtrica entre M y N es: M N = {1, 2, 3, 5}, claramente se puede observar que el nmero 4, no pertenece a la diferencia simtrica porque forma parte de la interseccin entre M y N.

Informacin42

de

Ve practicando: Te invitamos a desarrollar el ejercicio propuesto No.2


ComplementoSi A es un conjunto no vaco, el complemento de A, simbolizado por A, est formado por todos los elementos que no pertenecen al conjunto A, es decir,

A = Ac = A* = ~A = A = A = {x / x A}En la siguientes grficas, la parte sombreada representa el complemento del conjunto A.Caso 1. Que los conjuntos no tengan ningn elemento en comn. (conjuntos disyuntos).

Aretorno

8

B

3 2 14Figura No. 27.

6 79 5

U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4} B = {5,6,7}

A = {5,6,7,8,9}

de


Informacin

U

A 3

2

B 8 6

79

U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4,5,6} B = {5,6,7}

1 4Figura No. 28

5

A = {7,8,9}

43

Lgica Matemtica

Caso 3. Que un conjunto este contenido en el otro.La parte sombreada indica la operacin.

U

A A B

32 6 1 4

8

U = {1,2,3,4,5,6,7,8,9} A = {1,2,3,4,5,6,7} B = {5,6,7}

5

79

A = {8,9}

Ejemplo 11 Al considerar el conjunto universal como el conjunto de los estudiantes de Ingeniera de sistemas de la UNAD y A como el conjunto de los estudiantes que estn en el primer semestre, el complemento del conjunto A (A) ser el conjunto formado por todos los estudiantes de ingeniera de sistemas de la UNAD que no cursan primer semestre, esto es: U = {x UNAD / x estudia ingeniera de sistemas}. A = {x Ingeniera de sistemas / x Primer semestre}. A = {x Ingeniera de sistemas / x Primer semestre}.

Informacin44

de

retorno

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA 14. Qu conoces del lgebra de conjuntos? Cules leyes recuerdas? Cmo haras una demostracin grfica de estas leyes? Cmo aplicaras el principio de dualidad en estas leyes? Propiedades de las operaciones entre conjuntos Las siguientes cuatro propiedades, son vlidas para las operaciones de unin e interseccin: a. Leyes de idempotencia: A U A = A A A = A b. Leyes asociativas: (A U B) U C = A U (B U C) (A B) C = A (B C) c. Leyes conmutativas: A U B = B U A A B = B A d. Leyes distributivas:

retorno

A U (B C) = (A U B) (A U C) A (B U C) = (A B) U (A C) Las siguientes propiedades estn relacionadas con los conjuntos Universal U y vaco

:

e. Leyes de identidad:

de

A U U = U A U = A

A U =A A =

Informacin

Propiedades con respecto al complemento f. Leyes del complemento: A U A' = U (A' )' = A g. Leyes de DMorgan: (A U B)' = A' B' (A B)' = A' U B' A A' = ' = U

45

Lgica Matemtica

Representacin grfica de las leyes de conjuntos:

a)

Leyes de idempotencia: A U A = A A A = A Qu obtenemos de interceptar el conjunto A con l mismo? Qu pasa si unimos A con A? :

U A A

U

U

A Aretorno

U

A

= A AU

A

A AU

Figura No. 33 A unido con A es igual a A

U A A A

A A

=

A

A A

de

A A

Figura No. 33 A interceptado con A es igual a A

Informacin46

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA b) Leyes de identidad: A U U = U A U = A

A U =A A =

Qu se obtiene de unir el conjunto A con el universo? :

U U A U

U

U

=

U

Figura No. 34 A unido con el universo es igual al universo

Qu se obtiene de unir el conjunto A con el vaco? :

A retorno

U

U A

U

U

=

Figura No. 35 A unido con el vaco es igual al conjunto A

Informacin

de

47

Lgica Matemtica

Qu tienen en comn A y el universo? Qu tiene en comn Juan con el universo?

U A

U A

U

=

Figura No. 36 A y el universo tienen en comn el mismo conjunto A

Qu tienen en comn A y el vaco? :

U retorno A

U

U

=

Figura No. 37 El conjunto A y el vaco tienen en comn el vaci

Informacin48

de


c)

Leyes del complemento: A U A' = U (A' )' = A A A' ' = = U

Qu se obtiene de unir A con lo que no es A? Qu se obtiene si Juan se une con el Universo?

U A A

U

U

U

=

retorno

Figura No. 38 Al unir el conjunto A con los elementos que no estn en A se obtiene el universo

Qu tienen comn A con lo que no es A? U A U U

A

de

=

Informacin

Figura No. 39 Los elementos de A con los que no estn en A no tienen nada en comn

49

Lgica Matemtica

d) Leyes de D Morgan: (A U B)' = A' B' (A B)' = A' U B' La demostracin grfica de que (A U B)' = A' B' es la siguiente: En el primer conjunto representamos la unin entre A y B y en el segundo los elementos que no estn en dicha unin, obteniendo el trmino de la izquierda del teorema de DMorgan:

U

A

U

2 38retorno

B 79

A 6 3 1 4 58 (A U B)

6 14 5A U B

2

B

79

Figura No. 40 As hemos encontrado el rea que representa a la primera parte de la igualdad, ahora representamos el trmino de la derecha; esperamos obtener la misma rea sombreada: Iniciamos por representar los elementos que no estn en A y los elementos que no estn en B, la solucin corresponder a la interseccin entre los dos conjuntos, es decir a los elementos que ambos conjuntos tienen en comn:

Informacin

de

U

A

U

3 6 1 4 58AFigura No. 41

2

B

A

79 8

3

2

B 6

U

A

798

14 5B

3 6 14 5

2

B

79

A' B'

50


Ve practicando: Desarrolla el ejercicio propuesto No.4

Ve practicando: Desarrolla el ejercicio propuesto No.5

Principio de dualidad Si se intercambian las operaciones unin (U) por interseccin (), como tambin el conjunto universal (U) por el conjunto vaco (), en cualquier razonamiento sobre conjuntos, el enunciado resultante se llama DUAL del primero.

Ejemplo 12 Demostrar que el dual de;

retorno

(U U B) (A U ) = A es: ( B) U (A U) = A Tomando la primera parte y por las leyes de identidad se tiene que: (U U B) (A U ) U A = A Ahora, consideremos su dual y nuevamente aplicando las leyes de identidad se tiene que: ( B) U (A U) U A = A Con lo que queda demostrado.

Informacin

de

51

Lgica Matemtica

Ejemplo 13 Demostrar que el dual de (A B) U (A B') = A es (A U B) (A U B') = A En este caso se puede hacer la demostracin en forma grfica as: i) La primera parte se puede representar de la siguiente forma:

U

U

A3 2 1 4 6 5 7

B

A3 1 4 2 6 5 7

U

B

A

8

326 7 14 5A B'U

B

8 9

8B U

9

9

Aretorno U

A2 3 1 8 4 6 5 7

B

A2 3 1 4 6 5 7

B

A2 3 1 4 6 5 8 7

B

de

9

8

9

9

Informacin

(A B)

U

( A B' )

=

A

Figura No.42 primera parte demostracin grfica de que (A B) U (A B') = A

52

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA Segunda parte: (A U B) (A U B') = A La segunda parte se puede representar de la siguiente forma:

U

A3 2 1 4

8 6 5 7

U

B

A3 2 1 4

8 6 5 7

U B A

8 7

B

2 6 3 1 4 5 9

9

9

AU A 2 3 1 4 retorno 8 6 5 9 U

B BA 3 2 8 6 5 7 9 U B

A U B A2 3 1 4 8 6 5 9 7 B

7

1 4

(A U B)

A U B

=

A

Figura No.43 segunda parte (A U B) (A U B') = A

de

Queda demostrado que Tanto en la figura 42 como en la 43 obtenemos el mismo resultado: el conjunto A.

Informacin

53

Lgica Matemtica 15. En los siguientes cuatro diagramas sombrea las reas correspondientes a la operacin: A unin B

A

B

U A B

U

U A Bretorno

U B A C

Informacin54

de

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA 16. En los siguientes cuatro diagramas sombrea las reas correspondientes a la operacin: A interseccin B

A

B

U A B

U

U A B B A C

U

retorno

17. En los siguientes cuatro diagramas sombrea las reas correspondientes a la operacin: A menos B

Ade

B

U A B

U

Informacin

U A B B A C

U

55

Lgica Matemtica

Ejercicios propuestos de Reconocimiento:Ejercicio propuesto 1:Representa el ejemplo anterior mediante diagramas de Venn

U

M

N U= M= N= M N= M P= PMNP=

Figura No. 17

Ejercicio propuesto 2:Representa el ejemplo anterior mediante diagramas de Venn

U

A

B

U = A = B = A B= AB = AUB=

Figura No. 25

56


Ejercicio propuesto 3:Representa el ejemplo anterior mediante diagramas de Venn

U

A

B

U = A = B = AB= AB = AUB=

Figura No. 26

Ejercicio propuesto 4:Realiza la demostracin grfica del teorema de D Morgan para: (A B)' = A' U B' para ello subraya el rea correspondiente. Primera parte: representa en cada conjunto A, B y el complemento de la interseccin entre A y B:

U

U

U

A3 2 6 5 7 1 4 8

B

A3 2 6 5 7 1 4

B

A3 2 6 5 7 1 4

B

9

8

9

8

9

______

______

______

Segunda parte de la igualdad A' U B': representa en cada conjunto A, B y la unin entre ambos conjuntos:

57

Lgica Matemtica

U

U

U

A3 2 6 5 7 1 4 8

B

A3 2 6 5 7 1 4

B

A3 2 6 5 7 1 4

B

9

8

9

8

9

______

______

______

Compara ahora los resultados de la primera y segunda parte, Son iguales? Observa que las leyes que hemos recordado estn formuladas por pares, lo cual verifica la naturaleza dual de la teora de conjuntos.

Ejercicio propuesto 5:A continuacin se plantean diez ejercicios de aplicacin de las leyes de conjuntos, te proponemos hacer el ejercicio de simplificarlos: 1) 2) 3) 4) 5) ( (A B)' ) (A ) ( ( (B)' ) ) (A' U A' ) U B' (A )' (A )' 6) (A U ) ' 7) (A A)' U (A' U A' ) 8) (A U A ) ' 9) (A A ) ' U A' 10) ( (A ) U U )' A'

58


IntroduccinEn esta unidad, partiremos de la contextualizacin histrica de la lgica hacia la definicin de la unidad fundamental de la lgica la proposicin. Aprenderemos a identificar y clasificar las proposiciones, y estableceremos criterios e instrumentos de comparacin entre los diferentes tipos de proposiciones.

JustificacinEsta unidad es significativamente importante en la formacin de cualquier profesional, desde la ptica de la necesidad de la apropiacin de una fundamentacin conceptual bsica para fortalecer la destreza en la identificacin de las proposiciones como elemento fundamental de la lgica y la comprensin de la relacin biunvoca entre el lenguaje simblico y el lenguaje natural. Estas herramientas nos permitirn desarrollar las competencias para el desarrollo de la segunda unidad, en donde, haciendo uso de lo aprendido nos introduciremos en el anlisis de validez de los razonamientos lgicos.

59

Lgica Matemtica

Intencionalidades formativasPropsitos

Contribuir al desarrollo de habilidades de pensamiento en estudiantes de diferentes programas que oferta la UNAD mediante la activacin cognitiva de operaciones mentales que faciliten la apropiacin de nociones, definiciones, axiomas y leyes que constituyen fundamentos bsicos en teora de conjuntos. Desarrollar en el estudiante habilidades de comunicacin en contextos diversos mediante la articulacin de lenguajes icnicos, simblicos o artificiales como el de la lgica proposicional para dinamizar procesos de aprendizaje en diferentes campos del saber.

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.

Metas

El estudiante presentar y sustentar informes 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.

60


Competencias

El estudiante comprende y aplica de manera suficiente nociones, conceptos, definiciones, axiomas y leyes que fundamentan la teora general de conjuntos en el estudio y anlisis de las fuentes documentales referenciadas para dinamizar el proceso de aprendizaje y en situaciones especficas donde es pertinente su aplicabilidad. El estudiante relaciona e interpreta expresiones del lenguaje simblico y del lenguaje natural en la formulacin y representacin de estructuras semnticas lgicas en trminos de variables y conectores lgicos como elementos estructurales de la lgica proposicional articulables a diferentes formas de comunicacin en diversos contextos.

Captulos de la unidad:Captulo 1: Introduccin a la lgica Captulo 2: Tautologas Captulo 3: Cuantificadores y crculos de Euler

61

Lgica Matemtica

1

Captulo: Introduccin a la Lgica

Objetivo generalEl propsito de este captulo es brindar al estudiante algunos elementos del desarrollo histrico de la lgica matemtica y su correspondiente clasificacin. As como de brindar las herramientas para identificar y construir proposiciones lgicas.

Objetivos especficos

CAPTULO 1

Realizar la clasificacin de la lgica Reconocer el propsito de la lgica Determinar la diferencia entre lenguaje natural y artificial Analizar los componentes del proceso semitico Distinguir las reas de la semitica Identificar y construir proposiciones lgicas simples y compuestas Construir tablas de verdad

62

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA Lecciin No..1 IInttroducciin a lla llgiica Lecc n No 1 n roducc n a a g ca

1.1 Contextualizacin Histrica de la LgicaConcete 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.2Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C. 19992

63

Lgica Matemtica 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. 3 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. 4

1.2 Clasificacin de la lgicaLa 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. 5 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.Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C. 19993,4,5

64


1.3 Propsito de la lgicaLa 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. 6

1.4 Lgica y LingsticaPor su origen y desarrollo natural, han sido reconocidos dos tipos bsicos de lenguajes: los lenguajes naturales y los lenguajes formales o artificiales. Los lenguajes naturales no se establecieron a travs de ninguna teora, entre ellos estn el castellano, el francs y el ingls. Las teoras y gramticas de lenguajes naturales, fueron establecidas a posteriori, es decir despus de que el lenguaje ya haba madurado. Los lenguajes formales como las matemticas y la lgica, fueron desarrollados, generalmente, a partir del establecimiento de una teora, la cual da las bases para que a travs de dichos lenguajes se pueda desarrollar la misma teora.

Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C. 19996

65

Lgica Matemtica Los lenguajes naturales y formales tienen puntos en comn, en principio, se tiene la existencia de un conjunto finito llamado alfabeto, el cual est constituido de smbolos simples llamados comnmente letras. En los lenguajes naturales se tienen como ejemplos los alfabetos: latino, griego y rabe-persa, entre otros. En los formales como la lgica se tiene el lxico del clculo proposicional y de predicados. Mediante la concatenacin de las letras del alfabeto se forman los monemas, fonemas o palabras que se encuentran en el interior de un enunciado, de tal forma que un lenguaje se considera como un conjunto infinito de oraciones o enunciados que se forman con palabras. En los sistemas formales los enunciados del lenguaje consisten en una lista de smbolos, (lgicos o matemticos) sujetos a diversas interpretaciones. En un lenguaje formal, las palabras y las oraciones estn perfectamente definidas, una palabra mantiene el mismo significado prescindiendo del contexto o de su uso. Los lenguajes formales son, por esto, necesariamente exentos de cualquier componente semntico fuera de sus operadores y relaciones, y es gracias a esta ausencia de significado especial, que los lenguajes formales pueden ser usados para modelar una teora de la ingeniera de sistemas, mecnica, elctrica, entre otras. 7

1.4.1 Lenguajes naturales y artificialesPodemos considerar el lenguaje como un sistema de signos que expresan ideas y que se utiliza para establecer comunicacin. El hombre se comunica y participa de este proceso mediante el lenguaje natural humano; sin lenguaje, o con un lenguaje rudimentario, el hombre estara limitado socialmente. Cuando el hombre aprende a nombrar todo lo que le rodea y luego es capaz de relacionar el objeto solamente con su nombre, el lenguaje se convierte en smbolo, es decir, toma vida independiente del objeto, de tal forma que se puede afirmar que el lenguaje no slo es un instrumento de comunicacin sino tambin de pensamiento; por lo tanto, para el hombre el lenguaje es exterior e interior,Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C. 19997

66

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIER INGENIERA MDULO DE LGICA MATEMTICA GICA pues le permite establecer comunicacin y mediante l acumula y transmite sus experiencias utilizando los procesos de simplificacin y generalizacin. De otra parte se puede hablar de lenguaje natural o artificial. El lenguaje natural de artificial nace de una organizacin espontnea de las capacidades lingsticas de una comunidad, y se encuentra dotado de gran cantidad de signos, sobresali sobresaliendo las vocales; mientras que el lenguaje artificial se genera cuando una o ms enera personas deciden usar signos especiales para obtener mejor comunicacin, estableciendo reglas que faciliten la op ratividad entre los signos; por ejemplo, el operatividad lenguaje de la matemticas, de la fsica, qumica y de otras ciencia. Este tipo de lenguaje posee gran cantidad de signos y nace de la exigencia de conservar informacin por lo que se le conoce como formas de comunicacin, que pueden ser escritas por medio de conos, con lenguajes analgicos y digitales. 8

Lenguaje Natural

Imagen No. 1 . Scrates. Detalle de La escuela de Atenas fresco de Raffaello Sanzio (1511)

Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C. . 19998

67

Lgica Matemtica

Lenguaje Artificial

h2 = a2 + b2

a2

h2 b2

Figura No. 1 Teorema de Pitgoras.Imagen No. 2. Pitgoras (582 a.c).. Detalle. La escuela de Atenas - fresco de Raffaello Sanzio (1511) (1511

HG

K A

F

B

C

D L

E

Imagen No. 3 Euclides. Padre de la Geometra. Detalle. La escuela de Atenas - fresco de Raffaello Sanzio (1511)

68


1.5 Componentes del proceso semiticoIniciamos esta seccin asignndole el trmino semitica a la ciencia que estudia los sistemas de signos, se encarga de estudiar las condiciones de comunicabilidad y comprensibilidad de un mensaje, ensea en qu consisten los signos y cules son las leyes que los gobiernan. En el proceso semitico deben tenerse en cuenta tres vertientes: el emisor, el receptor y el contexto del mensaje. El emisor es quien inicia la comunicacin enviando un mensaje al receptor; esta operacin implica un contexto (aquello de lo que se habla), signos y por lo tanto un cdigo. La funcin del signo consiste en comunicar ideas por medio de mensajes, estos signos pueden ser naturales: el humo significa fuego, nubes indicio de lluvia; o artificiales (smbolos): bandera, escudo; o analgicos (icnicos): fotografas, esquemas, etc. El signo es el vehculo de toda comunicacin y pensamiento. Sus caractersticas estn determinadas por el lugar que el signo ocupa en el sistema y por sus relaciones con los dems signos de dicho sistema. La funcin esencial de los cdigos es evitar toda confusin entre el signo y el mensaje. Si los signos se encuentran en una relacin lgica de exclusin, de inclusin o de interseccin, se pueden presentar tres tipos de cdigos: Exclusin:

A

B

C

69

Lgica Matemtica Inclusin

A BC

Interseccin

A

B

CEl emisor debe codificar el mensaje de tal forma que cuando el receptor reciba el mensaje y lo decodifique pueda reconstruir su sentido a partir de los signos y de las relaciones existentes entre ellos. 9

Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C. 19999

70


1.6 Ramas de la semiticaActualmente se reconocen tres reas en el campo de la semitica as: sintaxis, semntica y pragmtica. El primero en establecer con claridad y divulgar esta clasificacin fue Morris en 1938, quien defini la pragmtica como el estudio de la relacin de los signos con los intrpretes, la semntica como el de las relaciones de los signos con los objetos a los que se aplican y la sintaxis como el de las relaciones formales entre los mismos signos. Galindo (1999)

71

Lgica Matemtica

La lgica se clasifica en: 1. Tradicional o no formal: son los procesos psicobiolgicos del pensamiento lgico y mtodos de inferencia, que permiten interpretar y distinguir el razonamiento correcto del incorrecto mediante la experiencia humana, ya sea por el conocimiento o por la observacin de su entorno. 2. Formal o simblica: Es la encargada de investigar, desarrollar y establecer reglas de inferencia, que conducen a formas puras y rigurosas de pensamiento. La lgica simblica, manipula las palabras como signos, sin tener en cuenta su sentido. La lgica pretende que sus razonamientos se caractericen por: 1. Precisin: mediante el uso de signos 2. Claridad: en la medida que el usuario se familiariza con los elementos bsicos de un argumento lgico en su forma (representacin simblica) y su significado. 3. Generalidad: mediante el lenguaje simblico artificial, el usuario, por una parte simplifica argumentos lgicos complicados y por otra parte, establece reglas que le permiten generalizar conceptos e incrementar la fiabilidad con que se aplica el conocimiento. Lenguaje: Sistema de signos que expresan ideas y se utilizan para establecer comunicacin. Lenguaje natural: Nace de las capacidades lingsticas de una comunidad. Lenguaje artificial: Es aquel que utiliza signos para obtener una comunicacin ms precisa y clara.

72


Amigo estudiante, recuerda que la motivacin es una de las tres condiciones para lograr un aprendizaje significativo: 1. Cmo se puede definir

LOGICA MATEMATICA

Documents

Transcript of LOGICA MATEMATICA