LÓGICA PROPOSICIONAL.

Transcripción

1 INSTITUTO TECNOLÓGICO METROPOLITANO LÓGICA PROPOSICIONAL. Teoría ejercicios y taller MARGARITA PATIÑO JARAMILLO 4 DE AGOSTO DE 2014

2 LÓGICA PROPOSICIONAL Entrar a la página: Si así fue, así pudo ser; si así fuera, así podría ser; pero como no es, no es. Eso es lógica. Tweedledee, en Through the Looking Glass, cap, IV, POR QUÉ VAS A ESTUDIAR LÓGICA? LA RELEVANCIA DE LA LÓGICA, EN GENERAL: La lógica es una herramienta importante para todo tipo de conocimiento y de actividad racional, pero también para la vida cotidiana (donde, de hecho, la usamos de manera inadvertida). En palabras de Ricardo Guibourg: "Quejarnos porque la cuenta del restaurante es alta no nos dará ningún resultado: no lograremos convencer al mozo y pasaremos por mezquinos. Pero si encontramos algún error en la suma provocaremos una consulta y obtendremos, junto con la encomienda, las correspondientes excusas: tal es el poder de la aritmética, que ni los comerciantes se atreven contra ella. Y la aritmética no es una Invención diabólica, ni el arma secreta de la administración impositiva: es, simplemente, un sistema teórico que reconstruye, en abstracto, las relaciones que todos aceptamos entre las cantidades concretas. Dos más 1

3 dos es igual a cuatro en cualquier tiempo y lugar, se trate de dólares, camellos o vueltas en calesita; y el conjunto de las relaciones de este tipo, reunidas en una teoría matemática universalmente admitida, nos permite verificar formalmente la exactitud de cualquier calculo. Lo mismo ocurre con la lógica. Si alguien nos endilga un largo discurso sobre un tema que ignoramos, nos será difícil formarnos una idea sobre la verdad o falsedad de cada una de sus afirmaciones; pero si entre ellas hay dos que resulten contradictorias entre sí, no necesitaremos averiguar más para saber que en esa cháchara hay algo que no funciona bien. Al razonar de este modo habremos utilizado un sistema teórico - la lógica- que recopila, generaliza, abstrae y reconstruye en formulas las relaciones aceptables entre las proposiciones, aun con total prescindencia de su contenido: es decir, de modo completamente formal". Y, en palabras de Lewis Carroll 1 : "Domine usted la maquinaria de la lógica simbólica y tendrá siempre a mano una ocupación intelectual que absorberá su interés y que será de una efectiva utilidad en cualquier tema del que pueda ocuparse. Ello le proporcionara la claridad de pensamiento y la habilidad para encontrar el camino en medio de la confusión, el hábito de disponer sus ideas de una forma metódica y ordenada y -lo cual vale más que todo eso- el poder de detectar falacias y despedazar los argumentos insustancialmente ilógicos que encontrara de continuo en los libros, en los periódicos, en los discursos e incluso en los sermones, y que con tanta facilidad engañan a los que nunca se han tomado la molestia de aprender este arte fascinante." (El juego de la lógica) (González Lagier, s.f) 1 Lewis Carroll es el seudónimo por el que es conocido en la historia de la literatura Charles Lutwidge Dodgson (Daresbury, Cheshire, 27 de enero de 1832 Guildford, Surrey, 14 de enero de 1898), sacerdote anglicano, lógico, matemático, fotógrafo y escritor británico. conocido sobre todo por su obra Alicia en el país de las maravillas. 2

4 CONTINUANDO POR QUÉ TAN NECESARIA ES LA LÓGICA? Entonces: LA IMPORTANCIA DEL RAZONAMIENTO Cuando uno de sus oyentes dijo, Convénceme de que la lógica es útil, él respondió: Debo demostrarlo?. Si. Entonces, no debo usar un argumento demostrativo? Y cuando es otro se mostró de acuerdo, él dijo. Cómo sabrás que no te impongo simplemente la conclusión? Y, puesto que su interlocutor no tuvo respuesta, le dijo: Ves como tú mismo aceptas que la lógica es necesaria?, sin ella no podrías aprender siquiera si es o no necesaria Discursos de Epícteto En Fausto, una de las obras de Goethe, Mefistófeles responde una pregunta (que un joven estudiante le hace acerca de cómo conocer la verdad en el cielo y en la tierra) de la siguiente manera: Le aconsejo querido amigo seguir primero el curso de Lógica. Allí le peinarán debidamente el espíritu, se lo calzaran en boca de tortura, de suerte que se deslice con más tiento 2 por el sendero del pensar y no tuerza acá y allá y se descarríe. En realidad, la fábrica de pensamientos es como la obra maestra del tejedor: A un golpe de pedal se mueven mil hilos, suben y bajan las devaneras, corren invisibles los cabos, y un golpecito solo fragua miles de combinaciones. Así también el filósofo aparece y nos demuestra cómo se debe proceder: lo primero tiene que ser así, lo segundo tiene que ser 2 TIENTO significa: mesura, cordura, prudencia. 3

5 asá, y de ahí se deriva lo tercero y lo cuarto, y si no existiera lo primero y lo segundo, no tendríamos nunca lo tercero y lo cuarto. Así aprecian los discípulos por doquier, pero ninguno ha llegado a ser tejedor. Quien aspira a conocer y describir algo vivo, busca ante todo desentrañar el espíritu; tiene entonces las partes en sus manos. Y sólo falta por desgracia!, el lazo espiritual. ENTONCES QUÉ ES LA LÓGICA? Si ocurrió, puede ser, y si ocurriera, sería. Pero como no ocurre, no es. Eso es la lógica Lewis Carrol Lo que nos dice Carroll es que la lógica tiene que ver con nuestra manera de razonar. Y, como él lo dice, de eso trata la lógica. Todos razonamos. Tratamos de razonar sobre las bases de lo que ya sabemos. Tratamos de persuadir a otros de que algo es así dándoles razones. La lógica es el estudio de lo que cuenta como una buena razón para explicar para qué y por qué. La lógica es el lenguaje del razonamiento. Formalmente, es la ciencia que se ocupa de la validez de la inferencia y la demostración. A la lógica no le interesa si las premisas de una inferencia son verdadera o falsas. Ése es asunto de alguien más. Le interesa simplemente si la 4

6 conclusión se sigue o resulta de las premisas. Así que la meta central de la lógica es comprender la validez. DEFINICIÓN DELÓGICA. Es una ciencia formal porque sus objetos de conocimiento son las formas o estructuras que adopta el pensamiento. Es una ciencia ideal porque se ocupa de conceptos, juicios y raciocinios que son entes ideales y que constituyen el pensamiento de una persona al hacer la interpretación de su entorno real. La parte de la lógica que se ocupa de la corrección o validez del pensamiento se llama lógica o dialéctica. La parte de la lógica que se ocupa de la verdad del pensamiento se llama lógica material. (Barco Gómez, 2004 Pág 33) Esto es lógica Fuente: Lógica religiosa. 5

7 Fuente: Lógica Materna. FORMALIZACIÓN Y VALORACIÓN DE PROPOSICIONES FUNCIONES DEL LENGUAJE FUNCION EXPRESIVA Cuando se usa el lenguaje para comunicar sentimientos, valores, actitudes y emociones. El lenguaje sirve a la función expresiva siempre que se usa para expresar o inducir sentimientos o emociones. Ejemplos: Por Júpiter! Casi me saco la lotería! Valentín es bueno El viento de la noche gira en el cielo y canta Bravo! Qué felicidad! Es hielo abrazador, es fuego helado, es herida, que duele y no se siente, es un soñado bien, un mal presente, es un breve descanso muy cansado. 6

8 FUNCION APELATIVA Cuando se usa el lenguaje para generar o evitar una acción, puede tratarse de una orden, un pedido, una prohibición, una interrogante etcétera. Cuando un padre le dice a su hijo que se lave las manos antes de comer, la intención no consiste en comunicar una información o en expresar o evocar una emoción en particular. El lenguaje intenta en este caso obtener resultados, ocasionar la acción de tipo previsto. Ejemplos: Estas estudiando? Debemos honrar a nuestros héroes a los símbolos patrios. Nadie será sometido a torturas ni a penas o tratos crueles, inhumanos o degradantes. Guíame, oh Señor, por la senda de tu justicia: haz que sea recto ante tus ojos mi camino por causa de mis enemigos. Firmes!, Descanso!, Atención! FUNCIÓN INFORMATIVA Cuando se usa el lenguaje para describir objetos, hechos o situaciones, haciendo referencia a las características o cualidades que se supone, le corresponden efectivamente. El lenguaje usado para para afirmar o negar proposiciones, o para presentar argumentos, se dice que sirve a la función informativa. Ejemplos: El cuadrilátero es un polígono de 4 lados 7

9 El planeta Marte gira alrededor del Sol El agua se congela a cero grados centígrados en condiciones normales. J. M. Arguedas escribió El Sexto. La lógica es una ciencia formal CONCEPTOS BÁSICOS Y ahora llegamos a la gran pregunta del porqué. El robo no ha sido el objeto del asesinato, puesto que nada desapareció. Fue por motivos políticos, o fue una mujer? Esta es la pregunta con que me enfrento. Desde el principio me he inclinado hacia esta última suposición. Los asesinatos políticos se complacen demasiado en hacer su trabajo y huir. Este asesinato, por el contrario, había sido realizado muy deliberadamente, y quien lo perpetró ha dejado huellas por toda la habitación, mostrando que estuvo allí todo el tiempo. Arthur Conan Doyle. Un Estudio en Escarlata De todas las funciones del lenguaje, la lógica toma en cuenta sólo aquellas oraciones que sirvan para afirmar, negar, describir, informar, etc. Estas oraciones son las declarativas o aseverativas y son las únicas que pueden constituir proposiciones, según cumplan o no determinados requisitos. 8

10 La proposición es una oración aseverativa de la que tiene sentido decir que es verdadera o falsa, pero no ambas cosas a la vez Ejemplos: El ornitorrinco es ave. El átomo es molécula. Arguedas es un poeta peruano Perú está en Europa. Cinco más tres es ocho. Gabriel García Márquez escribió Cien años de soledad. 6 es un número primo = 6 1 es un número entero, pero 2 no lo es. Nota: Las proposiciones se notan con letras minúsculas, p, q, r La notación p: Tres más cuatro es igual a siete se utiliza para definir que p es la proposición tres más cuatro es igual a siete. Este tipo de proposiciones se llaman simples, ya que no pueden descomponerse en otras. Ejemplo Las siguientes no son proposiciones. Qué linda está la mañana! Qué hora es? 9

11 Te vas? Compra cinco azules y cuatro rojas. x = 2 Es importante notar que lo que interesa básicamente en una expresión proposicional es su sentido de verdad o falsedad, porque oraciones distintas pueden expresar una misma proposición. Por ejemplo, las 3 oraciones siguientes expresan una sola proposición: Luis y María son compañeros de promoción. Luis es compañero de promoción de María María es compañera de promoción de Luis. VALOR DE VERDAD Llamaremos valor verdadero o de verdad de una proposición a su veracidad o falsedad. El valor de verdad de una proposición verdadera es verdad y el de una proposición falsa es falso (González, 2005) Ejemplo Dígase cuáles de las siguientes afirmaciones son proposiciones y determinar el valor de Verdad de aquellas que lo sean. (a) p: Existe Premio Nobel de informática. (b) q: La tierra es el único planeta del Universo que tiene vida 10

12 (c) r: Teclee Escape para salir de la aplicación. (d) s: Cinco más siete es grande. Solución (a) p es una proposición falsa, es decir su valor de verdad es Falso. (b) No sabemos si q es una proposición ya que desconocemos si esta afirmación es verdadera o falsa. (c) r no es una proposición ya que no es verdadera ni es falsa. Es un mandato. (d) s no es una proposición ya que su enunciado, al carecer de contexto, es ambiguo. En efecto, cinco niñas más siete niños es un número grande de hijos en una familia, sin embargo cinco monedas de cinco céntimos más siete monedas de un céntimo no constituyen una cantidad de dinero PROPOSICIÓN COMPUESTA Si las proposiciones simples p1, p2,..., pn se combinan para formar la proposición P, diremos que P la es una proposición compuesta de p1, p2,..., pn. Ejemplo La Matemática Discreta es mi asignatura preferida y Mozart fue un gran compositor es una proposición compuesta por las proposiciones La Matemática Discreta es mi asignatura preferida y Mozart fue un gran compositor 11

13 Él es inteligente o estudia todos los días es una proposición compuesta por dos proposiciones: Él es inteligente y Él estudia todos los días. Nota: La propiedad fundamental de una proposición compuesta es que su valor de verdad está completamente determinado por los valores de verdad de las proposiciones que la componen junto con la forma en que están conectadas. VARIABLES DE ENUNCIADO Es una proposición arbitraria con un valor de verdad no especificado, es decir, puede ser verdad o falsa. En el cálculo lógico, prescindiremos de los contenidos de los enunciados y los sustituiremos por variables de enunciado. Toda variable de enunciado p, puede ser sustituida por cualquier enunciado siendo sus posibles estados, verdadero o falso. El conjunto de los posibles valores de una proposición p, los representaremos en las llamadas tablas de verdad, ideadas por L. Wittgenstein 3 CONECTIVOS LÓGICOS Y TABLAS DE VERDAD 3 Ludwig Josef Johann Wittgenstein (Viena, Austria, 26 de abril de 1889 Cambridge, Reino Unido, 29 de abril de 1951) fue un filósofo, matemático, lingüista y lógico austríaco, y posteriormente nacionalizado británico. En vida publicó solamente un libro: el Tractatus logico-philosophicus, que influyó en gran medida a los positivistas lógicos del Círculo de Viena, movimiento del que nunca se consideró miembro. Tiempo después, el Tractatus fue severamente criticado por el propio Wittgenstein en Los cuadernos azul y marrón y en sus Investigaciones filosóficas, ambas obras póstumas. Fue discípulo de Bertrand Russell en el Trinity College de la Universidad de Cambridge, donde más tarde también él llegó a ser profesor. 12

14 Se denominan conectivos lógicos a aquellas palabras o términos funcionales que ligan, juntan, unen o enlazan las proposiciones simples formando proposiciones compuestas. Los operadores o conectivos básicos son: CONECTIVO SÍMBOL NOMBRE DE LA PROPOSICIÓN O No ~ Negación Y ^ Conjunción O Disyuntiva inclusiva o... o... Disyuntiva exclusiva Si entonces... Condicional si y sólo si Bicondicional A. NEGACIÓN (~): NO es un CONECTIVO, es un OPRADOR UNARIO. Se denomina proposición negativa aquella que cambia el valor de la proposición original. Se denota por: ~p, p y se lee: no p. La negación, puede traducirse como: No es cierto que... Nadie que sea... Jamás... Es falso que... No es el caso que... Es inconcebible que... Nunca... No es verdad que Es imposible que... No ocurre que... Es absurdo que Es erróneo que... Es mentira que... No acaece que... De ningún modo No es el caso que Es inadmisible que Es incierto que Es refutable que Es falaz que En modo alguno Ejemplo: p: INDECOPI es el Instituto Nacional de Defensa de la Competencia y de la Protección de la Propiedad Intelectual. ~p: Es falso que INDECOPI sea el Instituto Nacional de Defensa de la Competencia y de la Protección de la Propiedad Intelectual. Su tabla de verdad es como sigue: 13

15 p ~p B. CONJUNCIÓN: Dadas las proposiciones p, q. La conjunción es el resultado de unir estas proposiciones con el conectivo lógico y. Se denota con el símbolo:,, se escribe p q, p q y se lee: p y q. La proposición conjuntiva es verdadera. Cuando las dos proposiciones son verdaderas. En nuestro lenguaje podemos emplear: Pero Aun cuando No obstante Sin embargo Al igual que Aunque Además Tanto. como. Más aún A la vez Siempre ambos. con.. También Incluso No sólo.sino también. Es compatible con Así como A pesar de Así mismo Del mismo modo.con. los dos a la vez De la misma forma que Ejemplo: Consideremos las siguientes proposiciones: p: Roxana estudia q: Roxana escucha música De tal manera que la representación del enunciado anterior usando simbología lógica queda indicado por: p q: Roxana estudia al mismo tiempo que escucha música 14

16 Su tabla de verdad es como sigue: p q p q C. DISYUNCIÓN: Es una proposición compuesta formada por p y por q relacionadas por el conectivo lógico o. Según el sentido del conectivo o, se puede interpretar de dos maneras: inclusiva o exclusiva. DISYUNCIÓN INCLUSIVA O DÉBIL: Se denota por p q, p + q y se lee: p o q. La disyunción inclusiva es falsa sólo en el caso que ambas proporciones sean falsas. Se conoce como la suma lógica. Otras formas de conexión que nos indican una disyunción inclusiva son: A menos que Excepto que Salvo que A no ser que Y bien o también O sino O en todo caso O también O incluso O bien Al menos uno de los dos. o. Alternativamente Ejemplo: Consideremos: p: Mañana estudiaremos Química q: Mañana estudiaremos Física p q p q De tal manera que la representación del enunciado anterior usando simbología lógica queda indicado por: p q: Mañana estudiaremos Química o sino estudiaremos Física 15

17 DISYUNCIÓN EXCLUSIVA O FUERTE: Se denota por: p q, p v q, p q, p q, p q y se lee: p o q pero no ambos. La disyunción exclusiva es verdadera sólo cuando una de las proposiciones es verdadera. Algunas formas de conectivos a emplear son: O... o no equivale a... O bien... o bien... No es cierto que...equivale a... No es equivalente... con... O solo... o solo......a menos que solamente......salvo que únicamente......excepto que sólo......o bien necesariamente......o exclusivamente......no es idéntico a......no es lo mismo que... Salvo que... o... Ejemplo: Consideremos: p: Este año viajaré al extranjero q: Viajo a Lima De tal manera que la representación del enunciado anterior usando simbología lógica queda indicado por: p q: Este año viajaré al extranjero salvo que únicamente viaje a Lima p q p q D. Condicional: Proposición compuesta que resulta de la combinación de dos proposiciones simples, a través del conectivo: Si..., entonces... y su símbolo es :,. La notación p q, p q se lee Si p, entonces q. La proposición p se llama antecedente o hipótesis y la proposición q se llama consecuente o conclusión. La manera de expresar la condicional en el orden antecedente-consecuente 16

18 ( p q Implicación directa), son las siguientes: Si p, entonces q Siempre que p entonces q p es suficiente para q p implica q Ya que p bien se ve que q En cuanto p por tanto q p por tanto q p por consiguiente q p por ende q p por conclusión q Dado que p por eso q Porque p por eso q Ejemplo: consideremos: p: La producción es buena q: Habrá mayor rentabilidad en la empresa De tal manera que la representación del enunciado anterior usando simbología lógica queda indicado por: p q: Si la producción es buena, habrá mayor rentabilidad en la empresa p q p q q p: Habrá mayor rentabilidad en la empresa siempre que la producción sea buena Dadas dos proposiciones p y q, a la proposición compuesta si p, entonces q se le llama proposición condicional y se nota por p q A la proposición p se le llama hipótesis, antecedente, premisa condición suficiente y a la q tesis, consecuente, conclusión o condición necesaria del condicional. Una proposición condicional es falsa únicamente cuando siendo verdad la hipótesis, la conclusión es falsa (no se debe deducir una conclusión falsa de una hipótesis verdadera). 17

19 Recordando su tabla de verdad: p q p q Obsérvese que si p q es verdad no puede deducirse prácticamente nada sobre los valores de verdad de p y q ya que pueden ser ambas verdad, ambas falsas o la primera falsa y la segunda verdad. Ahora bien, si el condicional p q es falso, entonces podemos asegurar que p es verdadera y q falsa. Otras formulaciones equivalentes de la proposición condicional p q q son: p sólo si q. q si p. p es una condición suficiente para q. q es una condición necesaria para p. q se sigue de p. q a condición de p. q es una consecuencia lógica de p. q cuando p. Analizaremos con detalle cada uno de los cuatro casos que se presentan en la tabla de verdad. 18

20 1. Antecedente y consecuente verdaderos. En este caso parece evidente que el condicional si p, entonces q se evalúe como verdadero. Por ejemplo, Si como mucho, entonces engordo es una sentencia que se evalúa como verdadera en el caso de que tanto el antecedente como el consecuente sean verdaderos. Ahora bien, obsérvese que ha de evaluarse también como verdadero un condicional en el que no exista una relación de causa entre el antecedente y el consecuente. Por ejemplo, el condicional: Si García Lorca fue un poeta, entonces Gauss fue un matemático ha de evaluarse como verdadero y no existe relación causal entre el antecedente y el consecuente. Es por esta razón que no hay que confundir el condicional con la implicación lógica. García Lorca fue un poeta implica que Gauss fue un matemático Es una implicación falsa desde el punto de vista lógico. Más adelante estudiaremos la implicación lógica. 2. Antecedente verdadero y consecuente falso. En este caso parece natural decir que el condicional se evalúa como falso. 19

21 Por ejemplo, supongamos que un político aspirante a Presidente del Gobierno promete: Si gano las elecciones, entonces bajaré los impuestos Este condicional será falso sólo si ganando las elecciones, el político no baja los impuestos. A nadie se le ocurriría reprochar al político que no ha bajado los impuestos si no ha ganado las elecciones. Obsérvese que el hecho de que p sea verdadero y, sin embargo, q sea falso viene, en realidad, a refutar la sentencia p q, es decir la hace falsa. 2. Antecedente falso y consecuente verdadero. Nuestro sentido común nos indica que el condicional p q no es, en este caso, ni verdadero ni falso. Parece ilógico preguntarse por la veracidad o falsedad de un condicional cuando la condición expresada por el antecedente no se cumple. Sin embargo, esta respuesta del sentido común no nos sirve, estamos en lógica binaria y todo ha de evaluarse bien como verdadero, bien como falso, es decir, si una sentencia no es verdadera, entonces es falsa y viceversa. Veamos que en el caso que nos ocupa, podemos asegurar que el condicional no es falso. En efecto, como dijimos anteriormente, p q es lo mismo que afirmar que p es una condición suficiente para q Es decir, p no es la única condición posible, por lo cual puede darse el caso de que q sea verdadero siendo p falso. O sea, la falsedad del antecedente 20

22 no hace falso al condicional y si no lo hace falso, entonces lo hace verdadero. Por ejemplo, Si estudio mucho, entonces me canso Qué ocurriría si no estudio y, sin embargo, me cansara? Pues que la sentencia no sería inválida, ya que no se dice que no pueda haber otros motivos que me puedan producir cansancio. 4. ANTECEDENTE Y CONSECUENTE FALSOS. La situación es parecida a la anterior. La condición p no se verifica, es decir, es falsa, por lo que el consecuente q puede ser tanto verdadero como falso y el condicional, al no ser falso, será verdadero. Obsérvese, anecdóticamente, que es muy frecuente el uso de este condicional en el lenguaje coloquial, cuando se quiere señalar que, ante un dislate 4, cualquier otro está justificado. Si tú eres programador, entonces yo soy el dueño de Microsoft Ejemplo: Sean p, q y r las proposiciones: El número N es par, La salida va a la pantalla y Los resultados se dirigen a la impresora, respectivamente. Enunciar las formulaciones equivalentes de las siguientes proposiciones. 4 DISLATE: disparate, absurdo, insensatez 21

23 a)q p b) q r c) r p q Solución: a)q p Si la salida va a la pantalla, entonces el número N es par La salida ira a la pantalla, sólo si el número N es par. El número N es par si la salida va a la pantalla. Una condición necesaria para que la salida vaya a la pantalla es que el número N sea par. Una condición suficiente para que el número N sea par es que la salida vaya a la pantalla. b) q r Si la salida no va a la pantalla, entonces los resultados se dirigen a la impresora. La salida no va a la pantalla sólo si los resultados se dirigen a la impresora. Los resultados se dirigen a la impresora si la salida no va a la pantalla. Una condición suficiente para que los resultados se dirijan a la impresora es que la salida no vaya a la pantalla. Una condición necesaria para que la salida no vaya a la pantalla es que los resultados se dirijan a la impresora. 22

24 c) r p q Si los resultados se dirigen a la impresora, entonces el número N es par o la salida va a la pantalla. Los resultados se dirigen a la impresora sólo si el número N es par o la salida vaya a la pantalla. El número N es par o la salida va a la pantalla si los resultados se dirigen a la impresora. Una condición suficiente para que el número N sea par o la salida vaya a la pantalla es que los resultados se dirijan a la impresora PROPOSICIÓN RECIPROCA Dada la proposición condicional p q, su reciproca es la proposición, también condicional, q p Por ejemplo, la reciproca de Si la salida no va a la pantalla, entonces los resultados se dirigen a la impresora será Si los resultados se dirigen a la impresora, entonces la salida no va a la pantalla. Puede también expresarse en el orden consecuente-antecedente q p ) Implicación inversa o recíproca p q si p q es implicada para p q de modo que p q siempre que p q cada vez que p q puesto que p q es necesario para p q en vista que p q porque p Sólo si p, q Sólo cuando p, q Solamente porque p, q q dado que p q ya que p q cada vez que p q a condición de que p q dado que p q se concluye de p q supone que p q sigue de p Únicamente si p, q 23

25 PROPOSICIÓN CONTRARRECÍPROCA Dada la proposición condicional p proposición, también condicional, q q, su contrarreíproca es la p Por ejemplo, la contrarrecíproca de la proposición Si María estudia mucho, entonces es buena estudiante es Si María no es buena estudiante, entonces no estudia mucho. Ejemplo: Escribir la recíproca y la contrarrecíproca de cada una de las afirmaciones siguientes: (a) Si llueve, no voy. (b) Me quedare, sólo si tú te vas. (c) Si tienes cien pesetas, entonces puedes comprar un helado. (d) No puedo completar la respuesta si no me ayudas. Solución Escribiremos la recíproca y la contrarrecíproca de varias formas. (a) Si llueve, no voy. Reciproca. Si no voy, entonces llueve. 24

26 Llueve si no voy. Una condición necesaria para no ir es que llueva. Una condición suficiente para que llueva es no ir. Contrarrecíproca. Si voy, entonces no llueve. Voy sólo si no llueve. Es necesario que no llueva, para que vaya. Es suficiente que vaya para que no llueva. (b) Me quedaré sólo si te vas. Recíproca. Si te vas, entonces me quedaré. Me quedaré, si te vas. Una condición necesaria para que te vayas, es quedarme. Una condición suficiente para quedarme es que te vayas. Contrarrecíproca. Si no te vas, entonces no me quedaré. No me quedaré si no te vas. Es suficiente que no te vayas, para no quedarme. (c) No puedo completar la respuesta si no me ayudas. 25

27 Reciproca. Si no puedo completar la respuesta, entonces no me ayudas. Contrarrecíproca. Si puedo completar la respuesta, entonces me ayudas. Puedo completar la respuesta sólo si me ayudas. Es necesario que ayudes para poder completar la respuesta. E.- BICONDICIONAL: Cuando dos proposiciones están unidas por el conectivo lógico...si y sólo si..., cuyo símbolo es:,,. La proposición compuesta se denota por: p q, p q, p q y se lee: p sí y sólo si q. La proposición bicondicional solamente es verdadera si tanto p como q son falsas o bien ambas verdaderas. También se suele emplear expresiones como: siempre y cuando es equivalente a es lo mismo que cuando y sólo cuando Si y sólo si p, q siempre que y sólo cuando es idéntico a Es suficiente para que suficiente sea Es condición necesaria y suficiente para por lo cual y según lo cual cada vez que y sólo si si de la forma implica y está implicado por Siempre que y siempre que Ejemplo: Consideremos: p: El que yo te sonría q: Yo te enamore 26

28 De tal manera que la representación del enunciado anterior usando simbología lógica queda indicado por: p q: El que yo te sonría es lo mismo que yo te enamore. p q p q Su tabla de verdad queda de la siguiente manera: TAUTOLOGÍAS Y CONTRADICCIONES Sea P una proposición compuesta de las proposiciones simples p1, p2, pn P es una Tautología si es verdadera para todos los valores p q de p verdad q que se asignen a p1, p2,..., pn P es una Contradicción si es falsa para todos los valores 1 de 0 verdad 0 que se asignen a p1, p2,..., pn Una proposición P que no es tautología ni contradicción se llama, usualmente, Contingencia o indeterminación Ejemplo: Establecer si las siguientes proposiciones son tautologías, contingencias o contradicciones. 27

29 1. p q q p 2)p q r p q p r 3. p q q 4. p p q 5. p q p 6. p q p p q 7. p q r s p r q s IMPLICACIÓN Estudiamos en este apartado la implicación lógica entre dos proposiciones. IMPLICACIÓN LÓGICA Se dice que la proposición P implica lógicamente la proposición Q, y se escribe P =) Q, si Q es verdad cuando P es verdad. Obsérvese que esto es equivalente a decir que P =) Q es falso si P es falso cuando Q es falso, ya que si P es verdad siendo Q falso, no se cumpliría la definición anterior. Ejemplo: Dadas las proposiciones p y q, demostrar que la negación de p ó q implica lógicamente la negación de p. Solución: 28

30 Lo que se pide es probar que p q p, es decir si cada vez que ( p q) es verdad, p también lo es. En efecto, si ( p q) es verdad, entonces p sea verdad. ( p q) es falso, de aquí que p sea falso y, consecuentemente, También podemos decir que si p es falso, entonces p es verdad, luego ( p q)es verdad (cualquiera quesea el valor de verdad de q) y, por lo tanto, p _ q es falso. Ejemplos: 1. Mario Vargas Llosa obtuvo el Premio Nobel de Literatura Fórmula será simplemente: p 2. Democracia significa un modo de vida en el que la libertad y la justicia están presentes. 3. p = Democracia significa un modo de vida en el que la libertad está presente q = Democracia significa un modo de vida en el que la justicia está presente Fórmula: p q 4. O está lloviendo y garuando, o está soplando el viento. p= Está lloviendo; q =Está garuando; r = Está soplando el viento Fórmula: (p q) r 5. Si Pablo se queda, entonces Luis se va. p= Pablo se queda; q= Luis se va Fórmula: p q 6. Cientos de vidas podrían salvarse cada año si la gente utilizara el cinturón de seguridad. 29

31 p = cientos de vidas pueden salvarse cada año; q= La gente utiliza el cinturón de seguridad Fórmula: q p 7. No es el caso que, si la luna está hecha de queso verde, entonces los vehículos espaciales no pueden alunizar en ella. p= La luna está hecha de queso verde; q= Los vehículos espaciales pueden alunizar en la luna Fórmula: (p q) 8. Si los verdaderos amigos tienen todo en común, entonces tú no puedes ser más rico que tu compañero si dices que son verdaderos amigos. p= Los verdaderos amigos tienen todo en común q= Puedes ser más rico que tu compañero r= Dices que tú y tu compañero son verdaderos amigos. Fórmula: p (r q) 9. Dos es un número primo porque sólo es divisible por sí mismo y por la unidad. p = 2 es un número primo q = 2 es divisible por sí mismo r = 2 es divisible por la unidad Fórmula: p (q r) 10. Decir que la suma de sucesiones positivas es una sucesión positiva y el producto de sucesiones positivas es una sucesión positiva equivale a decir que la suma y el producto de dos números reales positivos es un número real positivo. p = La suma de sucesiones positivas es una sucesión positiva q = El producto de sucesiones positivas es una sucesión positiva r = La suma de dos números reales positivos es un número real positivo s = El producto de dos números reales positivos es un número real positivo. Fórmula: (p q) (r s) 30

32 11. Si el Rh de la futura madre es negativo, debe analizarse inmediatamente después de cada parto la sangre del recién nacido y, si ésta es Rh positivo, ha de administrarse a la parturienta el suero apropiado si se desea evitar complicaciones a otros hijos. p = El Rh de la futura madre es negativo. q = La sangre del recién nacido debe analizarse inmediatamente después de cada parto r = La sangre del recién nacido es Rh positivo s = Ha de administrarse a la parturienta el suero apropiado. t = Se desea evitar complicaciones a otros hijos. Fórmula: (p q) (r (t s)) 1.1. VALORACIÓN DE LAS PROPOSICIONES Para determinar la valoración de las proposiciones moleculares, es necesario tener en cuenta las tablas de verdad. Para la construcción de tablas de verdad debemos tener los siguientes hechos: 1. Determinar el número posibles de combinaciones. Si hay proposiciones, el número de combinaciones será n 2 2. Se debe procurar respetar el orden de los valores de verdad dentro de la tabla así por ejemplo: 3. Si hay tres proposiciones, el número de combinaciones serán ; por lo tanto para primera proposición serán 4 verdaderas y 2 falsas; para la segunda proposición 2 verdaderas y 2 falsas; para la tercera: una verdadera y la otra falsa. 31

33 Considere los siguientes ejemplos: a) Los virus son alternados no obstante son virulentos. Por tanto tienen una clasificación Tenemos las proposiciones: p: Los virus son alternados q: Los virus son virulentos r: Tienen una clasificación Se formaliza por: (p q) r Luego: como se puede observar el esquema molecular tiene 3 proposiciones simples, es decir que para este caso se tiene: 2 3 = 8 asignaciones posibles para los valores de verdad en total. La tabla de verdad para el esquema molecular, está dada por: p q r (p q) r b) Siempre que se apruebe el crédito entonces compraré el departamento; sin embargo se aprueba el crédito. Por tanto compraré el departamento. Sean las proposiciones: 32

34 p: Se aprueba el crédito q: Compraré el departamento Se formaliza por: [(p q) p] q La tabla de verdad para el esquema molecular, está dada por: p q [(p q) p] q c) La crisis mundial afecta a los países de bajos recursos económicos pero los analistas en economía buscan soluciones, a pesar de que la crisis mundial no afecta a los países de bajos recursos. Tenemos las proposiciones: p: La crisis mundial afecta a los países de bajos recursos económicos q: Los analistas en economía buscan soluciones p: La crisis mundial no afecta a los países de bajos recursos económicos Se formaliza por: (p q) p La tabla de verdad para el esquema molecular, está dada por: p q (p q) p Como podemos apreciar las proposiciones, las expresamos en forma simbólica; a su vez que podemos encontrar sus valores de verdad. Con el fin de diferenciar los valores resultados de las expresiones, se definen los siguientes conceptos: 33

35 A. Tautología: Una expresión es tautológica, cuando los valores de su conectivo principal resultan ser verdaderos, para todas las asignaciones posibles de la tabla de verdad. Ver ejemplo (b). B. Contradicción o falacia: La expresión resulta ser una contradicción, cuando los valores de su conectivo principal resultan ser falsos, para todas las asignaciones posibles de la tabla de verdad. Ver ejemplo (c). C. Contingencia o indeterminación: Aquella expresión, que en su conectivo principal resulten valores verdaderos y falsos a la vez, para todas las posibles asignaciones de la tabla de verdad. Ver ejemplo (a). ACTIVIDADES 1. Construye la tabla de verdad para cada una de los siguientes esquemas moleculares, y determina si es: tautología, contradicción o contingencia. 1. q (r s) 2. (p q) ~(~p ~q) 3. (p q) (p ~ q) 4. (p q) (q p) 5. ~[~(p q) ~ q] p 6. [(p q) ~ p] (~ q p) 7. [(p q) (p ~ q)] (~ p ~q) 8. [(p q) (p q)] [(p q) (q p)] 9. ~~[(p q) (~p r)] ~(~r q) r 10. [p (q r)] [q (p r)] [(p q) r ] 34

36 2. A continuación se presenta una serie de ejercicios en la cual se especifica lo siguiente: 1. Si p es una proposición falsa, determinar el valor de verdad de: {(p ~r) [r (~q p)]} (p q 2. Si ~[(p ~ s) ~ (r ~s)] ~(q s) es Falsa. Determine los valores de verdad de: a) p q b) r s c) r ~s d) (p ~q) r 3. Si [~(p (~s q)) ~(r ~q)] es verdadera. Determine los valores de verdad de: a) (r p) (q s) b) r s c) r ~q 4. Determinar el valor de verdad de la proposición molecular [(p q) p] (r p) sabiendo que p es verdadera, q y r falsas. Hallar su valor de verdad. 5. Si la proposición (p q) (r s) es falsa, deduzca el valor de verdad de los esquemas moleculares: a) (p q) p b) (p q) [(p q) q] c) (r q) [(q r) s] 6. Si p y r son dos proposiciones cualesquiera y q: 2 es número impar, y [(r q) (r p)] Es de valor de verdad 0, cero, entonces el valor de verdad de los siguientes esquemas moleculares es: a) r (p q) b) [r (p q)] (q p) 35

37 ACTIVIDADES DE EVALUACIÓN 1. Escribe en forma simbólica, identificando cada una de las proposiciones atómicas que aparezca en las afirmaciones siguientes: 1. Esta fiesta es muy divertida y la música es muy buena, por lo cual y según lo cual todos la pasaron de maravilla. 2. Me gusta bailar y leer libros de ciencia ficción, más aún si la música es merengue a no ser que no baile. 3. Si no estoy equivocado, ella conducía un carro rojo, y había un hombre sentado a su lado. 4. Dos niños tienen los mismos apellidos si y sólo si tienen la misma madre y el mismo padre. 5. O Hugo tiene razón, o María y Carlos son o ambos culpables o ambos son inocentes 6. Si se ganan las elecciones y nuestros representantes acceden al poder, confiaremos en ellos si y sólo si cumplen sus promesas y el poder no les corrompe. 7. El abogado no es justo ni competente, a condición de que es falso que no haya consultado con los peritos sobre la cotización del inmueble embargado. 8. Es inobjetable que, una condición suficiente para que los países europeos tengan baja inflación por lo tanto estabilidad económica, es que sus gobiernos tienen programas estratégicos de crecimiento así como modelos económicos. 9. Subirán los intereses bancarios porque subirá la cotización del dólar, en vista de que, subirá la cotización del dólar sólo si el gobierno no puede controlar la inflación. 36

38 10. Los candidatos mienten en sus promesas y el pueblo les cree pero si hablaran la verdad el pueblo no les creería, es por eso que el Perú está como país subdesarrollado. 2. Construye la tabla de verdad para cada una de los siguientes esquemas moleculares, y determina si es: tautología, contradicción o contingencia. 1. [~(p q) ~r] {[ (~p q) ~r] p} 2. [p (q r)] ~ [(p q) (r q)] 3. [~(p q) ~r] [(q ~p) (r ~r)] 4. {p [q (r ~p)]} (q ~s) 5. [~p (~q r)] [(q r) (p r)] 6. {[(p q) r] (p q)} r 7. [(p q) (~p q)] [(p ~q) (~p ~q)]. 3. A continuación se presenta una serie de ejercicios en la cual se especifica lo siguiente: Si la proposición: [(p q) r] (s q), es falsa. Determine los valores de verdad de p, q, r y s 4. Si la proposición: p (q r) es falsa y la proposición s es verdadera. Cuáles de las siguientes proposiciones son verdaderas? I) ( p q) II) s (p r) III) (p q) r IV) (p q) r 5. Si el valor de verdad del esquema molecular: [ (p q) (r q)] (q s) es uno, determine los valores de verdad de: 37

39 a) p q b) r s c) r ~s 6. Decida si cada una de las oraciones siguientes es o no una proposición. 1. Un código postal de la ciudad de Medellín es Tenga un feliz día. 3. Levántese y pase a que lo cuenten = = 6 y =38 6. El baile es saludable. 7. Desde 1950, más personas han muerto en accidentes automovilísticos que de cáncer. 8. Los Mazda son mejores automóviles que los Toyota. 9. Preste atención. 10. El fútbol se juega con un balón. 11. Aristóteles nació en Estagira. 12. Los hombres son mortales. 13. Quiero ir al colegio. 14. Tengo hambre! 15. Debes ir a estudiar. 16. La ballena es un mamífero. 38

40 17. La abeja produce la cera. II. Decida si cada una de las proposiciones siguientes es compuesta. 18. Mi hermana contrajo matrimonio en París. 19. Yo leo novelas y periódicos. 20. Si Jaime es un político entonces Carlos es un ladrón. 21. El sol es una estrella y la luna es un satélite de la tierra. 22. Hace calor pero hay humedad en el aire. 23. Si hace bonito día entonces vamos al paseo. 24. Manuel obtendrá el diploma si y sólo si termina todos sus estudios y paga todos los derechos. 25. El curso de lógica matemática es muy interesante y el de español es sencillo. III. Escriba la negación para cada una de las proposiciones siguientes. 26. Se regarán las flores. 27. El nombre de su abuela es Leticia. 28. Hoy no llovió al norte de Medellín. 29. Cada perro tiene su día. 30. Todos los estudiantes presentes tendrán otra oportunidad, 31. María Teresa irá al baile. 39

41 32. El sol ilumina la tierra y la nieve enfría el páramo. 33. Roma es la capital de Italia. 34. María Teresa irá al baile. 35. El sol ilumina la tierra y la nieve enfría el páramo. 36. Roma es la capital de Italia. IV. Usando las letras: P, Q, R, S y T, para abreviar las proposiciones simples: Egipto disminuye sus aprovisionamientos, Irán eleva el precio del petróleo, Jordania pide ayuda a Estados unidos, Arabia Saudita compra otros quinientos aviones de guerra. Simbolice lo siguiente: 37. Irán y Libia aumentarán el precio del petróleo. 38. Irán y Libia no aumentarán el precio del petróleo. 39. Irán o Libia aumentarán el precio del petróleo pero no lo harán ambos a la vez. 40. Irán eleva el precio del petróleo pero Libia no aumenta el precio del petróleo. 41. Arabia Saudí compra otros quinientos aviones de guerra y o bien Irán eleva el precio del petróleo o Jordania pide más ayuda norteamericana. V. Represente con P a la proposición Ella tiene ojos azules y con Q a Él tiene 43 años de edad y traduzca cada proposición compuesta a palabras. 40

42 42. P 43. Q 44. P Q 45. P Q 46. P Q 47. (P Q) 48. P Q 49. P Q 50. P Q 51. (P Q). 7. Realiza la tabla de verdad para las siguientes proposiciones: 1. ((p q) ( q p)) 2. (p q) 3. (p q) q 4. [ (p q) q ] q 5. (p q) p q 6. (p q) p q 7. [ (p q) r] s 8. (r s) (p s) 9. (s q) p 10. ( P Q ) ( P Q ) 11. 2) P P ( Q P ) 12. 3) ( P Q ) P P 13. 4) ( P Q ) R ( R P ) ( S P) 14. ( P ( Q R ) ( P Q ) ( P R ) 15. (p q) (q p) Ayuda: entra a la siguiente dirección de internet: EMPLOS%2BSIMPLIF%2BLEYES.docx 41

43 8. Decida si cada una de las oraciones siguientes es o no una proposición lógica. Marque con una X las que sean proposición El código postal de Medellín es El 12 de octubre de 1949 fue Miércoles Tenga un día feliz 8+15=23 El baile es saludable 9-4=5 y 2+1=6 Un galón de agua pesa más de 5 libras No todos los números son positivos Levántese y pase a que lo cuenten Los Toyota son mejores autos que los Dodge 9. Decida si las siguientes proposiciones son simples o compuestas Proposición simple compuesta Yo leo novelas y leo periódicos 3 + 5<6 Luís canta o baila Si Francisco no es un político, entonces Edgardo es un ladrón Mi hermana contrajo matrimonio en París 10. En la columna de la izquierda hay una lista de proposiciones. Para cada una de ellas, indique si la correspondiente proposición a la derecha es o no su negación. Si no lo es, escriba correctamente la negación. Proposición El pizarrón es verde El pizarrón es negro 4 es múltiplo de 8 4 no es múltiplo de 8 El conjunto A tiene un solo elemento El conjunto A es vacío A es un conjunto vacío A tiene al menos un elemento A B A > B A B A B A < B C Hoy no llovió en Medellín A B ó B>C Hoy llovió en Medellín 11. Represente con p la proposición Ella tiene ojos azules y con q a El tiene 43 años de edad. Traduzca cada proposición compuesta a palabras. A Proposición p Traducción 42

44 B C D E pq p q q pq p q F p q G H p q 20- Conteste 1. Si sabemos que p es verdadera Qué podemos decir acerca del valor de verdad de pq, aun cuando no tenemos el valor de verdad de q? 2. Si p es falsa, Qué podemos saber acerca del valor de verdad de p q, aun cuando no tenemos el valor de verdad de q? 3. Si p es falsa, Cuál es el valor de verdad de p q r? 12. Si p es una proposición falsa y q una proposición verdadera. Encuentre el valor de verdad de las siguientes proposiciones compuestas: b) d) p q p g) h) p q a) p q c) q q e) p q f) p q q p q 13. Suponga que p representa una proposición verdadera y q y r son proposiciones falsas. Encuentre el valor de verdad de las siguientes proposiciones compuestas a) q r p b) r q r q c) p q r q 14. Construya la tabla de verdad para cada una de las siguientes proposiciones compuestas a) p q q p q b) c) p q p q 43

45 15. Decida cuando cada proposición es verdadera o falsa 1. Si el antecedente de una proposición condicional es falso, la proposición condicional es verdadera. 2. Si el consecuente de una proposición condicional es verdadero, la proposición condicional es verdadera. 3. si q es verdadera, entonces p q q es verdadera. 4. La negación de Si los cerdos vuelan, yo lo creería es si los cerdos no vuelan, yo no lo creería 5. La proposición si esto vuela, entonces es un pájaro y esto no vuela o es un pájaro son proposiciones lógicas equivalentes. 6. Dado que es verdadera. 16. Complete la siguiente tabla. p es verdadera y q falsa, la condicional p q Si hace frío entonces uso guantes 2x>10 si x>5 Todo cuadrado es paralelogramo Ser mendocino es suficiente para ser argentino Antecedente Consecuente p q r 17. Sean p, q y r : está lloviendo'' : el sol está brillando'' : hay nubes en el cielo''. las proposiciones siguientes: Traduzca los siguientes enunciados a notación lógica, utilizando conectivos lógicos. p, q, r y 1. Si está lloviendo, entonces hay nubes en el cielo. 2. Si no está lloviendo, entonces el Sol no está brillando y hay nubes en el cielo. 3. El Sol está brillando si y sólo si no está lloviendo. 4. Si no hay nubes en el cielo, entonces el Sol está brillando. 44

46 p 18. Sean, y r como en el ejercicio anterior. Traduzca las siguientes proposiciones a oraciones en español. q 1. ( p q) r 2. p ( q r) 3. ( p r) q 4. ( p ( q r)) 19. Realice la tabla de verdad y concluya si se trata de una tautología, una contradicción o una contingencia. 1) ( p q ) q 2) ( p v p ) ( q q ) 3) ( p q ) (q p) 4) ( p p ) r 5) ( p q ) ( q v r ) 6) ( p q ) ( q p ) 7) ( p v q ) ( p q ) 8) [( p q ) v ( p r )] [( p q r ) ( p q r )] 9) { [( p q ) r ] [ ( p v q) r] } v ( q r ) 10) [( q r ) p] [( r v s) (p v q)] 11) p ( q r ) [( t t ) ( s v q )] ( p v s)} 12. ( p q ) p ( q v r ) ( q r ) 13. ( p q ) ( p q ) ( p q ) 14. ( p q ) v r r ( p q ) 15. p (q r )] ( r s ) } {( r s ) [ p ( q r )]} 16. ( p q ) ( q r ) ( p r ) 17. ( p r ) ( q s ) [( p q ) (r s )] 45

47 20. Formalizar el siguiente razonamiento: ( Es decir, que siga la lectura y simbolice el enunciado, utilizando las letras proposicionales P, Q, R, S, T Si utilizo un amperímetro, averiguaré la intensidad de la corriente eléctrica que atraviesa este circuito. Si utilizo un voltímetro, averiguaré la diferencia de potencial existente entre dos puntos del mismo. Si averiguo la intensidad y la diferencia de potencial, podré calcular la resistencia eléctrica del conductor. Utilizo un amperímetro y un voltímetro. Luego, podré calcular la resistencia eléctrica del conductor {( p q ) ( r s ) [ ( q s ) t ] ( p r ) } t 21. Sabiendo que p tiene valor de verdad igual a 1, que q es cero (0), y r es cero (0), determinar el valor de verdad de las siguientes proposiciones: [ ( p ( q r)] ( p q) ( p v q) p (q r) [ p (p r)] r 6. [ (p q) q r) ] (p r) q (p r) 22. Demostrar que los siguientes esquemas moleculares son equivalentes a) p ( q r ) ] [ ( p q ) ( p r ) b) p ( q r ) ] ( p q ) ( p r ) c) ( p ( q r) (p q ) r d) (p (q r) (p q) r e) ( p q ) ( p q ) f) ( p q ) ( p q) 46

48 LEYES DE AL LÓGICA En lógica, las tautologías son conocidas con el nombre de leyes o principios lógicos. A continuación anotamos las principales leyes que vamos a utilizarlos en el futuro y que usted de familiarizarse: L- 1: Leyes de Idempotencia para y para Si p es una proposición simple o compuesta, entonces: a. (p p) p b. (p p) p Según estas leyes, las proporciones ( p p) o (p p) pueden sustituirse por p. L 2: Leyes de Identidad para y para Si p es una proposición simple o compuesta, entonces: a) p ( 1 ) ( 1 ); es decir, cuando formamos la disyunción de una proporción p, cuyo valor de verdad es desconocido, con otra cuyo valor de verdad de ( 1 ), el resultado es ( 1 ), ya que la disyunción es ( 1 ) cuando al menos una de las proposiciones dadas es verdadera. b) p ( 0 ) p; es decir, el valor de verdad de la disyunción de una proposición p, cuyo valor de verdad no conocemos, con otra cuyo valor de verdad es ( 0 ), depende del valor de p. c) p ( 1 ) p; en este caso el análisis es similar a la parte b), teniendo en cuenta que aquí el conector es 47

49 d) p ( 0 ) ( 0 ); el análisis es similar al de la parte a), teniendo en cuenta aquí que el conector es L- 3: Leyes Conmutativas y para Si p y q son proposiciones, entonces: a) ( p q ) ( q p ) b) (p q ) (q p), es decir, dos proporciones conectadas con pueden escribirse en cualquier orden. L - 4: Leyes Asociativas Si p, q,, son proposiciones cualesquiera, entonces: g) ( p ( q r) (p q ) r h) (p (q r) (p q) r L 5: Leyes Distributivas: Si p, q, r son proposiciones cualesquiera, entonces. i) [ p ( q r ) ] [ ( p q ) ( p r ) j) p ( q r ) ] ( p q ) ( p r ) Estas leyes son similares a las que conocemos en el álgebra para la suma y la multiplicación. Recordemos que: 4( x + y ) = (4x) + ( 4y) L 6: Ley de la Doble Negación: 48

50 Si p es una proposición simple cualquiera, entonces: ( p ) p Al negar dos veces una proposición obtenemos una afirmación. L 7: Ley del Tercer Excluido: Si p es una proposición cualesquiera, entonces: ( p p) (1 ) Estas leyes nos indican cómo negar una disyunción y una conjunción. La parte: a) establece que para negar una conjunción es necesario cambiar la conjunción por disyunción ( por ) y negar las proposiciones dadas. La parte b) establece que para negar una disyunción debemos cambiar la disyunción por la conjunción (la por ) y negar las proposiciones dadas. Ejemplo: Negar la proposición: 7 es un número primo y 30 es divisible por 5. Solución: Cambiamos y por o y negamos las proposiciones simples que forman el enunciado, así: 7 no es un número primo o 30 no es divisible por 5. L 10: Ley de la condicional: Usando tablas de verdad podemos verificar que: p q equivale a p q. La proposición p q es una abreviación de la proposición p q; es decir: ( p q ) ( p q) 49