eT Ldégica y Conjuntos Introduccién Todos estamos familiarizados con la idea de que algunas personas poseen una mentalidad légica mientras que otras no. No siempre resulta sencillo seguir razonamientos o argumentos extensos para obtener conclusiones validas. Nosotros trabajamos con argumentos dentro de la ldgica aristotélica, donde todo argumento debe ser 0 verdadero 0 falso, no existe una tercera posibilidad. Para poder manejar y operar entre estos argumentos, el lenguaje usual puede resultar ambiguo respecto a la validez de los argumentos. La frase: “Pon el sobre que te sobre, sobre la mes: sobre tiene tres diferentes significados en la de un lenguaje que sea mas preciso: la légica simbélica. Su propésito consiste en establecer un nuevo lenguaje, el cual se pueda utilizar para simplificar el anilisis de argumentos légicos complicados. ugiere que la palabra La légica simbélica es la rama de las mateméticas que nos permite reconocer la validez de una argumentacién, asi como también nos proporciona las herramientas de razonamiento necesarias para elaborar demostraciones irrefutables y convincentes. Una parte importante de las matematicas son las definiciones, éstas en general no responden a la pregunta équé es?, sino a la pregunta équé caracteristicas tiene? dems, las definiciones tienen una parte conceptual (équé significa?) y una parte operativa (écémo se trabaja?). Leibniz fue el primero en concebir este planteamiento, cuando a la edad de 14 afios intenté reformar la ldgica clasica. En 1666, deseaba crear un método general en el cual todas las verdades de la razén serian reducidas a una especie de calculos, llamando a la légica simbdlica “caracteristica universal’. El suefio de Leibniz no se realizé hasta que Boole separé los simbolos presentes en las operaciones matematicas, de los conceptos sobre los cuales operaban y establecié un sistema factible y sencillo de ldgica simbdlica. pag.7En 1854, Boole expuso sus ideas en su obra “An Investigation of the Laws of Thought” (Investigacion de las Leyes del Pensamiento). Desgraciadamente, este trabajo no recibié buena aceptacién, y no fue__ sino hasta que los ingleses Bertrand Russell (1872-1970) y Alfred North Whitehead (1861-1947) utilizaron la Iégica simbélica en su obra “Principia Mathematica” (1902), que el mundo de la matematica dio importancia a las ideas propuestas inicialmente por Leibniz alrededor de 250 afios antes. tore El algebra booleana constituye un drea de las matematicas que ha pasado a ocupar un {lugar prominente con el advenimiento de la computadora digital. Es usada ampliamente en el disefio de circuitos de distribucién y computadoras; y, sus aplicaciones van en aumento en muchas otras areas. En el nivel de ldgica digital de una computadora, el hardware trabaja con diferencias de voltaje, las cuales generan funciones que son calculadas por los circuitos que forman el nivel. En este capitulo se trataré de responder a la pregunta écémo podemos llegar a ser mas ldgicos? Se pretende aplicar la Idgica no solamente en el estudio de las ciencias, sino también en la vida cotidiana. Es necesario poder comunicarse de manera inteligente con los demas; se requiere adquirir capacidad para analizar los argumentos de nuestros dirigentes y legisladores; necesitamos ser consumidores inteligentes para analizar las aseveraciones de los anunciantes. Bien sea que nos agrade 0 no, la ldgica es una parte importante del mundo que nos rodea y en este capitulo sentaremos las bases que nos ayudardn a ser definitivamente mas légicos. 1.1 Proposiciones Objetivos pag.8ey Terreae Ldégica y Conjuntos La légica es un método de razonamiento que no acepta conclusiones erréneas. Esto se puede lograr definiendo en forma estricta cada uno de los conceptos. Todo debe definirse de tal forma que no dé lugar a dudas o imprecisiones en la veracidad de su significado. Nada puede darse por supuesto, y las definiciones de diccionario no son normaimente suficientes. Por ejemplo, en el lenguaje ordinario, un enunciado u oracién se puede definir como “una palabra o grupo de palabras que declara, pregunta, ordena, solicita © exclama algo; unidad convencional del habla o escritura coherente, que normalmente contiene un sujeto y un predicado, que empieza con letra mayiscula y termina con un punto”. Sin embargo, en légica simbdlica una oracién tiene un significado mucho mas especifico y se llama proposicién. Los elementos fundamentales de la ldgica son las proposiciones. Por ello, las oraciones que no son falsas ni verdaderas, las que son falsas y verdaderas al mismo tiempo, 0 las que demuestran algtin tipo de imprecisién (carecen de sentido), no son objeto de estudio de la légica. Ejemplo 1.1 Oraciones que son proposiciones. — Las oraciones anteriormente expuestas son proposiciones, ya que son verdaderas 0 falsas. Todas ellas pueden ser calificadas por el lector con precisién y sin ambigiiedades o subjetivismo. Usualmente, las primeras letras del alfabeto espajiol en miniiscula se usan para representar proposiciones. Ejemplo 1.2 Representacién simbélica de proposiciones. gus pag.9Lava el auto, por favor. Hola, écémo estés? iAptrate! La conceptualizacién cambia lo absurdo en azul. x+5=9. iMafiana se acabara el mundo! Las primeras cuatro oraciones no son proposiciones porque no se puede establecer su valor de verdad. Generalmente las oraciones imperativas, exclamativas e interrogativas no son proposiciones. El quinto enunciado no es una proposicién, ya que el valor de x no es preciso y por lo tanto no se puede establecer su valor de verdad La sexta oracién no es una proposicién porque su valor de verdad no se puede determinar. El valor de verdad de una proposicién es la cualidad de veracidad que describe adecuadamente la proposicién. Este puede ser verdadero o falso. Usualmente al valor verdadero se lo asocia con: I, V, T, True; mientras que el valor falso se lo asocia con: 0, F, False. Se podria utilizar cualquiera de ellas, pero la convencién a seguir en el texto serd el uso de 0) y I, tomando como referencia el sistema de numeracién binario. En el ejemplo 1.1 podemos observar que el valor de verdad de la segunda proposicién es VERDADERO, mientras que el valor de verdad de la tercera proposicién es FALSO. Verdad y falsedad pueden considerarse simplemente como los valores légicos de la unidad semantica descriptiva con sentido completo. Ese valor es lo que mas nos interesa sobre una proposicién. Una tabla de verdad es una representacién de los posibles valores de verdad que podria tomar una proposicién. Las tablas de verdad sirven para mostrar los valores, las relaciones y los resultados posibles al realizar operaciones ldgicas. pag.10ey Terreae Ldégica y Conjuntos albje ofolo ab olo}1 2 o|0 oj1/0 0 oO) ojala 1 1/0 1/0/0 ii 1o}1 1)1}0 iija La cantidad de combinaciones (filas de la tabla de verdad) depende de la cantidad de proposiciones presentes en la expresién ldgica. Al finalizar esta seccién el lector podra: * Dadaladefinicién delos operadores légicos, interpretar el comportamiento de estos operadores mediante su tabla de verdad. * Dado un texto, traducirlo al lenguaje simbélico, identificando ‘operadores ldgicos y proposiciones presentes. * Dada una proposicién en el lenguaje simbdlico, interpretar su mensaje en lenguaje natural. * Dada una condicional de proposiciones, realizar parafraseos con las diferentes expresiones gramaticales existentes. * Dada una condicional de proposiciones, determinar su reciproca, inversa y contrarreciproca. * Dada una proposicién condicional verdadera, analizar sus condi necesarias y suficientes. En nuestro lenguaje comun usamos frecuentemente proposiciones mas complejas, no tan simples 0 elementales. pag.1t+ No te encontré en tu casa. + Fui al banco y estaba cerrado. + Tengo una moneda de cinco centavos 0 una de diez centavos. + El carro de Juan 0 es azul 0 es negro. + Si me gano la loteria, entonces me compro una casa. * Estudio en la ESPOL si y sélo si me esfuerzo. Surge entonces la necesidad de definir los nexos de estas proposiciones a los cuales se denominan conectores u operadores légicos. Gramaticalmente, estos nexos, en su mayoria, son denominados partes invariables de la oracién. Sea a una proposicién, la negacién de a, representada simbdlicamente Por —a, es una nueva proposicién, cuyo valor de verdad estd dado por la siguiente tabla de verdad: =o|s oe Este operador Iégico cambia el valor de verdad de una proposicién: si a es una proposicién verdadera, 1 es falsa; si a es una proposicién falsa, —a es verdadera. La negacién se presenta con los términos gramaticales: “no”, nn my ‘no es verdad que”, “no es cierto que”, Si se tiene la proposicién a: Tengo un billete de cinco délares. La negacién de a es: =a: No tengo un billete de cinco délares. Si se tiene la proposicién a: No quiero hacer el viaje. La negacién de a es: =a: Quiero hacer el viaje. pag.12ey Terreae Ldégica y Conjuntos Sean a y b proposiciones, la conjuncién entre a y b, representada simbélicamente por aab, es una nueva proposicién, ‘cuyo valor de verdad estd dado por la siguiente tabla de verdad a| bland ojo) 0 o|1| 0 1/0| 0 iif 4 Este operador Iégico relaciona dos proposiciones para formar una nueva, en la cual la proposicién resultante serd verdadera solamente cuando el valor de verdad de ambas proposiciones es verdadero. En espafiol, la conjuncién copulativa se presenta con los términos gramaticales: *y’, “pero”, “mas”, y signos de puntuacién como: la coma, el punto, y el punto y coma. Si se tienen las proposiciones: a: Obtengo buenas notas. b: Gano una beca. La conjuncién entre a y b es Obtengo buenas notas y gano una beca. Si se tienen las proposiciones: a: Trabajo mucho. b: Recibo un bajo sueldo. La conjuncién entre a y b se puede expresar como: ‘nb: Trabajo mucho pero recibo un bajo sueldo. pag.13Sean a y b proposiciones, la disyuncidn entre a y b, representada simbélicamente por avb, es una nueva proposicion, cuyo valor de verdad esta dado por la siguiente tabla de verdad a|b|avb ojo] 0 1] 1 01 14 Este operador ldgico relaciona dos proposiciones para formar una nueva, en la cualla proposicién resultante seré falsa solamente cuando el valor de verdad de ambas proposiciones es falso, En espa‘iol, la disyuncién se presenta con el término gramatical “o". Disyuncin de proposiciones. Si se tienen las proposiciones: Tengo un libro de Trigonometria b: Tengo un libro de Algebra La disyuncién entre a y bes: . avb: Tengo un libro de Trigonometria o uno de Algebra Como se podrd notar en este ejemplo, existe la posibilidad de poser ambos libros, razén por la cual esta disyuncién recibe el nombre de disyuncion inclusiva, En el lenguaje espafiol suelen presentarse situaciones que son mutuamente excluyentes entre si. Le expresién “o estoy en Quito 0 estoy en Guayaquil” denota la imposibilidad de estar fisicamente en Quito y Guayaquil al mismo tiempo. Sean a y b proposiciones, la ceed exclusiva entre a y b, representada simb6licamente por avh, es una nueva proposicion, cuyo valor de verdad esté dado por ia siguiente tabla ce verdad: a|b|avb ojo] 0 oji} 1 1}0| 1 1j1| 0 pag.14ey Terreae Ldégica y Conjuntos Este operador Iégico relaciona dos proposiciones para formar una nueva, en la cual la proposicién resultante sera verdadera cuando solamente una de ellas sea verdadera. La disyuncién exclusiva av b puede expresarse como: (avb) aan b) En espafiol, la disyuncién exclusiva se presenta con el término gramatical "0", "0 sdlo”, "o solamente”, “o..., 0. Si se tienen las proposiciones: a: Estoy en Quito. b: Estoy en Guayaq La disyuncién exclusiva entre a y b es: ‘ab: O estoy en Quito o estoy en Guayaquil. Sean a y b proposiciones, la condicional entre a y b, representada simbélicamente por a—b, es una nueva proposicién, cuyo valor de verdad esté dado por la siguiente tabla de verdad a| blab ojol 1 oli} 1 1]0| 0 ii} Este operador légico también se denomina enunciacién hipotética oimplicacién. En la proposicién ah, a es el antecedente, hipdtesis 0 premisa; b es el consecuente, conclusién o tesis; y la proposicién resultante sera falsa solamente cuando el valor de verdad del antecedente sea verdadero y el valor de verdad del consecuente sea falso. En espafiol, la proposicién ay) se puede encontrar con los siguientes términos gramaticales: “si a, entonces h”, “a sélo si b", “a solamente sib”, “b si a’, " a, b’, “b con la condicién de que a’, *b cuando a", “b siempre que a”, "b cada vez que a’, “b ya que a’, “b debido a que a’, “b puesto que a”, “b porque a’, se tiene b si se tiene a’, “sélo si b, a’, "b, pues a”, “cuando a, b”, “los a son b’, “a implica b”, 0 cualquier expresin que denote causa y efecto pag.15Si se tienen las proposiciones: Juan gana el concurso. Juan dona $ 10 000. La condicional entre a y b es ab: Si Juan gana el concurso, dona $ 10 000. Parafraseando la condicional, tenemos: + Juan gana el concurso sélo si dona $ 10 000. ‘+ Juan dona $ 10 000 si gana el concurso. ‘+ Si Juan gana el concurso, entonces dona $ 10 000. + Juan dona $ 10 000 puesto que gana el concurso. + Juan dona $ 10 000 debido a que gana el concurso. ‘+ Juan dona $ 10 000 siempre que gane el concurso. + Cuando Juan gane el concurso, dona $ 10 000. ‘+ Juan dona $ 10 000 porque gana el concurso. En base a este ejemplo, nos podemos preguntar: écudndo se quebrantaré la promesa de Juan? Esto sera unicamente cuando Juan gane el concurso y no done el dinero. Existen otras proposiciones relacionadas con la condicional a—>b, las cuales se denominan: reciproca, inversa y contrarreciproca (0 contrapositiva). La Reciproca, es representada simbélicamente por: ba. La Inversa, es representada simbélicamente por: +b. La Contrarreciproca, es representada simbélicamente por: =)——a. il, entonces es un medio de transporte”. La Reciproca seria: “Si es un medio de transporte, entonces es un automévil”. La Inversa seria: “Si no es un automévil, entonces no es un medio de transporte”. La Contrarreciproca seria Si no es un medio de transporte, entonces no es un automévil pdg.16ey Terreae Ldégica y Conjuntos Cabe anotar que una proposicién puede ser reemplazada por su contrarreciproca sin que se afecte su valor de verdad, lo cual no se cumple con la reciproca o la inversa. ‘A continuacién se verifica este hecho en el siguiente ejemplo. “Si un numero es divisible para 6, entonces es divisible para 3”. La Reciproca seria: *Si un numero es divisible para 3, entonces es divisible para 6". La Inversa seria: “Si un nmero no es divisible para 6, entonces no es divisible para 3". La Contrarreciproca seria Si un nlimero no es divisible para 3, entonces no es divisible para 6”. Relacionadas a la enunciacién hipotética, surgen las nociones de condicién necesaria y condicién suficiente, y puede afirmarse con propiedad que mucha gente tiene integrada estas nociones a su lenguaje cotidiano, tal como se ilustra en el siguiente caso. Un profesor presenta este problema a sus estudiantes: “Un hacendado tiene un cierto ntimero de reses, de tal forma que: si las agrupa de 2 en 2, le sobra 1, si las agrupa de 3 en 3, le sobra 1, pero si las agrupa de 4 en 4, no le sobran. Entonces, épodria indicar usted el ntimero de reses que tiene el hacendado?”. El razonamiento que presentaron los estudiantes a este problema, fue: “Si el hacendado las agrupa de 2 en 2, sobra 1, por lo tanto no es miltiplo de 2. Si las agrupa de 3 en 3, sobra 1, por lo tanto no es miiltiplo de 3. Pero si las agrupa de 4 en 4, no le sobran, por lo tanto es milltiplo de 4. Mmmmm..., pero algo anda mal, porque si el ntimero de reses es multiplo de 4, también debe ser milltiplo de 2 debido a que 4 es milltiplo de 2. Luego, el problema est4 mal planteado’. pag.17Esto significa que las condiciones se contradicen y el problema tiene condiciones que no se pueden dar. Por lo tanto, no hay forma de determinar el ntimero de reses del hacendado. Analizando este problema desde el punto de vista légico y suponiendo que es un entero positivo bien definido, se tendra la siguiente propiedad: “Sin es miltiplo de 4, entonces 7 es miltiplo de 2", a cual se puede expresar como a—5b, donde a: n es milltiplo de 4 y b: n es miltiplo de 2 Al ser la proposicién ah verdadera, la condicién “1 es divisible para 4” es suficiente para que “w sea divisible para 2”; es decir, que basta que 1 sea divisible para 4 para que ese mismo 71 sea divisible para 2. Esto significa que aes condici6n suficiente para b. Por otro lado, la condicién “n es divisible para 2” es necesaria para que “ sea divisible para 4"; es decir, que se requiere que n sea divisible para 2 para que ese mismo 1 sea divisible para 4. Esto significa que h es condicién necesaria para a. Una misma proposicién puede ser condicién suficiente para varias proposiciones y viceversa. Una misma proposicién puede ser condicién necesaria para distintas proposiciones. Las siguientes proposiciones son verdadera: *Si n es divisible para 16, n es divisible para 2”. *Si n es divisible para 8, » es divisible para 2”. *Si n es divisible para 16, n es divisible para 8”. jones ante Parafraseando las proposi res, se tiene: “n es divisible para 16” es condicién suficiente para que “n sea divisible para 2”. “nes divisible para 2” es condicién necesaria para que "” sea divisible para 8”. ™n es divisible para 8” es condicién necesaria para que “n sea divisible para 16”. Cuando la proposicién a—>b es verdadera, se puede parafrasear de la siguiente manera: “basta a para que b", “se necesita para a’, “para que suceda a, es necesario que suceda b”, “b con la condicién de que a”. Si consideramos que la siguiente proposicién es verdadera: “Si estudias, aprobards el curso”. Podemos afirmar que es suficiente estudiar para aprobar el curso. Asi mismo, es necesario aprobar el curso como consecuencia de haber estudiado, pag.18ey Terreae Ldégica y Conjuntos Si ahora suponemos que la siguiente proposicién es verdader “Aceptaré el trabajo con la condicién de que me traten bien’ Podemos afirmar que es suficiente que me traten bien para aceptar el trabajo. Por otra parte, es necesario aceptar el trabajo como consecuencia de que me traten bien. Sean a y b proposiciones, la bicondicional entre a y b, representada simbélicamente por a<>h, es una nueva proposicién, cuyo valor de verdad esté dado por la siguiente tabla de verdad a} bach ojo] 1 oj1] 0 1]0| 0 1iji Este operador Idgico también se denomina doble implicacién. La proposicién a+b sera verdadera cuando los valores de verdad de ambas propo: juales. También se puede observar que la proposicién ac>b sera falsa cuando los valores de verdad de ambas proposiciones sean diferentes. En espajiol, la proposicién acyh se puede encontrar con los siguientes términos gramaticales: “a si y sélo si b’, “a si y solamente si 5", “a implica b y b implica a”, “a cuando y sdlo cuando'b”. Dadas las proposiciones: a: Un tridngulo es equilatero. b: Un tridngulo es equidngulo. La bicondicional entre a y b es: ae>b: Un tridngulo es equilatero si y sélo si es equidngulo. pag.19Objetivos * Dado un texto que contenga proposiciones simples y operadores légicos, representar simbélicamente la proposicién compuesta correspondiente. * Dada una proposicién compuesta, determinar su valor de verdad conociendo el valor de verdad de las proposiciones simples que la conforman. * Dado el valor de verdad de una proposicién compuesta, determinar el valor de verdad de las proposiciones simples que la conforman. Proposiciones simples son aquellas que no poseen operador légico alguno. Las proposiciones compuestas estan formadas por otras proposiciones y operadores légicos. Traduzca al lenguaje simbélico la proposicién: Si la seguridad privada es efectiva, disminuyen los indices de asalto en la ciudad y el turismo se desarrolla. Los indices de asalto no disminuyen, pero la seguridad privada es efectiva. Entonces, el turismo no se desarrolla”. Solucién: Se pueden identificar las siguientes proposiciones simples: a: La seguridad privada es efectiva. b: Los indices de asalto disminuyen en la ciudad. + El turismo se desarrolla. Los operadores légicos que se encuentran presentes en esta proposicién compuesta son la condicional, la conjuncién y la negacién. La traduccién es [(a>b20))a(mbaa)| (2) Nétese la importancia del uso de los signos de agrupacién para preservar la idea original del enunciado. pg.20ey Terreae Ldégica y Conjuntos Bajo la suposicién de que los valores de verdad de las proposiciones simples a, b, c y d son respectivamente 0, 0, 1, 1, indique el valor de verdad de cada una de las siguientes proposiciones compuestas: a) (avb) (en) b) cera)u(b rd) Solucién: a) (00) (1.0) =(0)0 130 0 El valor de verdad de esta proposicién es falso. b) AUs0)xal) =0)0 1v0 1 El valor de verdad de esta propos Determine el valor de verdad de las proposiciones a, b, csi la proposicién [(anb) +e] es FALSA. Solucién: El operador principal de esta proposicién compuesta es la condicional. Dado que esta implicacién tiene un valor de verdad falso unicamente cuando el antecedente es verdadero y el consecuente es falso, se obtiene que: (a,b) debe ser verdadero; y, c debe ser falso. Estos valores légicos se obtienen si y sélo si a es verdadero, h es falso y ces falso, con lo cual quedan determinados los valores de verdad. pag.21Objetivos Al finalizar esta seccién el lector podra: * Identificar la rencia entre proposiciones y formas proposicionales. * Dada una forma proposicional, construir la tabla de verdad que la describe. * Reconocer los diferentes tipos de formas proposicionales. * Identificar implicaciones y equivalencias ldgicas. P constituye una variable proposicional cuando puede representar a una proposicién simple o compuesta. EI valor de verdad de p sera desconocido mientras no se especifique el valor de verdad de las proposiciones involucradas. Usualmente las ultimas letras en miniscula del alfabeto espafiol p, q, 1, etc., se usan para representar variables proposicionales. ‘Se denominan formas proposicionales a las estructuras constituidas por variables proposicionales y los operadores ldgicos que las relacionan. Estas formas proposicionales se representan con las letras mayiisculas del alfabeto espaftol A, B, C, * Las formas proposicionales no tienen valor de verdad conocido y, por lo tanto, no seran consideradas proposiciones. Si cada variable proposicional es reemplazada por una proposicién simple o compuesta, la forma proposicional se convierte en una proposicién * Si reemplazamos a las variables proposicionales por proposiciones verdaderas 0 falsas, el nimero de proposiciones que se generan es 2", siendo n el niimero de variables proposicionales. + Las formas proposicionales pueden ser conectadas con operadores légicos para formar nuevas formas proposicionales. Dadas A y B, los simbolos =A, AaB, AvB, Av B, AB y AGB representan nuevas formas proposicionales pag.22ey Terreae Ldégica y Conjuntos Dada la siguiente forma proposicional A [pag rv-p)lar Debido a la presencia de las 3 variables proposicionalesp, q yr, exi 2 proposiciones posibles en la tabla de verdad de A. P|4a|r pag | |rv-p | (pg) >0'v-»)] | A ofojo) of 1] 1 1 0 ofol1) 0} 1] 1 1 1 Ofifo) o} 1} 1 1 0 ofafty oo} 1} 1 1 1 1Jo}o} 0 | o | o 1 0 —lijol1} 0} 0} 1 1 1 1JiJo} 1] 0} o 0 0 tifa} a fo}i 1 1 Cuando las variables proposicionales p, g y r toman los valores de verdad 1, (y I, respectivamente, se puede apreciar que la proposicién resultante es verdadera. Dada la estructura légica de una forma proposicional: * Si se tienen solamente proposiciones verdaderas para todos los valores de verdad de las variables proposicionales, se dice que es una TAUTOLOGIA. + Si se tienen solamente proposiciones falsas para todos los valores de verdad de las variables proposicionales, se dice que es una CONTRADICCION. * Si se tienen algunas proposiciones verdaderas y otras falsas para los valores de verdad de las variables proposicionales, se dice que es una CONTINGENCIA. pag.23Partiendo de estas definiciones, la forma proposicional A del ejemplo anterior constituye una contingencia, mientras que la forma proposicional B: py—p es una tautologia; y, la forma proposicional C: pa—p es una contradiccién. Observe B c POY pep pop o;l 1 0 1) 0 1 o En este punto, podemos resumir lo siguiente: ; significa que la proposicién a es verdadera. significa que la variable proposicional p puede ser reemplazada solamente por proposiciones verdaderas. , significa que la forma proposicional A es tautolégica. Sean A y B dos formas proposicionales, se dice que A implica légicamente aB, denotado por A=2B, si y sélo si A-9B es una tautologia. La forma proposicional tautolégica: p=s(q—p), se puede traducir al lenguaje comtn como “si se tiene p, de cualquier manera q se seguir teniendo p”. P|4| 4 |pPq) o;oO) 1 1 O}l) oO 1 10) 1 1 Vil 1 1 La forma proposicional tautolégica: [(p—g)a(q—r)]=>(p—7), se puede traducir al lenguaje comin como “si cada vez que se tiene p se tiene qy cada vez que se tiene q se tiene r, entonces cada vez que se tiene pse tiene r”, Pla)? |p>9|4>r |por | P>a)ag>r) | [Pa] >) O;O}O) 1 1 1 1 1 O;o}1 1 1 1 1 1 O}1}O) 1 0 1 0 1 O}l}1 1 1 1 1 1 1)/0/0) 0 1 0 0 1 1)0}1) 0 1 1 0 1 11/0) 1 0 0 0 1 1iijl 1 1 1 1 1 pag.24ey Terreae Ldégica y Conjuntos Sean A y B dos formas proposicionales, se dice que A es equivalente légicamente a B, denotado por Ac2B, si y sélo si AC3B es una tautologia. Cuando se requiere sustituir una estructura por otra que sea equivalente, alternativamente el simbolo <> se lo reemplaza por La forma proposicional: (p—q)<(—q——p), se puede traducir al lenguaje comin como “cada vez que se tiene p, se tiene q”, y es légicamente equivalente a “cuando no se tiene q, entonces no se tiene p”. P| |p | =a | pq | -a>-» | (Poa) 1] 1 1 1 5 0 1 0 1 coun oj 1 1 1 1/0 0 1 ol 1 1 La forma proposicional: (pvq (pq), Se puede traducir al lenguaje comun como “no es cierto que se tiene p oq", y es ldgicamente equivalente a “ni se tiene p, ni se tiene q”. =p | =4 | pya | (pv) | =pama | Hv) op=9) 1 o; 1 1 1 0 0 == Pers |S 1 0 1 0 cooe 1 0) 1 1 0 1 1 0 1 Al finalizar esta seccién el lector podré: * Emplear propiedades de los operadores légicos para modificar estructuras légicas. * Dada una propiedad de los operadores légicos, demostrarla empleando tablas de verdad y otras propiedades. pag.25Las operaciones légicas definidas entre las formas proposicionales y algunas de sus mas importantes propiedades se incluyen en las denominadas Leyes del Algebra de Proposiciones 0 Leyes Légicas. A continuacién se presentan las de uso mas frecuente: CONJUNCION DISYUNCION (peg) = (Gp) Conmutativa (pvg) =) [paar = (pagar) | _Asociativa | (ipvavrl = [pvqv] (x) =P Idempotencia (pp) =P (pal) =p Identidad (p0) =p (pad) =0 Absorcién (pvi)=1 ? Negacién Doble Negacién o Involutiva =>) Pan) = @vanovr) Distributivas PA(qur) = (pagyapar) ape (pv) De Morgan =v) (ee Tercero Excluido Contradiccién Contrapositiva o Contrarreciproca Implicacién = (pa) pAg) (>) —p>—4). [esa] = [evr (eg)A~—)] = [pgar)| [pag] = Pog) (p34) = [(pr—g) 0) (P39 =[0>)AG>P)] Equi arl=4a Modus Tolendo Tollens [pgs P Negacién del Consecuente [ovan—p)l=4 Silogismo Disyuntivo [paren G79) ee eaten Dilemas Constructivos [eagneoner Transitividad 0 Silogismo Hipotético Para demostrar estas propiedades u otras, se pueden emplear tablas de verdad 0 utilizar algunas de las propiedades mas elementales, como se vera a continuacién en el siguiente ejemplo. Si se requiere demostrar la equivalencia logica: [(prq)—>7] =[p(q—w)] se puede emplear tablas de verdad o propiedades de los operadores ldgicos. Solucién: Empleando tablas de verdad, se construyen las respectivas combinaciones para las variables proposicionales involucradas en la forma proposicional. (paq)r), B: [p—\q—y)], tal como Para el efecto se denominaré se muestra en la siguiente tabl: © |pag | (pag)>r | qr | por) | AGB 1 =H eoools SSS Toro-ore HHcoccoe ee poe eeo ae tet pag.27Puesto que [(paq)—r']<9[p—(q—r)] es una tautologia, se concluye que existe una equivalencia légica entre estas dos formas proposicionales, con lo cual se obtiene la demostracién requerida. Empleando propiedades de los operadores légicos, se debe transformar la estructura de una de las formas proposicionales (0 de ambas) hasta establecer la equivalencia ldgica requerida. En este ejemplo se trabajard sobre la forma proposicional A, hasta obtener la estructura de la segunda. [@aq)>r] = [A pagvr] Por la Ley de la Implicacién. [(-pv-q)vr]__ Porla Ley de De Morgan de la Conjuncién. [pvr] Por la Ley Asociativa de la Disyuncién. =[-pv(qsn] Por la Ley de la Implicacién. (p3(g3)] Por la Ley de la Implicacién. [gr] Con esto se concluye que las dos formas proposi entre si. nales son equivalentes Las propiedades de los operadores ldgicos también son titiles cuando se requiere expresar ideas o enunciados de una forma inequivoca y precisa. Considere las siguientes proposiciones simples: a: El clima es prop b: La tierra es férti ¢: La flor crecera. Se quiere negar la proposicién compuesta: *Si el clima es propicio y la tierra es fértil, la flor crecera”. Solucién: La traduccién del enunciado original es: (anb) se La negacién de la proposicién anterior es: Allaah) e] —[Hanb)ve] Por la Ley de la Implicacién. a[Hanby}~—c Por la Ley de De Morgan de la Disyuncién. (anb)a—e Por la Ley de la Doble Negacién. baeaa Por la Ley Conmutativa de la Conjuncién. pg.28ey Terreae Ldégica y Conjuntos Por lo tanto, la negacién de la proposicién podré expresarse con cualquiera de las siguientes frases equivalentes “El clima es propicio y Ia tierra es fértil, pero la flor no creceré”. “La tierra es fértil, la flor no crecerd y el clima es propicio”. ‘Aunque al lector le agrade una de ellas mas que la otra, desde el punto de vista Idgico, las dos representan la negacién del enunciado original. Al finalizar esta seccién el lector podra: * Reconocer la estructura de un razonamiento. * Dado un razonamiento, establecer su validez empleando tablas de verdad. * Dado un razonamiento, establecer su validez empleando las Leyes del Algebra de Propo: Son proposiciones compuestas que pueden ser representadas conjuncién de proposiciones denominadas premisas 0 hipétesis, la condicional como operador légico principal; y, una proposicién final denominada conclusién. Las premisas o hipétesis correspondenal antecedente de la implicacién, mientras que la conclusién es su consecuente. (Hi A Ha A H5... A Ha] 5 Cc SS “NN Conjuncién de hipéte: Condicional Conclusién ANTECEDENTE OPERADOR CONSECUENTE LOGICO pag.29