La frase: "Pon el sobre que te sobre, sobre la mesa’, suglere que la palabra ‘sobre tiene tres diferentes significados en la misma oracién. Por ello, se necesita de un lenguaje que sea més precso: a légica simbélica. Su propésito consiste fen establecer un nuevo lenguaje, el cual se pueda utilizar para simplificar el analisis de argumentos l6gicos complicados. La légica simbélica es la rama de las matematicas que nos permite reconocer la validez de una argumentacién, asi como también nos proporciona las herramientas de razonamiento necesarias para elaborer demostraciones itrefutables y convincentes. Una parte importante de las matematicas son las definiciones, éstas en general no responden a la pregunta Zqué es?, sino a la Dreaunta éaué caractersticas tiene? Los elementos fundamentales de Ia I6gica son las proposiciones. Por ello, [as oraciones que no son falsas ni verdaderas, las que son falsas y verdaderas al mismo tiempo, o las que demuestran algin tipo de imprecisién (carecen de sentido), no son objeto de estudio de la ldgica. Ejemplo 1.1 Oraciones que son proposiciones. a Las oraciones anteriormente expuestas son proposiciones, ya que son verdaderas 0 falsas. Todas ellas pueden ser calificadas por el lector con Precision y sin ambiguedades o subjetivismo. Usualmente, las primeras letras del alfabeto espafiol en mindscula se usan para representar proposiciones. Ejemplo 1.2 Representacién simbélica de proposiciones. guyEjemplo 1.3 Oraciones que no son proposiciones. — 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. eee) Usualmente al valor verdadero se Io asocia con: 1, ¥, T, True; mientras que el valor falso se lo asocia con: 0, F, False. Se podria utlizar cualquiera de ellas, pero la convencidn a seguir en el texto serd el uso de 0 y 1, tomando comé referencia el sistema de numeracién binari. 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 felsedad pueden considerarse simplemente como los valores légicos de la unidad seméntica descriptiva con sentido completo. Ese valor es lo que ‘mas nos interesa sobre una proposicién. Las tablas de verdad sirven para mostrar los valores, las relaciones y los resultados posibles al realizar operaciones légicas.La cantidad de combinaciones (filas de la tabla de verdad) depende de la Cantidad de proposiciones presentes en la expresién légica. Ejemplo 1.5 Proposiciones que no son simples. — = = PI a ‘Surge entonces la necesidad de definir os nexos de estas proposiciones a los cuales se denominan conectores u operadores légicos. Gramaticalmente, estos nexos, en su mayoria, son denominados partes invarlables de la oracién. Este operador légico cambia el valor de verdad de una proposicién: si a fs una proposicién verdadera, —a es falsa; si a es una proposicién falsa, a fs verdadera. La negacién se presenta con los términos gramaticales: “no”, ni", "no es verdad que", “no es cierto que".Ejemplo 1.6 Negacidn de proposiciones. — Ejemplo 1.7 Negacién de proposiciones. —~ Este operador légico relaciona dos proposiciones para formar una nueva, en. la cual la proposicién resultante sera verdadera solamente cuando el valor de verdad de ambas proposiciones es verdadero. En espafiol, ja cconjuncié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: Obtengo buenas notas. Gano una beca. La conjuncién entre a y b es: ‘anb: 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: ‘anb: Trabajo mucho pero recibo un bajo sueldo. Sean a y b proposiciones, la disyuncién entre a y b, representada simbélicamente por avb, es una nueva proposicién, cuyo valor de verdad esta dado por la siguiente tabla de verdad: a Este operador I6gico relaciona dos proposiciones para formar una nueva, en la cual la proposicién resultante sera falsa solamente cuando el valor de verdad de ambas proposiciones es falso. En espafiol, la disyuncién se presenta con el término gramatical “o”. Si se tienen las proposiciones: ‘a: Tengo un libro de Trigonometria. 6; Tengo un libro de Algebra, La disyuncién entre a y b es: ‘avb: Tengo un libro de Trigonometria 0 uno de Algebra. Como se podré notar en este ejemplo, existe la posibilidad de poser ambos libros, raz6n por la cual esta disyuncién recibe el nombre de disyuncién inclusivaEn el lenguaje espajol suelen presentarse situaciones que son mutuamente cexcluyentes entre si, La expresién “o estoy en Quito 0 estoy en Guayaquil” denota la imposibilidad de estar fisicamente en Quito y Guayaquil al mismo tiempo. 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 a v b puede expresarse como: (av by a fab) En espafol, la disyuncidn exclusiva se presenta con el término gramatical “0%, "0 sélo’, "0 solamente’, “0... 0. Ejemplo 1.11 Disyuncién exclusiva de proposiciones. guSean a y b proposiciones, la condicional entre a y b, representada simbélicamente por a—>b, es una nueva proposicion, cuyo valor de verdad est dado por la siguiente tabla de verdad: Este operador l6gico también se denomina enunciacién hipotética oimplicacién, En la proposicion ab, a es el antecedente, hipotesis 0 premisa; es el Consecuente, conclusién o tesis; y la proposicién resultante sera falsa solamente cuando el valor de verdad del antecedente sea verdadero yel valor de verdad del consecuente sea falso. En espajiol, la proposicién a> se puede encontrar con los siguientes términos gramaticales: “si a, entonces b”, “a sélo si b", “a solamente si 6", "b si a’, "si 4, 6°, *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 debide 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, 6%, “los a son 6", "a implica b", 0 cualquier expresién que denote causa y efecto. Si se tienen las proposiciones: a: Juan gana el concurso. b: Juan dona $ 10.000, La condicional entre a y b es: ‘a-9b: 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 concurs. ‘= 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: écundo se quebrantard la promesa de Juan? Esto’serd Ginicamente 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: a+b. La Contrarreciproca, es representada simbélicamente por: ba. Ejemplo 1.13 Variaciones de la condicional. au 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. =jemplo 1.14 Variaciones de la condicional. — 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.Ejemplo 1.15 Introduccion a las condiciones necesarias y suficientes 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 numero de reses del hacendado. Analizando este problema desde el punto de vista Iégico y suponiendo que 1 ‘85 un entero positivo bien definido, se tendrs la siguiente propiedad: “Sin es, miltiplo de 4, entonces 1 es miiltiplo de 2", la cual se puede expresar como ab, donde a: n es miltiplo de 4 y b: n es miltiplo de 2. AA ser la proposicién a—sb verdadera, la condicién "n es divisible para 4” es suficiente para que “n sea divisible para 2"; es decir, que basta que 1 sea divisible para 4 para que ese mismo n sea divisible para 2. Esto significa que es condicién 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 1 sea divisible para 2 para que ese mismo 1 sea divisible para 4. Esto significa que b 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 ecesaria para distintas proposiciones.Las siguientes proposiciones son verdaderas: “Si n es divisible para 16, n es divisible para 2” °Si n es divisible para 8, n es divisible para 2". “Si n es divisible para 16, n es divisible para 8" Parafraseando las proposiciones anteriores, se tiene: “nes divisible para 16” es condicién suficiente para que “n sea divisible para 2” "nes divisible para 2" es condicién necesaria para que "n sea divisible para 8" ible para 8” es condicién necesaria para que “n sea divisible para 16". Cuando la proposicién ab es verdadera, se puede parafrasear de la siguiente manera: “basta a para que b", "se necesita b 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. SSi ahora suponemos que la siguiente proposicién es verdadera "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 aesb, es una nueva proposicién, cuyo valor de verdad esté dado por la siguiente tabla de verdad: a|b acd ofo] 1 0/1| 0 1/0] 0 ti} 1 0 1 dor Iégico_ también se denomina doble implicacién. La n acob sera verdadera cuando los valores de verdad de ambas proposiciones sean iguales. También se puede observar que la proposicion ab sera falsa cuando los valores de verdad de ambasEn espaitol, la proposicién ach se puede encontrar con los siguientes términos gramaticales: "a si y sélo si b", "a si y solamente si 6”, “a implica yy b implica a", “a cuando y sélo cuando b”. Ejemplo 1.19 Bicondicional de proposiciones. a 1.3 Proposiciones simples y compuestas ee ee Ejemplo 1.20 Traduccién al lenguaje simbélico. ys Nétese la importancia del uso de los signos de agrupacién para preservar la Idea original del enunciado,[Bajo la suposicién de que los valores de verdad de las proposiciones simples a, b, ¢ y d son respectivamente 0, 0, 1, 1, indique el valor de verdad de cada una de las siguientes proposiciones compuestas: a) avb)}Aennd) b) A(cera)u(bad) Solucién: a) ~(0v0}-(140) ~0)90 130 0 El valor de verdad de esta proposicién es falso. b) Alo0)M(0A1) Oo 10 I El valor de verdad de esta proposicin es verdadero. Determine el valor de verdad de las proposiciones.a, b, sila proposicién. [(@anb) el 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 Gnicamente cuando el antecedente es verdadero y el consecuente es falso, se obtiene que: (an) debe ser verdadero; y, ¢ debe ser falso. Estos valores légicos se obtienen si y sélo sia es verdadero, b es falso ¥ © es falso, con lo cual quedan determinados los valores de verdad.