DIFERENUA SIMETRI CA Diferencia simétrica o disyuncion excluyente de las proposiciones py q es ts proporicion p x q (p 0 qyen sentido excluyente) cuya tabla de valores de chsse PF vesend BY La verdad de p x q esth carecterizada por Ia verdad de una y s6lo una de las proposiciones componentes. ” Es claro que p x q equivale a la negacién de p @.CONDI CrDWES NECESARIAS Y SOFFIT VENTES Consideramos 1a tabla de valores de verdad de la implicacién wt ne Hay tres casos en que p =» @ es V, y entte ellos hay uno en que p €s V, en él cual resulta q verdadera. Es obvio que nos referimos al primer rengiin de la tabla. y se tiene que sip > q es V y pes V, entonces ¢ 3 V. Se dice entonces que el antecedente p ¢s condicién suficiente para el consecuente ¢. En cambio, sip es F, nada podemos decir de q, puesto que puede ser V 0 F. Por otra parte, cuando p > q es V, si.q es V, entonces p puede ser V 0 F; mas pare gue bor ¥ se necedia que q To ae. Se dice entonces que qe condicionneceart Para p. Resumiendo, si p > es V, entonces p es condicin suficiente pera d ¥ @ condicion necesaria para p. Estas condiciones suelen expresarse SN oats : ‘ 5 nine ; Bee og ees (condicion necessti) aExe mob: | Elemplo 1-6. EMEP: | La siguiente implicacion es V: “SLT es equilitero, ENTONCES T es isdacetes” + T es equiliiero €8 isbsceles Y P ¢s condicion suficiente Par @, es decir, que un tridngulo se equilétero es suficiente para asegurar que sea is6sceles, Por ottn parte, T es equilétero sblo si ex 'sOsceles; ¢s decir, que un tridngulo vea iséaceles es necetario para que sea equiléters, Sea ahora ia doble implicacion p # q, es decir (p » 4) » (q = p) Si P ® 4 € V, entonces p = q es Vy q = p es V. Se tiene, atendiendo a la Primera, que p es condicién suficiente Para q; y, teniendo en cuenta la segunda acién. ocurre que p es condicion necesaria para q. Es decir, sip q es V, entonces el antecedente p es condicién necesaria y suficiente para el consecuente 4. Andlogamente, en el caso de doble implicacién verdadera, el consecuente 4 es también condicién necesaria y suficiente para el antecedente p. En este caso t \ emgle: La propésicion é = “T es equilitero'S1 Y SOLO Si T es equiingulo” es la doble implicacién de las proposiciones P: T es equikitero | qT es equidngulo Aquélla es V, y cualquiera, de las dos proposiciones es. condicién necesaria y suficiente para la otra.LS. LEYES Locicas Consideremos la proposicion (p=) 4 pla Q) cuya tabla de valores de verdad es: La proposicién compuesta (1) es V, independientemente de los valores de verdad de fee propcsicions componentes. Se dice entonces que tal proposicién es una tologia 0 ley Wgica. : Scie proposicién p => p es V cualquiera que sea el valor de verdad de p. Es otro , de una ley logica. Fee bin p A ~p es F, cualquiera que sea p. Se dice que es una contra diceton. } 4 ; ; En el cdiculo proposicional se utilizan las siguientes leyes 0 tautologias cuya demasiracion se reduce a la confeccién de la correspondiente tabla de valores de verdad:LS.1, fnvolucion ~Cree 1 modo de feera es “no, 00 p. equate a p” 142. Memon, SS (Cee teats (veer 1.6.3, Conmarstividad a) deladiyuncion pvaed VP by delaconjuncion ps a4 * P 1.64, Asciatvided Tere aeyancion wvyavecrviava bYDe ia conjncion Gaderer sige 16S. Ditruthided Syd Te conjunctOn respecto de Ia disyunciin wv arreirnvas? +) de disyuncionrespecto det conjunc i ieenel Voginar 4 Ouse’ 2) 1.6.6, Leyes de Dé Morgin 2) La negacion de una disyunéin es equivalente 2 la conjuncin de las negacio ~PVD~pn~d b) La negacién de una conjuncién es equivalente a ia i a eq Ja disyuncién de tas ~(ps g)e~p v ~gDe mstooh Diskribelividd melrmte rds de Vers Eye, Tabla de valores de verdad de fa distributividad de la conjunclon respecto de le disyuncion: Ov Mrre(panvarn Cada valor de verdad de p puede asociarse a dos valores de verdad de g, y por cada uno de estos» pares de valores se tienen dos posibilidades para r; en onsecuencia, resultan 2° =8 renglones en la tabla. Si se dan n proposiciones, en la tabla hay que analizar 2” renglones. : Por otra parte, es posible simplificar fa confeccién de 1a tabla, comd se indica a -continuacién mumn<<<< VV vv VF VE vv vv FF reTieng: Dewestaa an ce Ly ley de Morgm- Ovelos goguicmes m(paa) a2? Yevns Gaon egridavten upd) =v) Gonfeccionamos Ia tabla de valores de verdad de la siguiente ley'de De Morgan: ~? aarp ~qEgger: Sueno qe evd Vg ave wg V, ates de verdud de. (eran Ss 4 shee Dies + a V i Voantaces vw (a = u¥ Qquurtres swe peemy ly ieplaue: [(pvg nade 2 ov? ee F. ars hie eee MEIerns les Avot que acs l-ishw enesh copaad be pogicn, [lesan ~8} > a TV ” Zz DV Caeto, N2V os Nem + oo] menePreguede Gia) da erveticw valor de_verdad de’ as siguientes Afirmatvo, justificarl, aay Repleae weds Raa : (O80 D : pavyraF dale Dra @=n i prrav ee SEN od) we (me nna)» gu Ge gee Viernes vgs (eayeacr 29) } q 4 ¥ Orn omy voter sae Of 4 pepe @D ambeams Ce rd) Dah TS SRE) mall conpertan Ea a _p etengnaabs ere] ee D. Seales: Ga ey aang gene Ve mena) |e) dn wes OS op oe Fe eed) r ¥ ® und eye ceapnentt, ibys dhe SHE AS Se) Led : - Foe = we Ov awk EyLa proposicién (Oy | es una ey Teva, puesta tabacendicional'Y 1 reciproco © contari, entonces son verdaderos 10s CURD, ig proposiciones antecedente y consecyente son equivalent Se presenta cOntinnamente Me necesilad de demostar la verdad de p= q, y acucido con lo expuesto se presentan dos métodos 1) directo, Si p e8 Fy nada hay que probat, pues en este caso P= 4 «oY. Si es V hay que establecer que el valor de verdad de 4 ¢* V. Ayindiecte, Si q es V queda extablcida Ia verdad de p > @ Pero sig as] hay que examina p y Negara establect que su valor de verdad es F, 118, NEGACION DE UNA IMPLICACION Lax propesiiones p > @ y ~{P_* ~@) som equivaentes, como fo m | seueme tabi En comers a Bas epacin de te primera equivale a Pew ~a) 'y por 16.1, se vene “Pa wipe ma i Es decir, ly -negacién deur bn del anteedente con hagscot tal exces PER Semple 111 Sean impiaciones 1) Si hoy es lunes, entonces manna es sircole. i 1le-1= Peep us neaciones son tepectvamente,* “Hoy es lunes y mafia no ex mises” ee. , andl A ene