Complete _para_la ISgico._preposicienal Fijernes A un coqjucite de ditemos Definicien - Un axioma propasicional es uaa proposicién que ocurre en la Siguiectte Kista, 4-0 OT 2- poCpra) y po tayp) B- aps (aq~ 1(pvg)) A> Cpagdop. Cpagag ESquerna de axiomas B- po Cq>Cpaq) Propasicianales 6- (p> Gan) Cpagalqan) F- po Get) 8- Gpalip _| Alota Los axiomas pPropasicionales son Tauitolegfos Regla de infecencia Modus Poreas (mp) : Pp ea qEn lo ouceswo, LE Rop(A) Definicidn= Una prueta formal de p a partir de Les una sucesidn Py. spa nl y Pa=p. tal que para k=). yn G) peLy Gi) © Pets un AP (Anioma Foposicional) Gs) o FB ajed. kod tal que pe se infiere a partir de Ps 4 Pj) pec MP Ss existe uno pucba de p a partir de LD, creribireras Lb p y decimas que L prucba p- Teorema (Compactificacién) Si Lp, entonces existe ~ Erdé Ios finite tal que Lotp (lo vamos aver). *C0s Def Names a decie que L es inconsisteate si Lh 1. En otro case decienes que eS conoistente Jlema Srp p Demostracda pa (lpapr=p) es AP 2. { pa Clpapr> pr} f (pa (pre) (papyt eo AP &. Pop pap Aplicames MP a lo5 axiomas Be (pa lpr Gap) P CN Ue ~ e> APL eo APPZ. TP Aplicamos MP euevamente prp>p Propwiciin- Si Ltp entones Lp Demostaciéa. (Ejeccico) Tleorema (Gompletez ta forma) Geode! |Zrp & TepTeorema (Completes - 2ola forme) Twea Lies amnistente & tere un modele 10 opt Exanen Lena Super es que Lutpt +g. Ennces De pag 24 sept, Demostraciée (Prueba per induccida matemblica Sobre prucbas Formals a partic de Lutp}) Si_gqes AP, entorces Liq. Tenemes que qaleag) & APR, Pe El reouttads 2 signe en este caso Si qeLufplentres geLe qeiph + Sige, entonces 2 pepsi y D+ q.. Unonde el acjuments anterior 262i +S) geiphyesterees pag. Va que Hpap peel bra anteree, Enters Lh pag . Sig se cbtion: por MP a partic ky erg eg donde Lufphhe y Lufphh eng por inducadn 4 En partcutr Le 'pre y Lr paCesg) ger induced: pad. Lr pq. Veames la 2ig prpaicda Carleap)a (G2 (pag) eo APE p po eng) mp 4 aLresa g > par pre _@re)\ayo9) Fr egDaygresion Pe Esstructuras olgeoraicas T (pactiatly ordered cet” ) Es ona pareja (PS) donde, + Pres un conjusta * pgceP G) pep (efledvidad) Gi) Ss Psq g qSp etteres prg Contisinetela) Gol a peg y qe entenes pee Gransrtiidad) Si ademde, Gi) pfas gép decimos que £ eS orden lineal. Eyomplos RR, ml, Z, Q, FL. jab con et orden < (cl uswal) Ejerple: A cogynta y sea QAVIXSALA onypnte} Supongemos gue EN conjrte potencia Asfial #A=2 g gro 4b fa} eh ds waged A #A=2 BAAS G83, f28, At Az{u..,a} 2 - FCA) 227 Aah 8 fptt= Gah) Tarco Luca 13 sept] Asesoria Hom Afumad G. satead 7g ° AE 4 + §uad 41,08 2 faa} A 2 #P(A)= 2728Si definimes, paca XN € P(A) RSY & KY (PCA), ¢) cs POSET Un elemento peP ed minimal si no existe xp en P tal ge x

Gp) mp so Tae a 4) Sop Lufap) eo inconsistente > Loufphes Te eh lena anterior , 7p Leapet Gpal-ap ap Lup — Pat P ot :.LTep gcide Deciwes qt E ex completo. 3i GY E emcistente Gi) Pra cade py Tepe Leap Teewema Sup que TL en consistente Letep DL eRep(A) compete 9 Te SD Lvagtete Derestinaia (Eprcicio extn.) Zocn. Defines bp: Ante, Si Dep, tpGpst si L¥p, tpGreo Prop. Sup T. complete, Eatotes para cada p ten toh mm ) Sey ge Trp Sop ae tn 3 EL & EqGuere 9 Eee y tele = Leg glee P dtome, pehy pet (Bose 2c induceida’, aI Den Nance a user induccign acbre Cp) . Trae + Cag 12 peng. Aiptlesio oe induccidhs Teg @ kph Dhebee't 3 &) Lp. Por contdiceda, map gue tn (r= aytGerte) APS > teed Leg Tha Chop 3 apt) AP. so) me A) Sap Ener s ExQlet eo telnet 3 Lea Yet neche de que Les completa a bras bee us PO wpe bb) Sup gee Ex(pist, Eetenas bp lgo 3 Lit oe 7 bee Ir + fe Lie > Tre. nt mater sry, L complete Tre mPa LIrp Coss 2: pique HIy Trg & bela g Eee @ trlast| Case B- peqar BigrcisioDeFinicion Deciaos que L cs completo. i G) L consistente Gi) Paro cada py» Lrp o Lb ap Teocema Sup que L es cansisteste L ePeplAd A LePepla) compete 9. LED OT plete Demestracien Beccicio extra...) Asn