Capitulo Légica Il proposicionalACERCA DE LA HISTORIA DE LA LOGICA Laevolucién de la Logica esta intimamente igada al perfeccionamiento intelectual del ser humano, ya Que como ciencia del razonamiento, su historia incorpora la historia misma del hombre. La Logica florece desde el primer momento en que el hombre, al enfrentar a la naturaleza, infiere, deduce y azona, con el énimo de entenderla y aprovecharla para su supervivencia. Existen varios enfoques acerca de cémo explicar la evolucién de la Légica. Poincare la divide en cinco etapas 0 revoluciones, que se presentan oscilando entre dos grandes tépicos: del rigor y la formalidad, a la creatividad y el aos. Las etapas se identifican como revolucién matematica, revolucién cientifica, revoluci6n formal, rrevolucion digital y la prevista siguiente revolucién logica. El objetivo de la Logica matemitica es cuestionar con el mayor rigor los conceptos y las reglas de deduccién utilizados en matematicas, constituyendo la Logica, por ello una verdadera matemiética. Una teoria materndtica considera objetos definidos (enteros, por ejemplo) y define leyes que relacionan a ‘est05 objetos entre si (los axiomas de la teoria). De los axiomas se deducen nuevas proposiciones (los teoremas), ya veces, nuevos objetos. Durante el periodo de 600..n.e. hasta300..ne., en Grecia se desarrollaron los principios formales de las matemsticas. Sus principales representantes son Platén, Aristoteles y Euclides. Platén introduce sus ideas 0 abstracciones, Aristoteles presenta el razonamiento deductivo y sistematizado y Euclides es el personaje que mayor influencia tuvo en las mateméticas, al establecer el método axiomitico. Después de declinar la escucta clisica de los griegos, se presenta un periodo en el cual la autoridad religiosa embrutecié a la creatividad intelectual. EI Renacimiento inicia una nueva era en ta cual se permite la revitalizacién de la ciencia y las matemiticas. Los representantes mas destacados de esta ‘etapa son Descartes, Newton y Leibniz. Este periodo abarca de los 1500 a los 1800. Esta etapa se caracteriza por el resurgimiento de la formalizacién rigurosa de las mateméticas, ‘que en la etapa clisica griega fue representativa. En este periodo se crea la Logica simbalica, la escuela formal, la logica booleana, el célculo proposicional, la induccion matemstica. Personajes muy notables de esta etapa son Peano, Hilbert, Frege. Boole, de Morgan, Gentzen, Russell, Gide! y Whitehead. A Rusell y Gédel se deben los planteamientos de las limitantes de la Légica y de la ciencia en general, Esta revolucién se inicié con lainvencién de fa computadora digital y el acceso universal a redes de alta ‘velocidad. Turing une ala Légicay la computacién antes que cualquier computadora fuera inventada. Wiener funda la ciencia de la bernética. En la escucta moderna de la computacion estin presentes kbgicos que han pPermitido avances importantes: Hoare presenta un sistenta axiomatico de los sistemas de programacién y Dijkstra un sisterna de verificacion y deduccién de programas a partir de especificaciones. La siguiente revolucion légica serd la asimilacién practica de las matemiiticas y la computacion dentro de Ia Logica. Se hard énfasis en que las computadoras exploten ia informacién inteligentemente, pasando de las bases de datos a las bases de conocimientos. FUENTE: BLASCO CARRO, Pedro, CHICO GONZALES, Pedro. Filosofia y Ligica. Lima. Editorial Bruno.Logica calm ove] “= proposicional OBJETIVOS + Conocer las reglas que asume el proceso de pensamiento que refleja la realidad. + Valorar la importancia de la Logica en las demostraciones matematicas. + Dominar el célculo proposicional para analizar la verdad 0 falsedad de las proposiciones compuestas. Introduccion Qué es la ligien? ‘Si un vaso de vidrio cae al piso, es logico que se quiebre. Si estudio con bastante dedicaci6n, es légico que apruebe el examen. Una probable respuesta seria que damos a entender que existe una coherencia 0 sentido correcto en fo que hacemos, pero también poderos afirmar que siempre extraemos conclusiones, lo cual es inherente a nuestra capacidad racional, Tanto enla vida diaria como, sobre todo, en la investigacion cientifica, el ser hurnano debe muchos de sus éxitos 0 fracasos a la eficacia de sus razonamientos, dado que estos le permiten conocer mejor la realidad. En tanto que un mal razonamiento, con frecuencia, prolonga el cambio hacia el conocimiento verdadero. La Logica se ocupa, justamente, de determinar qué es lo que hace que un razonamiento sea corecto ono lo sea. La Logica nace en Grecia antigua, en el sexto siglo a.ne., con Tales, el primer matematico de Ja Historia, pero pasé algiin tiempo antes de que Aristételes inicie su sistematizacién y otro tiempo mayor atin para que asuma el aspecto modemo de ciencia. Actualmente, aparece como una ciencia rigurosa, con un lenguaje técnico elaborado y preciso, pues la utillzacién que hace del simbolismo te permite evitar las confusiones y ambigtiedades del lenguaje natural. A la Logica en su estado actual de desarrollo, se le conoce como Logica simbélica o légico-matematica, nombres que aluden a su uso sisterdtico del simbolismo y al parecido de sus procedimientos con los de la Matematica. 1fhe Lumbreras Editores Aritmética En Jos tilfimos tiempos se ha escuchado hablar de la inteligencia artificial, la cual se basa en la Légica difusa; veamos a continuacién de que se trata. Los conjuntos difusos fueron introducides por primera vez en 1965: la creciente disciplina de la logica difusa provee por si misma un medio para acoplar estas tareas. En determinado aspecto, la Légica difusa puede ser vista como un lenguaje que permnite trasiadar sentencias sofisticadas en lenguaje natural a un lenguaje matemnético formal. Mientras la motivacién original fue ayudar a manejar aspectos componentes imprecisos del mundo real, la practica temprana de la Légica difusa_permitié el desarrollo de aplicaciones practicas. Aparecieron numerosas publicaciones que presentaban los fundamentos basicos con aplicaciones potenciales. Esta frase marcé una fuerte necesidad de distinguir la logica difusa de la teoria de probabilidad. Tal comola entendemos ahora, la teoria de conjuntos diftssos y la teoria de probabilidad poseen diferentes tipos de incentidumbre. En 1994, la teoria de la Logica dif usa se encontraba en la cumbre, pero esta idea no es nueva para muchos. Estuvo bajo el nombre de Logica difusa durante 25 afios, pero sus origenes se remontan hasta hace 2500 afios. Atin Aristételes consideré que existian ciertos grados de veracidad y falsedad, y fue Platén quien opt6 por los grados de pertenencia. En el siglo XVIII el fildsofo y el obispo anglicano Irlandés; George Berkeley y David Hume, describieron que el nticleo de un concepto que atrae conceptos similares. Hume, en particular, crefa en la logica del sentido comin, el razonamiento basacio en el conocimiento que la gente adquiere en forma ordinariamente mediante vivencias en el mundo. En Alemania, Emmanuel Kant consideraba que solo los materndticos podian prover definiciones claras, y muchos principios contradictorios no tenian solucion. Por ejemplo sobre esto era la materia que podia y no podia ser dividida infinitamente. Particularmente la escuela americana de la filosofia Hamada Pragmatismo fundada a principios de siglo por Charles Sanders Peirce, se fundamentaron en estos conceptos. Fue el primero en considerar vaguedades, mas que falsas 0 verdaderas, como forma de acercamiento al mundo ya la forma en que agente funciona. La idea de que la Logica produce contradicciones fue popularizada por el filésofo y matematico tritanico Bertrand Russell, a principios del siglo XX. Su estudio sobre las vaguedades del lenguaje concluy6 con precision que la vaguedad era un grado. E1filésofo austriaco Ludwing Wittgenstein estudi las formas en las que una palabra puede ser empleacia para muchas cosas que tiene algo en corntin. La primera Logica de vaguedades fue desarrollada en 1920, por el filésofo Jan Lukasiewicz visualiz6 Jos conjuntos con un posible grado de pertenencia, con valores de 0 y 1, para después extenderlos a ‘un numero infinito de valores entre Oy 1. En los anos sesenta, Lofti Zadeh inventé la Logica difusa, que era aquella que combinaba los conceptos de la Logica y de los conjuntos de Lukasiewicz mediante la definicion de grados de pertenencia, es decir, tornando ciertos grados de verdad y falsedad. Esto surge porque comunmente lo que para ciertas personas es verdadero, para otras podria ser falso; por ejemplo, dos personas conversan y una de ellas comenta que tiene frio, mientras que la otra manifiesta tener calor. 72CAPITULO It Logica proposicional Es asi que la Logica difusa es un lipo de Logica que reconoce mas que simples valores verdaderos falsos. Con ta Logica difusa, las proposiciones pueden ser representadas con grados de veracidad 0 falsedad. Por ejemplo, la sentencia hoy es un dia soleado, puede ser 100% verdad si no hay nubes, 80% verdad si no hay pocas nubes, 50% verdad si existe neblina y 0% si llueve todo el dia. Esta l6gica ha sido probada para ser particularmente titi en sistemas expertos y otras aplicaciones de inteligencia artificial. Es empleada en algunos correctores de voz para sugerir una lista de probables palabras a reemplazar en una mal dicha, también lo podemos notar en los procesadores de texto que tienen corrector oniografico. La Légica difusa, que hoy en dia se encuentra en constante evolucién, nacié ‘en los afos 60 como la Légica del razonamiento aproximado; en ese sentido, podia considerarse una extensién de la Logica multivaluada. La Logica dif usa actualmente esta relacionada y fundamentada en la teoria de los conjuntos difusos. Segin esta teoria, el grado de pertenencia de un elemento aun conjunto serd determinado por una funci6n de pertenencia que pueden tomar todos los valores reales comprendidos en el intervalo [0, 1]. La Légica difusa (llamada también Légica borrosa por otros autores) 0 Fuzzy logic (en inglés) es, basicamente, una légica con mtiltiples valores, ya que permite definir valores en las éreas oscuras entre las evaluaciones convencionales de la légica precisa: si/no, cierto/falso, blanco/negro, etc. Es por esto que se le considera un super conjunto de la Légica clasica. Con la Logica difusa, as proposiciones pueden serrepresentadas con grados de certeza o falsedad. La Logica tradicional de las computadoras ‘operaba con ecuaciones muy precisas y dos respuestas: si o no, uno 0 cero. Actualmente, para aplicaciones de computadores muy mal definidas 0 sistemas vagos se emplea la Logica difusa. Por medio de la l6gica difusa, pueden formularse matematicamente nociones como un poco caliente © muy frio, para que sean procesadas por computadoras y cuantificar expresiones humanas vagas, tales como muy alto o luz brillante. Con este proceso, se intenta aplicar la forma de pensar humana a la programaci6n de los computadores, Permite también cuantificar aquellas descripciones. imprecisas que se usan en el lenguaje y las transiciones graduales en electrodomésticos como ir de agua sucia a agua limpia en una lavadora (lo que permite ajustar los ciclos de lavado a través de sensores). La habilidad de la l6gica difusa para procesar valores parciales de verdad ha sido de gran ayuda para la ingenieria. En general, se ha aplicado en los sisternas expertos (GPS) sistema que permite la ubicacién con determinada certeza; los verificadores de ortografia, los cuales sugieren una lista de palabras probables para reemplazar una palabra mal escrita. (Los encontramos en los procesadores de texto y en los mensajes de celulares); el control de sistemas de trenes subterréneos (el tren bala en Japén), aquellos edificios que se denominan inteligentes porque poseen sensores que permiten evaluar la temperatura (asi en un dia muy frfo permitird encender la calefaccién o si hace calor encender el aire acondicionado) 0 encender las luces en una determinada hora; también posee sistemas que permiten detectar corto circuitos; fugas de gas y activar inmediatamente la alarma. 73Lumbreras Editores En primer término, consideremos un lenguaje como un conjunto de sonidos, letras gestos y simbolos mediante los cuales se trasmite un mensaje. En el lenguaje oral o escrito, nos referimos a letras, palabras 0 vocablos que al agruparse pueden tener significacién o carecer de ella. En segundo término, el juicio es el acto mental por el cual pensamos cualquier enunciado. En tercer término, una sentencia es una serie de signos a través de los cuales se expresan ideas. Finalmente, en cuarto término denominaremos enunciado a la expresién de una idea, esto es cualquier frase, expresin u oracién que nos exprese una o mas ideas. De esta manera, los enunciados pueden ser de dos tipos: atomicos y moleculares, ENUNCIADO ATOMICO Es aquel que carece de conjunciones'. Ejemplos + Pedro es ingeniero industrial + Laeconomia peruana es independiente. ENUNCIADO MOLECULAR Se obtiene combinando enunciados atémicos mediante conjunciones. Ejemplos + Antonio es un buen estudiante y la guitarra de Mariela es pequena. * Cuando Antonio es buen estudiante su madre esta contenta. En el estudio de la Logica es conveniente utilizar expresiones uniformes con el fin de como conjunciones se pueden expresar con = Condicional | siysotos.. | « | = | Bicondicional | Antes de realizar el estudio de las proposiciones compuestas basicas, vearnos de cuantas formas podemos combinar los valores de falso 0 verdadero de las proposiciones simples. Al tratar simulténeamente, observarnos que son varias de ellas, dichas combinaciones se presenian en una tabla, a la cual se le denomina ‘Tabla de verdad. El niimero de combinaciones, se obtiene con la expresi6n 2" (el exponente es el nimero de proposiciones analizadas).CAPITULO IL Ejemplo Es conveniente un mismo procedimiento para anotar las combinaciones posibles, de acuerdo con el nimero de proposiciones simples componentes. ‘Cuando hay solo una proposicion es evidente que no caben mas que dos posibilidades: es verdadera 0 falsa. Asi tenemos la tabla de alternativa para los valores de una proposicién p. Cuando se trata de dos proposiciones simples, el procedimiento serfa el siguiente: Blija dos columnas (una proposicién), en la primera de la derecha anote primero una Vy luego una F. Continde asi, de arriba hacia abajo hasta completar fa columna. mlela| [a] v F v F Proposicién conjuntiva o conjuncién (a) Son aquellas proposiciones que se relacionan mediante el conectivo légico y, 0 expresiones equivalentes. Ejemptos * Darwin fue bidlogo y Newton fisico. + E113 es nimero impar ademés es primo. + Laactriz es bella pero idealista. Cuando el conectivo légico y es empleado para enlazar dos proposiciones, tiene el sentido de afirmar que son simultaneamente verdaderas. Por ejemplo, al decir "Darwin fue bidlogo” y "Newton fue fisico’, el contenido y tiene la - funcién de sefialar que las dos proposiciones conjuntas son igualmente verdaderas.CAPITULO I Se simboliza la conjuncién gramatical mediante el signo a, el cual se coloca entre las proposiciones conjuntadas; de tal manera que si Pesla proposicién "Darwin fue bidlogo" y ¢ esla proposicién "Newton fue fisico”, la conjuncién de ambas es representada png (que se lee, pq). Puesto que la conjuncién de dos proposiciones cualesquiera indica la verdad simulténea de ambas, la proposicién compuesta resultante es verdadera si efectivamente son verdaderas ambas. En otros casos, la proposicién resultante seré falsa. Los valores que pueda tomar (» » g) con relaci6n a los valores de sus componentes p y q estén definidas de la siguiente tabla de verdad: Una proposicién conjuntiva serd verdadera ‘solo si sus proposiciones componentes son verdaderos; en otros casos, sera falsa. ‘Mediante la conjuncién es posible relacionar tanto proposiciones simples como compuestas, por ejemplo, puede conjuntarse la proposicion P-con la proposicién (~q); y de la proposicion resultante pa~q, también se puede hacer una tabla de verdad, De acuerdo con los valores de verdad de las proposiciones simples que intervienen, el procedimiento es. Primer paso Se anotan las combinaciones de los valores de verdad de las proposiciones simples. Légica proposicional Se anota el valor de verdad de la conjuncién en cada regién de acuerdo a los valores de los componentes en cada regién. La tabla de verdad de la proposicién pa~q nos muestra que es verdadera solo cuando p es verdadera yq es falsa. En general, podriamos sefialar que una tabla de verdad es un procedimiento. grafico que permite determinar los posibles valores de verdad de una proposici6n compuesta, a partir de las combinaciones de los valores de verdad de sus proposiciones componentes. 79Lumbreras Editores Proposicion disyuntiva o disyuncién Son aquellas proposiciones que se relacionan mediante el conectivo légico 0, u otras expresiones equivatentes. Ejemplos + Hace frio 0 esta lloviendo. * 10s paro mitiltiplo de 2. + Estd despierto 0 esté durmiendo. En los primeros ejemplos el conectivo o nos indica que al menos una de ellas es verdadera (aunque también pueden ser ambas). Por el contrario, en el tercero se excluye la ocurrencia simulténea de ambas proposiciones. Es asi que una proposicién disyuntiva puede ser: Inclusiva 0 débil (v) Es aquella en la cual se consideran las posibles ocurrencias simultneas o individuales de las proposiciones componentes. Aplicacton 3 Carlos es materndtico 0 poeta. Analicemos los valores de verdad para esta proposici6n. Resolucién Elconectivo 0 nos indica que al menos una de las proposiciones es verdadera y se simboliza con el signo v. Por ejemplo, sip es la proposicién Carlos es matemético y q es la proposicion Cartos es poeta, la disyuntiva de ambas es p vq (que se lee p y/o q). Puesto que la disyuntiva de dos proposiciones cualesquiera indica la verdad de al menos una de elias, la proposicin compuesta resultante es verdadera si efectivamente al menos una de ellas es verdadera. 80 Aritmética Esto lo podemos reducir en la siguiente tabla: Una proposicién disyuntiva inclusiva es falsa solo si sus proposiciones components son falsas; en otros casos, es verdadera. En una disyuntiva, los componentes pueden ser tanto proposiciones simples como compuestas. Por ejemplo, podemos poner en disyuncién la proposicién simple p con la proposicin compuesta (png) resultando Pv (pq). De esto podemos hacer su tabla de verdad, siguiendo el procedimiento similar al caso de (p A~q) visto anteriormente. alalele mle|ale miajele mi[alele aiaimleCAPITULO II Exelusiva o fuerte (A; v) Esta disyuntiva excluye la posibilidad de ‘ocurrencia simulténea de ambas proposiciones componentes. Aplicacién 4 Si consideramos con r a la proposicién simple *Estds despierto" y con s la proposicién simple *Fstés durmiendo’, la disyuntiva se simboliza con el signo A. Luego, (rAs) seré: "O estas despierto 0 estas durmiendo”. Elabore su tabla de verdad. Resolucién Dado que se excluye la ocurrencia simultanea de ambas proposiciones, la proposicién resultante seré yerdadera solo en el caso que una de las componentes sea verdadera y la otra ‘componente sea-falsa. Los valores que pueda asumir As estan definidas en la siguiente tabla de verdad: [een re [EA al<|al< al<|<|a Una proposicion disyuntiva exclusiva es verdadera, si las proposiciones que la conforman tienen valores de verdad diferentes. Condicional (>) Son aquellas proposiciones. que se relacionan mediante el- conectivo légico Si ...entonces... 0 sus expresiones equivalentes. Ejemplos * Si estudias, entonces ingresarés a la + Si pago la entrada, entonces ingreso al cine. El conectivo Si ...entonces..., se simboliza mediante el signo —, el cual se escribe entre las dos proposiciones relacionadas, del ejemplo anterior, si p es la proposicién simple "pago la entrada" y q es la proposicién simple "ingreso al cine", luego la condicional se simboliza por pq. La proposicién condicional consta de dos partes: el antecedente y el consecuente. Lg odd od Antecedente Consecuente EI sentido de este conectivo es sefalar que si la proposicién antecedente es verdadera, también lo es la proposicién consecuente, es decir, basta 0 es suficiente que el antecedente sea verdadero para que el consecuente también sea verdadero. De aqui que una condicional solo sera falsa si el antecedente es verdadero y el consecuente es falso. La tabla de verdad de la condicional es la siguiente: La proposicion condicional es falsa solo en el caso que el antecedenite es verdadero y el consecuente es falso. 81Aritmética Lumbreras Editores La proposicién condicional puede ser: Directa El antecedente y consecuente van en este orden, respectivamente. Ejemplos + Sillueve, entonces me mejoraré. antecedente ‘consecuente + Nacié en ica, de modo que es iquefio. antecedent consecuente + Marytiene fiebre, por lo tanto esta enferma. antecedente consecuente Inversa El consecuente y antecedente van en este orden, respectivamente. Ejemplos consecuente ——_antecedente + Entrards al cine solo si pagas. consecuenite antecedenite BICONDICIONAL (4+) Son aquellas proposiciones que se relacionan mediante el conectivo légico si y solo sl 0 sus expresiones equivalentes. Ejemplos + Un Angulo es recto, siy solo si su medida es 90°. * La educacién mejoraré cuando, y solo cuando se tenga una sociedad justa. El conectivo si y solo sl se simboliza mediante el signo «, y que al relacionar dos 82 proposiciones indica que el valor de verdad de ambas es el mismo, ya sea verdadero 0 falso. Si p es la proposicién un dngulo recto y q es fa proposicién la medida del dngulo es 90°; luego se tiene pesg (se lee: p si y solo si q). En realidad, la bicondicional es la conjuncién de dos proposiciones condicionales, es decir, la proposicion perg tiene el mismo sentido que (pq) (gp). En consecuencia, la tabla de verdad de (peg) es la misma de 9) @~p). De ahi La proposicién bicondicional es verdadera ‘en el caso de que las proposiciones que la -conforman tenga el mismo valor de verdad.CAPITULO I Logica proposicional Resumen de Ia tabla de verdad de las proposiciones segin Scholz ep | a |] pa ‘i pva pq | po | peg ¥ glee. [ares v v F v v v | FP F v v F F si x ¥ FE. ¥ v v F Fe} SFP F F F v v CIRCUITOS LOGICOS Ejemplos Sonbasicamente unarreglodeinterruptores ~ PA >") conocidos comocompuertaslégicas,dondecada. * | 7) —>p compuerta légica tiene su tabla de verdad. Y si pudiéramos ver en mas detalle su construccion veriamos que es un circuito formado por tuansistores, resistencias, diodos, etc, conectados de manera que se obtienen salidas especificas para entradas que también lo son. La utilizacién extendida de las compuertas. logicas simplifica el diseno y andlisis de circuitos complejos, mientras que la tecnologia moderna permite la construcci6n de circuitos integrados (IC's) que se componen de miles (o millones) de compuertas légicas. Veamos, a continuacién los circuitos lgicos mas simples: pag ——/“p—/q—. (circuito en serie) =p, Tb (Gircuito en paralelo) ee ESQUEMA MOLECULAR © FORMULA PROPOSICIONAL pvq:—| Es la combinacién de variables proposicionales, conectivos ldgicos y signos de agrupacién. Si un esquema molecular no ofrece ambigiedad en la funcién que tiene cada uno de los conectivos légicos, se dice que es una formula bien formada. * -Ibeg rl de los conectives es de mayor alcance © jerarquia, él cual va a dar el nombre al esquerna molecular. Para los ejemplos anteriores -conectivo que predomina pa@on Luego el esquema es conjuntivo el que predomina ea Luego el esquema es condicional ‘el que predomina Alpeg on Luego ef esquema es negative ‘Observe a importancia de los signos de colecci6n, estos determinan el nivel de jerarquia de los conectivos. 83Lumbreras Editores Evaluacién de esquemas moleculares por tabla de verdad Consiste enobtenerlos valoresdelcontenido de mayor jerarquia a partir de los valores de cada una de las variables proposicionales. Apllicacién s Evaliie el sistema molecular A: (pa~q)v(q>p) én, seguiremos Jos siguientes 1, Determinamos el contenido de la mayor jerarquia. A: @a-q)v@—p) eS A es.un esquema disyuntivo, 2. Seubica el esquema molecular en una tabla de verdad y se completa. En el esquema molecular, hay dos proposiciones simples (pyq), ego se tendré 2* = 4 combinaciones de valores de verdad parap yg. cconectivo predominante (resultado principal) [o[ale pene Vi VPS Ty eT. ree vir viv Vv a F ua BE VIE F F Fiv F Fe F F iE, r viv © ¥ F =I = Estas columnas determinan Jos valores del contenido disyuntivo, en la matriz principal. 84 Aplicacion 6 Evaltie ~Uevg)a—plog} Resolucion Note que este conectivo afecta a toda la proposicion {pv ~ -pPl > at F Fo Perv mlV)v VI 6 War) ea eae Iv vvle F Vee F F Clasificacién de los esquemas moleculares Segiin los valores obtenides en la matriz principal, los esquemnas moleculares se clasifican ast. ‘Tautologia (T) Cuando Ios valores de la matriz principal resultan ser todos verdaderos.CAPITULO I Aplicacion 8 Sea (p vq) + (~p rg), indique si es tautolégico. Por lo tanto, el esquema es tautolégico. Contradictorio (1) Cuando los valores de la matriz principal resultan ser todos falsos. Aplicacion 9 Sea I(p 14) v ql A~a, sehale si es un esquema contradictorio Por lo tanto, el esquema es contradictorio. Consistente contingente (Q) ‘Cuando en la matriz principal hay por lo ‘menos una verdad y una falsedad. Logica proposicional Aplicacién 10 Dado (p + q) v (p + g), evalie si el esquema es consistente. Resolucién Por lo tanto, el esquema es consistente. resulta ser tautol6gica, si A es el antecedente y B el consecuente, cuando (A -» B) es tautologico, decimos que A implica a B. Se denota asi (AB). jemplo A:(~pvq)B: (~g>~p) Eyaluando la condicional A +B v v v v vie F v F ray v v v ef v v v Luego A = B (A implica a B) Equivalencia légica (+) Es aquella proposicién bicondicional que resulta ser tautolégica. Si las componentes de la bicondicional son A y B, ademés esta es tautologica, la equivalencia légica se simboliza asi (AB). 85Lumbreras Editores Ejemplo Evaliie A:p 4g; B: ~(p .~g) Resolucion Evaluando la bicondicional (A «+ B), es decir, A €s equivalente a B y B es equivalente aA. Asimismo, se afirma que las proposiciones A y B son logicamnente equivalentes ya que sus tablas de verdad son iguales, siendo indistinto el uso de uno de ellos por la otra. Se denota también como A = B; ademés si (A <> B) > (A = B) (Ley de légica) LEYES DE LA LOGICA PROPOSICIONAL Idempotencia * pap=p + pyp=p Conmutativa * paqeqap * pyqzqyp Asociativa * @vg)yr=pyqvr) + Bagarepatgan Distributiva + pv@rn=bvgawvn + pa@vAe@ngvonan De D'Morgan + ~pval=~pa~g * ~(Paqg=-—pv~q De Absorcién * pyveagde=q + pabyg=p * py(prg=pyg + patpvg=pag 86 Aritmética De Ia condicional oN Page e Ve De Ia bicondicional + peg=boga@-p) Dei complemento + py-p=V (tautologia) + pa-p=F (contradiccién) + CP) pyV=V * paver + pyF=p paF=F La demostracién de estas leyes es bastante ‘sencilla, solo debemos utilizar tablas de verdad. Por ejemplo: > a)=(~pvq) Veamos (p>) (pv) es una tautologia ~ (p>g)=(~pvg) Veamos ahora py~p=V PB 2 py~pavProbtemas Resueltos Problema Represente simbolicamente: Iremos a nadar a menos que et cielo no esté despejado, ya que no hemos traido carpa. Halle la expresion equivalente, A) ~p>rvq) B) (~pynng C)pagar D)ipvn—rg E)pv(qan) Resolucién p: iremos a nadar @: elcielo est despejado. hemos traido carpa. Segiin el enunciado, simbolizamos de la siguiente manera: ~r>(~q>p)=Gvavp) =py(rvq) =-~potrva) Eee Problema 2 De las siguientes proposiciones, icudles son equivalentes entre si? |. Es necesario que Juan no vaya al cine para que termine su tarea. IL No es cierto que Juan termine su tarea y vaya al cine. IIL Juan no termina su tareay no va al cine. aA)ly it B)ilyit = ty il D)A.ity mt F) ninguna Resolucion Sean las proposiciones p:Juanva al cine. q: Juan termina su tarea. Primeramente, simbolicemos: 1 Esnecesario que Juan no vaya al cine para que termine su tarea. Equivale a decir que: Si Juan termina su tarea,entonces Juan no fue al cine. a * =. L q>~p=~qv~p Il, Noes cierto que Juan termine sutarea y vaya al cine. = (q np) G@ap=~qv~p MIL. Juan no terminaré su larea y no ira al cine. ae a =-qa~p Son equivalentes Ly I Otra forma de ver si son equivalentes seria mediante tablas de verdad, para Jo cual las matrices principales deben ser iguales. SLAVE A Problema 3 Simplifique ~{I@A@vAlnglv~ (Pala (pva)arltl~ge~pl NCpe-gor B) @vg)a(-qvn Oped D)p >a) a(~q>p) Raa--~p 7Lumbreras Editores Aritmética Resolucion Sea {@rovagly~(—pogln A B ICpva)ari}oI-qo~pl A:pa@vr)=p B:(-p>q)=pvq (ebsorcién) (Leydelcondiciona) Reemplazando ~{Ib.q)v~ BvD Alpva) }}I~qe~P) —@agv—pr—-Mal-pva)}l-qe—P] c E D Observemos lo siguiente: ~9e-p (-¢~p)(~q>~p) Ley del bicondicional (av~p) lqv~p) Ley del bicondicional Ley distibutiva (gv~p)ap] v Mav~p)a~al (esqyan~p) Luego ~qe~p=02q)(~an~P) C=D Enel problema ~{CAE}-9€ Simplificando CAE} C Ley del condicional Por absorcién queda C, pero agyy(~pa~q) esdecir, ~QH~p otambién pog + Tepeq 88 Problema 4 Se define el operador { mediante la siguiente tabla de verdad: ence so vi v v v F F v F F Halle [(p lq) pl @1q) A)p B)~qnap OG D)—p E)py~q Resolucion Hallamos la resultante del esquema molecular por tabla. {leLq)tql> @1q)}=~p SadCAPITULO It Problema Si tes un conectivo légico definido mediante pla=@vg)al-beqvoeg), entonces al simplificar la siguiente férmula légica, {Iva t@aq)lt~a} -@a(pvq)) seobtiene Apaq B)pvg Op Dg E)p>q Resolucién plq=@vaa{-beavoog) v Entonces pla=pva {levat@arglt~qia@nwbva) =I@vav@rgly—-gagq ={vg)y~ghaq =Pv@v~glag v ={pvVing=paq Eee Problema 6 Halle la expresin equivalente que representa al circuito. p—~ rq) —-~r9)4 aS pay A)p B)-p Oq D)~g BE) @ag) Resoluci6n E! circuito del problema se puede expresar —-0v9D—-I-@ navrl—~9— De ahf la expresiGn proposicional resultante seré {~@agal-@aa@yvri}a~q absorcion Logica proposicional ~Bagda~g Morgan Cev-Dr~a conmutatva (av~p)a~q eee ‘conmiutativa ~qa(~qv-P) absorcién Beep Problema] Se definen los operadores légicos * y © mediante Pia Ee: pOg=~prq Entonces, al simplificar la férmula légica Iq) p)*(-p)o@) se obtiene Ap B)q O)paq D)pvq E)v Resolucién P*q=—~p>~q=q>p POQ=~Prqg (~9@)op)* (~p)09=1~(~Mapl *l~(~p)aql =@ap)*(0q)=049)> GaP) —Pv~Qv@ap)Lumbreras Editores Aritmética Protilema 8 Resolucién L p»~q =~@V~q) Usando las leyes logicas, simplifique la siguiente er, formula W6gica: {I@r™vplalbagvoecg))hy lev-gaoval Ap B)q Opaq Dpva E)~p Resolucién {@rahplalsgpea) lM y~g)alva)) =llplal@ag)vpeglivipy(-qn@l exaust P = alg) v Geg)lvp=p pues (man)y m=m Notese que (p.4q)v (pq) es una tautologia eae Problema 9 Se definen pVa=pa~q Plq=~pyq Halle el valor de verdad de las siguientes proposiciones: L p>~q=~@v~q) 1. ~@Vq)v@T@)=p>4 i. ~pTq=~(~pvq) A) VFV. B) WF OFVE D)FFV Ew pv 7 ™) I. ~@VQ@v@t@ =poq ~ba~gvCpvge (~pvq)v(—pvag) “Pv q=p9q ™ i ~pTq=~(~pvq) pvq=~(~pa~q) Pyvq=pvg Wy) Establezea el circuito para ~{-[@vag)arlv~a) enta versi6n simplificada. A) -—P—q—r—_—-. B) “oe Q q r feet opCAPITULO Resolucion Primeramente vamos a simplificar la expresion con la finalidad de darle una forma mas simple Y¥; luego, hallaremos su circuito equivalente. ~{-@va)arly~atel@va)aring Ioanvannlag=lonnaqivltaan nal Ipa@anly @an=qar(absorcion) El circuito sera ay eae fs} Probioma tt Determine la proposicién correspondiente y simplifique el siguiente circuito: ae Ea en = A)paq B)py@ OQ~pa~q D)~pv~q E)~paq Resolucion Del circuito inicial podemos formar lo siguiente reduciendo ae ate “ove FL. Legnay g)v(—pagq) [eed Luego Logica proposicional De ahi tendremos la siguiente expresién logica [@a~q)v(~paglv(-pr~q) Ioa~a)v(-pa~MIvi-pa~gv-p rg) I-an(pyv~p)lv[~pa@v~q)l v v eee) Rp ~qv~ps~pv~q Problema 12 La historia que es apolitica no es ciencia, pero a Historia es una ciencia; por consiguiente ta Historia no es politica. Sin embargo, ta Historia no es apolitica. Respecto de este esquema molecular, podemos afirmar que A) es contingente y se reduce a un ‘esquema condicional B) se reduce a.una esquema conjuntivo. €) es contradictorio. D) es verdadero si la Historia es una ciencia. £) es verdadero sila Historia es politica. Resolueién p: La Historia es apolitea. La Historia es ciencia {I@ va) sql >pla~p [@a~Q)>pla~p [Fopla~p Va~p=~p ~p: La Historia es politica 91Probiemas Propuestos 1. Sipog=~prq 6. Simplifique reduzca |(o0~p)] > {(p0g)oq) Ip a@v~rvsvp)| py pan} orasa~t AF BV © De : oe AV B)F Opa Dpoq E) Gas)v~t 2 Dados los siguientes esquemas tautologicos. Gage(-pod 7. Indique cuales de las siguientes clang) proposiciones son tautol6gicas: Calcule los valores veritativos de p;q yt. L (@ag)vi—py~gv—qaras)] 7 I. @>9)>@>4q) A) VW B) VFF VFF D) FW , ona IL @>q)v ~(p4q) 3. Sabiendo que pag=F y q-r=F, A)lyl B) solo ll ©) solo Il dé el valor de verdad de bD) tym E) todos L [ponaado¢va) 1. @3a)A@>~a) 8 Esquematice {a siguiente proposicién ML{@anvalo ba) utilizando el lenguaje logico. Si James no trabaja podria estudiar, para A B)F pyr RE guy eaten heme haa trabajar, por ende, dejaria de esnudiar. 4. Reduzca la siguiente propesicién: No es cierto que Luis sea una persona A)~@v-s)> vq) franquila y un doctor, entonces Luis es B)@vg)>(>~s) maestro 0 no es una persona tranquila: Os) +p >a) ademds Luis es maestro. D)~¢>~s)vag) BE) (>~s)>(~>q) A) Luis es tranquilo, B) Luis es doctor. . Clive cee 9. No aprenderé Materdtica a menos que aprenda Logica, ya que aprendo Matemdtica ee © Logica. De lo anterior se sigue que E) Luis es doctory maestro. 5. Sisecumple p*q=~paq A) no aprendo Matematica ni Logica. pYq=pva B) aprendo Matematica y Légica. reduaca ©) aprendo Matematica 0 Légica. {aVI@verts) aplol(—p*~gV~gh D) ne es cierto que aprenda Logica pero no Matematica. A)p B)pva Q-~p E) no es cierto que aprenda Matematica Dq E)~q pero no Légica.CAPITULO II Si p*q=@>~p), ademas p#q a reduzca E = |(p #~q)#(~p*p)|*p Ap B)~p Oe D)~q E)pyvq |. Sila expresién {@aqgv~nog es falsa, las siguientes proposiciones son L I(-pvs)4ple~q Ml. {~>~N>phaq {(-rvp)o-~qg}ap aw B) FV ©) FFV D)FW 5) FVF . Simplifique R=pvil(prgvrlatail(pvqvnalpvg) lr} A)pyr B)pvq Oaqvr D)qv~r E)ga-r Se definen las operaciones p®q=-beog y p>a=~(-p>a) ‘Simplifique la siguiente expresion Ie-geCqoPlol@an>~a@)l pq E)par Apaq B)qn~q D)p Si el valor de la siguiente proposicion molecular [@a~MaCoMlal-prvaanpl es verdadero, determine los valores de verdad de p, q y r (enese orden). A)VFF B) VFV ow D)FW E) FFV Légica proposicional ‘Simplifique el circuito mostrado e indique la proposicion mas simple que lo representa. fH gE Ap B)pva Opvs D)s E)~r Simplifique. Ap we q- Bq =I Opva ~r. D)rag s E)paq —FAg: De las siguientes proposiciones, halle cudles son equivalentes. L__Es necesario que Sofia no vaya al cine para que termine su tarea. No es cierto que Sofia termine su tarea yvaya al cine. I Sofia no terminara su tarea y no ira al cine. A) yi D) todas B)lyit nym E) ninguna Dada la tabla de verdad, consideremos V = L:F = 0.Calcule el resultadoalexpresar en base 10 la matriz principal de p * (q@r) A) 128 D) 120 B) 126 ©) 129 £) 69Lumbreras Editores Aritmética 19. 22. Sise define p*q=(pn~@)v(@a~p), simplifique ~ I(p * ~ q) +~ ql. A)~qap— B)pyq oq D)~p Eqnp Si sabemos que (p 4 q) es falso y (q > r) también es falso, Zcudles de las siguientes proposiciones son verdaderas? L (~pvy)vs W ~tpa(-qv~p)l M. pv @a~Dlele>gv~@aol A)lyll D)1, yt B) ily I ©)lyill £) ninguna Halle la forma més simple que represente a — pean fee a A Manv(~s) B) (Pvra(~s) Opy~s D)rv~s E)pys Ai simplificar (q>~p)a~Cp>-~glvip>~al se obtiene Opaq E)~@aq) Nave B)~qvp D)~pya 23. Simplifique el siguiente circuito légico y dé el equivalente eri, ple ree P—4 | aan a Alp Bq Or D)~¢@ Ep~p 24. Simplifique y dé el equivalente del siguiente circuito légico: —P- ~4 of pest | aller Ling . A)pa~q_ B)pyq O~p D)~py~q E)F 25. Determine la proposicién correspondiente y simplifique el siguiente circuito, BL Sasa Se —p*_-a RD et oe Apya B)paq O)~py~q D)~pa~q Epog 26. Simplifique [-@a~g>CpwNla~i-q>~pPl ACaqvn D)~qap B)@a~qhvr C)~png E)py~@CAPITULO NL 27, Dela falsedad de @>~QvCr>~s), halle el valor de los siguientes esquemas: L ~(-qv-s)>~p I ~Cras\o(-pr~@ tL p»~lg>~G>n) A)VFF B) FW ©) FFF D)VFV E) FVF 28. Simplifique el esquema molecular. {-@>p)>-@9D1A0>-Div~a Ap B)~p Opy~q D)~@ Eq 29. indique la allernativa correcta que representa el siguiente circuito. Aova—or B)@vnop Owagor D)va)an~r E)@va)ar 30. Indique la simbolizacién correcta del siguiente circuito légico. — = |-~»,—| eos Logica proposicional A) I@.vP) > Gv] *Bs>43) B) [,vP2) > Gv @)l v Ps a9) ©) (ina) > Gv PDI 4 Gs Pd D) 1@i Ape) > (a1442)1 4 B3v a5) £) [@npd > @iv al sas) 31. Alsimplificar ~I~ 99) pl >2q:se obtiene A)~paq B)~py~q O)~pa~q D)pyq E) una tautologia 32. Reduzca la siguiente expresin. I-¢>~p)> Cp >~Dla~br@ A)~(pvq) B) pag C)py~q D)~p E)~q 33. Simplifique @vavnawvtv~da@v-tvn Apyvira@v—q)l B)palratv~q)l Opvirvaa~gl D)pv[~ra(-tv—g)] E)palry(~ta~a)l 34, Determine el esquema mas simple de la proposicién ~I-@q)>~alvp Apyq B)paq D)~py~q Op >q E)~pa~qLumbreras Editores Aritmética 35. Si 38. Si A=(~pvq)>(~qvp) ABlbanvOrglal@r—s)v@as)] D=~p 7 O54 =a Ling: D= Es =e, ¢ simplifique el circuito. calcule el circuito simplificado de py =e = oa. ae A)p B)~p O@q D~q E\pa~q 39. Simplifique y dé el equivalente del siguiente Circuito légico. pe, be q-~P- p sees 36. Si las siguientes proposiciones A)~qap B)py~q_—C)~pagq @~@) y @vn Dq E)~p son falsa y verdadera, respectivamente, determine los valores de verdad de 1 oN eren. 40. Halle el circuito simplificado de ~A-»~B, si I. (~pa~q)e (pa~p) B=IgadvigapIl@r—Dv@anl IL (~pag)»~@>~n a P Lapa 4 e A) VFF B) WF OFW ~o -P- P D) VW E) VFV + 37, Se tiene que el costo de cada llave en la ny ar instalacién del circuito oe -a-—p- a. =" ie! ea Tah es de S/.30. Determine en cuanto se reducira elcosto delainstalacién si se reemplaza este —s—~p circuito por su equivalente mas simple. D4 7s z A) 8/210 B) S/.240 ©) 8/270 Pvt face D) $/.300 £) S/.180 [oerae cy ee 22a ep 5 Te. sare Tu See 28 fe Siealape 10. fe D A