Professional Documents
Culture Documents
Lógica Proposicional
Lógica Proposicional
~ 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)=pV : 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 ~ , eneas 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.