Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Modulo de Logica
Modulo de Logica
LGICA MATEMTICA
GE EORFFREY ACEVEDO GONZLEZ
Medelln, 2012
Lgica Matemtica
Jaime 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 UNAD
ISBN 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.
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.
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.
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 georffrey.acevedo@unad.edu.co georffrey@gmail.com
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
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
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
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
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
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
Conjuntos:
Conjunto universal Conjunto vaco Unin Interseccin Diferencia Diferencia simtrica Contenido en No est contenido en Pertenece a No pertenece a 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
,~ <
Conectivos lgicos:
Indicadores de relacin:
>
Conjuntos numricos:
14
Objetivo General
Proporcionar al estudiante herramientas que le permitan reconocer, elaborar y determinar la validez de razonamientos lgicos tanto deductivos como inductivos.
Objetivos especficos
Desarrollar 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.
________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________
4. Analiza porqu es importante la competencia lgico matemtica para apropiar nuevo conocimiento.
________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________
18
7. Plantea varios ejemplos de conjuntos. Cmo describiras un conjunto con una cantidad infinita de elementos?
________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________
________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________
19
Lgica Matemtica
________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________
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?
________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________
20
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
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:
________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ ________________________________________________________________________________________________________________________ _________________________________________________________________________________________________________
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
(se lee
24
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA sta es la representacin grfica:
x
U A
A
U A x
xA
x
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
/ 0 x < 9}
Z = {x
/ 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
de
Informacin
Ejemplo 1: D = {x
/ 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 Unitario
A = {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 u
Figura No. 4
o e i
U = Conjunto Universal
A = {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
U retorno
B A AB xA xB
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}
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
C B A x
A B B C
______
AC xA xB xC
retorno
Figura No. 6
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 en
S 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 B
U B A 2 1 3 5 4
B A
AB BA ______ B=A
Figura 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 7
Figura No. 8
BA AB ______ AB
31
Lgica Matemtica
U A 7 9 B 1 5 2
AB y B A y no hay elementos
comunes
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
32
Caso 1. Que los conjuntos no tengan ningn elemento en comn. (conjuntos disyuntos).
U B
2
1 4
9
7 5
AUB
Figura No. 10.
AUB = {1,2,3,4,5,6,7}
retorno
U de
Informacin
6 4 5 1
7
9
Figura No. 11
33
Lgica Matemtica
A
32
1 4
B
6 7
U A retorno
3 7 1 5 2
Figura No. 13
86
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).
A 3 2
1 4
B
6 7
5
9
A B={}
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
3 2 1 4
Figura No. 15
35
Lgica Matemtica
A
3 1 4
B
6
7
5
9
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.
Informacin
36
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=.
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.
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
2
1 4
9
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;
3 1 4
7
9
A-B = {1,2,3,4}
Figura No. 19
Caso 3. Que un conjunto este contenido en el otro
La parte sombreada indica la operacin.
retorno
32 6 14
Figura No. 20
8 9
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 = ,
A 6
5B
4
9 8 1
retorno
3 7
2 0
A- B = {1,4,5,6,8,9}
B-A = { }
Figura No. 21
Informacin
40
de
Diferencia simtrica
Se 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).
retorno
3 2
1 4
Figura No. 22.
6 7
9
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
6 1 4 5
Figura No. 23
7
9
A B = {1,2,3,4,7} B A = {1,2,3,4,7}
41
Lgica Matemtica
1 4
2 6 5
8 9
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
Informacin
42
de
Complemento
Si 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).
A
retorno
3 2 14
Figura No. 27.
6 7
9 5
A = {5,6,7,8,9}
de
Informacin
A 3
B 8 6
7
9
1 4
Figura No. 28
A = {7,8,9}
43
Lgica Matemtica
A A B
32 6 1 4
7
9
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}.
Informacin
44
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
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
A A
retorno
= A A
U
A A
U
U A A A
A A
A A
de
A A
Informacin
46
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 =
U U A U
A retorno
U A
Informacin
de
47
Lgica Matemtica
U A
U A
U retorno A
Informacin
48
de
c)
U A A
retorno
Figura No. 38 Al unir el conjunto A con los elementos que no estn en A se obtiene el universo
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:
2 3
8
retorno
B 7
9
A 6 3 1 4 5
8 (A U B)
6 14 5
A U B
7
9
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
3 6 1 4 5
8
A
Figura No. 41
7
9 8
B 6
7
9
8
14 5
B
3 6 14 5
7
9
A' B'
50
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.
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:
A
3 2 1 4 6 5 7
A
3 1 4 2 6 5 7
326 7 14 5
A B'
U
8 9
8
B U
A
retorno U
A
2 3 1 8 4 6 5 7
A
2 3 1 4 6 5 7
A
2 3 1 4 6 5 8 7
de
Informacin
(A B)
( A B' )
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:
A
3 2 1 4
8 6 5 7
A
3 2 1 4
8 6 5 7
U B A
8 7
2 6 3 1 4 5 9
A
U A 2 3 1 4 retorno 8 6 5 9 U
B B
A 3 2 8 6 5 7 9 U B
A U B A
2 3 1 4 8 6 5 9 7 B
1 4
(A U B)
A U B
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
U A B
U A B
retorno
U B A C
Informacin
54
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
U A B
U A B B A C
retorno
17. En los siguientes cuatro diagramas sombrea las reas correspondientes a la operacin: A menos B
A
de
U A B
Informacin
U A B B A C
55
Lgica Matemtica
N U= M= N= M N= M P= P
MNP=
Figura No. 17
Ejercicio propuesto 2:
Representa el ejemplo anterior mediante diagramas de Venn
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 = 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:
A
3 2 6 5 7 1 4 8
A
3 2 6 5 7 1 4
A
3 2 6 5 7 1 4
______
______
______
Segunda parte de la igualdad A' U B': representa en cada conjunto A, B y la unin entre ambos conjuntos:
57
Lgica Matemtica
A
3 2 6 5 7 1 4 8
A
3 2 6 5 7 1 4
A
3 2 6 5 7 1 4
______
______
______
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
Introduccin
En 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.
Justificacin
Esta 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 formativas
Propsitos
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
Objetivo general
El 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 L Le ec cc cii n nN No o..1 1 IIn nttr ro od du uc cc cii n na a lla a ll g giic ca a
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
64
Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C. 1999
6
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
66
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIER INGENIERA MDULO DE LGICA GICA MATEMTICA 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 d de e lenguaje natural o artificial. artificial El lenguaje natural nace de una organizacin espontnea de las capacidades lingsticas de una comunidad, y se encuentra dotado de gran cantidad de signos, sobresaliendo sobresali las vocales; mientras que el lenguaje artificial se genera enera cuando una o ms personas deciden usar signos especiales para obtener mejor comunicacin, estableciendo reglas que faciliten la op operatividad ratividad entre los signos; por ejemplo, el 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. 1999
8
67
Lgica Matemtica
Lenguaje Artificial
h2 = a2 + b2
a2
h2 b2
H
G
K A
D L
Imagen No. 3 Euclides. Padre de la Geometra. Detalle. La escuela de Atenas - fresco de Raffaello Sanzio (1511)
68
69
A B
C
Interseccin
C
El 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. 1999
9
70
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 la lgica? 2. Elabore un resumen sinttico de la historia de la lgica? 3. Mediante un cuadro sinptico, clasifique la lgica con sus caractersticas fundamentales 4. Cul es el propsito de la lgica? 5. Escriba y explique las componentes del proceso semitico. 6. Enuncie las ramas de la semitica.
73
1.7 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:
74
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.
Ejemplos:
p : Hoy es sbado q : Estudio filosofa r : Colombia es el pas con el mayor nmero de especies de aves del mundo x : 4 + 3 = 10
75
Ejemplos:
Las rosas son rojas
tienen espinas.
o perdi?
podr determinar la validez de
no hay violencia.
Para la formacin de las oraciones del ejemplo anterior se utilizaron las expresiones especiales: y, o, no, si entonces, s y slo si, que sirvieron para unir o enlazar los enunciados; denominamos a stas partculas o trminos de enlace "nexos o conectivas", que establecen relaciones sintcticas como funcin de coordinacin y subordinacin determinadas entre las proposiciones que la integran; tal ocurre en la funcin de las conjunciones en las oraciones compuestas de la lengua. Al igual que a las proposiciones, tambin les asignamos un lenguaje simblico as: Tabla No. 1 Conectivos Lgicos. Lenguaje Natural y Artificial
Lenguaje Natural
Lenguaje Artificial
y o
no
Si . entonces Si y slo si
76
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA Partiendo del ejemplo anterior, podemos hallar la notacin simblica de las expresiones planteadas:
Ejemplos:
Expresin: Las rosas son rojas
tienen espinas.
Proposiciones: p : Las rosas son rojas q : Las rosas tienen espinas Notacin simblica:
pq
o perdi
rs
no hay violencia.
____________________________________________________________
77
Lgica Matemtica
Expresin:
puedo determinar la
validez de un razonamiento lgico Proposiciones: x : Estudio lgica matemtica y : Puedo determinar la validez de un razonamiento lgico Notacin simblica:
x y
uv
78
El valor de verdad de una proposicin simple puede ser verdadero (V) o falso (F), pero no puede tomar los dos valores al mismo tiempo, pues dejara de ser proposicin. Recordemos que una proposicin debe tener sentido completo, es decir debe ser posible asignarle un valor de verdad (es falsa o verdadera).
Ejemplos:
79
Lgica Matemtica
Ejemplos:
corresponde a: Est lloviendo y el sol brilla _____________________________________________________________ Sean: x : Quiero caf! y : Quiero t!
pq
x y
corresponde a: Si llueve entonces hace fro _____________________________________________________________ Sean: p : El tringulo es equiltero q: El tringulo tiene sus tres lados iguales
rs
p q
80
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA La veracidad o falsedad de una proposicin compuesta, depende del valor de verdad de cada una de las proposiciones simples que la conforman y de la manera como estn conectadas; para tal fin, en las prximas lecciones estudiaremos ms detenidamente la forma de enlazar o unir proposiciones simples de tal manera que se puedan fijar criterios para establecer cundo una proposicin compuesta es verdadera o falsa. Veamos algunos ejemplos de oraciones que no son proposiciones porque no se les puede asignar un valor de verdad (falso o verdadero).
Ejemplos:
1.
El tringulo es menor que el crculo Esta oracin no es proposicin, puesto que no especifica el criterio de comparacin, es decir, el rea, permetro, , entre las figuras geomtricas.
2.
x+5=8 Aqu, x es una variable independiente, por lo tanto puede tomar cualquier valor y por consiguiente no se puede afirmar nada.
81
Lgica Matemtica
1.8.1 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 q.
Ejemplo 1:
Ejemplo 2:
q:
Para determinar el valor de verdad de una proposicin compuesta formada por dos proposiciones simples unidas por una conjuncin utilizaremos la representacin grfica mediante el uso de los diagramas de VENN. Los diagramas de VENN, a travs de reas sombreadas muestran claramente el conjunto de verdad de la operacin que se est realizando, veamos:
82
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA La siguiente figura representa el conjunto de verdad de la conjuncin, donde: U = {todas las personas} P = {personas que juegan futbol}
U P Q
x
Figura No. 2 Conjuncin
p ( x) q ( x)
Estudiemos estos cuatro casos para el siguiente caso: Qu posibles valores de verdad puede tomar la expresin: Santiago es jugador de futbol y es Colombiano Proposiciones simples verdaderas Santiago es jugador de futbol, Santiago es Colombiano
83
Lgica Matemtica Caso 1: Cuando se afirme que Santiago es jugador de futbol y es Colombiano se estar haciendo una afirmacin verdadera. Simblicamente, decimos que la proposicin compuesta: r = Santiago es jugado de futbol = V s = Santiago es Colombiano =V
r s es Verdadera (V)
_________________________________________________________ Caso 2: Cuando se afirme que Santiago es jugador de futbol y no es Colombiano se estar haciendo una afirmacin verdadera. Simblicamente, decimos que la proposicin compuesta: r = Santiago es jugado de futbol = V s = Santiago no es Colombiano = F
r s es Falsa (F)
_________________________________________________________ Caso 4: Cuando se afirme que Santiago no es jugador de futbol y no es Colombiano se estar haciendo una afirmacin verdadera. Simblicamente, decimos que la proposicin compuesta: r = Santiago no es jugado de futbol = F s = Santiago no es Colombiano =F
r s es Falsa (F).
A continuacin se analizan estas posibilidades para el caso propuesto en el ejemplo 1:
rs:
84
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA Las proposiciones simples verdaderas son: 6 es un nmero par 6 es un entero positivo Caso 1: Cuando se afirma que 6 es un nmero par y es entero positivo r = 6 es un nmero par s = 6 es un entero positivo =V =V
r s es Verdadera (V)
_______________________________________________________ Caso 2: Cuando se afirma que 6 es un nmero par y no es entero positivo r = 6 es un nmero par s = 6 no es un entero positivo =V =F
r s es Verdadera (V)
_______________________________________________________ Caso 3: Cuando se afirma que 6 no es un nmero par y es entero positivo r = 6 no es un nmero par s = 6 es un entero positivo =F =V
r s es Verdadera (V)
85
Lgica Matemtica Podemos resumir estos resultados utilizando la siguiente tabla, llamada tabla de verdad de la conjuncin: Tabla No. 2 Tabla de verdad de la conjuncin
p
V V F F
q
V F V F
pq
V F F F
De tal manea que podemos concluir que la conjuncin es verdadera nicamente cuando las dos proposiciones simples que relaciona sean verdaderas, en cualquier otro caso la conjuncin es falsa.
1.8.2 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.
Ejemplo 1:
Uso del o incluyente r v s: Juan estudia ingeniera o Paola estudia medicina r : Juan estudia ingeniera v: o s: Paola estudia medicina
86
Ejemplo 2:
Uso del o excluyente x v y : Quieres helado o gaseosa. x : Quieres helado. v: o y: Quieres gaseosa.
Ejemplo 3:
Uso del o excluyente p v q: Alexandra vive en Bogot o en Barranquilla. p : Alexandra vive en Bogot. v:o q : Alexandra vive en Barranquilla.
Los ejemplos anteriores muestran los usos del operador o. En el ejemplo 2 tenemos el llamado o incluyente el cual hace que el valor de verdad de una de las dos proposiciones simples repercuta en el valor verdadero de la proposicin disyuntiva; mientras que el conectivo lgico o de los ejemplos 2 y 3 acta como un o excluyente, donde el valor de verdad de una proposicin excluye la veracidad de la otra proposicin, esto hace que la proposicin disyuntiva siempre tome el valor verdadero. Para establecer el valor de verdad de una proposicin disyuntiva, consideremos las siguientes funciones proposicionales: U = {personas que son Colombianas} P(x) = x es una persona que vive en Bogot Q(x) = x es una persona que vive en Barranquilla
p ( x) q ( x)
87
Lgica Matemtica
Figura No. 3
Disyuncin
Como se analiz en la conjuncin, el valor de verdad de la proposicin compuesta no slo depende del conectivo lgico, sino del valor de verdad de cada una de sus proposiciones simples. Por lo tanto, surgen las mismas cuatro posibilidades: Caso 1: Caso 2: Caso 3: Caso 4: Que p sea verdadera Que p sea verdadera Que p sea falsa Que p sea falsa y y y y q sea verdadera q sea falsa q sea verdadera q sea falsa
A continuacin se analizan estas posibilidades para las siguientes dos proposiciones: Sean proposiciones verdaderas: 2 es un nmero par, 5 es un nmero impar Caso 1: Cuando se afirma que 2 es par y 5 es primo: r: s: Verdadera Verdadera 2 es par 5 es impar
Verdadera (V) 2 es par o 5 es impar _________________________________________________________ Caso 2: Cuando se afirma que 2 es par y 5 no es impar: r: s: Verdadera Falsa Verdadera (V) 2 es par 5 es no es impar 2 es par o 5 no es impar
rs:
rs:
88
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA Caso 3: Cuando se afirma que 2 no es par y 5 es impar: r: s: Falsa Verdadera 2 no es par 5 es impar
Verdadera (V) 2 no es par o 5 es impar _________________________________________________________ Caso 4: Cuando se afirma que 2 no es par y 5 no es impar: r: s: Falsa Falsa Falsa (F) 2 no es par 5 no es impar 2 no es par o 5 no es impar
rs:
rs:
De lo planteado en los casos anteriores podemos concluir que la tabla de verdad de la disyuncin es:
p
V V F F
q
V F V F
pq
V V V F
Es decir, la disyuncin es falsa solamente cuando las dos proposiciones simples que relaciona sean falsas. En los otros casos es verdadera.
89
Lgica Matemtica
1.8.3 La negacin ~
Sea p una proposicin simple. Se define la negacin de p mediante la proposicin compuesta no p simbolizada por: ~ p o por p
Ejemplo 1:
p: p :
3 es un nmero entero primo. 3 no es un nmero entero primo, tambin se puede leer. es falso que 3 es un nmero entero primo.
Ejemplo 2:
q: ~ q:
El automvil de Francisco es rojo. El automvil de Francisco no es rojo ,o, es falso que el automvil de Francisco es rojo.
Claramente se puede establecer que si una proposicin es verdadera su negacin es falsa y recprocamente, si una proposicin es falsa su negacin es verdadera , por lo tanto la tabla de verdad de la negacin es:
V F
~p
F V
90
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA La representacin en diagramas de Venn de la negacin es como sigue: U = {personas que son Colombianas},
p ( x)
~P
P
Figura No. 4 Negacin
91
Lgica Matemtica
L Le ec cc cii n nN No o..4 4C Co on ne ec cttiiv vo os s ll g giic co os sC Co on nd diic ciio on na all y yB Biic co on nd diic ciio on na all
1.8.4 El condicional
Se dice que una proposicin compuesta es condicional, si est formada por dos proposiciones simples enlazadas por la expresin sientonces. Si p y q representan dos proposiciones, la expresin si p entonces q se simboliza as: p q y se lee p implica q. La proposicin precedida por la expresin si, se llama antecedente o hiptesis y la proposicin precedida por la expresin entonces, se llama consecuente o conclusin de la implicacin. En la expresin p q , el antecedente es p y el consecuente es q. Las proposiciones condicionales se pueden enunciar en nuestro lenguaje natural de diferentes maneras, algunas son:
Si es conductista entonces reduce toda conducta humana a la relacin estmulo-respuesta Si un entero es mltiplo de 4 entonces es divisible por 2 Apruebo el semestre slo si estudio El algoritmo est bien enunciado si el programa corre Si dos rectas nunca se cortan necesariamente son paralelas
92
Analicemos el valor de verdad de la proposicin compuesta: Si es un da soleado entonces hace calor Como lo analizamos en los casos anteriores, surgen cuatro posibilidades: Caso 1: Es un da soleado y hace calor. En este caso el antecedente y el consecuente se cumplen. Por lo tanto la proposicin compuesta p q es verdadera. Es un da soleado pero no hace calor. En este caso el antecedente se cumple pero no se cumple el consecuente. Por lo tanto la proposicin compuesta p q es falsa. No es un da soleado pero a pesar de esto hace calor. En este caso encontramos que aunque el antecedente no se cumple el consecuente. No obstante esto no hace falsa la proposicin compuesta original Si es un da soleado entonces hace calor. Por lo tanto la proposicin compuesta p q es verdadera. Es no es un da soleado y no hace calor. En este caso no se da el antecedente y no se cumple el consecuente. No obstante esto no hace falsa la proposicin compuesta original Si es un da soleado entonces hace calor. Por lo tanto la proposicin compuesta p q es verdadera.
Caso 2:
Caso 3:
Caso 4:
De los casos planteados concluimos que la tabla de verdad para la implicacin toma los siguientes valores:
Tabla No. 5 Tabla de vedad para el condicional
p
V V F F
q
V F V F
pq
V F V V
93
Lgica Matemtica
1.8.5 El bicondicional
Se denomina bicondicional a la proposicin formada por dos proposiciones simples conectadas por la expresin s y slo s. Simblicamente si p y q son proposiciones simples, la doble implicacin p q constituye un bicondicional, donde p recibe el nombre de primer miembro y q segundo miembro. El bicondicional est formado por las implicaciones p q y q p , las cuales deben tener el mismo valor de verdad para formar una equivalencia entre p y q; en consecuencia, se dice que la proposicin p es equivalente a la proposicin q y se acostumbra a escribir p q . La proposicin bicondicional tiene varias formas de traduccin ms no de significacin, veamos: p s y slo si q q s y slo si p si p entonces q y recprocamente si q entonces q y recprocamente p es una condicin necesaria y suficiente para q q es una condicin necesaria y suficiente para p
Ejemplo 1:
Dadas las proposiciones atmicas: p: Un tringulo es rectngulo q: Un tringulo tiene un ngulo recto
94
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA Un tringulo es rectngulo s y slo s tiene un ngulo recto. Un tringulo tiene un ngulo recto s y slo s es un tringulo rectngulo Si un tringulo es rectngulo entonces tiene un ngulo recto y si un tringulo tiene un ngulo recto entonces es un tringulo rectngulo. Una condicin necesaria y suficiente para que un tringulo sea rectngulo es que tenga un ngulo recto. Una condicin necesaria y suficiente para que un tringulo tenga un ngulo recto es que sea un tringulo rectngulo. Un tringulo rectngulo es equivalente a un tringulo con un ngulo recto.
el
valor
de
verdad
de
la
proposicin
Supongamos verdadera la siguiente proposicin: Si y slo si es un da soleado entonces hace calor Sea p: q: es un da soleado hace calor
Como lo analizamos en los ejemplos anteriores, surgen cuatro posibilidades: Caso 1: Caso 2: Es un da soleado y hace calor. En este caso ambas proposiciones se cumplen. Por lo tanto la proposicin compuesta p q es verdadera. Es un da soleado pero no hace calor. En este caso se cumple slo una de las dos proposiciones simples, lo que de acuerdo con la expresin Si y slo si es un da soleado entonces hace calor no debera darse. Por lo tanto tal proposicin compuesta ( p q ) es falsa. No es un da soleado pero hace calor. En este caso se cumple slo una de las dos proposiciones simples, lo que de acuerdo con la expresin Si y slo si es un da soleado entonces hace calor no debera darse. Por lo tanto tal proposicin compuesta ( p q ) es falsa. No es un da soleado y no hace calor. En este caso ninguna de las dos proposiciones simples se cumple, lo que no se contradice con la
Caso 3:
Caso 4:
95
Lgica Matemtica expresin Si y slo si es un da soleado entonces hace calor. Por lo tanto la proposicin compuesta ( p q ) es verdadera. De los casos planteados concluimos que la tabla de verdad para la dobleimplicacin toma los siguientes valores:
p
V V F F
q
V F V F
pq
V F F V
As podemos concluir que el bicondicional es verdadero solamente cuando ambas proposiciones tienen el mismo valor de verdad.
96
Proposicin: Expresiones con sentido completo cuyo valor es verdadero o falso, pero no ambos a la vez. Expresin lingstica con la propiedad de ser verdadera o falsa. Las proposiciones se representan simblicamente mediante las letras p, q, r, s, t. Conectivos lgicos: Son trminos que sirven para unir o enlazar proposiciones simples. Los conectivos lgicos fundamentales son: Lenguaje Natural y o no Clases de proposiciones 1. Simples o atmicas: oraciones con sentido completo que no utilizan conectivos lgicos. 2. Compuestas o moleculares: Se obtienen combinando dos o ms proposiciones simples mediante la utilizacin de los conectivos lgicos. Unin de dos o ms proposiciones simples mediante trminos de enlace como o, y, sientonces, si y slo si. Su valor de verdad depende de los valores que tomen las proposiciones que la conforman. 3. Tablas de verdad para los conectivos lgicos: Proposiciones p q V V V F F V F F Negacin Conjuncin Disyuncin Condicional Bicondicional Smbolo
p
F F V V
q
F V F V
pq
V F F F
pq
V V V F
pq
V F V V
pq
V F F V
97
Lgica Matemtica
p
V V F F
q
V F V F
p
F F V V
q
F V F V
p q
V F F F
pq
V V V F
p q
V F V V
p q
V F F V
98
Ejemplo 1:
Construir la tabla de verdad para la proposicin Paso 1:
( p q )
p, q
Paso 2: De acuerdo al nmero total de proposiciones simples se determina la cantidad de combinaciones posibles entre los valores de verdad de las proposiciones simples: El ejercicio propuesto tiene dos proposiciones simples p y q, combinaciones posibles de los valores de verdad sern: luego, las
q=F q =V q =V q=F
Es decir que en el caso de tener dos (2) proposiciones simples, slo hay cuatro (4) casos posibles:
p
V V F F
q
F V V F
99
Lgica Matemtica
Cuntos
compuesta: ( pq) q?
casos
posibles
tendremos
para
la
proposicin
Recordemos que el primer paso es identificar el nmero de proposiciones simples: Una vez ms, las proposiciones simples son dos (2): p , q luego el nmero de casos posibles es tambin de cuatro (4): FF, VF, VV, y FV.
p, q, r
Si lo analizamos detenidamente, hay dos posibilidades para la p (V, F), tambin hay dos posibilidades para la q (V, F) y dos posibilidades para la r (V, F):
V V V F F V F V V F F F V F
100
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA Esta conclusin nos permite encontrar una frmula para calcular el nmero de combinaciones posibles de acuerdo al nmero de variables lgicas o letras proposicionales involucradas en la frmula proposicional:
NOTA: Ms adelante, en el curso de probabilidad aprenders que este es un caso de combinacin denominado permutaciones con repeticin. De esta manera, una funcin lgica con 4 letras proposicionales tendr 16 casos posibles, una funcin lgica con 5 letras proposicionales tendr 32 casos posibles, una funcin lgica con 6 letras proposicionales tendr 64, una funcin lgica con 7 letras proposicionales tendr 128, una funcin lgica con 8 letras proposicionales tendr 256, una funcin lgica con 9 letras proposicionales tendr 512.
101
Igualmente, para construir una tabla de verdad de 4 proposiciones simples partimos asignado 8 valores verdaderos y 8 falsos, para la segunda columna asignaremos de a 4 valores de verdad, para la tercera de a 2 y para la cuarta columna de a 1. p V V V V V V V V F F F F F F F F q V V V V F F F F V V V V F F F F r V V F F V V F F V V F F V V F F r V F V F V F V F V F V F V F V F
Sin importar de que formula proposicional se trate, si el nmero de proposiciones simples es igual, la combinacin de los posibles casos de verdad en la tabla es siempre el mismo. .
102
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA Paso 3: . Se hace un recorrido desde adentro hacia afuera de acuerdo a los signos de agrupacin: Los signos de agrupacin que encontraremos en una frmula proposicional sigue el orden:
{ ( { (....) } ) }..
Paso 4: Se identifica el conectivo que aparece dentro del parntesis, en el ejemplo propuesto Paso 5: Paso 6:
( p q )
Se precisa el trmino de enlace que precede al parntesis, en el ejemplo corresponde a la negacin. Se elabora la tabla con el nmero de columnas determinado por: Proposiciones que intervienen Conectivos utilizados dentro del parntesis Conectivo utilizado fuera del parntesis
p
V V F F Paso 7:
q
V F V F
pq
( p q )
Se completa la tabla por columnas, teniendo en cuenta el conectivo y el valor de verdad de cada proposicin simple:
p
V V F F
q
V F V F
pq
V F F F
( p q )
F V V V
De esta manera, sin importar el tamao de la proposicin compuesta, siempre estaremos analizando el valor de verdad para un solo conectivo lgico en cada columna. 103
Lgica Matemtica
Ejemplo 2:
Elaborar la tabla de verdad de la proposicin:
( p q) ( p q)
Al realizar la frmula proposicional encontramos que la tabla de verdad tendr cuatro (4) casos posibles, posteriormente, se observa que la proposicin est conformada por dos parntesis conectados por la disyuncin. De manera que debemos encontrar los valores de verdad del parntesis p q y del parntesis p q , siguiendo el recorrido de adentro de los parntesis hacia afuera. Finalmente, haremos la conjuncin entre los parntesis:
( p q) ( p q)
p
V V F F
q
V F V F
pq
V V V F
pq
V F F F
( p q) ( p q)
V F F F
Ejemplo 3:
Elaborar la tabla de verdad de la proposicin: q p Al realizar la frmula proposicional encontramos que la tabla de verdad tendr cuatro (4) casos posibles, siguiendo los pasos para la construccin de tablas de verdad se obtiene
p
V V F F
q
V F V F
q p
V V F V
104
Ejemplo 4:
Elaborar la tabla de verdad de la proposicin:
( p q) r
Al realizar la frmula proposicional encontramos que la tabla de verdad tendr ocho (8) casos posibles, posteriormente, se observa que la proposicin est conformada por un parntesis conectado por un condicional. De manera que debemos encontrar los valores de verdad del parntesis p q y de la proposicin r , siguiendo el recorrido de adentro de los parntesis hacia afuera. Finalmente, resolveremos para el conectivo principal:
p
V V V V F F F F
q
V V F F V V F F
r
V F V F V F V F
pq
V V V V V V F F
( p q) r
V F V F V F V V
105
Lgica Matemtica
Captulo: Tautologa
Objetivo general
El propsito de este captulo es brindar al estudiante elementos para la clasificacin de una proposicin como tautolgica.
Objetivos especficos
Identificar tautologas
CAPTULO 2
Determinar si dos proposiciones son equivalentes Dada una proposicin identificar la proposicin contraria, recproca y contrarrecproca Diferenciar y aplicar las leyes del algebra de proposiciones
106
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA L 5 T a a u b u tl l a t o o s l o o d g g e a a v s e Le ec cc cii n nN No o..6 5T 6 T T a a u b u t a t o o s ll o l o d g g e a a v s er rd da ad d
2.1 Tautologa
Entre las proposiciones compuestas existen unas muy importantes por ser siempre verdaderas independientemente del valor de verdad de las proposiciones que la conforman; este tipo de proposiciones reciben el nombre de tautologas. En otras palabras, se dice que una tautologa es una funcin lgica que es verdadera para todas las combinaciones posibles de los valores de verdad de sus premisas. Veamos algunos ejemplos:
Ejemplo 1:
Demostrar que la proposicin p q p es una tautologa, para demostrarlo, debemos construir la tabla de verdad y verificar que efectivamente la funcin lgica es verdadera para todos los casos:
p
V V F F
q
V F V F
pq
V F F F
( p q) p
V V V V
Queda demostrado que p q p es una proposicin que sin importar el valor de sus premisas p y q, es siempre verdadera.
107
Lgica Matemtica
Ejemplo 2:
Demostrar que la proposicin
demostrarlo, debemos construir la tabla de verdad y verificar que efectivamente la funcin lgica es verdadera para todos los casos:
p
V V F F
q
V F V F
pq
V V V F
p
F F V V
( p q ) p
F F V F
( p q ) p q
V V V V
Una proposicin compuesta, que es falsa en todos los casos independientemente de los valores de verdad de las proposiciones que la conforman se llama Contradiccin.
108
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA L Le ec cc cii n nN No o..7 7 P Pr ro op po os siic ciio on ne es se eq qu uiiv va alle en ntte es s
Ejemplo 1:
Demostrar que las proposiciones equivalentes:
p
V V F F
q
V F V F
pq
V F V V
p
V V F F
q
V F V F
p
F F V V
p q
V F V V
Simblicamente, podemos determinar que dos proposiciones son lgicamente equivalentes S y slo si:
109
Lgica Matemtica
p
V V F F
q
V F V F
pq
V F V V
p q ( p q ) ( p q )
V F V V V V V V
A continuacin estudiaremos algunas equivalencias importantes. Estas equivalencias tambin son conocidas como leyes de la lgica.
110
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA L Le ec cc cii n nN No o..8 8 T Ta au utto ollo og ga a ttr riiv viia all y yd do ob blle en ne eg ga ac cii n n
p p
V V
p ( p )
p V F
p
F V
( p )
V F
p ( p )
V V
Cualquier proposicin es equivalente a s misma. La doble negacin de una proposicin es la misma proposicin.
111
Lgica Matemtica
Ejemplo 1:
Consideremos la proposicin simple:
p
luego:
( p )
Por lo tanto
( p )
= p
________________________________________
Ejemplo 2:
Consideremos la proposicin simple:
p
luego:
: el acusado es inocente
( p )
( p )
= p
112
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA L Le ec cc cii n nN No o..9 9 IIm mp plliic ca ac cii n nd diir re ec ctta a,, c co on nttr ra ar riia a,, r re ec cp pr ro oc ca ay yc co on nttr ra ar re ec cp pr ro oc ca a
2.3
Existen varias formas de enunciar proposiciones condicionales as: Implicacin directa: Implicacin contraria: Implicacin recproca: Implicacin contrarrecproca:
pq
p ( q ) q p q ( p )
Ejemplo 3:
Dadas las proposiciones entonces: p: q: Es un animal mamfero Tiene pelo Si es mamfero entonces tiene pelo Si no es mamfero entonces no tiene pelo Si tiene pelo entonces es mamfero Si no tiene pelo entonces no es mamfero
Ejemplo 4:
Teniendo en cuenta la implicacin: proposicin
p q
p ( q ) q p q p
113
Lgica Matemtica
Tabla de verdad para las cuatro formas de la implicacin, Directa p q ~p ~q V V F F V F V F F F V V F V F V Recproca Contraria o Inversa Contrarrecproca o contraposicin
pq
V F V V
q p
V V F V
p ( q )
V V F V
q ( p )
V F V V
Muy bien, al analizar los valores de verdad correspondientes a las columnas de la directa y la contrarecproca observamos que stas coinciden, al igual que los de las columnas de la contraria y de la recproca, por lo tanto estas implicaciones son equivalentes.
114
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA L Le ec cc cii n nN No o..1 10 0L Le ey ye es sd de e lla a ll g giic ca a
2.4
1. Idempotencia:
( p p) p ( p p) p ( p q) r p ( q r ) ( p q) r p ( q r ) ( p q) ( q p) ( p q) ( q p)
p ( q r ) ( p q) ( p r ) p ( q r ) ( p q) ( p r )
3. Asociativas:
4. Conmutativas:
5. Distributivas:
6. Identidad:
( p 0) p, ( p 1) 1 ( p 0) 0, ( p 1) p ( p p ) 1, ( p p ) 0 ( p ) p, 1 0, 0 1
( p q ) ( p q ) ( p q ) ( p q )
7. Complemento:
8. Leyes de D Morgan:
Observa que estas leyes del lgebra de proposiciones estn formuladas por pares dada la naturaleza dual del lgebra de proposiciones.
115
Lgica Matemtica
CAPTULO 3
116
Objetivos especficos
Identificar y clasificar las proposiciones categricas de un argumento Diferenciar la cualidad y cantidad de una proposicin categrica en forma estndar Establecer el tipo de oposicin que se puede presentar entre dos proposiciones categricas Representar grficamente proposiciones categricas de forma estndar
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA L Le ec cc cii n nN No o..1 11 1C Cu ua an nttiiffiic ca ad do or re es s
3.1 Cuantificadores
3.1.1 Cuantificador universal y existencial
Existen especialmente en matemticas, expresiones que contienen variables tales como x, y, z, etc., para las cuales su valor de verdad depende del valor que tome la variable.
Ejemplo
x+1=2
Esta proposicin es verdadera si x = 1 y falsa si x 1. A estas proposiciones se les llama Proposiciones abiertas. Hasta el momento se han tratado proposiciones a las cuales se les puede asignar un valor de verdad, ya sea falso o verdadero, ahora en esta seccin, se estudia la lgica de proposiciones abiertas, para ello, se asigna una expresin llamada cuantificador, que permite restringir los valores de las variables, de tal forma que la proposicin toma un solo valor de verdad para dicha restriccin. En el ejemplo, la proposicin se puede enunciar de las siguientes formas: 1. Existe x = 1 tal que x + 1 = 2. Proposicin verdadera 2. Para todo x 1, se tiene que x + 1 = 2. Proposicin falsa Veamos la representacin simblica de estas dos expresiones es la siguiente:
1. (x = 1) / ( x + 1 = 2) 2. (x 1) / ( x + 1 = 2)
Verdadera Falsa
Simblicamente, en el primer caso el cuantificador recibe el nombre de cuantificador existencial, pues est informando que existe un slo valor para x que hace verdadera la proposicin dada, mientras que en el segundo caso el cuantificador se llama universal porque afirma que todos los valores de x diferentes de 1 hacen la proposicin falsa, es decir, que un valor de x diferente de 1 convierte x + 1 = 2 en proposicin falsa.
117
Lgica Matemtica Cualquier cuantificador de la forma para todo, todo, para cada, o cada se llama cuantificador universal y se simboliza por
Ejemplo
Significa que todo x verifica la ecuacin ________________________________________________________________ La palabra algunos(s) significa que por lo menos uno verifica la condicin. Los cuantificadores de la forma existe por lo menos uno, y se llaman cuantificadores existenciales y se representan as: .
(x = 1) / ( x + 4 = 4 + x )
Ejemplo
(x = 1) / (2 x + 2 = 5)
________________________________________________________________
Ejemplo 1
( x
/ ( 2x 1 = 0)
que se lee para todo x que pertenece a los reales se verifica que 2 x 1 = 0 .
En esta proposicin el conjunto universal esta formado por los nmeros reales y el dominio de la variable es x = .
118
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA El ejemplo afirma que todo nmero real verifica 2x 1 = 0, lo cual es falso, pero si se cambia el conjunto universal, por el conjunto { 1/2 }, la proposicin se convierte en verdadera y se enuncia as:
(x { 1 2}) / ( 2 x 1 = 0)
Lo anterior conduce a la siguiente afirmacin:
es verdadera.
Una proposicin que contiene un cuantificador universal es verdadera s y slo s el dominio de la variable es igual al conjunto universal.
Ejemplo 2
( x
Conjunto universal: (reales)
(x
1 = 0)
Dominio de la variable: x = 1 ,v, x = -1 En este caso el cuantificador existencial afirma que por lo menos existe un valor que satisface la proposicin, as, el ejemplo 2 es verdadero.
Ejemplo 3
( x
(x
1 = 0)
El conjunto universal est formado por los nmeros reales, pero el dominio de la variable es el conjunto vaco, pues, no hay un nmero real que al elevarlo al cuadrado y sumarle 1 de cmo resultado cero, esto hace que la proposicin sea falsa. Del anlisis de los ejemplos 2 y 3 se puede afirmar:
Una proposicin con un cuantificador existencial es verdadera si y slo si el dominio de la variable no es vaco.
119
120
121
Lgica Matemtica El tipo especial se refiere a que las proposiciones pueden ser universales (afirmativas o negativas) o particulares (afirmativas o negativas) Por lo tanto, se puede afirmar que hay cuatro formas estndar de proposiciones categricas: Proposicin Categrica Universal Afirmativa Proposicin Categrica Universal Negativa Proposiciones categricas Afirmativa Particular Proposiciones categricas Negativa Particular Todos los poetas son filsofos Ningn poeta es filsofo Algunos poetas son filsofos Algunos poetas no son filsofos De esta manera, considerando las clases S y P podemos concluir:
Proposicin Categrica Universal Afirmativa Universal Negativa Afirmativa Particular Negativa Particular
122
S
Clase S Para diagramar la proposicin de que S no tiene miembros, o de que no hay S, se sombrea todo el crculo que representa S, lo cual indica que no contiene nada, que es vaca:
Clase S vaca
123
Lgica Matemtica , y, para graficar la proposicin que existen S, que se interpreta en el sentido de que hay por lo menos un miembro de la clase S, se coloca una x en cualquier parte en el interior del crculo que representa a S, lo cual indica que s hay algo dentro de l, que no est vaco:
Representa que hay por lo menos un elemento en S Los dos diagramas anteriores representan grficamente las proposiciones No hay S y Hay S. Se puede observar que el crculo que representa la clase S tambin representar la clase de su complemento, S, es decir, si en el interior del crculo se representa a todos los miembros de S, entonces, su exterior representar todos los miembros que no estn en S, por lo tanto estn en S. Representacin de una proposicin categrica: Para representar una proposicin categrica en forma estndar se necesitan dos crculos intersecados. Si S y P representan los sujetos y predicados de la proposicin, entonces su representacin es:
clases S y P La figura representa las dos clases S y P, pero no diagrama alguna proposicin de ellas, no afirma ni niega que una de las dos o las dos clases tengan miembros. La parte del crculo S que esta fuera de P representa todos los S que no son P, lo cual se identificar como el
124
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA producto de las clases S y P (SP); la parte comn de los dos crculos representa la interseccin o producto de las dos clases SP; la parte del crculo P que esta fuera de S representa a todos los P que no estn en S (por lo tanto estn en S ), es decir, el producto SP, y la parte externa a los dos crculos representa todas las proposiciones que no estn en S ni en P, lo cual corresponde a la cuarta clase SP. Lo anterior lo podemos representar de la siguiente manera:
S
SP
P
SP SP
SP Clases S y P
Para representar las cuatro proposiciones categricas de forma estndar se sombrea o se inserta x en varias partes de la grfica, a continuacin se presenta cada uno de los casos:
SP = 0 Todo S es P
125
Lgica Matemtica Ningn S es P, o, Ningn P es S simbolizadas por SP = 0 y PS = 0, respectivamente, la representacin grfica en ambos casos es:
U S P
Ningn S es P, o, Ningn P es S
SP = 0 y PS = 0,
P x
Algn S es P o Algn P es S SP 0 ; PS 0 ;
126
U S x P
Algn S no es P SP 0
U S P
Algn P no es S PS 0
127
Lgica Matemtica
Las siguientes son algunas observaciones acerca de las representaciones grficas realizadas: 1. El diagrama simple de los dos crculos, sin otro tipo de marcas o indicaciones, representa clases pero no representa ninguna proposicin. 2. Un espacio en blanco a la izquierda no significa nada (ni que una clase tiene o no tiene miembros). 3. Las proposiciones slo las representan aquellos diagramas en los que una parte ha sido sombreada o en la que se ha insertado una x. 4. Los diagramas de Venn constituyen una representacin de las proposiciones categricas en forma estndar, en las cuales las inclusiones y exclusiones espaciales corresponden a inclusiones y exclusiones no espaciales de clases. 5. Los diagramas de Clases proporcionan un mtodo claro de notacin y se constituyen en la base del mtodo ms simple y directo para probar la validez de los silogismos categricos.
128
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA L Le ec cc cii n nN No o..1 14 4C Clla as siiffiic ca ac cii n nd de e lla as sp pr ro op po os siic ciio on ne es sc ca atte eg g r riic ca as s
P (personas
temerarias)
Todo S es P
129
Lgica Matemtica En este ejemplo, el trmino sujeto conductores, designa a la clase de todos los conductores y el trmino predicado temerarias, designa a la clase de todas las personas temerarias. Este tipo de proposicin categrica se llama universal afirmativa, porque la proposicin afirma que la relacin de inclusin entre las dos clases es completa, todos los elementos o miembros de S tambin lo son de P. Todas las proposiciones universales afirmativas se pueden escribir simblicamente as: Todo S es P , donde S representa el sujeto y P el predicado.
S
Conductores de automvil Responsable
P
teme
Ningn S es P 130
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA La proposicin recibe el nombre universal negativa, porque la proposicin niega que la relacin de inclusin de clase tenga lugar entre las dos clases y lo niega en forma universal: no hay ningn miembro de S que tambin lo sea de P.
La palabra algunos es indefinida, significa al menos uno?, al menos dos?, al menos tres? o al menos cuntos? Para mayor precisin, se acostumbra usar ste trmino como al menos uno. Por lo tanto una proposicin afirmativa particular se escribe simblicamente as: Estudiantes
S
Estudiantes de secundaria
x
Algn S es P Algn S es P, Lo cual significa que por lo menos un miembro de la clase designada con el trmino sujeto S tambin es miembro de la clase designada por el trmino predicado P. El nombre afirmativa particular hace referencia a que la proposicin afirmativa se cumple en la relacin de inclusin entre clases, pero no lo afirma de la primera clase universalmente, slo parcialmente, de algunos miembros particulares de la primera clase.
131
Lgica Matemtica
En este ejemplo el antecedente (algunos nmeros reales) es particular en el sentido que no se refiere universalmente a los nmeros reales, slo a algunos de ellos, algunos miembros de esa clase. Pero a diferencia del ejemplo anterior, no afirma que los miembros particulares de la primera clase a los que se refiere (nmeros reales) estn incluidos en la segunda clase (reales no positivos), esto es precisamente lo que se niega. Una proposicin particular negativa, se escribe en forma simblica as: Nmeros
S
Nmeros Reales x
P
Nmeros Negativos
Algn S no es P Algn S no es P. dice que por lo menos un miembro que pertenece a la clase designada por el trmino sujeto, S, es excluido de la totalidad de la clase designada por el trmino predicado, P. Nuevamente, considerando las clases S y P podemos concluir: Proposicin Categrica Universal Afirmativa Universal Negativa Afirmativa Particular Negativa Particular Representacin Representacin Todo S es P Ningn S es P Algn S es P Algn S no es P
132
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA L Le ec cc cii n nN No o..1 15 5P Pr ro op po os siic ciio on ne es sc co on nttr ra ar riia as s,, d de ec co on nttiin ng ge en nc ciia ay ys su ub bc co on nttr ra ar riia as s
Ejemplo 1
Las proposiciones P: todos los jueces son abogados Q: algunos jueces no son abogados Son contradictorias porque son opuestas tanto en cantidad como en cualidad. La proposicin P es universal afirmativa, mientras que la proposicin Q es particular negativa.
133
Lgica Matemtica
Ejemplo 2
Las siguientes proposiciones tambin son contradictorias. P: algunos nmeros reales son negativos. Es particular afirmativa Q: todos los nmeros reales no son negativos. Es universal negativa En este caso son opuestas en cantidad y en cualidad. Otra forma de identificar las proposiciones contrarias, es cuando la verdad de una proposicin implica la falsedad de la otra.
Ejemplo 3
P: -3 es mayor que -1 Q: -1 es mayor que -3. Son contradictorias porque la proposicin P es falsa y esto implica que la proposicin Q sea verdadera.
Ejemplo 4
Dadas las proposiciones P: hoy es lunes Q: hoy no es lunes. Son contradictorias porque si P es verdadera automticamente Q ser falsa y lo contrario.
134
Ejemplo 5
Considerando las proposiciones P: Q: Paola es mayor que Anglica Anglica es mayor que Paola
Inicialmente se podra pensar que son contradictorias, es decir, que si P es verdadera, Q sera falsa, y consecuentemente, si P es falsa, entonces Q sera verdadera, pero al considerar el hecho de que Paola y Anglica tengan la misma edad, ambas proposiciones seran falsas, por lo tanto no seran contradictorias, y en este caso se llamaran contrarias, debido a que ambas no pueden ser verdaderas pero s falsas. En forma general se puede decir que dos proposiciones universales que tienen los mismos sujetos y predicados pero difieren en cualidad son contrarias. El siguiente ejemplo muestra claramente la diferencia entre las proposiciones contradictorias y contrarias.
Ejemplo 6
Dadas las proposiciones: P: Q: R: todos los nmeros enteros son positivos algunos enteros son positivos todos los enteros son negativos
Se puede afirmar que las proposiciones P y Q son contradictorias porque una es la negacin de la otra (en este caso P es falsa mientras que Q es verdadera). Y las proposiciones P y R son contrarias ya que ambas no pueden se verdaderas pero si son ambas falsas.
135
Lgica Matemtica
Ejemplo 1
Las proposiciones P: algunos enteros son positivos Q: algunos enteros son negativos Son subcontrarias debido a que ambas son verdaderas. En forma general se afirma que dos proposiciones particulares que tienen el mismo trmino sujeto y trmino predicado pero diferente cualidad son subcontrarias
Ejemplo 2
P: algunos ingenieros de sistemas son matemticos Q: algunos ingenieros de sistemas no son matemticos Las proposiciones P y Q pueden ser las dos verdaderas, pero no pueden ser las dos falsas, por lo tanto se dice que son subcontrarias.
136
Ejemplo 1
P: todos los matemticos son filsofos Esta es una proposicin que no es necesariamente verdadera (no todos los matemticos son filsofos), ni necesariamente falsa (existen matemticos que s son filsofos)
Ejemplo 2
Q: todos los cuadrados son rectngulos No necesariamente es falsa porque el cuadrado es un tipo de rectngulo, ni es necesariamente verdadera porque no todos los cuadrados son rectngulos
137
Lgica Matemtica
Recordemos: Dos proposiciones son CONTRADICTORIAS si una de ellas es la negacin de la otra, es decir, las dos proposiciones no pueden ser a la vez verdaderas ni a la vez falsas. Es claro que dos proposiciones categricas en forma estndar que tienen el mismo trmino sujeto y trmino predicado, pero son diferentes tanto en cantidad como en cualidad, son contradictorias entre s. Se dice que dos proposiciones son CONTRARIAS si no pueden ser ambas verdaderas, aunque ambas puedan ser falsas. En forma general se puede decir que dos proposiciones universales que tienen los mismos sujetos y predicados pero difieren en cualidad son contrarias. Se dice que dos proposiciones son SUBCONTRARIAS si no pueden ser ambas falsas pero s ambas verdaderas. En forma general se afirma que dos proposiciones particulares que tienen el mismo trmino sujeto y trmino predicado pero diferente cualidad son subcontrarias.
138
Las proposiciones categricas se clasifican en: Proposicin Categrica Universal afirmativa Proposicin Categrica Universal negativa Proposiciones categricas afirmativa particular Proposiciones categricas Negativa particular La clasificacin universal y particular hace referencia a: ALGUNOS = PARTICULAR TODOS = UNIVERSAL Sobre la clasificacin de las proposiciones como contrarias y contradictorias aprendimos: contrarias subcontrarias contradictorias = ambas pueden ser falsas = ambas pueden ser verdaderas = cuando una es verdadera necesariamente la otra es falsa y viceversa.
Por ejemplo, necesariamente, al afirmar que algunos enteros son negativos, estamos afirmando que el resto son enteros positivos. Esto imposibilita que ambas proposiciones sean falsas.
139
Lgica Matemtica
140
Ejercicio Propuesto 2:
Plantea cinco expresiones asociadas a tu programa de estudio que no sean proposicones y cinco expresiones que si lo sean, recuerda que una proposicin pede ser falsa y contina siendo proosicin: Son proposiciones No son proposiciones
141
Lgica Matemtica
CASO 1:
p = En la maana escribo mi programa de computacin q = En la tarde juego tenis En el que no termino de escribir mi programa de computador pero juego tenis p `^ q = F
CASO 2:
CASO 3:
CASO 4:
142
CASO 1:
CASO 2:
CASO 3:
CASO 4:
Mi conclusin:
143
Lgica Matemtica
Plantea cinco ejemplos de premisas asociados con tu programa de estudio, y su correspondiente negacin. Consideras que es necesario emplear siempre la palabra NO para negar una proposicin? Premisa Negacin de la premisa
Ejercicio Propuesto 5:
144
Ejercicio Propuesto 6:
Elije una proposicin condicional asociada con tu programa de estudio y plantea la misma expresin de diferentes formas sin cambiar su sentido. Proposicines condicionales elegidas
Manera 1
Manera 2
Manera 3
Manera 4
Manera 5
145
Lgica Matemtica
Ejercicio Propuesto 7:
Construye una proposicin bicondicional con dos proposiciones asociadas a tu programa de estudio, luego rescribe la proposicin bicondicional sin cambiar su sentido. Cuntas maneras diferentes de expresar la misma idea en leguaje natural encuentras? Proposicin 1: _______________________________________________________________ Proposicin 2: _______________________________________________________________ Proposicin bicondicional: ___________________________________________________ ________________________________________________________________________ Expresa a continuacin la misma proposicin bicondicional de otra manera: ________________________________________________________________________ ________________________________________________________________________
Mi conclusin:
Ejercicio Propuesto 8:
De acuerdo a la definicin estudiada para el bicondicional; para determinar los valores de verdad de la proposicin bicondicional basta indagar por el valor de verdad de la conjuncin entre las implicaciones p q y q p . Se propone al estudiante hacer la demostracin.
p
V V F F
q
V F V F
pq
q p
( q p) ( p q)
pq
146
Ejercicio Propuesto 9: Determinar los posibles valores de verdad para las proposiciones:
1) p q , 2) p q , 3) p q 4) p p 5) ( p q ) , 6)
( p q ) ( p q ) ,
7) ( p q ) ( r s )
1)
2)
3)
4)
5)
6)
147
Lgica Matemtica
7)
( p q ) ( q r ) ( p r)
( p q ) ( q r ) ( p r)
pq
qr
pr
( p q) ( q r )
148
{ ( p q ) ( r s ) ( p r )} ( q s )
es una tautologa:
p q y la proposicin p q
149
Lgica Matemtica
Demuestra que todas estas leyes del lgebra corresponden a tautologas. Propn expresiones del lenguaje natural para cada ley.
Identifica en el siguiente silogismo las diferentes proposiciones categricas, propn una representacin mediante diagramas de Venn de las diferentes relaciones entre las clases implicadas: Ningn estudiante es perezoso Todos los amantes del conocimiento son estudiantes Luego, ningn amante del conocimiento es perezoso
150
Ejercicios de transferencia
Todo conocimiento, habilidad, destreza o competencia puede permitir la transferencia de situaciones conocidas a desconocidas. Es decir, a continuacin desarrollaremos actividades que agregan valores de recontextualizacin y productividad a los conocimientos aprendidos y a las competencias desarrolladas en la fase de profundizacin. Salazar (2008). Se trata de actividades que plantean la utilidad social del conocimiento mediante su aplicacin en el contexto: I. A continuacin encontrars diez proposiciones compuestas. Para cada proposicin se debe identificar las proposiciones simples, los conectivos lgicos y finalmente expresar la proposicin compuesta en lenguaje simblico:
Ejemplo:
Proposicin compuesta: Lograr aprender si estudio y practico Proposiciones simples: p = estudio q = practico r = aprendo Proposicin compuesta identificando los conectivos lgicos: Si estudio y practico, entonces aprendo Antes de intentar expresar la proposicin compuesta en lenguaje simblico, es necesario identificar el antecedente y el consecuente del condicional, es decir, identificar cul es la causa y cual el efecto. En este caso el efecto es aprender y la causa estudiar y practicar, por lo tanto: La proposicin compuesta en lenguaje simblico es:
( p q) r
Obsrvese la necesidad de usar signos de agrupacin para expresar correctamente el sentido de la proposicin.
151
Lgica Matemtica
Ejemplo:
U = {Colombianos} P = {personas que juegan futbol} Q = {personas que son de Santamarta} Representar mediante diagramas de VENN el conjunto de personas que Juegan futbol y son Colombianas:
U P Q
Figura No. 5
152
Representar mediante diagramas de VENN las siguientes proposiciones: 1. Personas que Juegan ftbol y son Colombianas 2. Personas que Son de Santa Marta 3. Personas que son Colombianas 4. Personas que son Colombianas pero no juegan ftbol 5. Personas que son de Santa Marta pero no juegan ftbol 6. Personas que no son de Santa Marta 7. Personas que son de Santa Marta y juegan ftbol 8. Personas que son Colombianas o juegan ftbol 9. Personas que Juegan ftbol 10. Personas que son Colombianas pero no son de Santa Marta 11. Personas que son de Santa Marta o Juegan futbol Una recomendacin para el estudiante es partir de proponer elementos para cada conjunto, de tal manera que podamos representar los conjuntos propuestos por extensin:
U P
Juan Diego Ana Pedro Camilo
Q
Santiago
Ejemplo:
Personas que Juegan ftbol y son Colombianas:
153
Lgica Matemtica
Querido estudiante, en esta seccin denominada El laboratorio encontrars acceso a dos simuladores de tablas de verdad que te sern de utilidad para verificar tus tablas. Para acceder al aplicativo debes hacer acceder al enlace al generador pero antes, acepta la invitacin para estudiar el video correspondiente. SIMULADOR: http://turner.faculty.swa Enlace al: Generador de tablas de verdad para la Unidad 1: u.edu/mathematics/mate rialslibrary/truth/ Cmo usarlo? Sigue las siguientes instrucciones en video:
http://www.youtube.co Video: Ejemplo de uso del generador de tablas de verdad m/watch?v=Eu5zOyPLCo&feature=player_ embedded 154
Introduccin
En esta unidad tendr lugar la aplicacin de los conceptos estudiados en la primera unidad al reconocimiento y validacin de las diferentes leyes de inferencia as como de las formas de razonamiento inductivo.
Justificacin
Esta unidad del curso de Lgica Matemtica es significativamente importante 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 los procesos de interaccin comunicativa y de resignificacin cognitiva.
155
Lgica Matemtica
Intencionalidades formativas
Propsitos
Aportar elementos significativos que contribuyan a desarrollar en el estudiante la habilidad para argumentar, razonar o formular generalizaciones por induccin o deduccin a travs de la interpretacin de los fundamentos estructurales que caracterizan a tales mtodos de inferencia lgica.
Objetivos
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 contextualizados.
Metas
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.
Competencias
El estudiante interpreta e identifica en forma clara la estructura y fundamento conceptual que tipifica los mtodos de inferencia lgica por induccin y deduccin en formulaciones y demostraciones de razonamientos vlidos en situaciones especficas derivadas del estudio de contextos donde es pertinente su aplicabilidad.
Captulos de la unidad
Captulo 4: Razonamientos lgicos Captulo 5: Inferencias lgicas Captulo 6: Argumentos Inductivos
156
Objetivos especficos
CAPTULO 4
Comprender el papen que juegan los razonamientos deductivos e inductivos en un proceso de investigacin. Diferenciar los razonamientos deductivos e inductivos Reconocer y construir silogismos Determinar la validez de un razonamiento lgico
157
4.1 Razonar
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. 10 A continuacin aprenderemos a identificar los razonamientos deductivo e inductivo:
Galindo Patio N. J. (1999). Lgica Matemtica. Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C. 1999
10
158
Ejemplo:
Diego aplic CHILE disuelto en agua y previno la presencia de gusanos. Juan aplic CHILE disuelto en agua y previno la presencia de hormigas, Carlos aplic CHILE disuelto en agua y previno la presencia de picudo de arroz, Camilo aplic CHILE disuelto en agua y previno la presencia de mariposas de repollo. Luego, es posible concluir que es probable que EL CHILE acte como un buen plaguicida natural.
Ejemplo:
Los abonos proporcionan nutrientes a las plantas. El estircol es un abono orgnico, por lo tanto, el estircol proporciona elementos nutrientes a las plantas. A continuacin estudiaremos el papel que juegan estas formas del razonamiento lgico en la investigacin cientfica:
159
160
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA Hagamos una ilustracin; de la observacin de los cuervos, alguien puede afirmar que existen cuervos negros. Pero ese enunciado no es falsable. En Cambio si alguien dice Todos los cuervos son negros y alguien encuentra un cuervo de otro color, el enunciado result falsable. Por eso hay que escribir la ciencia en enunciados universales, que sean susceptibles de ser refutados. Mientras una teora resista los intentos de ser refutada, se dice que es el paradigma cientfico vigente. Todos los problemas de su campo de conocimiento se resuelven segn establecen las leyes de la teora, pero cuando esta es refutada, aparece un paradigma nuevo, que toma el papel del anterior, y as sucesivamente. Eso sucedi con la Fsica Tolomica, que fue refutada por la Fsica Galileana, que fue mejorada por la Newtoniana, que a su vez, fue rebatida, en sus fundamentos, por la fsica de la relatividad de Einstein. Una explicacin cientfica tiene la forma: un hecho se explica dentro de una ley cientfica que es una ecuacin matemtica. As, el movimiento de un planeta se explica por la ecuacin que describe su movimiento. Ella explica ese movimiento. Pero la explicacin tambin sirve para la prediccin porque la ecuacin que sirve para describir tambin sirve para calcular en que lugar se encontrar ese planeta en un momento T cualquiera. Para Popper su mtodo sirve para superar el dilema entre explicar, en ciencias naturales, y comprender, en ciencias sociales. Porque explicar es comprender. Pero a diferencia de las ciencias naturales, las ciencias sociales no son susceptibles de matematizacin: nadie puede calcular los movimientos sociales ni las acciones de las personas, porque stas son voluntarias, distintas, en consecuencia, a los movimientos fsicos. La comprensin, que como se dijo, refiere a sistemas simblicos, como las culturas y las sociedades, es lo propio de las ciencias sociales. Aqu no hay una explicacin distinta a la comprensin de un sistema simblico y estas comprensiones se hacen en horizontes de comprensin que dependen del cientfico y su poca. Por eso las ciencias sociales no son neutrales, ni existe la objetividad del investigador social, porque el lee los hechos sociales desde su formacin, desde su propia personalidad y desde lo que sabe su poca. Este es el punto distintivo central entre las ciencias naturales y las ciencias sociales. Por eso no hay una sola sociologa, sino distintas escuelas sociolgicas, ni una antropologa, sino escuelas distintas, ni una pedagoga sino mltiples escuelas de pensamiento sobre la enseanza. 11
11
Gadamer, Hans Georg. Verdad y Mtodo. Editorial Sgueme, salamanca, 1972 Monsalve, Alfonso. La Teora de la Argumentacin. Editorial Universidad de Antioquia, 1982 Popper, Karl. La Lgica de la Investigacin Cientfica. Tecnos, Madrid, 1962 La Miseria del Historicismo. Tecnos, Madrid, 1975.
161
Lgica Matemtica Un tema que desarrollamos en la segunda unidad del curso de lgica matemtica, es el de la introduccin al estudio de la manera como los seres humanos elaboramos los diferentes razonamientos lgicos. Esta unidad constituye la puerta de entrada a este nuevo mundo de la evaluacin de los razonamientos lgicos mediante el anlisis de los diferentes tipos de proposiciones que pueden darse, es decir, las proposiciones que ya aprendimos a reconocer en la primera unidad, las que, a su vez, tambin pueden ser clasificadas, ya no como compuestas o simples, pero si mediante clasificaciones importantes que nos ayudan en la construccin de enunciados cientficos y en el seguimiento a la validez de los diferentes razonamientos lgicos. Por ejemplo, a continuacin encontrars dos proposiciones lgicas, ambas proposiciones que aprendimos a reconocer y clasificar: Algunos estudiantes de psicologa matricularon el curso de lgica Todos los estudiantes de psicologa matricularon competencias Estas proposiciones categricas que clasificamos como particular afirmativa y universal afirmativa son las herramientas que permitirn construir los razonamientos lgicos. Tambin constituyen los criterios para determinar si un enunciado es o no un enunciado cientfico En la segunda unidad iniciamos por estudiar los temas de deduccin e induccin. Ambas formas de los razonamientos lgicos. Reforcemos en cmo identificar estos conceptos mediante un ejemplo: En el siguiente ejercicio encontrars que de una o varias afirmaciones se llega a una conclusin. Analiza las diferencias existentes entre las dos formas de razonamiento que a continuacin se presentan: Primera forma de razonamiento: Todos los padres Jvenes son ms tolerantes con sus hijos que los padres mayores; Juan es un padre joven, luego es ms tolerante con su hijo Daniel, que Diego con su hijo Juan Segunda forma de razonamiento: Juan es un padre joven y es tolerante con su hijo Daniel, Camilo es un padre joven y es tolerante con su hija Marisol, Mateo es un padre joven y es tolerante con su hijo Diego, de donde, podemos concluir que Todos los padres Jvenes son tolerantes con sus hijos.
162
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA Logras ver la diferencia entre los dos razonamientos? Observa que en el primer caso se parte de una ley o afirmacin general para posteriormente concluir sobre los casos particulares, en este caso hablamos de un razonamiento deductivo, mientras que en la segunda forma de razonamiento partimos de casos particulares para llegar a concluir una ley general. En este caso decimos que el razonamiento es inductivo. La segunda forma de razonar la identificamos normalmente con el mtodo cientfico, no obstante, en la prctica encontrars que ambas formas de razonar hacen parte del diario quehacer en el desarrollo de un proyecto de investigacin.
163
Lgica Matemtica En otras palabras, si aceptamos que un razonamiento es vlido, si se dan las premisas, se tiene que dar la conclusin. Esto es equivalente a afirmar que si las premisas son verdaderas, la conclusin ha de ser verdadera. As, cuando de un razonamiento lgico se trata, una premisa es cada una de las proposiciones anteriores a la conclusin de un argumento, en este sentido, lo que hace a una premisa es su lugar en el argumento. Consideremos el siguiente argumento: Todos los programas de la UNAD tienen el curso de lgica Psicologa es un programa de la UNAD Por lo tanto, en el programa de psicologa de la Unad se estudia el curso de lgica. Por ser proposiciones, las premisas siempre afirman o niegan algo y por lo tanto, pueden ser verdaderas o falsas; pero al valorar la validez de un razonamiento una premisa se plantea como una afirmacin o idea que se da como cierta y que sirve de base a un razonamiento.
164
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA L Le ec cc cii n nN No o..1 18 8S Siillo og giis sm mo os sc ca atte eg g r riic co os s
165
Lgica Matemtica Identificando a S como sujeto y a P como predicado, estas formas de proposicin categrica corresponden a: Todo S es P Ningn S es P Algunos S son P Algunos S no son P Las proposiciones categricas estudiadas, permiten formar lo que denominamos un "silogismo categrico", el cual est compuesto precisamente de tres proposiciones categricas: Dos premisas y una conclusin Todo silogismo est formado entonces por tres partes: una premisa mayor, una premisa menor y unaconclusin; a su vez, estas proposiciones involucran tres conceptos distintos, debiendo tener un trmino medio comn a los otrosdos conceptos: Premisa mayor, en ella se encuentra el trmino mayor, que es el predicado de la conclusin, y se representa por la letra P. Premisa menor, en ella se encuentra el trmino menor, que es el sujeto de la conclusin, y se representa con la letra S. Entre ambas premisas se realiza la comparacin entre los trminos S y P con respecto al trmino Medio, que se representa como M. La conclusin:En ella se establece la relacin entre el trmino Sujeto S, y el trmino Predicado P. De all que se afirme que la lgica trata de establecer las leyes que garantizan que, de la verdad de dos premisas comparadas, se pueda obtener con garanta de verdad una conclusin verdadera. Modos posibles: Teniendo en cuanta que cada trmino del silogismo puede tomar una de cuatro estructuras(Todo S es P, Ningn S es P, Algunos S son P y Algunos S no son P), la cual tomar parte en la construccin de las premisas y de la conclusin de un silogismo; resultan
166
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA los modos son las distintas combinaciones que se pueden hacer con los juicios que entran a formar parte de las premisas y la conclusin. Dando lugar a variaciones de 4 en grupos de 3, en las que importa el orden, es decir de 4^3 para un total de 64 modos posibles. Esta cantidad de modos se ve reducida al plantear las leyes para su correcta definicin como: el trmino medio no puede estar en la conclusin, de dos premisas afirmativas no puede sacarse una conclusin negativa, de dos premisas negativas no puede obtenerse conclusin alguna, de dos premisas particulares no se saca conclusin, entre otras leyes que reducen el grupo de 64 modos a 19 modos correctos del silogismo. Estos modos normalmente se memorizaban con estrategias nemotcnicas como canciones. A diferencia de los razonamientos deductivos, el razonamiento inductivo es un mtodo cientfico que obtiene conclusiones generales a partir de premisas particulares. En esta forma de razonamiento se generaliza para todos los elementos de un conjunto la propiedad observada en un nmero de casos. No obstante, sin importar la cantidad de casos observados, siempre puede darse una excepcin, esto hace que la verdad de las premisas no conviertan en verdadera la conclusin. De all que de la conclusin de un razonamiento inductivo, slo podamos decir que es probable. Una forma de razonamiento inductivo es el razonamiento inductivo por analoga En el razonamiento por analoga, de la observacin de varias caractersticas comunes en dos hechos, se llega a la afirmacin de otra caracterstica comn en uno de los hechos, una vez que se ha confirmado la presencia de esta caracterstica en uno de ellos.
Por ejemplo:
Al descubrir un nuevo planeta X con las caractersticas comunes con la tierra de tener agua en forma lquida, tener atmsfera rica en oxgeno y un ncleo activo. Es probable que la caracterstica de la tierra "tener vida" se cumpla tambin en este.
167
Lgica Matemtica Digamos entonces que un silogismo es un argumento deductivo en el que se infiere una conclusin a partir de dos premisas. Un silogismo categrico es un argumento deductivo consistente en tres proposiciones categricas que contienen exactamente tres trminos, cada uno de los cuales slo aparece en dos de las proposiciones que lo constituyen. Dos de las proposiciones reciben el nombre de premisas y la otra se llama conclusin. Forma estndar de un silogismo categrico Se dice que un silogismo categrico est en forma estndar cuando satisface las siguientes condiciones: 1. Las premisas y conclusin son proposiciones categricas que conservan el siguiente orden: 1. la premisa mayor se enuncia primero, luego 2. la premisa menor y 3. al final la conclusin. 2. La conclusin de un silogismo de forma estndar es una proposicin de forma estndar que contiene dos de los tres trminos del silogismo. 3. La premisa mayor es aquella que contiene el trmino mayor y este es el que aparece como predicado de la conclusin. 4. La premisa menor es aquella que contiene el trmino menor, que es el correspondiente al sujeto de la conclusin. 5. Los trminos mayor y menor aparecen, cada uno, en una premisa diferente.
Ejemplo 1:
Dadas las premisas: Ningn hroe es cobarde Algunos soldados son cobardes Y la conclusin: por lo tanto, algunos soldados no son hroes Se puede observar claramente que el argumento deductivo es un silogismo categrico porque consiste en tres proposiciones categricas (dos premisas y una conclusin) que contienen exactamente tres trminos (hroe, cobarde y soldado).
168
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA Para saber si el silogismo categrico est en forma estndar, es necesario identificar el trmino mayor, el trmino menor, premisa mayor, premisa menor y analizar la conclusin. En este caso el predicado de la conclusin es hroe, que constituye el trmino mayor, y por consiguiente la premisa mayor es: ningn hroe es cobarde; el sujeto de la conclusin es soldado que es el trmino menor, por lo tanto la premisa menor es: algunos soldados son cobardes, adems, la conclusin tiene dos de los tres trminos del silogismo: soldados y hroes, los trminos mayor y menor aparecen, cada uno, en una premisa diferente, por consiguiente se puede establecer que este es un ejemplo de silogismo categrico en forma estndar, tambin aparece el trmino cobardes el cual se denomina trmino medio.
Ejemplo 2
Teniendo en cuenta el siguiente argumento deductivo, identificar la conclusin, establezca la naturaleza del silogismo y verifique s est en forma estndar. Ningn barco de guerra es un navo comercial, as, ningn submarino nuclear es un navo comercial, puesto que todos los submarinos nucleares son barcos de guerra. Como el argumento deductivo est formado por tres proposiciones categricas que contienen exactamente los tres trminos: submarino nuclear, navo comercial y barcos de guerra, se puede afirmar que se trata de un silogismo categrico. La conclusin se identifica como la proposicin: Ningn submarino nuclear es un navo comercial. Y las premisas como las proposiciones: Ningn barco de guerra es un navo comercial y Todos los submarinos nucleares son barcos de guerra. El predicado de la conclusin es el trmino navo comercial, el cual se constituye en el trmino mayor y por consiguiente la premisa mayor es, ningn barco de guerra es un navo comercial.
169
Lgica Matemtica El sujeto de la conclusin es submarino nuclear, el cual se constituye en el trmino menor y por consiguiente la premisa menor es, todos los submarinos nucleares son barcos de guerra. El anlisis anterior permite afirmar que es un silogismo categrico en forma estndar el cual se puede escribir as: Premisa mayor: Premisa menor: Conclusin: Ningn barco de guerra es un navo comercial Todos los submarinos nucleares son barcos de guerra Ningn submarino nuclear es un navo comercial
Ejemplo 3
Teniendo en cuenta el siguiente argumento deductivo, identificar la conclusin, establecer la naturaleza del silogismo y verificar si est en forma estndar. Todos los satlites artificiales son descubrimientos cientficos importantes; por lo tanto, algunos descubrimientos cientficos importantes no son inventos norteamericanos puesto que algunos satlites artificiales no son norteamericanos. El argumento deductivo est formado por tres proposiciones categricas que contienen los trminos: satlites artificiales, descubrimientos cientficos, inventos norteamericanos, por lo tanto se puede afirmar que se trata de un silogismo categrico. Las premisas son: Todos los satlites artificiales son descubrimientos cientficos importantes, algunos satlites artificiales no son norteamericanos. La conclusin conclusin es: Algunos descubrimientos cientficos importantes no son inventos norteamericanos. El predicado de la conclusin es el trmino invento norteamericano, el cual se constituye en el trmino mayor y por consiguiente, la premisa mayor es, algunos satlites artificiales no son norteamericanos. El sujeto de la conclusin es descubrimientos cientficos, el cual se constituye en el trmino menor y por consiguiente la premisa menor es, todos los satlites artificiales son descubrimientos cientficos.
170
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA Teniendo en cuenta el anlisis anterior, se puede afirmar que es un silogismo categrico en forma estndar, el cual se puede escribir as. Premisa mayor: Premisa menor: Conclusin: algunos satlites artificiales no son norteamericanos todos los satlites artificiales son descubrimientos cientficos algunos descubrimientos cientficos importantes no son inventos norteamericanos.
Forma Estndar de un silogismo categrico Sigue el siguiente protocolo y logrars el objetivo....no olvides divertirte: 1. 2. 3. 4. 5. Identifica los tres trminos Separa las premisas de la conclusin Analiza la conclusin obteniendo de esta el Sujeto y el Predicado Identifica la premisa Mayor, y la premisa menor Identifica el trmino medio.
Las premisas Primera premisa: Solo esta premisa contiene el trmino mayor Segunda premisa: Solo esta premisa contiene el trmino menor Existe un trmino medio que aparece en las dos premisas La conclusin: Contiene 2 de los 3 trminos de la siguiente manera: Para identificar cual es la premisa mayor busca el predicado de la conclusin y observa en cul de las dos premisas aparece este. Trmino Mayor Predicado de la conclusin Trmino menor Sujeto de la conclusin
171
Argumento Vlido Un argumento que sigue una regla bien establecida se dice que es vlido; los argumentos se juzgan como aceptables o inaceptables en la medida en que sean vlidos. Validez o invalidez de un argumento Para probar la validez o invalidez de un argumento, se utiliza un mtodo basado en el hecho de que stas son caractersticas puramente formales de los argumentos, es decir, que dos argumentos que tienen exactamente la misma forma; son vlidos o invlidos, independientemente de las diferencias del tema que traten. Especficamente, para probar la invalidez de un argumento, basta con formular otro argumento que tenga exactamente la misma forma y tenga premisas verdaderas y conclusin falsa En teora, las tablas de verdad son apropiadas para probar la validez de un argumento de tipo general, pero en la prctica son cada vez ms difciles de manejar a medida que aumenta el nmero de enunciados o proposiciones que conforman dicho argumento. Un mtodo ms eficiente para probar la validez de un argumento extenso consiste en deducir su conclusin a partir de sus premisas, mediante una serie de argumentos elementales, cada uno de los cuales se conoce y acepta como vlido, este proceso es el que se denomina mtodo deductivo.
172
Ejemplo 1
Probar la invalidez del siguiente argumento por el mtodo de asignar valores de verdad: 1. 2. 3.
qr pr q p
El smbolo (de donde) representa la conclusin de las premisas dadas; es decir que la conclusin, en este caso, es la proposicin q
173
Lgica Matemtica
I. Construyendo la tabla de verdad completa: Con este mtodo lo que se hace es construir la tabla de verdad, en donde se identifiquen las premisas y la conclusin del razonamiento:
p q r
V V V V F F F F V V F F V V F F V F V F V F V F
qr
V F V V V F V V
pr
V F V F V V V V
q p
V V V V F F V V
Claramente se observa que efectivamente hay una caso para el cual las premisas son verdaderas y la conclusin es falsa: p q r
V V V V F F F F V V F F V V F F V F V F V F V F
Premisa 1
V F V V V F V V
Premisa 1
V F V F V V V V
Conclusin
V V V V F F V V
Lo anterior permite afirmar que si a las proposiciones q y r se les asigna un valor verdadero y a la proposicin p un valor falso, entonces el argumento tendr premisas verdaderas y una conclusin falsa, con lo cual queda probado que el argumento es invlido.
174
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA II. Sin construir la tabla de verdad completa: Para probar que este argumento es invlido sin tener que construir una tabla de verdad completa, es necesario tener claro que un condicional es falso solamente si su antecedente es verdadero y su consecuente falso, utilizando este hecho se procede asignar valores de verdad a las proposiciones de la conclusin, es decir, si q es verdadero y p es falso, entonces, la conclusin es falsa. Si a la proposicin r se le asigna el valor verdadero, ambas premisas se convierten en verdaderas, porque un condicional es verdadero siempre que su consecuente sea verdadero. Lo anterior permite afirmar que si a las proposiciones q y r se les asigna un valor verdadero y a la proposicin p un valor falso, entonces el argumento tendr premisas verdaderas y una conclusin falsa, con lo cual queda probado que el argumento es invlido. Con este mtodo lo que realmente se hace es construir un rengln de la tabla de verdad del argumento indicado, la relacin se puede observar ms claramente cuando los valores de verdad se escriben horizontalmente, de la siguiente forma:
PREMISAS VERDADERAS q r p
f r
verdadero
pr
verdadero
CONCLUSIN FALSA
f p
falso
175
Lgica Matemtica
Argumento Invlido
Un argumento se prueba invlido mostrando que por lo menos en un rengln de su tabla de verdad todas las premisas son verdaderas pero su conclusin es falsa.
Ejemplo 2.
Si Sandra es inteligente y estudia mucho, sacar buenas calificaciones y aprobar el curso. Si Sandra estudia mucho pero no es inteligente, sus esfuerzos sern apreciados y si sus esfuerzos son apreciados, aprobar el curso. Si Sandra es inteligente, entonces estudia mucho. Luego, Sandra aprobar el curso. Tomando el siguiente lenguaje simblico: p: Sandra es inteligente q: Sandra estudia mucho r: Sandra sacar buenas calificaciones s: Sandra aprobar el curso t: Los esfuerzos de Sandra sern apreciados Se pueden establecer las siguientes premisas: 1. 2. 3. 4.
( p q) (r s) ( q p ) t (t s )
pq s
Este argumento es invlido porque con cualquiera de las siguientes asignaciones de valores de verdad la conclusin P es falsa. p q r t s ________________________ F F V F F p q r t s _______________________ F F F F F
176
Ejemplo 3
Si la inflacin continua, entonces las tasas de inters permanecern altas. Si la inflacin contina, entonces si las tasas de inters permanecen altas, descender la actividad comercial. Si las tasas de inters permanecen altas, entonces si la actividad comercial decrece, el desempleo aumenta. As, si el desempleo aumenta, continuar la inflacin. Tomando el siguiente lenguaje simblico: p: la inflacin contina q: las tasas de inters permanecen altas r: descender la actividad comercial s: el desempleo aumenta Se pueden establecer las siguientes premisas: 1. p q 2. p ( q r ) 3. q ( r s ) / s p
Este argumento es invlido porque la siguiente asignacin de valores de verdad hace las premisas verdaderas pero la conclusin falsa: p q r s F F F V
pq
V
p (q r )
V
q (r s)
V
s p
F
Inconsistencia En algunos casos no se puede dar ninguna asignacin de valores de verdad a los enunciados de un argumento que hagan verdaderas sus premisas y falsa su conclusin, entonces, en este caso el argumento debe ser vlido.
177
Lgica Matemtica
Objetivos especficos
Comprender, identificar y construir leyes de inferencia. Aplicar las leyes de inferencia a en la demostracin
CAPTULO 5
Reconocer y aplicar la demostracin directa e indirecta Reconocer y aplicar las refutaciones por contradiccin y contraejemplo.
178
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA L Le ec cc cii n nN No o..2 21 1 IIn nffe er re en nc ciia as sL L g giic ca as s
179
Reglas de inferencia: A medida que vallas estudiando las reglas de inferencias encontrars que stas son usadas continuamente en el lenguaje natural. Las usamos para obtener conclusiones que consideramos normalmente vlidas. Lo que haremos ahora, es detenernos a analizar porqu consideramos a estas inferencias vlidas, aprenderemos que al construir la tabla de verdad de la inferencia lgica se puede determinar la validez de la misma, a la vez que aprendes a identificar las diferentes inferencias lgicas en los razonamientos que hacemos continuamente. Poder identificar una inferencia lgica y poder clasificarla como vlida o no mediante la construccin de la tabla de verdad te dar las bases para elaborar argumentos slidos, presentes en todas las actividades acadmicas ya sea en la elaboracin de ensayos o debates, como en las actividades cotidianas. Veamos la primera regla, denominada Modus Ponendo Ponens MPP, tambin llamada simplemente MP Modus Ponens, nombre que puedes leer como Modo Afirmando_ Afirmando, veamos:
180
Ejemplo 1
Modus Ponens (M. P) 1-Si llueve hace fro 2-llueve 3-luego Hace fro Las proposiciones as declaradas, nos permiten expresar en lenguaje natural lo expresado en lenguaje simblico as:
pq
p q
El smbolo (de donde) representa la conclusin de las premisas dadas; es decir que la conclusin, en este caso, es la proposicin q
181
Lgica Matemtica Ahora ya estamos listos para interpretar la regla de inferencia tal y como nos fue presentada en un comienzo, esto es:
( p q ) p q
Cmo leer la regla de inferencia?
pq q q
Es decir que
( p q ) p q
puede ser ledo como: Si p entonces q y se ocurre p, luego ocurre q La magia del asunto radica en que mediante la aplicacin de lo que ya has aprendido en el captulo de conectivos lgicos podemos determinar la validez de la inferencia lgica Modus Ponen mediante la construccin de la tabla de verdad, de la cual esperamos obtener una tautologa.
Ve analizando:
Cmo puede decirnos la lgica que estamos argumentando bien? Cmo puede la lgica mediante una tabla de verdad demostrarnos que estamos usando una inferencia lgica correcta o incorrecta? Tabla de verdad para la inferencia lgica MPP: p F F V V q F V F V
pq
V V F V
( p q) p
F F F V
( p q ) p q
V V V V
182
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA Observa que efectivamente hemos obtenido una tautologa, es decir, la inferencia lgica que estamos utilizando es correcta. A continuacin se presentan nueve reglas de inferencia. En el lado izquierdo se enuncia la regla de inferencia y en el lado derecho se propone una aplicacin de la ley de inferencia en el lenguaje natural:
Ejemplo 2
Premisa 1: Premisa 2: Conclusin: Si Julin estudia Ingeniera de sistemas a distancia, entonces l estudia en la UNAD. Julin estudia Ingeniera de sistemas a distancia. Julin estudia en la UNAD.
Simblicamente, el ejemplo 1 se expresa as: Si p: Julin estudia Ingeniera de Sistemas a Distancia q: l estudia en la UNAD.
Procedemos ahora a utilizar el lenguaje simblico definido, as: Premisa 1: p q Premisa 2: p Conclusin: q
Ejemplo 2.
Premisa 1: Si x + y = z, entonces, y + x = z. Premisa 2: x + y = z Conclusin: y + x = z Simblicamente, si p: x + y = z q: y + x = z Entonces: Premisa 1: Premisa 2:
pq
p
Conclusin: q
183
Lgica Matemtica
Ejemplo 3.
Ejemplo 4.
Premisa 1: r ( t s ) Premisa 2 : ~ r Conclusin: ( t s )
Ve practicano:
Se propone al estudiante verificar que en todos los ejemplos se obtiene una tautologa
184
5.1.2
Esta regla de inferencia dice que si una implicacin es verdadera y su consecuente es falso, entonces su antecedente ser necesariamente falso; simblicamente se expresa as:
( p q ) q p
Ejemplo 1:
Modus Tollens (M. T)
Si llueve hace fro no hace fro luego no llovi
Ejemplo 2
Premisa 1: Si un ngulo de un tringulo es mayor de 90, entonces la suma de los otros dos ngulos es menor de 90. Premisa 2: La suma de los otros dos ngulos no es menor de 90. Conclusin: Un ngulo de un tringulo no es mayor de 90. Simblicamente: p: Un ngulo de un tringulo es mayor de 90. q: La suma de los otros dos ngulos es menor de 90. Premisa 1: p q Premisa 2: ~ q Conclusin: ~ p
185
Lgica Matemtica
Ejemplo 3
Verificar la conclusin del siguiente conjunto de premisas. Premisa 1: q r Premisa 2: ~ (~ r) Conclusin: ~ q.
Ejemplo 4
Verificar la conclusin del siguiente conjunto de premisas. Premisa 1:
p (q r )
Premisa 2: ( q r ) Conclusin: p
Ejemplo 5
Demostrar que la conclusin es consecuencia de las premisas dadas. Premisa 1: ~ b Premisa 2: a b Premisa 3: a c
Demostrar c.
Premisa 4: Premisa 5.
( a b ) b se
puede
( a c ) a
se puede concluir la
186
5.1.3
( p q ) ( q r ) ( p r)
Ejemplo 1
Silogismo Hipottico (S: H) Si llueve hace fro Si hace fro llevo un abrigo luego si llueve llevo un abrigo
Ejemplo 2.
Premisa 1. Si el agua se hiela, entonces sus molculas forman cristales. Premisa 2. Si las molculas forman cristales, entonces el agua aumenta de volumen. Conclusin. Si el agua se hiela, entonces el agua aumenta de volumen. Simblicamente: Sean las proposiciones p: El agua se hiela q: Sus molculas forman cristales r: El agua aumenta de volumen
187
Lgica Matemtica
Ejemplo 3
Premisa 1. Premisa 2. Conclusin.
q p p r qr
Ejemplo 4
Premisa 1. Premisa 2. Conclusin.
(s t ) (r q) ( r q ) p ( s t ) p
Ejemplo 5
A partir de las premisas dadas indicar la demostracin de la conclusin: Premisa 1: ~ r Premisa 2: p q Premisa 3: q r Demostrar p ________________________________________________________ Premisa 4: De las premisas 2 y 3 se concluye p r por SH Premisa 5: De las premisas 1 y 5 se concluye p por MTT.
188
( p q ) p q
( p q ) q p
Silogismo disyuntivo (S. D) Cae Cara o Sello No cay sello luego cay cara.
Ejemplo 1
Premisa 1: O la energa interna de un tomo puede cambiar con continuidad o cambia slo a saltos. Premisa 2: La energa interna de un tomo no puede cambiar con continuidad Conclusin: La energa interna de un tomo cambia slo a saltos. Simblicamente: p: La energa de un tomo puede cambiar con continuidad q: La energa de un tomo slo cambia a saltos Premisa 1: p v q Premisa 2: ~ p Conclusin: p
189
Lgica Matemtica
Ejemplo 2
Premisa 1: ~ q v r Premisa 2: ~ r Conclusin: ~ q
Ejemplo 3
Premisa 1: Premisa 2: Conclusin: r
(s t) r (s t )
Ejemplo 4.
Demostrar que la conclusin es consecuencia de las premisas dadas Premisa 1: ~ q v s Premisa 2: ~ s Premisa 3.
( r s ) q
Demostrar:
r s
___________________________________________________________ Premisa 4: De las premisas 1 y 2 se puede concluir ~ q por MTP Premisa 5: De las premisas 3 y 4 se puede concluir que es equivalente a
( r s ) por
MTT,
190
5.1.5
( p q) (r s)
pr q s
Ejemplo:
Dilema constructivo (D.C) Si estudio aprendo y si duermo descanso. Estudi o dorm. Luego Aprend o descans.
5.1.6
Absorcin (Abs)
pq
p (q p)
Ejemplo:
Absorcin (Abs.) Si estudio aprendo Estudio, luego aprendo y estudio
5.1.7
Simplificacin (Simp.)
pq
p
Ejemplo:
191
Lgica Matemtica
Ejemplo:
Conjuncin (Conj.) Estudio Trabajo Luego, etudio y trabajo
Ejemplo:
Adicin (Ad.) Estudio Luego, etudio trabajo
192
Ejemplo 1
En el siguiente ejercicio se propone un ejemplo de construccin de una prueba de validez: Si gana Gloria o Hctor, entonces pierden tanto Jorge como Kelly. Gloria gana. Por lo tanto, pierde Jorge. Para analizar y construir la prueba de validez, es necesario utilizar un lenguaje simblico que permita simplificar los enunciados, as: Identificacin de las premisas: G H J K = Gloria gana = Hctor gana = Jorge pierde = Kelly pierde
(G H ) ( J K )
G
(Se lee: de donde J, J es la premisa que esperamos demostrar). __________________________________________________________________ 3. G H 2, Ad. (por Adicin en 2) Necesitamos llegar a J desde la G, observamos que para llegar a la J se requiere G v H, como slo tengo la G, adiciono H. Por lo tanto aplico la ley de Adicin en la premisa 2, lo que se escribe 2, Ad. (Ad indica que apliqu la ley de adicin) J 4. J K 1,3 M. P
J K es la consecuencia de G H aplicando la ley de inferencia MP (Modus Ponendo Ponens) con las premisas 1 y 3.
5. J
4, Simp. Tenemos J K , pero solo nos interesa la J, por lo tanto simplificamos. Aplicando la ley de inferencia de simplificacin en la premisa 4.
193
Lgica Matemtica
Ejemplo 2
Si sigue lloviendo, entonces el ro crecer. Si sigue lloviendo. Si sigue lloviendo y el ro crece, entonces el puente ser arrastrado por las aguas. Si la continuacin de la lluvia hace que el puente sea arrastrado por las aguas, entonces no ser suficiente un solo camino para toda la ciudad. O bien un solo camino es suficiente para toda la ciudad o bien los ingenieros han cometido un error. Por tanto, los ingenieros han cometido un error. Utilizando el siguiente lenguaje simblico: C: R: P: S: E: contina lloviendo el ro crece el puente es arrastrado por las aguas un solo camino es suficiente para toda la ciudad los ingenieros han cometido un error
CR (C R ) P
(C P ) S
SE /E __________________________________
C (C R ) CP S E
1, Abs. 5,2, S. H. 3,6, M. P. 4,7, D. C.
194
Ejemplo 3
Si un hombre se orienta siempre por su sentido del deber, tiene que renunciar al goce de muchos placeres, y si se gua siempre por su deseo de placer, a menudo olvidar su deber. O bien un hombre se gua siempre por su sentido del deber, o bien siempre se orienta por su deseo de placer. Si un hombre se gua siempre por su sentido del deber, no descuidar a menudo su deber, y si siempre se gua por su deseo de placer, no renunciar al goce de muchos placeres. Luego, un hombre debe renunciar al goce de muchos placeres si y slo si no descuida a menudo su deber. Tomando el siguiente lenguaje formal: p: se orienta por su sentido del deber q: renuncia al goce de placeres r: se gua por su deseo de placer s: olvidar su deber Las premisas quedan as: 1. p q 2. r s 3. p r 4. p s 5. r q q s __________________________________ 6. 7. 8. 9. 10. 11. 12. 13. 14.
q r r p q p q s s r r p s p s q q s
195
Lgica Matemtica
Ejemplo 4
Si no ocurre, que si un objeto flota en el agua entonces es menos denso que el agua, entonces se puede caminar sobre el agua. Pero no se puede caminar sobre el agua. Si un objeto es menos denso que el agua, entonces puede desplazar una cantidad de agua igual a su propio peso. Si puede desplazar una cantidad de agua igual a su propio peso, entonces el objeto flotar en el agua. Por tanto, un objeto flotar en el agua si y slo si es menos denso que el agua. Utilizando el siguiente lenguaje formal: p: un objeto flota en el agua q: es menos denso que el agua r: se puede caminar sobre el agua s: puede desplazar una cantidad de agua igual a su propio peso. Las premisas en forma simblica son: 1. 2. 3. 4.
( p q) r r qs s p pq
pq q p
196
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA L Le ec cc cii n nN No o..2 24 4D De em mo os sttr ra ac cii n nd diir re ec ctta ae e iin nd diir re ec ctta a
5.2 La demostracin
La demostracin es un razonamiento que prueba la validez de un nuevo conocimiento; es el enlace entre los conocimientos recin adquiridos y los conocimientos anteriores. Los procedimientos de demostracin permiten establecer la conexin lgica entre las proposiciones fundamentales de la teora, sus consecuencias sucesivas, hasta deducir la conclusin o tesis que as se demuestra. Los principales tipos de demostracin son:
Ejemplo 1.
Dadas las premisas: Concluir : 1. 2. t.
p q rq p r
_______________________________________________________________ Demostracin: Puesto que r q es equivalente a q r , por MTT se tiene la premisa: 3. q r , ahora, de las premisas 1 y 3 se puede concluir t, es decir, como p q y q r , entonces, p r . Por SH
197
Lgica Matemtica
Ejemplo 2
Demostrar que si x es impar, entonces que x2 es impar. El enunciado genera las siguientes premisas: 1. x es impar 2. x = 2n+ 1, donde n es un entero Hay que demostrar que x2 = (2n + 1)2 es impar. Demostracin: Si x es impar, entonces x = 2n + 1, entonces x2 = (2n + 1)2 = 4n2 + 4n + 1, esta expresin se puede escribir de la forma 2(2n2 + 2n) + 1, tomando el trmino 2n2 + 2n como el entero m, se tiene que: x2 = (2n + 1)2 = 2m + 1, es decir , x2 es un nmero impar.
Ejemplo 1.
Construir la demostracin indirecta de: Si x2 es par, entonces x es par, (con x entero) Suponga que existe al menos un entero x tal que x2 es par y x es impar. Por el ejemplo 2 analizado en la demostracin directa, se sabe que si x es impar, entonces x2 es impar, luego es imposible que x sea impar y que x2 sea par. Esta es la contradiccin buscada.
198
Ejemplo 2.
Este tipo de demostraciones se utilizan cuando los enunciados tienen una proposicin abierta en una variable n, y es necesario demostrar que tal proposicin se verifica para todos los elementos n que pertenecen a un subconjunto infinito dado sobre los nmeros enteros, el axioma de la induccin matemtica es el siguiente: Dado un conjunto de nmeros enteros A = {n / n a} y una proposicin de la forma P(n), se puede demostrar la verdad de esta proposicin estableciendo los siguientes pasos: I. II. III. P(a) es verdadera cuando se sustituye n por a en P(n) Se supone que la proposicin P(n) es verdad para todo k del conjunto A, es decir, P(k) es verdadera, a esta proposicin, se le llama Hiptesis de Induccin. Se demuestra que para el siguiente trmino al k-simo, osea k+1, P(k+1) es verdadera.
199
Lgica Matemtica
Ejemplo 3.
Demostrar que para todo entero 1, se verifica que: P(n): 1+2++n = n (n+1) / 2 I. II. III. P(1) es verdadera porque : 1 = 1(1 + 1) / 2 Hiptesis de Induccin: P(k): 1 + 2 ++ k = k (k + 1) / 2 para todo k 1 Demostrar para el trmino k + 1, es decir, probar que se verifica: 1 + 2 + + k + k + 1 = (k + 1) (k + 2) / 2. Por hiptesis de induccin: 1+2++k = k (k + 1) / 2 para todo k 1, sumando k + 1 a cada miembro de esta igualdad se obtiene: 1+2++k + k + 1 = k (k + 1) + k + 1 2 = k2 +k+2k+2 2 sumando trminos semejantes: = k2 +3k +2 2 = (k + 1) (k + 2) / 2 lo que se quera demostrar. resolviendo la suma
Factorizando:
200
Se supone que ambos miembros deben representar el mismo entero, pero el miembro de la izquierda no es divisible por 2, mientras que el de la derecha si es divisible por 2. Esto es una contradiccin evidente y, por lo tanto, la proposicin dada es falsa.
Ve practicano:
Se deja como ejercicio de consulta investigar otros ejemplos de los tipos de demostracin y de los mtodos de refutacin.
201
Lgica Matemtica
Objetivos especficos
Identificar los argumentos analgicos y clasificarlos como probables o no probables
CAPTULO 6
202
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA L Le ec cc cii n nN No o..2 26 6A Ar rg gu um me en ntto os s iin nd du uc cttiiv vo os s Introduccin Existen varias clases de argumentos, unos permiten demostrar las conclusiones a partir de la validez de sus premisas (mtodo deductivo), mientras que otros slo buscan establecer si las premisas son probables o probablemente verdaderas, sin pretender demostrar la verdad de sus conclusiones como consecuencia necesaria de las premisas, este tipo de argumentos recibe el nombre de Argumentos Inductivos.
----observacin ----observacin y experiencia las bases de la induccin----induccin----El mtodo inductivo es un tipo de razonamiento que se deriva de la observacin y de la experiencia, lo cual lo hace totalmente diferente al mtodo deductivo (estudiado en el captulo anterior) y se basa fundamentalmente en dos aspectos: 1. En la semejanza que hay entre los objetos. 2. En suponer que un suceso puede volver a ocurrir condiciones similares ha sucedido. teniendo en cuenta que en
El primer aspecto hace referencia a la observacin y el segundo en la experiencia. ----- La observacin y la experiencia nos inducen a una conclusin ------------La aplicacin o el anlisis de estos dos aspectos permiten inferir o pronosticar los efectos que producir la ocurrencia del suceso, tomando como referencia lo ocurrido con eventos anteriores de caractersticas similares.
203
Lgica Matemtica
L Le ec cc cii n nN No o..2 27 7E Ell p pr ro ob blle em ma ad de e lla a iin nd du uc cc cii n n El problema de la induccin: Una induccin tpica, analizada sobre el modelo de la deduccin, tiene como premisas formulaciones particulares, por ejemplo: el evento a del tipo X, es seguido del evento b, del tipo Y, el evento c del tipo X es seguido del evento d del tipo Y, y as sucesivamente; tiene por conclusin una formulacin general, Sin restricciones: eventos del tipo X son seguidos por eventos del tipo Y. En este caso surge un problema lgico porque segn el mtodo deductivo, los argumentos de esa forma no son vlidos, de manera que no se puede inferir esa conclusin, ni saber si es verdadera basada en la verdad de las premisas. El problema lgico de cmo justificar ese tipo de razonamientos se llama tradicionalmente el problema de la induccin las razones de este problema son: 1. Como la conclusin es general, tendr una aplicacin ms amplia de la que cualquier conjunto de premisas pueda garantizar. (---La conclusin es ms general que las premisas)---2. La verdad de la conclusin no puede nunca ser garantizada por la verdad de las premisas porque siempre puede presentarse un nuevo caso que convierta en falsa la conclusin.---(En algn momento se puede llegar a dar un caso que convierta en falsa la conclusin)---. Lo anterior permite afirmar que la induccin es deficiente con respecto al modelo deductivo, visto como procedimiento de descubrimiento y como procedimiento de confirmacin. De los argumentos inductivos el que se usa con mayor frecuencia es el analgico.
204
6.1
La analoga es la base de la mayora de los razonamientos que van de la experiencia pasada a lo que suceder en el futuro. La mayora de las inferencias cotidianas proceden por analoga. Ningn argumento por analoga pretende ser matemticamente cierto. Los argumentos analgicos no se clasifican como vlidos o invlidos, lo nico que se puede afirmar de ellos es que son probables o no probables. La analoga tambin se usa en la explicacin, donde algo no familiar se hace inteligible por medio de una comparacin con alguna otra cosa, presumiblemente ms familiar, con la cual tiene ciertas similitudes. El uso de analogas en la descripcin y la explicacin no es igual que su uso en la argumentacin, aunque en algunos casos puede no resultar fcil decidir cul uso se pretende hacer. Hacer una analoga entre dos o ms entidades es indicar uno o ms aspectos en los que son similares, mientras que caracterizar un argumento por analoga es en trminos generales, describir el argumento dado diciendo que contiene premisas que afirman, primero, que dos cosas son similares en dos aspectos y, segundo, que una de esas cosas tiene una caracterstica adicional, de lo cual se extrae la conclusin de que la segunda cosa tiene tambin esa otra caracterstica.
Ejemplo 1.
Identifique en el siguiente prrafo el argumento analgico Los escritores JHON DOLLARD y NEAL E. MILLER, en su libro Personalidad y psicoterapia afirman: Hemos dicho que las personas normales tienen poca motivacin para dedicar un esfuerzo especial al estudio de s mismas. Lo mismo es cierto de la aritmtica. Si la presin de los padres y de la escuela no proporcionara una motivacin, habra un aprendizaje escaso de las matemticas. Por analoga, parece posible que pueda motivarse y
205
Lgica Matemtica prepararse a los nios para usar sus habilidades mentales con el fin de resolver problemas emocionales. En la actualidad, no reciben casi ninguna preparacin para el desarrollo de esta importante capacidad . En este prrafo, el argumento analgico es: Si la presin de los padres y de la escuela no proporcionara una motivacin, habra un aprendizaje escaso de las matemticas. La analoga se basa en la semejanza. OBSERVACIN-
Ejemplo 2
Si alguien dice que le han extrado una muela sin anestesia y otro le expresa su consideracin, entonces surge la pregunta: Cmo sabe que le doli? Una respuesta podra ser: Yo he ido al odontlogo y s cuanto duele una simple curacin sin anestesia, cmo ser una extraccin?, l tiene el mismo tipo de sistema nervioso que yo, por lo tanto puedo inferir que en esas condiciones, sinti un terrible dolor En este caso el argumento analgico se fundamenta en la EXPERIENCIA, tendiendo en cuenta que en condiciones similares ya sucedi.
206
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA L Le ec cc cii n nN No o..2 29 9L La a ffu ue er rz za ad de e llo os sa ar rg gu um me en ntto os s
6.1.1.1 Nmero de entidades entre las que se establece la analoga (Analoga por EXPERIENCIA) Significa que es importante tener en cuenta el nmero de veces que ha ocurrido el suceso, esto da ms consistencia a la conclusin y una mayor probabilidad de que se repita el suceso.
Ejemplo:
Si un electrodomstico que se compro en un determinado almacn sali defectuoso, una conclusin apresurada sera afirmar que los electrodomsticos que se compran en ese almacn salen defectuosos; pero si esa misma conclusin se hace sobre la base de que 10 electrodomsticos comprados all han resultado defectuosos, la conclusin cobra mayor validez y la probabilidad de que siga ocurriendo lo mismo crece.
6.1.1.2
Nmero de aspectos en los cuales las cosas involucradas se dice que son anlogas -- OBSERVACICN---
Este criterio hace referencia a todos los aspectos en que los sucesos son anlogos, y cuando se encuentra un mayor nmero de circunstancias o caractersticas de semejanza entre los sucesos, mayor ser la validez de la conclusin.
207
Lgica Matemtica
Ejemplo:
El hecho de que un par de zapatos nuevo, ha sido comprado en el mismo almacn que el par viejo, el cual fue muy resistente, es una premisa de la que se sigue que probablemente el nuevo par ser tambin resistente. Pero la misma conclusin se sigue con mayor probabilidad si la premisa afirma no solamente que los zapatos fueron comprados en la misma tienda, sino que son de la misma marca, que eran los ms caros del almacn y que tienen el mismo estilo.
Ejemplo:
Una persona adquiri un carro nuevo y la ha dado un rendimiento de 10 Km / litro de gasolina, otra persona puede inferir que su carro nuevo, de la misma marca y modelo le dar un rendimiento igual (lo cual es probable); pero si la inferencia es que su carro le dar un rendimiento superior a 10 Km / litro, entonces esta conclusin ser menos probable y la conclusin ser mucho ms dbil si se afirma que el automvil rendir exactamente 10 Km / litro.
208
Ejemplo 6
El siguiente texto muestra una analoga refutadora. El seor Clifford A. Wrigth afirma que Israel no es una democracia porque otorga al judasmo una posicin especial dentro de la Ley. Realmente es as? La Ley britnica contra la blasfemia protege solamente a las creencias de los cristianos. Esas leyes no vician los reclamos britnicos que es un pas democrtico, aunque se puede argir que en virtud de ellos su democracia es menos perfecta. Israel tiene sufragio universal, un sistema multipartidista y una prensa libre. Para todos, menos para los ciegos partisanos, esto significa que es una democracia.
209
Lgica Matemtica
( p q) (r s) ( q p ) t (t s )
pq s
210
( p q ) q p
( p q ) ( q r ) ( p r)
211
Lgica Matemtica
(s t ) (r q) ( r q ) p ( s t ) p
Ejercicio Propuesto 9: Construye la tabla de verdad para las leyes de inferencia de: Dilema
constructivo, Absorcin, Simplificacin, Conjuncin, Adicin, paralelamente plantea ejemplos cotidianos en los que sueles aplicar estas formas de razonamiento.
212
Querido estudiante, en esta seccin denominada El laboratorio encontrars acceso a dos simuladores de tablas de verdad que te sern de utilidad para verificar tus tablas. Para acceder al aplicativo debes hacer acceder al enlace al generador pero antes, acepta la invitacin para estudiar el video correspondiente. SIMULADORES Enlace al: Generador de tablas de verdad para la Unidad 2: Cmo usarlo? Sigue las siguientes instrucciones en video:
Video: Ejemplo de uso del generador de tablas de verdad http://www.youtube.co m/watch?v=Eu5zOyPLCo&feature=player_ embedded 213
Lgica Matemtica
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 ad 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. McGraw Mxico. Objetos Virtuales
UNIDAD 1
214
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIER INGENIERA MDULO DE LGICA GICA MATEMTICA
215
UNIDAD 2
Audio : Hablemos sobre las leyes de inferencia (audio-mp3)
216
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIER INGENIERA MDULO DE LGICA GICA MATEMTICA
217
Lgica Matemtica
218
ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIER INGENIERA MDULO DE LGICA GICA MATEMTICA
219