Sovre, J ier elie ces Apt prota exe. K ‘nomi nat sueton ‘of cena Chovee ge rpc! Légica Proposicional Todo desarrollo matemético recast azonaren forma aida acerca de os tascendenesypartclrmente stactas, Hay que comensar por elminar ie ambigbedades det lnguae habitual itraduiendo sinbols y onecthos cay use adecvade descat as contingencias, porte rida y economia de pensamiento Introducemos el concepo de propel, ls operaciones proporcionales ys yes. Proposcones: (Cosideramos as guentsorachones p), com sigue: P(e [p= [DSnGSa) vip vv v wpe} F FlePy v Ejomplo Un tridngulo es equiitero sly solo si es equisngulo. a dobleimplicaciin de ls proposciones pe tridngulo es equilétero el trdngulo es equngul ‘Toda vee que p sea verdadera, también Io seré gy andlogamente, sp es flea, es flsa. De modo ‘quel dobleimpliacion es verdadera 6). Diferencia simétrica: Diferenciasimétrica 0 dsyuncién excluyente de las proposiiones p yq es la proposicén (p 6 a) en ‘sentido exeluyente)cuya tabla de valores de verdes a verdad de py esté caracterlzada por la verdad de una y solo una de las proposiiones ‘componentes, jemplo: vamos al cine de noche o de da. En este caso p: vamos al cine de noche, avamos acne de tla. E5 claro que ls dos proposiciones no pueden coexist (en casiones también se ula el simbolo A paataefeenca sities) Condiciones necesarias suficientes Consideramos la tabla de valores de verdad de a impleaciin: Hay tes casos en que p= es verdadera, y entre ellos hay uno en que pes verdadra, ene cal resulta qverdadera s obvi que ns referimos ala primera fila da tabla, yocurte que say €5| verdadera yp es verdadera,entonces q es verdadera, Se dice entonces que el antecedente p es condiciénsuficente para el cansecuente g En cambio, sip es alsa, nada podemos decir de q, puesto que pede ser verdadero falsa. Por otra Parte cuando poy es verdadera, Siqes verdadero, entonces p puede ser verdadera alsa; mas para ‘que p sea verdadera se necesita que ql sea. Se dice entonces que q es condién necesria para.Qe mOrON00 EMCO ene yE Inverse Tepe Raden Algebra, robbie y esd. se oan Resumiendo, si p=ag es verdadera,entonces p es condiién sufciente para @yqescondicion necesaria ara p. Esta condiciones suelenexpresarse as {ip pes concicin suiciente para q) 2ola sia (ges condicién necesara para p) Bjemplo: La siguiente implicacin es verdadera: “sie tringulo es equilétero, ENTONCES, es éscees", en este aso pl trkngula es equistero, ya el ridngulo es dsceles. p es condiciénsufiiente para g; por lo ‘tanto, que un triénguo sea equiliter es silent para asegurar que sea isésceles Por otra pate, e! ‘ridngulo es equiitero solo ses lssceles; esto es, que un trisngul sea isdsceles ex necesario para ‘que sea equiiteo, ‘Sea ahora la dobleimplcacén peag oben: (pa) (—= p) -Sipeag es verdader,entonces pq esverdadera yq- p es verdadera, luego, si pea es verdadera,entonces el antecedente p es condicin necesria y sficente para el consecuente q “Andlogament, en et caso de dob implicaién verdadera, el consecuente qes también condicién necesaria ysufciente para elantecedentep. Clasificacién de las proposiciones. ‘Aplicando el método de las alas de valores de verdad se puede observar que exten proposcones [clempre compuests)cuyos valores de verdad pueden se: sempre verdaderes, siemgreflss, oen lgunos casos verdadero yen ors fas ‘+ Proposiionestautliglas(teutologi oly 1g): conlderemot propoatsin P=? 4)4 P= 4 pata de verdad es » [a [oa |= a)ar [Tes ane]>a vw v v [viet i man, wv F v Efe tv rm v La proposen compuesta es verdadera independientemente de los vlores de verdad de as proposciones componentes Se dice entonces que tal proposii es una toutologia oe gia ‘+ Proposcionescontingentes(contingenca): cuando su valor de verdad en algunos casos es verdadero yen otroses aso, trempio: (79 (PY ieaizarta tabla de verdad ara comprobat) + Proposconescontraictoras cuando su valr de verdad es siempre fas, emo: PUP) fesumiendo teniendo en cuenta as tbls de verdadTnsrmuToNacoua! Semon "of crtne hover “ nivel ecm Naon ‘Alper, protien, igi pena TAUTOLOGIA-- Llamamos tautologia sen la columna resultado de la proposicin compuest, todos los valores son verdaderos (CONTRADICCION.- Lamamos contraiccin sen la columna resuitado de a proposkién compuest, todos losvalores sn faloe. CCONTINGENCIA.- Uamamos contingencia sien la columna resultado de la propesiciin compuesta, se encuentra verdadero y falos, sin considerarcudntosverdaderos 0 cuntos feos estan es sufcente ‘ue se encuentren ambos Implicaciones asociadas ‘es el condiional que lamaremos deco, en conexién con se presentan otros tes, cbenidos por ‘ermutationesonegacones del antecedent yconsecuente: > preciooco Sp > na contrario 39 = =p contrareciproco Ls cuatro implcacionespropuestas se aman conugaas, cusiuira de elas puede tase como deta, Elsiulente equema nor proporcona a elacn que as vncl: Efe ver ab is npeaoescontrarecocas son equates dec, bx sesetes Sonlcomaes om oon a) p=ge(q=-y) 8) @=2p)o-p>—4) ‘Megacion de une impieecisn "escio:demostrarquelas siguientes proposicones son equivalents: => y (pA) ‘ego de demostada la equivalencia de estas proposiiones se puede conclu quel mgacin de a pier feuivale a la negacion de la segunda: ip 9) ¢ [ins >1)} «Image por la layer, hohe = demuestra que (p= 4) £9 (p Ang) Entoncas, la negacion de una impcaton noes una implcnién, sno onjuncin etre el antecedents ya negli del consecunte empl: sean a impliacone 8) Sthoy es lunes, entonces mafiana es miércoles) la negacén es: “hoy es ues y mana no es ridrcolee.V). 1 PCL} ()sunepaiones“1=-10 FCP") »)isd Taaiges taco Algebra, probe y exacts, srr nico sirenoe Pf Cocina Choe ga Papa ‘TRABAJO PRACTICO N°1: LOGICA PROPOSICIONAL 1) Determine cules de ls siguientes oraciones son proposiciones: 2) Losrestos de Gal oud de San Martins encuentran en a Cate! Metropolitana, 1b) LaCapitl da provincia de Buenas Aires sa cud de La Plata ){Faegs! ‘3, Tedoelosaimros pre son mitiplos de ds. ©) (Quieuseretnet 5) Elmenoe ndmero primo el dos 2) Sidnes, por fiver 2D) acecalor” 4) Hay ntmeros eneros que verfian quex#2=2 5) Tedoslos ines de seman, eve 1) Los fmosos “Tres Mosqutrs”, en aid eran cto. 1) Vistebardel Pte 2) Wscriba, usando conectvos ligios, las siguientes proposiciones: 4) Juan y Pedro estat. 1) Marta estadiaoexcucha misica ©) Sidosé mors su ealifcacioes, pode sli de vacaciones {8} Sélosi hace mucho calor, los euerpos se data, 2) Sielibado no hace fro, podremes salir de asco. 1) Aprobards I evalncin sf estudio indicado. 2) Presto libros pero no me los devuclven, 1) Siapeusbo la evaluncién te presto los li a dD boca, pdr eta o viaje. 1) leuao es de valor ay los ene pr lo menos sig 3) Sen ps hace fri” y sea q: “etd Moviendo”. De una frase verbal que deseriba cada uno de los siguientes enunciados: Pp aay b pag eo pv~g © pve £ GP 4) Sabiando que Hp) = V. ofa) =F, 90 alle valor de verdad de a pag Ruo= Ve b pacevid Yn cna Ast, probebliod yest. \srruro mucin sortnon "ro arin Chaves 9) GP) ep “avon? ») B1) papesp “Idempotencia det conjuncin” 82) ‘pv peop “empotenca del dsyuncisn” 9 el) pageany *Conmutavidd del conn” ca) peacayy Conntatviad dee py” dt) (pagar pagar) “Asocaividad de ln conjunc 42) (pvg)vr = pv(gvr) “Asociatividad de la disyuncién” ED (pya)ares (paryv(qar). “Distibutividad dela conjunciin respesto dela dsyuncin™ ©2)(paghvres(pyr)alqur) “dit de a disyuncin respecto de a conjuncin” 9 £1) ~@Aq) eo pv-q “Ley de De Morgan” £2) “-@Va)e~pA~q “Ley deDe Morgan” Bp2qe~qa-p "Ley dl conteareipoea”™ ) paqenqanp “Negacin del inptiocibn® ©) Conair ts tbls de valores de verdad de as sguletespropscions compete y evalua si es {autologia,contradiccin o contingent a)(py = q)n~pla~(~ 4p) Dov a>) 1 toast) oma Sa) a~al>~o A ICP v av >) at oP va) > C@~ PI) (p> ~qy ras Dm (ponaer 2) (P90) + (9 -» 94) Hattoan >a) (ova = (pang) > (rp) 1) Determine &.Siuanes poeta, entonces es pobre b. Marcos pasar el examen si estudia, & “x” noes entero positive, si" es menor que cer, '8) Consruir un crcalte correspondiente als siguientes propasicones: D @agve 82) (pvalarvs) 9) OAMVIFAGVO)Saceco, rid Tesco cir, roablidedy este. ssnruronaoouasuremo ro Carolia Chaser ie oes 4 6) Serene el cic vei la peoposicidnconespondionts 17) Bseriba las proposicionss comsponientes lo siguientes crits ™ 7d — |S eee ee ™ f ae = eel 8) Esra las siguientes propesciones en lengua simbético y ego nggucs: 8:1) Todoel que esti, want 52) Todo el que taba exitosn 53) Hay persona que estudan yao tuna, 5:4) Hay personas ue no estudio y riot, 5) Hay personas ue no tab no som ests, 546) Todoel qu aban y esta es extoo, 9) Traduza al Feng “oloua" 31 Y:xes par xe 22 ay/yeshonesto ye conyunto de personas 95 Wy, Ay/ezy xeR.yeR J