You are on page 1of 58
LOGICA PROPOSICIONAL 1 Introduccién... (LOGICA PROPOSICIONAL .. INDICE ‘Acerea del estudio de la Logica. Miscelanea .. 1. Enuneiado y Proposicion 1.1 Enunciado a. Directiva b. Bxpresiva ©. Informativa 1.2. Proposicién 2. 2.1 Proposiciones Simples a, Predicativas 3. Operaciones oY: coe To ee a ee 3.2 Disyuncién 3.3. Condicional bi 3.4 Bicondicional 3.5 Negacién 4: Simbolizacién de Proposiciones 5. Tablas de Verdad ... 1 Confeccién de la Tabla de Verdad 2 Tablas de Verdad de las Operaciones Légicas 6. Evaluacién de Esquemas Moleculares .. 6.1 Tautologica 6.2 Contingente 6.3 Contradictorio ref , 7. Impli 7.1 Implicacién Légica ion y Equivalencia Légica Principios Implicativoso Implicaciones Notables Loyos de la Implicacion 7.2 Bquivalencia Légica fiquivalencias Légicas Notables Aplicaciones de las Leyes Légicas 8, Circuitos Logicos 34 8.1 Circuito Serie 8.2 Circuito Paralelo 9. Cuantificadores ..... 37 9.1 Proposicién Abierta 9.2 Quantificador (1) Cuantificador Ufiversad (2) Cuantificador “Existencial . 9.3. Negacién de Profiosiciones que pamela: 10. Inferencia Légig i 43 ono a, an b. Variéciones-de-la: Condicional cements ¢. Arreglos de Tablas de Verdad nunciado de los 100 Problemas Resueltos .. ‘ 51 Enunciado de los 100 Problemas Propuestos.. Claves de Respuestas 114 LOGICA PROPOSICIONAL El contenido del presente texto, tiene coms finalidad mostrar los métodos que orientan ¢ identifican los elementos y simbolos utilizados en el proceso del razonamiento, indicando el desempefio que realiza el lenguaje matematico 0 simbélico. Lenguaje Lenguaje comin ED simbélico "Si Juan estudia en - Simbolos la noche y no cena, - Signos entonces en la majiana - Variables - Operaciones Légicas CVUZUAN [RG 10 Ge ARMeTICA Acerca del Estudio de Ia Logica Una idea que nos proporciona este estudio, es el empleo de un conjunto de conceptos y procedimientos para analizar determinadas expresiones a través del razonamiento, de morlo que se puedan obtener otras mis eomplejas, indicando la validez de cada una, Ana es menor” “Betty es meno? of ee ae ive Betty, Sc que Carla Save Carla a a cy On a as & Betty "Carla ‘Carla La légica Ce un ae campo de estudio, encontrandose en él: la comprension del lenguaje para distinguir el significado de las expresiones utilizadas y los métodos que se emplean en el razonamiento para el andlisis: el deductivo y el inductivo. (i) En el razonamiento inductive se parte de casos particulares para obtener una conclusién general ; por ejemplo : 5? = 25 % Se observa que las potencias enteras y 5° = 125 ne 3 positivas de 5, mayores o iguales a 2, 54 = 625 siempre acaban en 25 6° = ...25 Podemos afirmar : 5" = ....25 donde n esunenteromayora 1. (4 i) En el razonamiento deductivo, se parte de una conclusién general para ve- rificar una premisa particular; por ejemplo : "Todo mimero natural que acaba en cifra par, al ser dividido entre 2, no deja residuo". Para N = 12341234... 1234 40 cifras la Ultima cifra de N es par N dividido entre 2 no deja residuo. * [RN 11 ARERR LOGICA PROPOSICIONAL Miscelanea Los siguientes problemas requieren aplicar un razonamiento determinado para hallar la solucién respectiva , es conveniente ejercitarse en ellos para diferenciar los mecanismos utilizados que conduzean a un razonamiento valido. (A) En una ciudad hay un barrio donde viven dos familias : los Azul y los Blanco, con las caracteristicas siguienies : los niftos de la ‘familia Azul dicen siempre la verdad, mientras que los nifios Blanco mienten siempre. Una joven Hamada Dina visita el barrio y ve a 3 ninos jugando, Uama al primero y le pregunta por su apellido pero el nifo travieso sale corriendo y a lo lejos dice su apellido, Dina no lo escucha. Se dirige al segundo nino y le pregunta que respondio el primero, “@l dijo: mi apellido es Blanco’, es la respuesta del segundo nifio. Finalmente Dina habla con. el tercero y le pregunta por el apellido del segundo y quien era el primer nifta, “el segundo se apellida Blanco y el que: salié corriendo es mi hermano” afirma el tercero. 3Cudles son los apellidos respectivos de los ninos? (2) Miluzka posee 9 monedas pero una de ellas es falsa y pesa menos que las otras, aunque en apariencia todas parecen _ iguales. Con una balanza (sin usar pesas) Miluzka desea encontrar la moneda falsa. 4Cudntas pesadas como minimo deberd de + realizar’. (3) Diana somete a una prucha de ingenio a sus tres sobrinos: Ana, Beto y César, toma 5 cartas de una baraja, de las cuales 3 son rojas y el resto negras. Entrega una carta a cada sobrino prohibiéndoles a cada uno de ellos que vean el color de la carta que les habia tocado. Diana dijo que ganaria la prueba aquel que dijera el color dela carta que le habia correspondido. Em- pe26 con César, y le mostré las cartas ae los otros dos, César dijo un color pero se equi- voed. Luego siguid con Beto y le enseno la carta de Ana, pero el tampoco acerté con el color de su carta, Tocdndole el turno a Ana, respondio: ‘no necesito conocer el color de alguna de las cartas, por lo que mis hermanos han dicho mi carta es roja, "{Cémo lo supo?, “ cuzcans: LOGICA PROPOSICIONAL Para comprender el proceso légico utilizado en la discusién de proposiciones matematicas, 5 preciso conocer la denominada légica proposicional. La logica proposicional también Uamada simbélica 0 matemética, es aquella parte de la ldgica que estudia la proposiciones y simbolos utilizados en la formacién de nuevas roposiciones que podrdn ser yerdaderas o falsas, sefaladas por reglas formales. Al comunicarse, las personas utilizan un conjunto de sefiales o signos previamente con- venidos que transmiten una idea o informacién, Estos signos pueden ser acisticos, visuales, olfativos, tictiles, ete; utilizando para ello el lenguaje oral, los gestos, las sefiales graficas, ete, sea gh plans, Ya. dnbeeaitiom: ao cbukca sisebiolingt Shtaw Hees pana, cbbmbi aha forma precisa de informacién, de esta manera, el lenguaje que utilizamos serd representado convenientemente para sefialar con exactitud su significado, obteniendo otras ideas que sean consecuencia de las primeras. ENUNCIADO Y PROPOSICION. 1.1. Enunciado Es toda frase u oracién que sefala alguna idea. Segiin el uso del lenguaje puede cumplir las siguientes funciones : (a) Directiva, su objeto es dar érdenes 0 hacer pedidos, Los enunciados pueden ser: i) Interrogativos, su propésito es averiguar algo. {Qué hora es? {Cual es tu nombre? nea 3i) Impetatives © exhortativos, originan o anne una accion. Se - Regresa de inmediato - Nosaltes jAlto! RR 12 ERR ARITMETICA ; ibaa 4 3 eee LocIcA PROPOSICIONAL \nededuaat’ © bal (b) Expresiva, busca comunicar sentimientos, deseos 0 actitudes. Los enunciados pueden ser : i) Exclamativos 0 admirativos, expresan emociones. - {Que bella es! FF Hace calor * ii) Desiderativos, sefialan deseos o anhelos. Quisiera vivir en Rigja - Ojal regreses. (c) Informativa , busca afirmar algo. El enunciado es i) Aseverativo 0 declarativo, expresa una caracteristica o alguna relacién entre los sujetos que intervienen en el enunciado. fi - El cuaderno es azul José y Manuel son nifios api, on e aso 1.2. Proposicién Es aquel enunciado aseverativo afirma algo) del cual se puede seftalar si es verdadero o falso, pero no ambos a la vez, con respecto a una realidad. Proposicién ez 7 Ejempio: “José estudia en el colegio” E> Este enuneiado afirma que una persona llamada José, estudia en el colegio. Para conocer si la proposicién es verdadera o falsa, se debe establecer la realidad en que ha sido expresada. Si nos referimos a un muchacho llamado José, que tiene 12 aftos y esta en primer aio de secundaria, la proposicién indicada es verdadera para este caso; pero si el José mencionado tiene 1 afio de edad y se encuentra en su casa, la proposicién es falsa. 14 PL ARITMETICA ’ AY 15 LaLa LOGICA PROPOSICIONAL Eston on : bi c\ar nae cep aaedds oa « yeas sia eSibrecl adlas » ts 2. CLASES DE PROPOSICIONES @) a ‘ae a 2.1. Proposiciones Simples Care | Llamadas también atémicas, monddicas o monarias, son aquellas en las que aparece S una afirmacién o accién, Se caracterizan por ser expresadas mediante oraciones } a ‘ . « que no utilizan conjunciones gramaticales y el adverbio "no"... 3! YP. 5 ‘Jose estudia en el colegio es verdadero" “Jose estudia en el colegio es falso" o Sete nus Ejemplos 0? Bl vhlge to verdad, 0 velor veritatvp de wna proposiciin, se refere & que at Lima es capital del Peri“ Fee : ‘es verdadera o falsa la proposicién mencionada. i - José baila en la fiesta : z ote) - Augusto barre el pasadizo 4.6 B an si ~ Betoes tio de Ana ; Z -OBSERVACIONES Las proposiciones simples pueden ser b ay i Existen enunciados declarativos que son mencionados con determinados elementos que a) Predicativas , cuando se atribuye una caracteristiea a un sujeto. si no pertenecena realidad alguna, en este sentido no es correcto afirmar que es verdadero ; , | 0 falso, son denominados pseudoproposiciones. - Julio trabajaen el taller, § - F = Los niimeros bailan wht? So" as t ~ Tres es mayor que el agua b) Relacionales, cuando expresa una relacién entre dos o més sujetos™ ye fi We | % En la l6gica proposicional interesa el significado de una proposicién y la forma en que a ae eerie wv y se presenta , ya que por el uso del lenguaje se puede encontrar de distintas maneras %, Re Pere Sree a rena r ta (BFARMACIA & fda un gripe : i ET ieee @FARMACIA @| * notese que la relacion "son hermanas” esté atribuida aun grupo de ty Bie Caen fraelaai ia lagniicns personas y no tiene sentido al ser expresada para una sola : “Ana es” = Ena farmacia trabaja Carlos herman’ eth Loneurst we : = Trabaja Carlos en la farmacia i i Segxin los objetos que involuera, una proposicién simple puede ser : haan * ' de yes i Las oraciones mostradas poseenel mismo significado aunque las palabras estén dispuestas a) Individual, referida a una sola persona u objeto. erores a } de modos diferentes. Todas las oraciones expresan la misma proposicién. - Jorge estudia medicina, Sa ys ci a El diccionario es nuevo. © is : eda ~ Luis le ganda J : r ae ore, i ics THREE ENY 0 b) Particular , referida a varias personas u objetos eee 5 + José perdié con Luis - Algunos libros son de historia » °°” os Ciertos nifios son més edueados Son oraciones diferentes que wsilizan palabras diferentes incluso en cantidades diferentes LSTA ean ei A RCRUAUT ANG em pcr Bhaotce a ia malar ebereleed { ‘sin embargo tienen el mismo significado. Las oraciones corresponden a la misma proposi- ‘ cién, = Todos los mamiferos s01 vertebrados iii) - Hoyes viernes = Todos los hombres son mortales. ~ Today is friday 2.2, Proposiciones Compuestas Las oraciones forman parte de un lenguaje determinado, las proposiciones no estén LLamadas moleculares, son aquellas que estéin constitufdas por proposiciones simp ; limitadas a idioma alguno, Las oraciones anteriores corresponden a una misma proposi- enlazadas entre sf por conjunciones gramaticales o afectadas del adverbio de nega a 1) cién. % ino”. doh Guar elas, tonto: a Computed: Nowa dos wolalace s )¢ Le Le! herbio che flee, is SUCCAN El valor de verdad de una proposicién compue:ta, depende de los valores de verdad de las proposiciones que lo forman y de la manera de como estan unidas. - Carlos es ingeniero y Luis tiene 10 aitos - Si Juan trabaja entonces no ve television he - Jaime gané el partido o esta enfermo Las proposiciones compuestas se clasifican segiin la operacién légica que se emplea para unir las proposiciones simples que lo forman. fe ? 3. OPERACIONESLOGICAS = st a aetaeh Son operaciones que utilizan proposiciones para transformarlas en otras, usando elementos. determinados como conectivos légicos. + [Conectivos Légicos | = ree re > cerry eee rene Operacién Légica Propo: nm Compuesta SGenvsles Gut Sivwen fortune prep Los conectivos légicos, también Hamados operadores ldgicos 0 signos de enlace, simbolos que sirven para unir proposiciones sin formar parte de ellas. 'y" , 0 alguna expresién equivalente. mes x { Ei compo: 4 Carlos esta enfermo y Ana prepara el_almuerzo {atria eats, Erincran WOR BnEE pare BL ainDere, Ira, Proposicion — C.L. 2da. Proposicién Wee ale 4 < ve CUZCAN:: EERSTE 16 BE AAITMETICA. E ‘Toda proposicién, sea simple o compuesta, posee un valor de verdad., 0 es verdadera er (V) 0 es falsa (F) pero no ambas a la vez, con respecto a una realidad. El resultado de una operacion légica es una proposicién compuesta que se identifica con el conectivo utilizado, o de encontrarse varios conectivos con el de mayor jerarquia en la proposicién formada. Se tiene las siguientes operaciones légicas : la conjuncién, la disyuncién, la condicional, la bicondicional y la negacién. be Men Seep amet Te EAA. ax ores aeereaen Se ee 3.1. Conjuncisn ‘ ae RA Hh ond i Es aquella operacién -que vincula do$ proposiciones mediante el conectivo e pes Com puest ' eR 17 lM LOGICA PROPOSICIONAL La proposicién obtenida es llamada conjuntiva y es verdadera si las pro- posiciones que lo forman son verdaderas, en cualquier otro caso la proposicién conjuntiva es falsa. Del ejemplo : - Carlos esta enfermo => es verdadera - Ana preparaelalmuerzo = es verdadera La conjuncién de ambas proposiciones es verdadera. i) OBSERVACIONES COs Existen también conjunciones implicitas. Ejemplo ” Luis juega, Carlos lee , Soffa mira, Ratil come”. Cada coma ,.) sefala una conjunci6n. También se considera conjunciones cuando exista unto y coma (+) o1un punto seguido ( .) . siempre que no haya otra expresin que esté seftalando otro conective. S Para formar. una conjuncién se pueden utilizar otras palabras que unan las proposicio- nes tales como : pero, ademés, incluso y o1ras mds, veamos los ejemplos siguientes = Tulibro es azul aunque mi libro es rojo. Ree = Ana barre el piso sin embargo el ciarto est impio, es modesto. - Luis ex buen estudiante tambi = Juan ilegs tarde al colegio igualmente legs tarde a la casa. acy = César no'esté cansado no obstante, ha jugado toda ta tarde, 5%. z odin = Maria gusta de nadar tanto como gusta de bailar. 5, eat : he 2 Gq 3.2. Disyuncién, we f Es aquella operacién que vincula dos proposiciones mediante el conectivo “o’. Esta operacién puede ser : a) Disyuneién débil o inclusiva, la proposicidn formada es verdadera si alguna de las proposiciones que lo forman es verdadera o ambas son verdaderas. 17) Ejempto : Juanes deportista 0 _estudia inglés wanes oe Oe ee Ira. proposicién CL. 2da proposicién La proposicién obtenida es llamada disyuntiva débil y es falsa si las pro- posiciones que los forman son falsas. f euzeaN= A 12 RO ARITMETICA ( AAA 1S KARA LOGICA PROPOSICIONAL — b) _Disyuncién fuerte o exclusiva, la proposicién formada es verdadera si sélo una ® En algunos casos ta condicional puede expresarse en orden inverso, esto es ligando el pene ries laste vateaaninses ae lai bieeunes wowecd aden: consecuente con el antecedente en ese orden. @ ond sea aur Tomando los ejemplos anteriores : é i ie dep Oo Ejemplo : + Maria dejé de ir al colegio cuando se enfermé. . “at oe © Carlos est en Lima 0 _esté en Tea = Luis reemplaza.a Juan puesto que Juan esta fuera de Lima.“ ote een ee 5 a las pee GL. Tra. proposicin CLL, 2da. proposicién - Ana ha rendido un buen examen porque ha estudiado, e anes | La proposicién disyuntiva fuerte es falsa si las proposiciones que lo forman. 5 = Janer tiene su propia empresa ya que es profesional. son verdaderas o falsas a la vez. Otras formas similares Esta proposicién presenta las: formas : |p > > p>} Bicondicional si y $60 Sf nn | p siyssosiq | [poa| = Negacién no nop rt Seat ear hae En adelante se utilizaré el sistema Scholz. Ademés de los conectivos mostrados, se puede seftalar los siguientes : (a) Barra de Shaffer , de incompatibilidad o de negacién alterna (|), para dos ~ propo: siciones sefiala que la primera es incompatible con la segunda, esto es si las dos son verdadéras, la proposicién negativa alterna es falsa. - José es hijo de Luis es incompatible con que Luis es menor que José > La negacién alterna es la negacién de la conjuncién (b) Flecha de Nicod o de negacién conjunta (1) , para dos proposiciones, niega ala primera y a la segunda, mediante el conestivo "ni ... ni Simbélicamente : p+ José es hijo de Luis q+ Luis es menor que José pig ‘p es incompatible con q” La proposicién resultante es verdadera si las proposiciones que lo forman son falsas - Ni Carlos trabaja ni José estudia Simbélicamente : p+ Carlos trabaja q : José estudia La negacién conjunta es la negacién de la disyuncin débil. (3) Las proposiciones compuestas se representan mediante letras maytisculas P, Q , RB, ete. e hi j Pe pig ‘nip ni q” 1 Ejempto (1) : P: José estudia en el dfa y trabaja en la noche Se observa que P es una proposicién molecular conjuntiva, simbolizando las proposiciones simples : q : dosé estudia en el dia r ; José trabaja en la noche NS SUZCANS EERENEE 22 BARREN AAITMETI A 2S EER LOGICA PROPOSICIONAL (b) Se identifican los conectivos légicos segun las palabras utilizadas, conjunciones se obtiene P: gar gramaticales, adverbios de negacién y reemplazarlos por su simbolo respectivo. nétese que P depende de las variables proposiciones q y r, lo fi se puede sefialar: Pog.) : q AT aunque : A (conjuncién) i oO o —:_-y (disyuncién débil) Ejemplo (2) : (c) Se observan los signos de puntuacién y el sentido de la expresién para de- terminar la jerarquia entre los conectivos a través de los siguientes criterios : 7 Se tienen las siguientes proposiciones ya simbolizadas [conectivo légico = CL | Qi) 1 (pa~p) > p So. (Pyqed Primera Jerarquia «CL, dos signos de puntuacién Foygr) | (=P ATIVG Segunda Jerarquia .CL punto seguido ‘ Tercera Jerarquia ;CL punto y coma OBSERVACION : Cuarta Jerarquia ,CL coma OSH oe : Quinta Jerarquia CL sin signos de puntuacién —,. : (> Para encontrar su esquema molecular, (a) Se ubican las proposiciones simples (carecen de coneetivos) que forman parte de la proposicién y se les asigna una letra diferente a cada proposicion diferente, Dada la similitud de un polinomio y la representacién de una proposicién compuesta se le lamard a esta tiltima polinomio Booleano. aera Vena tice able ude en da repraschitactinede wild phopostcidn ve le danoiaine esquema molecular 0 formula proposicional. OF Ejempto: P (avr) > 4q Exquema molecular (ar) pga MP aCe Exquema molecular * Los valores de verdad (V 0 F) correspondientes a un esquema molecular sé denominan funciones veritativas. 0 jemplo (3) : Sefialar el esquema molecular de la proposicién : “Ana esta contenta, aunc Juan canta o baila” tilizan los siguientes criterios : ast: p + Anaestd contenta q : Juan canta r : Juan baila Se encierra entre signos de coleccién (paréntesis, corchete, llaves) quien pose menor jerarquia. Para el ejemplo : la conjuncién "aunque" esta precedida de una coma (,). en cambio la disyuncién "o" no esta rodeada de ningtin igno de pun- tuacién, luego la disyuncién es de menor jerarquia : p 0 (q vr) El resultado es un esquema molecular conjuntivo correspondiente a la pro- posicion compuesta. Todo esquema molecular recibe el nombre del conectivo légico de mayor je- rarquia. (za Ejemplo (4): x Hallar el esquema molecular de las siguientes proposiciones compuestas. (a) " Si José estudia y trabaja , Luis ayuda a José " - Simbolizando proposiciones simples p José estudia r : Luis ayuda a José q : José trabaja - Simbolizando conectivos légicos : Si 5 > (condicional) y : A (conjuncién) - Segtin jerarquia : la condicional posee mayor jerarquia - Se obtiene (pag) or esquema molecular condicional (b) "La matematica es una ciencia exacta si hay rigor en la matematica, si y solo si la matematica es aplicada correctamente. Su esquema sera : (Pr aer donde: p : hayrigor en la matematica q +: lamatemitica es una ciencia exacta r : lamatemética es aplicada correctamente (©) "O soy buen deportista o estoy orgulloso de mi mismo. Pero, si estudi intensamente entonces no soy buen deportista". Su esquema seré (p 4 q) A(r > ~p) donde: p_: soy buen deportista q : estoy orgulloso de mi mismo r : estudio intensamente (d) "No es cierto, que tenga un auto y no tenga una casa; ya que, o tengo} una casa y tengo un auto, o no tengo un auto’. :((p aq) B~G) > (~(aa~P)) donde Pp tengo una casa q ~:~ tengo un auto Su esquema sera OBSERVACION En general, el conectivo "~"" es el de menor jerarquia, luego siguen los conectivos "A" y "v"" que poseen la misma jerarquia por tiltimo los conectivos ">" "<>" son de mayor jerarquia. Recuerde que la jerarquia de cada conectivo puede variar dependiendo de tos signos de puntuacin ode coleccién usados. Ejemplo: (~ p) Aq sepuede escribir : ~ pq 5. TABLAS DE VERDAD Son diagramas que permiten sefialar la verdad o falsedad de una proposicién representada a través de un esquema molecular considerando los valores de verdad de las variables proposicionales que componen la proposicién y las reglas sefialadas en las operaciones logicas. Las tablas de verdad utilizan cuadros de doble entrada con la distribucién siguiente : dating dopaedionated = | Magadan Wilaitar } arte superion Combinaciones de Vv ylo F de las variables proposicionales | Valores de verdad segtin las operaciones logicas Parte inferior Margen ZA 25 ATT LOGICA PROPOSICIONAL 5.1. Confeccién de la Tabla de Verdad (Dado el esquema molecular" p a q" correspondiente a una proposicién conjuntiva, se identifica las variables proposicionales que lo forman y se ubican en la parte superior de la tabla. Pee PAG (ii) A continuacién se ubican en la parte inferior del margen, todas las posibles combinaciones de Jos valores de verdad de las variables pro- posicionales. V_: Verdadero F : Falso Seguin la operacién légica,, se asigna el valor de verdad a las combinacio- nes (V y/oF) de las variables proposicionales. Pa | paaq Para la conjuncién, sera verdadera si las proposiciones que lo forman son verdaderas (corresponde a la primera fila), en los demds casos seré falsa (segunda, tereera y cuarta fila). OBSERVACIONES ) © Cada columna de tos valores de verdad que aparece en la tabla ex Uamada arreglo 0 ‘matric. La columna que corresponde al conectivo de mayor jerarquia, se encuentra en la parte inferior del cuerpo y es llamada arreglo o matriz principal del esquema molecular. Para la conjuncién : Pq paq s3 voev v vr F FV F FR rR Se Arreglo 0 matriz principal ‘Arreglo del smargen g El nimero de combinaciones de los valores de verdad (V, F) de las variables propo- sicionales esta dado por 2" donde nes el nimero de variables diferentes que contiene el esquema malecular. Este niimero determina el nimero de filasa colocar en el margen inferior de la tabla, Ast 2! =2 filas = 1 variable proposicional =p: n= 1 luego = 2 variables proposicionales p,q: n=2 luego +3 variables proposicionales p,q. 6: n=3 luego CS cuzcaNs 2 26 ARITMETICA 5.2. Prabine sto Verciont ie lon pee ea aoe Para obtener la tabla de verdad de algiin esquema molecular es necesario conocer las funciones, -voritativas correspondientes a cada operacién l6gica o Ejemplo: Hallar la tabla de verdad de ~ (p v ~ q) - méimero de filas 2* = 4 - Jerarquia de conectivos ~ (p v ~4@) @® 2 @ (2) ~ es de menor jeranqufa frente a la disyuncién (2) v__ esta entre paréntesis (3) ~ esta fuera del paréntesis, mayor jerarquia. Po d|~ (pv ~a)y Se confecciona la tabla segdn la jerarquia de cada conectivo: Nepove pon oe. Ys Mit Aer Pre: (1) niega valores de q Retry a laa ae ectie (2) disyuncién de p y ~@ Fo | Fig Va (8) negacién de lo anterior @ @wM ‘matriz principal También se puede indicar las siguientes tablas de verdad : Holtisto res, egen tx distes = ds le table de sy cowie de Es guunes ees sia . Evaluacién de Esquemas Moleculares we AL Las de am ~stcte Seguin la distribucién de los valores veritativos en la matriz principal de la tabla de verdad de un esquema molecular, éste puede ser Tautolégico, Contingente o Contradictorio. Se puede sefialar de la tabla : gente, gencia. . Tautolégico Es aquel cuya matriz principal admite ee valores verdaderos. Se representa por T. » |’ ¥ o Ejemplo : hth * ay ae i Sat pncne bare Sip.q) | (P > a) VP we formando su tabla de verdad : . P q \(p +a) v Pp VEN V9 | De ta tabla de verdad la matrix Le, Be ee principal admite. sélo valores eee War verdaderos F F %: v a @) SLs matriz. principal tle Ve (p >.q) vp es un esquema tautolégico, la proposiciin S es una tautologia, Principio Légico 0 Tautologia, es una proposicién compuesta que es siempre verdadera independiente de los valores de verdad de las variables proposicionales que lo forman. . Contingente También llamado consistente, aquel cuya matriz principal contiene por Jo menos una verdad y una falsedad. Se representa como @. OF Ejempto : Sea la proposicién S_ donde : formando su tabla de verdad. p > (Pp Aq) es un esquema contin- la proposicién S es una contin- e 6.3. Contradictorio ‘Aquel cuyos valores de la matriz principal son todos falsos. Se representa con 1. 1 Ejempto : Sea la proposicién S$ donde: S(p,q):~(p Va) AP formando su tabla de verdad. Se puede sefalar de la tabla : ~(p Yq) AP esunesquema con- tradictorio , la proposicién Ses una contradiccién. ¢ 8 g 7. IMPLICACION Y EQUIVALENCIA LOGICA 7.1. Implicacién Légica Unesquema condicional que es tautolégico, corresponde a una implicacién légica. Sean P y Q dos proposiciones moleculares y P > Q tautolégico entonces : es un esquema "P implica logicamente a Q" Serepresenta P => @ Donde P : hipétesis Q : Tesis selee: P implica légicamente Q P. es condicién suficiente para Q ‘También Q es condicién necesaria para P. 1 Ejempio: Verificar que (pq) implica légicamente p Se construye la tabla de verdad delesquema molecular (p 44) > P tautologico. (paq) 3? . El esquema condicional resulta ser EAT 29 GaN LOGICA PROPOSICIONAL Eempto: verificar que p implica légicamente (p v q) El esquema condicional resulta ser tautolégico Pie) PRINCIPIOS IMPLICATIVOS O IMPLICACIONES NOTABLES Principio de desligamiento (Modus Ponens). (PA (Pp > 4)) > P ® Principio de contraposicién (Modus Tollens). CAB Og) nr Principio de simplificaci6n. (pag) > P : @ Principio de inferencia equivalente. (pa(ped@)) > 4 ® Principio de adicion. Po > (pv) Principio de silogismo hipotético. = CUR: Se@ Ang: Fb ris os CBs i) Principio de silogismo disyuntivo. (~pa(pva)) => @ ® Principio de conjuncién. (prq) > (arP) Principio de transitividad simétrica. (peqga(qenr)) > (per) Ley del absurdo. bp Cana) oP. LEYES DE LA IMPLICACION Sea: V una tautologia, Q unacontingencia, F una contradiccién QQ av @ F>@ QV. aK Bink Sov 6) F = F 7.2 Equivalencia Logica Unesquema bicondicional que es tantol6gico, corresponde a una equivalencia logica. Sean Py Q dos proposiciones moleculares y P ~ q Se construye la tabla de verdad del esquema molecular : ~ (pag) & (p> ~ 49) po a|~ (Page w>~ a4) v7. F v v FF El esquema bicondicional es v Fly F v vv tautoldgico. PVM, F wv. VF hid) tp ee a peat? i ae ae Ne vee Bare’: ea @ Ww 4 @) Verificar que p > q es logicamente equivalente (~ p v q) dad) @@®. @ * Dos proposiciones son equivalentes si sus tablas de verdad son idénticas. NS 2 IQ MeuRNRLeeKeneeee ARITMETICA P aiP IN e(~ Pv a” viv vy ivip ov El esquema bicondicional resulta jv re) Fo jvir og ser tautologicn. FV Vil Val Va p34 -pyvq FOF vioiyv | VaR ° A 31 SIR LOGICA PROPOSICIONAL EQUIVALENCIAS LOGICAS NOTABLES Son leyes légicas que permiten la transformacién y simplificacién de un esquemia molecu- lar en otro més simple, cambiando una o mas expresiones componentes del esquema por sus equivalentes légicos, sin alterar el valor de verdad de la proposicién a la que corresponde el esquema. b) pyv(aqyvr oo) pe(qor)=( ab Pa(qvr)=(paq)yv (par) b) pv(aqar)s(pya)a(pyr) oP > (Garye(p>q) apr) ad p> (avrjy=(p >a) Vv (p > 1) Leyes de Morgan : a) ~(paq)=~pv~q ie b) ~(pvaq)=~pan~q © |@ Ley de involuéién (doble negacién) _ a) ~(~p)=p V : una tautologia F : una contradiccion ~pz2v 1 ¢ \ : a) py~p ean Tat Fj e bp A~p =F Jenin Have rn SUZCANG SEE 32 GES ARTMeTICA a) PA(PYQ) =D ew b py(paq)=p" m DO PA(>PYG)=P AG a) poqgs(p > a)r(a > P) b) poqg=(paq)y(~pa~aq) | a) Vap=p/rV y b) Fap=paFe=F o) Vvp=pvV 0 < ad) FvpspvF=p™ V_: Tautologia F: Contradiccién A SS SSSA LOGICA PROPOSICIONAL Aplicaciones de las leyes légicas (7 tay: Shapitisar le proponitign «(7h pis cp ese Setiene : ~pv(pa~q@) DY DP) A(~pv~q) 4 Va (> Pv a) = ~pvy~q PV CBA ee, GlinpiSaihencts pocaiaaete we anata Setine : ~(pv~q) 9 ~4@ ES cae (pPy~q)v~q pv(~qv~4a) Ke (distributiva) (complemento) (elemento neutro) PN rad, (condicional) (doble negacién) (asociativa) ving (idempotencia) ~qvp (conmutativa) a>? (condicional) i CHINO SE Ry o (c) Simplificar la proposicion: (p vg) > (~paq) Setiene : pvyq > (~p rq) SS kPN GV Cr Ding) PA~P)V(~P AG) ~prm(~qva) = ~pa 9y¥ mals (condicional) _ (de Morgan) (distributiva) (complemento) (elemento neutro) DEVE) a7 COP: AN Bo (7 a) simpliticar pat(q > Pp) PAG > P)EP AMT AYP) =P pa(q > P)=P (condicional) (absorcién) 4 n~ GUZCANS, ERAITEGRREEMEEt! 34 GemeRESeRURRERENER anITMETICA 8. CIRCUITOS LOGICOS Un circuito légico es la representacién gréfica de una o més proposiciones, utilizando los esquemas denominados circuitos eléctricos. Las proposiciones simples serdn representadas como interruptores en el circuito, abriendo © cerrando el circuito. ad ‘ in cae ie ; oh eilicn di ume 0 mat p pene Rtas be ale ge ch Tals hea a PER RI rs Proposicién Interruptor oba’oT¥" ca . * Si el circuito esta asociado a una lampara : r a) El cireuito funciona si la proposicién es ver- dadera, el interruptor esta cerrado y pasa Fa ( i es urdodire [ yrie b) El cireuito no funciona si la proposicién es at . Pi P CY falsa, el interruptor esta abierto y no pasa 7 ; Rieeraes deat ee ee corriente. Gl ere mo fame iii beater sneorace Cal ) Seguin la disposicién de los interruptores en un circuito, se tiene dos tipos de circuito: serie y paralelo. 3 8.1. Circuito Serie. \,. \c Bs aquel que esté constitufdo por interruptores dispuestos uno detras de otro Sc Ao Para que el circuito fumcione, todos los interruptores deben de estar cerrados __ {proposiciones verdaderas). “sw sue, Bleireuito serie representa la conjuncién de dos 0 més proposiciones.. Shei dec ras yrre y f $ a) p Aq serepresenta : — pP— 4-— b) p Aq ar serepresenta: *— P —~@—— r—— Tid Prego Ss. { 8.2. Circuito Paralelo Es aquel que esté constituido por interruptores dispuestos uno al lado del otro, Si un circuito paralelo no funciona, todos sus interruptores estan abiertos (proposi- ciones falsas). El circuito paralelo representa la disyuncién débil de dos o mas proposiciones. |. f\ Jisyunret hat ta «, porale om das io pies ¢: Wh BNO: PRES rene Lan GOMNd ter SUH MeN ert genet stim abreast as Re 3S CALNE LOGICA PROPOSICIONAL a) pyaq hen b) pyayvr P seromesntns « [7 "| 4 serpent: —- — Lo r + El circuito que representa ala condicional p —> q , sera: —k 4 dadoque: p > = ~pvq * El circuito que representa ala bicondicional p « q , sera : eee ot q 2 dado que : poqg=(p > 9) A(q > P) 7 Ejempto 1: Grafique el cireuito equivalente a’: ((p > q)v ~s) at Se toma el conectivo de menor jerarqufa, en este caso la condicional ine eR q Se asocia con el conectivo siguiente, en este caso la disyuncién v , en paralelo con ~s “oe serie con ¢, obteniéndose la siguiente representacién : sah Finalmente todo el circuito mostrado, se asocia por la conjuncién ~ , en eas cuzvaNs A 3S CR: 4 36 ARITMETICA A 37 USER LOGICA PROPOSICIONAL o sesimplifica =[(~}~ A~q)v(~paAq)]vq_ (conmutativa) Ejemplo (2) : ese 4 if pa(~qvqlva (distributiva) Sefiale el circuito equivalente a la proposicién : ‘i = (~paVivg (complemento) ~[(paqg)a((p > r)vpyl ¥ ~pyaq (elemento neutro) Previamente se simplifica el esquema mostrado : ‘ p>4@ (condicional) setiene: ~[(p Aq) A((p > rT) vp)] = ~[(paq)a((~pyvr)vp)] (condicional) 7 Ejempto (4) : ~Uipagyat(ry ~p)vp)) (conmutativa) Simplificar el circuito : e ~Upagya(rv(~pvyp))) (asociativa) EN —8 ~U(pag)a(rvV)] (complemento) Pp r Ro i, = ipa g) AV), (elemento neutro) f ic apo) (elemento neutro) Sefialando el esquema correspondiente al cireuito : . ee. (Morgan) {Uwv~qaplyv(aariva}ap | ? El circuit equivalente ser : ~?P Siniphificando! a j {iwv ~aaplvlaanyvallar i 1 Ejempto (3) : P q {absorcién) F Sefale la proposicién légica mas Rea ae = (Pvq) *pspP (absorcién) } i imuttoy EMT a—-p j Lnego el cirenito simplificado seré: —— P q ; ‘fatal anid las rainay'dal sire thé Segtin se observa; los esquemas moleculares que pueden. ser representadlos por circuitos ) logicos son los conjuntivos y disyuntivos, luego, los esquemas condicionales 0 bicondicion- . 2 ales deben de ser transformados a esquemas conjuntivos o disyuntivos, mediante la 9 a | aplicacién de las equivalencias notables. es un circuito I. paralelo » | 4 CUANTIFICADORES : 9.1. Proposicién Abierta So taanted OA vB rca Es una proposicién que contiene variables, su valor de verdad depende de los ; valores que se asignan a las variables que contiene. A esuncireuitoserie: ~p a ~q : B esuncireuitoserie: q - ~p CT Ejempto: reemplazando:(~ p A~q)V(qa~P) Yq Sea la proposicion P,,, ! x es niimero par. Es una proposicién abierta, ; su verdad o falsedad dependerd de los valores de x.

You might also like