OBJETIVOS + Reconocer tna proposicién légica. + Clasificar ls proposiciones Iigicas. + Mancjar las tablas de verdad, + Eoaluar los esquemas proposicionates. + Deducir tas teyes de la lb gica proposicional. INTRODUCCION La Légica es, probablemente, una de las cienclas dle mayor importancia para la civilizacién humana. El desarrollo que ha aleanzado en est titimo sigloy principalmente estas itimas décadas, laha convertido en el imprescinclible referente del desarrollo cientifico y tecnolégico del munclo contemporaneo. LOGICA PROPOSICIONAL CONCEPTO. Estudio de la aseveracién a través del lenguaje. ENUNCIADO. Es toda frase uoracién que se utiliza en elllen- sguaje comin, por ejemplot + Lima esla capital del Pera. + EldobledeSes5, + eQuéhoraes? + iusto! + x42 ENUNCIADO CERRADO. OPROPOSICION LOGICA. Estoda expresin coherente que se caracteriza por el hecho de poseer un valor de verdad o veritat- vvo, ¢s decir sies verdadera (V) ofalsa (F) sin ambi- ‘lledad en un determinado contexsto. Generalmente las proposiciones se denolan con letras mindsculas, comer p, q. 1 5,..! por ejemplo: + pzLimacslacapital del Pert (V } + qzEldoble de3 55 (F) Nowy, ‘Los mandatos, preguntas, exclana- ciones, no son proposiciones lgicas, ya que no se pueden calificar de verdade- ras ofalsas. Ejemplo: + Ejemplo: ashy a6lo e Miguel Grau fue peruano y_ Pablo Neruda chileno Se observa que una conjun- cién es verdadera sélo si sus componentes son verdaderos, fen otros casos seré fala. Las nae ee mene nna ademas’, ‘no obstante”, ete, ‘equivalen al conectivo (4)38, Disyuncién ‘a. Inclusiva (bil) Ejermplo: Lorena Ramos esmodelo 0. cantante * ar) p_a]P v4] Se observa que la VV] VW | disyuncién inctusiva es falsa VF] V_| soto i sus componentes son FV V__ | falsos, en caso contrario es FE| | verdadera. b. Exclusiva fuerte) Eomplo: La puerta ests able 0, cenada : oS p_a]pAq] Se observa que la disyuncién VV| F exclusiva es verdadera sélo si VF] v | siscomponentestienen F Vv | valores vertatvos pies, £ | F | eneasocontano sr fase 4, Condicional (->) Ejemplo: Si lhueve entonces me mojaré e a! Antecedente Consecuente =a] Se observa que la VW | condicional es falsa sélo si F | suantecedente es v v verdadero y su consecuente falso, en caso contrario es verdadora. Las expresiones “pes suficiente para q’ y “qesnecesario para p” son equivalentes a (p —> a) aes In cm clo 5. Bicondicional (<>) Ejernplo: lié ala fiesta siy s6lo si tengo ropa nueva, P — a P_4[P © 4G] Se observa quela VV] VW | bicondicional es verdadera Vv F| F _ | séiosi los valores de verdad F v| F | desuscomponentes son EE] v_| iguales, en caso contratioes falsa, ESQUEMAS PROPOSICIONALES Generalmente lasproposcionesestarinforma- das por varias proposiciones simples generando un esctema proposicional Ejempl: + Pa-aop + Gpvaaa@aon Ejemplo: Hale a tabla de verdad de: (pv~ 4) ->4 JERARQUIA DE LOS SIGNOS- DEPUNTUACION: + Coma: Menor jerarguia + Puntoy coma + Punto + Dossignos de puntuzcién: mayor jerarquia Ejemplo: Formalizar laexpresién: “Si recibi6 su pago entonces compraré su TV, perc no recibiésu pagoy se fue triste”. pp: Recibiésu pago q: Compra su TV r: Sefue triste (aha(—par) TIPOS DEPROPOSICION 1, Tautologia Un esquema proposicional es una tautologia st alevaluar todas as posibles ordenaciones de los valores veritativosde las variables proposiciona-lesque la componen siempre resulta verdadero, Ejemplo: Hallar la tabla de verdad de: lp va)a~al>~p Contradiccién Es unacontradiccién si al evaluar todas las or- denaciones de los valores veritativos de las va~ tables proposicionales que la componen resulta falls. Ejemplo: Hallar a tabla de verdad de lip aa) val a= Contingencia ‘Un esquema proposicional es una contingencia sisutabla de verdad contiene al menos un ver- daderoy al menos un falso. Ejemplo: Hallela tabla de verdad de: @>a>P EQUIVALENCIA LOGICA Se llama equivalencia igica a toda bieondicio- nal (P< 4) quesea una tautologia, denotandose ental caso: (p< a). Por ejemplo: br wval op ESQUEMAS PROPOSICIONALES LOGICAMENTE EQUIVALENTES Dos esquemas proposicionales se llaman equi- valentes (-) si sus ablas de verdadson idénticas: Determinarsi: A: (p > 4) B: [-p > ~a] ‘son equivalentes. LEYES DEL ALGEBRA PROPOSICIONAL 1. Idempotencia pvp Papsp 2. Asociativa py(avel=(pva)ve palanty=(paqar 3. Conmutativa paar) 5. DeD’Morgan ~(pva)=pr~a =(pna)==pu~a 6. Absorcién pa(pva)=p pv (paa)=p 7. Dela condicional pya p> Adicional p=V vPractica 1. Sila proposicién: [(pag).a(~pvw)] +s es falsa, se afirma que la siguiente proposicién: [sv(pa ~ w)]u(perq) es: A) Verdadera B) Faba_ C) No se afirma nada D) Toma ambos valores de verdad E) Faltan datos 2. Lasletrasp, q.1ys wepresentan afrmacionesde las cuales s6lo dos son verdaderas. Se sabe lo siguiente: IL Sisesverdadera entoncesq es verdadera. Il, Siqesverdaderaentonces res verdadera. Il. Sip esverdadera, entonces ses verdacera. Lasverdaclerasson: Aas B) ps Oar D)pr E) pa 8. Sila siguiente proposicién compuest p->(145) es falsa; entonces, cuales de las siguientes afirmaciones son verdacleras? I. pitiene un solovalor de verdad. Il. s:puede ser verdadera, IIL r:es necesariamente verdadera. A)Sdlol—-B)Sdloll_——_C)Sdtolll Djlylll EL yl 4, La subida del precio de la gasolina implica la ssubida de pasajes. + Lasubida de pasajesimplica el aumento del costo de vide. + Lactisis econémica implica la subida de ga solina. 4Cudles no son comrectas? I. La atisis econémica implica la subida de pasajes, I. Lasubida del precio dela gasolina implica el aumentodel costo de vida. IIL Lasubida del pasaje implica la ctisis eoond- A) Sdbol B)Séolll CSA D)Sdollyill — E)Sélol ylll Sabiendo que “p” y'"q” son proposiciones con diferentes valores de verdad, ademas: M=pvg Nelpave ap eCales sn es valores de vadaden ese rd? ay vw BWE UH D) PVF E)FW Sablendo que la proposicién compuesta: po(-rvs) es alsa to(pys pon esotrop. Cudntasson verdaderas? ayo Bt c)2 DS E)4 Simplitiear: (pva)a[(a>p) +(p >a] Aq B) py-a C) -q D)~pE) pa-g Indique cudles sn tautologias: 1 (pager (pv~a) IL [pa(psa)]>a mn, [(eva)or]-+[-pofpat-pa)]] Ayl B) Ilylll cyl DI E) Todas9. Si pag py Simplifique y dé elequivalente del siguiente ei- cut ligico: 10. Sielsiguiente esquemaesfal (Ba = a)—+[{marjv ~r] Indique l valor ventativo dep, q. myr en ese orden, a)VEV 8) VEW sc) VF ~p. L D) WRF E) FWE ss L. p Problemas Propuestos 1. Sean as proposiciones: 8. Silaproposicién "s" esfalsay elsiguiente es Eduardo estuchaen la UNI. a vuln 2a¥] ee 4: Eduaido noes vendor de perkiicos quema: (-paa)es[(a1)u(mn~s)] es Eduardo no desayuna. una tautologia, enfonces los valores de verdad Simbolce el siguiente enunciado y hegossmpi- dep.ayrsonrespedivamente: fiquelo: Fs suféente que Eduardo rosea vende Ayrw BFC) AF ce de periécos ono tome desayuno perague D) FF 5) w noestudieenlaUNt PerosiestuéaenIaUM ya ‘entonces es venciedor de periGdtces A) Po(-an-1) B) paqa~r ©) p(anr) D) (pvajar £) va 2 Dadioelsiguiente esquema molecular: [(p a)ar]o [rs (paay] Si claboramos su tabla de verdad, calcule la diferencia ene el niimero de verdaderos y el niimero de falsos de su matrizprincipal. Al B)2 CS D4 EO Alsimplficar la expresinz [(p >a)*(p*-a)]v(-p*-a) Obtenckremos A)P D) pr~a B) pag E) py-a ©) pva1 Problemas de Ensayo Hallar la tabla de verdad de: &pva)e (py~q) Resolucton: paltpvd & vv Resultado Fin: FFFF (Contradiccién) Alresoherlatablade verdad det ~pvlae~(pa~all Indicar el resultado de la matriz principal. Resolucién: pal» t| VV|F vVE|E Fv|v FFiv 2 FFVV Se definen las proposeiones: péq=~paq i poq= Ademasla proposeién ~Ua# p)>(q Or es verdadera. Halle los valores de verdad de ar. “ Resolucténe Reemplazando tenemos: sling 4 p> ig vn rq=Firev Si (pa~q)—r es falsa, determinar el valor de:p.qy r Sila proposiién compuesta: ~Ws~r)> rari Es verdaderat Halla el valor de la verdad de las proposiciones: “r respectivamente. pry “ql Resolucién: [ea ~} > fF Andis VPractica 1. Formalizar: “Si luchas por triunfar, entonces Iriunferés, sin embergono luchas por triunfer”. A) po(anr) 8) po(an~r) ©) P>aa~pD) P>aaipval E) poav~a 2 Silaproposcién: p> (rns) esfaksa, entonces se pede afitmar que: 1. “p" esnecesariamente verdadera. Il, “Pesnecesaiamente verdactera. I. "s" puede ser verdadera, A) sol BY séloll—C) stlol yl D) llylll —E)_sétolll 8, Sabiendo que la proposiicn “p” esverdadera, en cules de bs siguentes casos os sufcionte lichainformacién para determinar ol valor de verdad las siguientes proposiciones? Leva pa~a) I paa)>(pvey I. @>qor A) sdlol B) sdoll D) Iylll E), todas ) Iyil 4. Hallarel equivalente de: ca4 {EF 7 Cs4 Rta. 5. Silaproposicién:{(r— s)vp]> (p Aq) es verdadera, entonces determine losvalores de verdad de p,q,rys.Ademés: pe q es falso. Rta. 6. 7 10. Sedefine p # q==(p-9a) ‘Ademsla proposicén: ~{-p# erode sa} es alsa. Halla los valores de verdad de “p”, “q” vv pa Sila poposcién “Pr pva)lale >ayv~s) es verdad halle los valores de verdad de cada una de las proposiciones (p; qr: s) Rove. Determine si las siguientes proposiciones son leyes Kigieas(tautclogias) A) waa>q B) p>{pva) Rota. Al resolver la tabla de verdad del siguiente esquema: ~pvla>~(pv~a)] Indica el resultado de la matriz principal. Determinar si el siguiente esquema es ‘Tautolégico, Contradictorio o Contingente: & pvaier(pv~a) Rov.Tarea Simboliza: “Como la materia no secrea nse destruye,sélo se transforma, luago el universo siempre existe” A) pagar os) B) -pr~q)ors) 2) wsarr D) Ie pv~q)orlos B) Iepa~qorlos Formalizar: Para Epicuro afilosofia es init si no ciatriza las enfermedades del alma. Ay ap B) pala>p) ©) ~para D) ~q>~p E) ~pora Simbolizar: “Giordano Bruno, etNolano, fue denunciacto por la Inquisicién y muerto en fa hoguera en 1600, puesto que era un copernicano.convencida” A) ra) 8) r>(pnq) ©) portant) D) (pag)or B) rapa) Formaliza: “Pico es representante del neoplatonismo, Pidno también: ademés Pico {fue maestro de la acacleria de Florencia” A) (pagar) B) (pagar ©) pasa D) paar ®) paar) Simboliza: “Miguel Grau, el caballero de fos ‘mares, mantwoen jaque ala ota chilena en suprimer memento de a Guerra del Guano y del Sale” Ay po D) pad B) p E) ~P €) ~paq 6. 10. Fonmaliza “Holbach y Helvetius son pensadores ‘materialistas en vista que constderan a le nnaturaleza como frente de todareaiidadt” A) pqar B) rop-q C) q>p-a D) rsop@ E) rsopq £Cudntas variables se emplean para smboliza: “Peri, pais fimitrofe con Chile y Ecuador, explota también su riqueea turistica’? At B) 2 os Db) 4 Es Con cuantas variables se simboliza: “La LLégica, que es una cencia formal, estudka las Inforoncies paradoterminar suvalideo”? aya B)2 a3 D) 4 E)5 Simboliza: “EI tiempo que tomamos en lleger 5 inversamenteproporcional al tiempo que fardames en regresar” A) pa B) pag ©) ap D) p E) pva Formalizar: “El cambio se producird siempre que se agudicen las contradicciones, ne obstante fa realidad esté en cambic permanentemento” A) poavr B) qapr C) poar D) q>pro-r BE) qo>p-rosPermiten transformar y simplificar f6rmulas ligicas, y 4) 6) IMPLICACIONES Y EQUIVALENCIAS NOTABLES LEYES BICONDICIONALES poa=(panap) pea=(pravepa=a) LEYES DISTRIBUTIVAS pag (par) pvaa(pve) polanri=psa)a(p>r) polave)=(p sa)v(p>r) Pay 8) LEYESCONDICIONALES 10) LEYESDE ABSORCION palpval=p PAP pAq=~(perq) LEVESLOGICAS ADICIONALES + =pya=~pvipaa) ~paq=~Palpva) + paa=(pa~avlan~p) + pAge(pvay~(paq) APs