Bemosteacén: + pave) 1 2 Gvnoe het Bala) ie) r4 4 pave =Ulpvpl elie R Sat. alps 5 evento Rpt ‘Demosteacén: Le Doo ‘Bemosracion 1 peasigvp) Ad 2 Kpepiipee) Rae tp) Te Th p-r-ph-p emoataibu 1 ovroe fet 2 tpepee Suet! To op plop Demosteacbn: 1 pop) act 2 Gone besa Tit, pomp ‘Demortacin 2 vee Su) ranaeed bead TH prg-sea--) ‘Demoateacon: 1 @h-alpa)>ip 1 RESIS ra R Sue Lm) rae RSs 3 9) 7" x= 5 e999) Resear 2,4 & vaviavel rer) Fo penal aya) RSet 6 gh gine) pom are bes? 8 pags tase ip) tT 10 poate lle 0 “Seat -9- le) a>“ se. 9 ah (ip ara) 1 (pomaaa-ei Breen) R separ 0,5 2 pagsre Rsepr 18 Dejamos agai la demortraciones de teoremas del PME. Hay ‘otros muchos toremas que pueden ser demosrados, pero —como Ju anunedbamos ane nuestro are piordal mo ud oe Feemas logic formalesaxomticos sino en lon de deducin ne ‘unl 4. Demostraion del valde de argomentos on general Ta demesteacioa de que un argument expesado ene lenguaie del PME ey slid segue tomar como prineroe englones ie Dremizas de dicho arpumento a continu, hace io de 240" ‘ae, de teoremas ya demonrtdoe yd as elas de anslormaci, fara obtener nuevas fs que se sguen ene tema PME de aque {is prem, haw slnntar la concusén de argumento. Abors debe ela claro que scree con uns demorteaon de un argu peo ldo en testes exe pen dees Cingeio, Pro ‘Enos de proporcionar ejemplos al respect maxim porque exe ‘ipo de demontraciones son realuables con menor diculad en os stem edn apa Psa, pci mis ain Dreseora an stema de dedaccion natural para ls Lagca Claes Se Enunciados Ls, SSTEMA DE DEDUCCION NATURAL ana LA LOGICA CLASICA DE EMUNCIADOS (SON) En adelante lamarcios a exe sistema SDNE, que esponde alas s- fs de Siem de Dedueion Natural de Patios 1. Lenguaje formal 1 Stmbols peimiivosy autores 3) By ts 8 ty ie Finn Be yt Son simbolos primi ‘or gee denomimamor saris propesconales. ~by, va 7-4 son simbolos primitives que denominamos co- ects y som las contates legen primis del SDNE. «6 UIs Lls]sonsimbolossoxiares que denominamor pod 412, Regls de formacion ‘RF Una vate proposcional ex una fh del itera SDNE. RFZ:Si Acs una ff del sistema SDNE,entones “A también es ‘a fb dl SDNE. RES.SIAy B son iis del SDNE, entonees AV B, A.A B, ‘A Beambiéa son bis del SDNE- RRE4.Ninguna sare o secueneia de simbolos es una fbf del SDNE so es en viride ls seglas RF, REZ) RES ex epruando, caro sts as gue resltan de itroduce sim. olor sunfire para cviar ambien). Observaiones 13} Como se puede ver, hora introducimos cuatro conectivasl- sas como sibols primitives y no slo dos como hiciramos en PME. Debomos aclaar que podiamos haber procedido como en PME, pero ello conlevari qe el sistema de deducion natural re salaria mis complicado de unizar. 1b) Se debe tener en consideracin ls cbservacones dade para los solos primivosysuiare del PME, a como las que Con. ‘erientes a leance dele coneesrar > v, ny» dor en sPar- {ad celtvo alos sinbolosdfnidos et PME, 113. Simbolo defini 3) etal que A © Bm (A-¥B) (BA), 1) Balcance de a cones defini ¢ repocto a ae cone ‘vas peimiivas v7 > cumple la misma convencién adoptada (UME pars eos simbolo 'b) En To ue sigue, a veces menionaremos las conectias por medio del nombre que habtulmene sel asigna a cada un A, Ilamaremos “negador”'s = “coajuntr™ a, “disyunor™ a % "condiional (materl)" 2, y "bcondiiosl mater)" 2 «> (Gunde eta conectvas aparendan en una ema las Tere de In gente forma A como “no Av; AnB come "Ay Bry AWB. como "A'0 BY; A-oB compos A, entonces Brey fnalente AOD Somo “A sy clos! BY" Ala ft A se le denomina“nepacon (de ‘AM AaB ele denomina “cononcin (de Ay B), 3 AVB se ‘denomina *dsyuncion (de A y By, 2 AB se le debomina “0 pecteere ee ate 80 do condiional (water) (ene Ay B), a. AUB se le denomina Sift de beondiconal (ater feee AB) ) En una fo que tenga come constant liga principal a> am CONDICIONAL taTEALAL}— To subemula ben formade Ge precede a dicha constant ig se esta NTECEDENTE 9 4 BiBomaa ben formads que gue atl constante gen ta CONSECUENTE. Assen general en AB eters gue Acs ane treedentey Bl consecuet 2, Mecensm deductivo Giseroaciones 13} Una deducién en el SDNE consist en una sucesién de rex tones numerados cada no con su numero natural desde el 1) cada renga tas Ln sumerscon del renglon se xexibe ‘una fh ana ica fmol por renglon, de manera gu as fem Tas de los efeenesrenglones queden co cola Tras cada fr mula sees el nome de la ea de tansformacion que se ap pars In obtencion de Ia frmla en ere renglon xpeiicando 2 pti de que formolaro de que cadens de formulas se oben de ha formula, (Vease figuea 1.) ) tua eenglon conten una farmula no deduid,entonces se trata den supueso. Hay dos posiblestpos de supastos en una Uiscsion dl SDNE- I) Prema 2) spuestosauaare. 4) Las premisus son fis desde as ques peetende obeener la hf que costitye la conclusion. Las peemisasapareen en fos pime- Fos englones de una dedaceién endican con un gin que pe ede al mimero corespondiente al renglon {vase figura I) Las remiss son spuests no-canclbls. La concusén nda con ‘SGmbolo (como en la gura 1) adem debe consi a fo Age ae aleanzs finale nla descent io renglon— de todo sapvesto air ~es dese, con todo supustoauxiar lado (como etl igura 3) Premise ES. aa E> 1,2 a Ea Fat «) Pema yconclasin son los components de un argumento formal del que se pretense in demostacisn (educa) Tal de- ‘mostacion slo es posible scl argument formal ewido. Ovia- ane no lo a dno no nie gue el argue fo inal ce ae un arguments aide fependinte de gue oe aierte 0 no se ace a demostai reser osha in el ap sr adits io eptemea pr os atgumeaton deduction) Claco ests que en argent foal os ‘ldo cs indemoseae ae ') Los supuestos aves son supuestoscanclablesy qu de ben cancelre-Esrictamente no forman pre del argument f sul ddan pce a den ee ‘mento formal que sven para Ta aptacion de alguna rep de ‘Tammacn hate rd, pulls medacoee Sls Son de determinadas constants gas primtina. cata sts are indian com an hr un ida) que se prolongs vercaimene, precdiendo al nero el reaglon de formula vue gpa 2 Eat ne perpendcalgse ‘rolonard hasta age! englon de formula en que oe cance ests Puesto yen este rengln laine e prolongs horzontamente bata {nimero de renglon (vase gar 3). Denominamos una cadena 4 formas lems comprendidas desde gue se se ns cso aula hasta que ee secon 1) i todos los supuestos de una deci son auxiaresy tin canelados es det so ay premisar™,eatonce acon ‘son es una ley Iie dl nistema de deducin Batra 1) Al exponer el sistema de rela de wanslormacinhiscas dl 82 2 a cent tene SDNE lo harmos en un mealnguse para el SDNE, Cada rela de Tapsformacion bine conene dos pre, separadas cate a Por Uta linea horizontal (vase ajo cusdeo de elas de taal ‘on bascs. La snbolos mettngtsicos gu extancacima dla fies horizon preset las formla o caenas de Formas de tas gue parte ena apicacion den rep, on ls conetas ig {Ss fundamentses de cada una dees fro, Lo smbolos me. ‘Blingiticos que estin dejo dea lines horton epee a {bem qu oben por la aplicacin de a rep com las cones tases fundamentals de ea formal "Las reas de ransfrmacon basics (RTB) so de dos po de fnrodacei Oye cimiactn Exar dnomiacone Aten que exasrpasentblecen co se ntodace 9 como se Simin ca una dels custo coneear petra Rest, ps Scho cela; cada una se denomina means I iii 1 (de tto™ icin oes (le imac) aegis cso™ seg SET net ences aa ene ins 5 Lor pos serpersvo en perpendicular ndicn la post dad de ue haya tenlones intermedi. Lender em ge rman ae dla cen rrespondiente 4 spweso concelao no pueden ser uliador frm In aplacon de regard tranaormacin en eaglones poste Flores a asl en que se apie rela pra la que inode el pesto ane en oeston, Slo se abe un supucsto caneable cuando se press para apliea dteminada Rela de Teansformacn Bsc. 1n) Para realizar la Gedusin hay que poporcionar ls premisas —silas hay y la conelsin » obtener Las primera indies ‘mediante fs precedids den pig (mo ya jos) ya tina Selndca mediznte una ff precedda por el snbolo (ase iu ‘Senne 29 3) Si Repos de Tansforacign Bscas ® ah a= 2) AaB AaB 82.2. Algunos ejemplos de deducin en el SDNE empl 1) “ipa capaa be En cite cis se ata de obtener parc de ls premio dada, 17 2B pre pcos en car acc, en as remiss, Lt conclusion spares en pets promis, pce no Pos ‘emos obrenela vecaments puesto que ninguna regs basen del sistema peesntado lo permite. Es precto elimina prevent los os condicionales que apace en exe renglon e Sei hemos de splice I ea de iminacn dl condisnal Eta sgl extablece (ue, dado un condiconal A">B y dado el ateceden del misma 1, Se abiene el conreente B, Ast pus para poder chmnar ‘badiconal principal del engl 1 ecesitamos tenet p eh alg ‘otro rengln, De momento no tenemos p, peo podem consegui Ho. Como? Resa que ps vex iguana segunda prem ¥ podemosobteneco siminando la comjncion del segundo enon Tpoan) =ipea ual deducide coal nates deduidop,poemos apes I el de linac del condicional: ae : - 4 eonecensneeceenicceenansanicensccenansiititegy donde A yB representan cualquier frmula bien formada dele uni sto son variables metalingisicas— ja que dada wna SGemula dea forma A» B cenglén 1) —p > (gy dada A tun formula gue coresponde al antecedent de quel condcional, ect eso prem 3 coven wa Ke ue coe al coseeuemey en exe as0.q—> spon) 2pna ae EA2 Agar Ess ‘Una ver Conseguido q> para obtener, hemos de pica nueva ‘mont [a regla de eliminacion del conicona,ya gue figura en el ‘onatcuete dl condcional que se acaba de obtener. Feo, pars ‘pode plicar esta vela es pecs dsponerpreviamente del antec ene del codicona No lo tenemos, peo podemos conseguir: el fntecedente, gy figura en el reglon 2 y se obuene diretamente Spbeando nuerament larg de iminacion de la cojunesn areren apne 3p Ea ager Bis 5a Faz Ahorsprocedemos a aplcsrnucvament la rgla de eliminacién dl ‘ondelonal para dedi nesta conclu rene renglon siguiente, ips et 33 cs ests 3 Bu Shae ae fos podeno rose a hv dl png ninco su fae, ya gue paride antecedent hemos deduid el concent, p= fy de mucto primer subpeobleia, (= #} > (p-¥#) Poe al In, saplica nvevareat la gla de I> para obtener a iSrmala 9 ‘etostar? a eos 3 cs ea 3 Bu He Ee et ETB an ES a ae “be anes Para obtener “shay que intro una negain, ex dei, ap carl $l go 6 ape pr a ae Sf cael gn fs pcr oe ots nul ne ‘tions porthole Beds So ae dppb 7sipsa ae m2 Bad Evi rtd hes ne Suponemos, pes en 4 eintentsmosalcanzar uns femal de la forma B nn desde ese puesto airy ls prema. Lo pr mero que cemos es elimina la conjuncicn en bs premisa 2 Gos ‘ees pata obrencrensendorreaglone, $y 6, py % Despucs dado Que tenemos p> ea 1 acabamor de obener pen 5p aplicames ES yrobtenemos (engin 7), Pueto queens formula ete sate cedente dl condiconal dela premiss3yapiamos E-» obeene- ‘mos (rng 8). Como antes tales oben ren 6) apliea Borin oenaos A gut rma oma 8 or coniguient, en wrod de Ix podemos cancel supe del engin ten yconchat sn 10. ‘a ESTRATEGIAS FARA LA RESOLUGION DE THEReIGOS BE DEDUCOON EN HL SONE 1L41.Esptepias generale de deducionenel SDNE Las indicacones que damos « consnuacin seven pars Is reo ‘in de deduccionss ea la mayorla de low casos, pero no conse tna porma a Segui stmspre. Ante todo Scbemor alae que ls se ‘las bascas—segun se hn visto en lo cjemplo anterior no fan emo conseguir una Pf que tenga determinadaconssia pr Imtva como conestiva principal regs de ntodueion= 0 comno Pee, ce 6 con decrmiatde consis bea como conta fundamental alguna otra fbf —reqls de siminaion = ‘a seston nila xen buena medida, eemejane ala que amos cuando nor planteamos reslve con astucaslgunon pass siemposlogicos de los que fecuentementeaparcen en revs etoios saber, ls del ipo lnguads del tsor. An Id {int mulgpiidad de senderos skernativos no encontamoe nso to, los perspicaces buscaoces de frcanay al oto Se encuentra etre objeto de deseo, el presado tora. 88 ‘Basqacda del oro Se trata de deterinar cil de lor diferentes senders akeaa- vos que os proponenconduce al tesoro, Lat ponbls estates 2 ‘Ryu para dcrminac qu sendero non condtce al tero son 1) ‘Siar lips yprobar tno tx oto fos tino sendeon que Do dktan conducirnos al tesoroy 2) prodecer astatamente y empetae {i lado del reso record hacia ata el sender que condice tsa cia pon. La primera de lav ented ben pare {lpasatempo,s ao somos demasiado impact, no teem pr {Sno temo acsbarmareadoeiguiend el ens de canon fn ot ver arta acertar con el adecuado. La segunda dese ‘ees no slo e mucho mega de cara. encontrar el ca no correc sino que adem hota tempo. Pes bit nla 0 Ttcion de ccos de deducrion (en stemas de deducion natural |g estrateg incl conse en comenrat» plantas la resolucion (dl erecta ateadcado alo que nos piden qve obtengamos en la onclusony endo qué netaaramos para obtener Irma de {concn so sopone sue de enteade nos ovidaros das re imine. {No se rent on Geriso de dlicel6n aplicano vel {lee Los prenisns sin ton ai son! Sientendemod Ia coclsion loa na» ord aaron os ses fnmedatamenreprevios gue non conducen 4 oa meta A su Yee stan de conor ay se cl i abe tas (osubprobemte) que hemos de lensae para poder lear te inal ny de cos hc at ns debe Deri ver al Binal gud res han J aplcarse sobre ln prem Fars cane lar priterasrubmetay a com cl reo de res # pict pra acaba las siguente sabes asta la met final Ee tipo de alin es equivalete a resrrerel camino dese ef tal al prinepo, una ver qe se conce ef eamino adecuado, slo 99sIpsa bo .q en Ly acabarno de obtener pen 3 apcamos TS Fobtenemasq(renglon 7). Puesto qu eta formula ee ante dence dl conditonal dela premisa 3, apizamos E-» 9 obtene- ‘os we (engin 8). Como antes hablmos obtendo fen Sh aplicn- os Tay oenemos ern eal da fra 9B compute, en vrad de I+ poem caecae ef supucet del seaglén ten y conch een 0. [LA ESTRATEGIAS PARA LA RISOLUGION DE "JEREIIOS DE DEDUCCION EN HL SEE LA. Estrategia generals de deducion om el SDNE La indiacones gue damos a contnuacin seven para a reso arin deduce hrublec sido radiamente deene Lo que guerene poner dere lew esque» no tomas como puto de rlerenia conclusion 4 abner, corremos el peligro de obtener suchas conscucnis 1: {Gras de uestanpremnan gue Son innecearia ara I reslucion El problema que nos ocups en cada cao Por eo proponemos a Siete eatsgia general 1} Ver que ee gue hemos de demos, eto ela consi sobenee 22] Sila conclsin conieneconectvas lias tries desde la conclusion el poco segi pars tod scones opeas ‘edn ji, Ee ore rug inca por acm ‘5 principal y conta po as gues en mportanca sgn fexminen el alcace dees padasi yo dels conectvat. 31) 5 del pao anterior se igee a necsidad de sb supuestos sxe, velo de una manera jg en el sn orden gue se ha vist gue sn pros eat paso antcsion—ya aos Suc alguns de ls formulas «obtener ene az paneado desde In conclsin pueda obtenerse decent a pari de renglones ‘revios por aphcacion de regs de ranstormacion “47 Gan vex dados estos pasos, slo queda ver como obtener a By A som ffs que aparece aladarente en ren ones peevios de It deduci, enroncosconeiyase dresament BEmctes conan 2 3)5i As adic, etonces 0 bien se obsene a partic de oe senglones de dedsion previo, oben se dems po reduceidn STberdae0) SA ose enone edness pen de invoductonconnapondente stele patra ena ie a ee ee, a SFUaarerecnes A Ae aps eyo ea cng ee ee donde Xs. Ae, i ae as beap gary Aesn Bets cn gare sine See ate oe Sis ce te BS Meme tcl Ser Esse sf ‘plones 1 y 2, tere mo =e Bar po 9) AaB b AaB ae ARR 2 Supongamos que en agin rep de dedueci previo tenemos ‘na conjuncin gue queretborciminar.Eatonces eta rp perm te ober duccamente eualguiers de los miembros de la conan. ‘se, ya que mediante pectin —-sucesva~ dela rg es posble ‘obtener ambos Pisa que para deducit uma councion esto parent oa conn precio epee lhbosmiembeos dela misma, de ai gur una ver obteni la com Junin datos deduce tambien cada uno de ss miembros. ‘Contérese ete empl Bene engin Sen Considers el sigs ejemplo Flip-saia qn 1p -+a)ala-+0) 20 3 bog Bal 44 532 S4qoe Ext : F554 ope zs Slipman@ on) seon 117 Siguiendo lo indica ent extratgi de utliacién de -, su ponenor ie amc "Clonal "a" demain, (png) (¢—> 0) —englon 1-5 y a par de exe momento noes So ob etd eset a dosrcin dl cnet, Bo>esUna ver abio el supueso del engin el accede 4 conditonal— la sabeonlsin a obtener ex constennte del senda 9 -Con elcome coca ‘to condcional, splicamos nuevaente la eaepaepectcn Co "Hespondcnea la I>, Eno e sponemos el anecederte een sin 2 ya paride ete upacstoy dl supesto abies ante Ss 5, 6 especavaments). ina ver obteida tclausuramondl Pesto aur correspondent; eto el supcsto ene ue igh fel antecedene del condicional a demostet =p => t— cy con. Secuente er. Clausuramos ef supesto del engl 2y conclumos engin 7 que p+ por ns Hemos oben ail conseeue’ te dela fof demostae: Causuramon ps el supueso aber en el primer renglon en el rnglon 7 7 abtencmes el condicionl de- 96 pooltieg tuple cess eect Cee oe eae acti | —h—Lhrtrt—<“—s—sSO—sO L-Lrrr—C Slats ei et gad la gree —”r———™—__C_C. Sci habe, dot tapas ar Scr Ls rela deeliminain del igyanci sin dd, lam o- fica dela regan del SDNE, Pars inode In dynein fofciente con que eno de los dos miembros de ln misma haya sido tstablesdo previamente. Pro, dais una dsyuncion, no podemos proceder tl contano de logue ocure ene eso del ea ion de a conjunc generar dectamente dos aos engl ter de dedacion en los gue parezcan,respecvamente, cada {de Tor miembros de Ia diyueson. Lo gue i podemos deduce todo agullo que se niga de ambos miembos de a disyuncion. La ‘Ses, psy consi en shminar Ia dinyuncién gbtenendo una ft ‘qu o sigh de amas parts de a isyneion. HL peoblama esha ‘sablcer queer la gue teva lnentae demomrse que = sie ‘Bsns y oes parte dea disyuncn, Beste send hemos de tenes fn cuenta que ctando a0 abre un supuesto aay, se debe saber 7om gu fh eva a intent cancels Exo ue css obvio para ine ols bins de sy dey, noses ert en arg de Ev. Hlewo esque dada uns ayuncion, determina ier ogue 6 ‘uede conus parte deca requere eta reflexion. Stponssmos gu en alginrenlon de dedeson prov tenemos sna dyuncion Av Bguequeemor manarLasega dev deter rina, stunt eatatega de dedacion: "*) Abrase wn supeesto sar en el gue figure el miembro i aquezdo del syne, A. Deddzase apart de ota forma Scharf supuees en C- 3) Abase un supceato axa en el que gue el miembro de reco dela dsyncon B. Dosiscoe 9 pate de oa form © inasiree el sopueo en. 3 Stn ue Cc a ur sega de edi, Por supuetoC puede se cualquier forma ie formada del lengua, pero'ha dese a mana en las rer ocutencie menconadas corres Pondintss cada apcacn dea ea de Ev). in egoncion ater de a eateps emo pasado debe radament or alto la principal desl gue entra a spleacion esse a Sead de etablere que formula conta co rresponde la metavarable Gen las dsintasapeaioes dea ee aise deci, como saber a qué Tormela querer lege desde ada {ino de los spuctr qu absinoe para rocder acne adi nck, Fra rane ee apt de apa dea el Saladopsr el sgicoe enero Sthysupucstos auxiaespevos abies, entonces C srk cael formula que nos permieacawsrar el puesto presto ‘i concelado nediatanents entero — Sine y sapueon snes proves airs enonces C sexi la conclusion cel agument «demos. [se enteco anterior no comtuye una norma gu deba segue se inexorablemente, sino ms bien na esrateisegara pats la Spliacioncovecta dea rela de Ev ena eaten Ge desucior ‘6 ero en ossones pode seve la dedacion esque hay fue elimina una Gyunc —es dec, deduccion puede rele {seen un menor numero derenglone~ so se sigue ett ‘ened eo see ‘Considerar eigen efemplo, para ve mo aplcar elite tio props. Tpvr ose ark beste re FER Sete a ont roan au tt os fe rmulacuyo snbolo principal em condicoth cs pecto spia la reala de itoduccion corespondicne. Eno es suponercsnece- 98 dene py pati eet puesto sur obtener una deducion ‘Elconssevene, tm “ipveosvr are bpowm Sse : a 2) Poesto gue el consecuene es una sync, sr ficient con demon caigsier dels dos miembros de i ds yruncin, deo de m, pars obtener una deduct dea misma, Loe Irimbros de fa dyunconfiguran en on comecunts dels con ‘Bcionai de os renlones 2 3. A su ver on asecedenes de eton ondiconales figura ena primera peta, Ex precio pus ch Sar el eocionl de ls primera prem, Par io nrc a ‘ayanconapiando la ela cortespondenteen el renin “i pveseve art bpoewm Sion 4 Spve ws Por E~ obtenemos s+ Es ahora cuando nos efrentaos onl clminaign de una dayuncién. Para obencr cl consecoete {EL coclntn e prec eininae fs dyuncin sv para de termina a fb que hase a conclson de eta eminacion de fa ‘fsyuncon del renin 6 apicamen Ia esate Ya desea. Lo nis aecuado or aural supueon comepondiner ada tho de fos mimyos dela disyuncion a eivanar con a formula {he buscamor desde el supa asa nmedatamente anteog, deci, dade el renglon 4 La frmala que queremos deduce para ‘Snusurr el upacsosuxihar dl renglon 4 ev m Por xo" aoe aie rete eee te ; te gaa? (3 saw 994°) Una vex climinads la dsyuncién, dado qu la conclsin ‘obeenda se consecuene el condicional fa ce antecedent cor ‘responds el supuesto no clausurado dl region 4) yen vit de [n'regla de inteoduccin del condctonal, clararames el supuesto abjeo en el renglon 4 yconcuumoa gue p~p vm, Notese que Supuesto de 4no podiamoseanclarlo mien mien 12 ya que eos felons depen de oro spss owe a gee “Apve-seve ar bpm Som 4p Spve a Seve Bas os Em E437 Stvm Ws 40¢ [as E42,10 ittvm Wil IStvm EV, 7-9, 10412 Mpotem lds i en Ea rea nn sisi dina 1) Bart demonta ona conto, 0 subroniain, I qe ‘el negador es el simbolo principal. : 2 5 Clan connie econ, obtener oo apa teens rman pose ded elaand sa SCinrodacion corporat stalin dear ‘mae ma i noma qu nos pute Stace pr des frase tps auehresdoponbleen eda ss ‘oatcanos ea or stencones ‘N Senuns dtu en ur mado el sino pic- pal dela condusin o ssonchaton «abet : 100 | La cartes especie aplcar a siguiente: 1) Supongamos que qusemor demoster "A, donde Aes a su ex cular ff del lengusie. Deteminse iA puede deivase Uluectamene pare de los renglones de deducrin prvi, Si {ese an algun leaders = ‘27 Ea se caso, tal ¥ como indica la egla de To se abe wn pore ge ac emul cpa eps oe ato "SA parc de ete punto, nico objetivo ses cl obtener una fsemola cals de I fora B mB, para poder procede la ‘ausura del supuesoausiary “Fy obtener =A Considrse el igiente ejemplo Fapa-v. “donde P= es en ee cas 1p A-P 2p Eel Em El apap 23 SMe a) GTS Suponemeos pps a partir de ete supuest hemos de obtener ua fumula dee foutha Bra. En este cv esta seaclo poe fo que a propio supuesto ena fom dee forma Ba B 9 2 ‘raponde a fo que debemor obtener pas clausurar ef rupaesto sbiewo ene engin 1. Por elo dado que noes posble soir fanclar un sopusto eal mismo renglon de deduceicn— simple- ‘mente climinamos ls conjunciony volvemos a intoducila, De este ‘odo obe=emos en renghn de dednoson dinate del supoeto $taliar— en el que aparece de maevop sp ienlon 4) Clause mos ed supueso, rengion 4, obtenemos a conclusion, renglon § ‘Constéreses contusion otro ejemplo enol qut se aplics la regla de “pa = oe Aplicndo la repls de Iv suponemos pa parte de exe puesto enor de obec frou de fa 8 Obseraes que en a tercera premisa aparece “ry que en el consigueate de da premisa aparece 1 Si conseguimos ciminar ese condiio- "al, babeemos demeostrado + podeemos infer to wba {Geile de forma B a8. ar liar ln» del engln 2 ese para aplicar Ey, nece- simos-y pats obtener 9 nessamos ply pe precsamente el puesto eon que hemos comenzado It delucaén, Por tant, 01aplicamos reteradament a cela de B-> para obtenee ry deduce ‘ost loemala con Taq lasca el apuest ablesto te te ‘fond Entonss, posemos conluir medamte plicaion del rela fb Tren in cadena gu va del senglon al? gue. a4 ar te 3a ° x B44 E525 ast Gd He nee 3) Sea una deduccn ea a que la conclasisn, 0 subconeluin, «obtener ono aparece as premisas ono puede er deduce ut fang eg true crepondee one pn pal de Ta misma 0 er unt Pf anemia que no © puede parr delay premian 9 supustos alas dapombles on ead Eis. Ea estos cass se dice quel demostacin a ha oben por educa absurdo, Eso ey ln sentencin en cestion te ObGEDe ‘mediante demotracion indirect: sel suponer la negacén de Ta fententa nos conde indtecblementea tna ful del fora Bran, eoronces sea demostad a conclsiono subconlaion, Belles, By Obsérvese que est eas porque ie nase, =e Por eo Is apicacén de reducin a absurdo esricamente debe sec considerada carn una regia derivads part de argh de F> {y de E>) Behe laroneeremos able pos dee ‘inacin pectic, ashes educa al ebardo. 102 Ls, REOLAS DE TRANSFORMIACION DEMVADAS De. OE as eas deivadas son ly como su nombre iia, reas que ‘= obene paride ns Bia e det, son dedoibles a parti 4 as reas seas Estictamenteno son impress, gue {bolo que se deduce por apc dels munmas es obeeiie con ‘Timer so de as elas bls. Sin embargo, son de gan por: tanca con vn I mplifiactn de as demostacones- No er ten area ls deduciones no recorcndo agin wamen gue (ovreponden ls demoaracion de las propiae regis devas Son, pes como ator que we pueden tomar en la emoreacions deduriva. Ahora bie, tls atoos slo pusden ser seguidos wna ‘er qu sabe que exe un recordo cotespondcaeconsuido Toned mero reco dels rele biscas, De hecho cualquier de- flccion cone ene cleo pra dar ugar sun ela Serrada fomande is premisas de en deducin como puntos de partida de [eNeglay la conclusion como punto de Tegal Sn embargo a tulpcacién de elas Sead hala que su papel are de iter algo. Su selevanci exiba en qe, mo ser demasiadsn, {ibe recordarie con fica con vistas 2 abreriar dedacciones Sue eenitaran mis aga laplica exclasivament ls reqs ba ‘A contnuacin exlicitamos ls que son habitualmenteemplea- das en un ealslo de lecsion eatsal de enuncados, propor tando ta demorracion complets de ada na de clita A secey, ara tals demontacions de reas deivadsy, tlzaremos rel Ucsadas prevent demos. ‘Algunds de ens ela ser detiiadss por una denomina- cion ya tsdsional ep lor erudion de lgiea; en otras canons, ‘tnndo para una rela a hay un nombre en a rad dela die pli Te daremos una denominaign qe sea caacteradors de To [occ aplicscon ln rel: Ademis del nombre de ada regia dene iT inremos alguna clave que neva para dar coca de su uso en tin deducen. Las cls se presentan de manera qe el punt de arta ~peemibar~ spares encima de una lites horizontal y Punto delegada—coneusicn—pordebajo de dca line. As pc 103sien ae ‘gh Bead Ga ———$§ finn Regla Devivada Cuando encoatemos una regia condos lines horizontales p= ‘nl seeano don mel tor ca aa ee {férmals son punto Ge parday de legada con respec ala ote rmetafrml, Por jepice Be WanBvo Cuando la reg en el punto departs no tiene meafrmula a gan yale aparece un tama en punto de Hegada spoc fe a expresa ua ey logis. As AvnA expesa na ly logs, (tejor, un esquema de ey tsi, Pero antes de enrar a expiitar y demostra las regs dviva- das que en este texto vamos a considerar, conenesealar au 3 ‘dave dervada en un sistema de dedocsnnatoral dea Lg ‘4 Gls coeresponde una ley lgis (0 xquema de ley loc, fue ea la mayors dels cass ela de fomat el pinto de priga des clas com antecedents de un condctonal (materia) el nto de legs como su consecvence. Cuando el punto de pactiga ‘ri dco por arias (eta as se ponen en Conjuncin en “mtecedente del condiconal materia” Asya eegla que anes de- nominamos "uanstiva dl condiconal”tenemon quel correspon slic gna ear i desea de oe ‘Seumeom spon temo pcm enlarge 104 dea siguiente ley ics TAB) (BCI+(A>0) Tabi cae stale pre sds Hp tng como ‘peraor principal obicn ut condional material o bien ws zen ‘onal se puode erablecer una correspondicte vga deivada fo bse) ene cael ‘Vayamos, pas, con ia exlciacin y demostaci de la re das dervadas Hemos de seialar que algunas de fas demostaco. las baremos poral procedmiento diet y ota por reducion I abwurdo. Como ys sabemos, en exas das se tna como nr utsto sui la pegacion de lo que se quiere colle y sede Froesa gue deal spurt, jun co as premiasasumids se oc una Contaicibn por ll podemor cancelar el supe SPieer ls conclusion petendids, AaB boc a Demostacin (diceca =1AsB [ae Eos 5 oz base 35 Ley correspondiente: [A +B) a(B + C)] (A+) MUTREION 94 CONOICIONRL Boao Demostacisn direc 1A 30) 28 38 dBc E443 5C Eat? BAC 38 TBSas0 |e 10sLey correspondiente (A> (8 >C)} [B+ (A +O) ©, * Demosracin indict =A 2 Gia benz an Reeds Ley correspondientest A> x emostacién (directa 8 AaB An a BS SBoA 124 Ley correspondiente: A+ (B > A) oS Bak Demosracion (ect): 1AnB 2A Eat 3B EAL ABA 32 Ley correspondiente: (4.4 B) > (B.A) 106 Cc ONMUTATIUR O¢ La HISYUNCIEN Dur i Demostrscion: (Diccay =1 Ave fees 3 BVA W2 ce SBVA Wa 6 BVA BvL23,45 (Por absurdo} 1 AvB [4 Bea, W3 S (BVA) ANB YA) bh 4.2 ze Fenn KS SBVA)AaBVAl Ey 135,68 10 BVA abed3| Ley comrespondienest (AB) = (Bv A) cemuuveron AB)AC “AeA Demosteacén direc} LIAAB) AC 2AAB fal 3A Ed 48 Bad 5c Ed & Bac has TARBAC WRG 1071 AaB acy 2 BAC Eat 3A El an Ed sc Fad AaB wag TRABIAc LOS Ley correspondiente: [A AB) AC] 4 {A.0(B 4) ‘socrRTiVR BF Un OISYUNCLON HS enesain PRE sd pn das sVavmve ae tit oy ia zh [ikvevo EARS) cavaver se Bec 9 AvB vo) 10 (A VBC) a-fA ¥(BYO) 114 viB VC) AIA VIB YC) 12¢ 1B (AvB ve. 413 (A VBVE) aA WB vO) Lois (AVip ve) XA vB VC) 16 AVIBYC) —1avevo) 2A Ave we siavByve 3 svc 6B Ave Stab) ve. ree 108 wa 13,2 wz wa 19,2 3,46, 740 win 13,2 Bvigtt, 1244 Abed [Love ve AI {AVB) ve i2IAvB) ve Demostracidn dice TAR vo) 2A SBve 48 SAAB (AaB) VIA C) 7e ano AOU AB)VIAAC) SAA aByviancy AaB 3a ab Save AaB VO vane sa 3¢ wkve TTAAIB vO) RAAB VC) An Bvc) Taman AvB AO) Tem ave Ws EV, 64,910 Evieaysat Ley comrespondientest (AB) vC] 49 [Av (BC) isrr2uTi oF L@ coNsUNCION Ea? Ey ra 15,10 i268, 741 Ley comrespondientesk (A 4 (BV C)) [1A AB) v(AAG)) 108Demostscisn dice =IAVIB AC) 2A 3ave w2 aave we SIAVB)AIAvO) ta3,4 Bac 8 Ené BAB wy 3¢ Es wave we AT(AVB) (Ave) 1.810 TIAVB) a(AvC)BVi,2-5 6.11 LAvB) ave) DAVE bs Save el ah Cikvasc ws oh Cokes wr oe ioB.ac hes HACB.@ tb AB <8) BavBse) | Beason Ley correspondiente [Av (BAC)}¢>[(A VB) (AVC) Ans x Demostacén (directa athena 2A Eat ar 2a wt Bana biz Ley correspondiente [A nA] 49 10 wa * emostracién (lo I* parte por absurd a2 parte diet): 38 Eek 3,2 fees Ana 5,2 TAAMA Byi4,56 8A beh? 2AVA Wi Ley conrespondienes AVA] OCION OE U8 CONSUNCION AN (ALB = Demostacin directa B) 0B ]-> A 10 DE LA BOBLE NEGREION Demosraisn: A 2A, Santa bn ama nxs Ley cortespondienes A408 oni Demosraiéa AA An-A 2B 3A ot aa El SAA 43 ere 2s 7B Exe INOTA: Sein lo sean l final del apartado 34.2, los pasoe 6 y Ye la demestraion aaterior podran resume ea une s6l0 tlicndo absurd de 25. Tey correpondients AAA 3B. a3ImponraciOn/euronracion sag aS Dena “An 30 at Ae a Be Hoc = Aa $c ESS4 Sane BN miantsc 3 3 [an oe $¢ ba feac s $8380 BE ‘Ley correspondienesF (A 4 (B > C)] 6 [A 4B +) 7 4 ms es [ere nes ae Sy by ave a8 3A 4m S Ana A463 i Ge ne es corespondcnes: (AV B)anxA) 9B a Flav AaB oA. = = Demostracén 1yAvaa) 28 [EAs (ay axa v8) 5o8 Avs Fhe aAl aA vA) area) Sava Ley correspondientesh AWA PRINctP1@ BE NO CONTRABIECION SD aT Demostasia: ve CARA ut SM AanA) ha usLey coerespondientes {A.n-A) oe foe a ior et 4 ‘5 a : Op ete Stee 1 oe ale Cl te a . ae aan ea ai Cog us oe eae Unto FIAVB) A(A>C) (B40) 4c FisavaB) (CSA) ACB Se ‘er NIC16N OC CONDICIONBL EW CONLUNCION fen aT 16 Demoseacion: IAB DAR 3a kad a3 ES So ha Base eas TaAawB) 26 AAA) 2h cy 4 An 23 5 (A'AaB) AWA A=) Tat 6B beds FAB Bre Ley correspondiente: (AB) -VA.0B) [EFINICION BE CONBICLONBL EN BISYONCION 0 os aa +3 i ws fee ee oe ts eee ita e bAtiewn Ele : GAsB 23 Ley corespondienes (A+B) 6 (>A VB) n7‘UF INICION DE CONSUNCIBN EN CONDIEIONRL or Demosrscién: =1AnB 2 AB 3A EA an EA Hey en Baw 4.3 FAB) 26 1xA+-8) 21a nB} ny 8 3 AaB 34 (A AB) AA AB) 32 7 nas sae rex7 a co ry TAAB Abs29 Ley correspondiente: (A AB) ¢9>(A 378) oa Demostescin: stave 28 Ce st Bake 12! ase area ris B13 118 Save 4 (A VB) AMA vB) 15,2 oh pteew] save 7 (AB) AA YB) 18,2, Avs deers Ley comespondientest (A VB) 6 (>A ->B) DEFINICON BE CONLUNCION EN BISPUNCION tts — nae l 3 ba if bi ih Shs ite BY sity RE aigevsl 1 [es we eS wen Bhs if hi i Cies ws Twn bs 3 Reds tbh ay Ley correspondiente (A AB) €» >A v=) aT 19Demosracion 38 Ley correspondiente: F(A « B) + [>A v=B) 4 Bate Sinha aagave) of "Po es : 4(A vB) AXA VB) In3,1 : [is 63 Bl ‘f [hes - Ley conepondime 4A VB} 63 (08.08) 1" ars eae wan AEGLAS PARA EL BICONDICIONAL [defini lengua formal del SDE, introdjimosebicondt 120 acio “2 como vos connie nid, tal que A 4 B a Sei 3) 3) AGB» AB AoE Boa — ah es a eee 1a Regla de lntercambio permite apis tansformaciones so be sbemlas (Se entende que una sublormula es una IB ue pate de or fi) Ahora bien ls nics ansformaciones admis Besen una suboemata, contorme nesta ogi, som agus que nrcabe obtener p-+qar Te azén de al poblidad er que saber que Krmulae de a Indole dey A sn igicamene quiaiente Ia Regla de Inte tambio nos permite reemplaat, ntercabiar, oro, ana 0 van setrenas Sana sbi das por aig conta gulalent ‘Sean A'y B dos frmulascusleguiea det SDNE, tales que son cquialnts, AB. Sea C os formula gue cote por lo menos la ocuretia de A como subiéemla lo asl expeheamor como Gi. Gy os resuleado de cambiar en Cento une vais oeuren ‘as de por ocurrencat de B. Es dein, a JAB W AGB & = tT La Regla de Inercambio pucde reformslarse en forma de ley esi: STAB, entonces Cy 6 Cr Demostracén de la rela de isercambio ‘fas demertraciones por indacson matemstica consiten en probs ques le semen de determina conjnto le correspon. {eo determinada propiedad, carats, eyo ela (A pare de shora hablaremon simplemente dal caso cortespondlcnte 8 na roped sabi gue com clo pretendemos abate los oes fos} Para elo hemos de isponer de un conjunto bien ordenada™ Conforms deteminado eater Felerane los efectos de ln de towracion, Por eemplo, el orden del conju de los eros na turaleso dl conjono qe toma Tor asmeros naturales como med x de ‘ceta caraceisica de los elementos de otto conjuno. {Eepliaremos la demosracin por induc conforma estos co soa Las demostraciones por indveién pueden hacerse por induc Cy donde Epucde tener cuslguer bra lope Dido ut D pues cng dm at os ado lipico no tiene por qu el de Cy ms on BASE a ‘Sea Ol erado ico de Cy Entonces ‘Cy es A (Ca Al, Y como po hipiesis A 6B, por tame, Cx Gy (Cate er que Ae ue vases propor Sint o's omen gules ne eae pop PASO: Se supone que para tod fbf Cy de grado Iico menor gue m param, secumple Cae Cyst Acs B Sel de demsonrar ue para una fra D de grado lgico m tal que Cy co na subtdemela principal de D (to ey Que tt Constant logic pincipal rsa de modo india sb Cal 4 sae que De, © Dey Bs desi, gus puede ap lel de Eanes tobe So, aa ghar Otel rune ee soar bgt ocean echoes el ontop los ies casos pos sic aes ts AD ace ca nama ppl SE i eet ad ORE cor cosa a aoe Pande un fl ualgurs degra fal Senade Caos Dac 3) Da Gn 3) De Gwe 3) Da Grae. 3) DeE cy 1) Dac Demostrar Cy 49Cp 1 GeC, 2g5e Ee SS Gap? igh, Est SoG Carp Sxio ehs 2)D= Oak Demostar CyaBoo GyaE 1 GHG, 2 CAE 3G Bad 46.96, Bor 5G E443 SE 5 GAB BG AB GAB 1427 9G aE we EA. nGay Eot ne E511 10 BE Eo 4 Ca his IS (GaB(GsE) asd I (GABO(C AE) 8,18 nsease ae ‘s as oe | Or Ge Wis ee ee tee : ee 7 es Le Be Nee ee a 126 Ls, DEDUCEION LY LOGICA, FORMULAS HEN FORMADAS DEDUCHVAMAENTE EQUNALENTIS Y CONRINTO {CONTRADICTONUO Dé FORMULAS HEN FORMADAS Sea Pun conan de i dengue del SDNE, ea v una fd engine del SNE; na deduce n SDNE Je ya part de th eum des ne ude lengua del SDNE tl que: iF'aF bin gy para isin es on supe nicl o prema, Tegresun demento deT By Bien ges un supuet aia biertoen vid de al fs de seh dt tana bas el SDNE (os ‘Eni. Te, [0 Ev) o aber par apes reds a ab suds oben 9, seobiene a pati de na 0 mas fs que fgn- Shon senlones pron por plicicon de tela Je a feeacin ncatodeindas el SDNESy ip la ima Ti dela sceuenca gues oben a pate de una a7ms ffs que iguran en englonesprevos por apiccin fe replas de wansormacién bist 0 decade del SDNE sy. Se ice gue una ff del SDNE es una ley Iii n ee sista sysiy ps elcbienSSONE dons cde smisas. Es decir, y "We a ey gia el SNE om bane ¥ Sede que una fof del lengua el SDNE ex deducbl en xe sistema s parr de un Sonate de ffs Tr del lenguje del SDNE Tene Yves es pore deducir'y a port de llsndo las Ye tls de tansformacion del SDNE. Es dec, Thee ve ¢s posible deducr partir de Fen el SDNE. son deductitamente equivalency en cx etna sy es dedi {parte dey utliizando Ins ras de wanslormacion del SDNE y yes deduciblea parti de @uozando ls rogls de ransforasion as tna sa a, peor a pe decir, ” Se dice que dos his cualquiera, gy, del enguae del SDNE SDNE- Of ques io mma a gue qu das LISDNE, Pancoey. Es “99 Wn dedacinamrote evans ea eI SDNE 8 ban 9 traditori tn ee sistema 55 posible deduce wna coaeadision 2 pani de utlizando as rat de inferenia dl SDNE. Es deci, Se dive que un conjontoF de is del lenguaje del SDNE ex con Tes conraditorio en od SDNE 7 Thee AP ws syimescos |: Betscioesemi-resueos, Compl lo que fae: eh Sut be = ie St Esk, » states Stop *p Stowe besa ée Eon, tw EB? 3 Es, bs10 =p ten) Pe 32 [isto poet tar a Stor Loe ston WDprbousn) 129 ngs 1 trips) ate-o-e bevintrmanipsa)) 3 mtaNp sa) i an 3 se EA Sipsiats one ean Es Sera) SapogdaGos) 187 Rapala) 6 AA ryse-sisvp) Gav ay =3e58 Stun wa Sisvplatavey Ets fave Exe Frog et Coy E28 10 p Cis B93,10 12 4 Br 13 tq Ban a stpowve Rake Sas : Sime seve . 3p ahve Beam Sa some nee Bavelaneve) 3 BS 15 mye lesen 17 Weve) weve) 130 Las eve anievel 3p By 6, 711317 I Realzar las dedveciones dels siguientes arguments utlzando Sélament elas bisa. y 3) 4 3) 4 a simp at ae sirvast ae we re Absnaees Sarveow Te Alrvestyw Swe ar Sbee awe pag 12 IVs eps Sa ea stat evant Shake sense 5 Sar am 8 sirvispag Sapo SSpag mies stam) Saitama Fig oieon) 9) “trawapaa paleo Sees Se Siw apags ip) ren yee Wwe a@spve Fasisvespvn Msg > 66>) Fes@aGowl Bites TasSpag See a Btspat ow ng reog Mi-twapat Caknea eg IA @ssanoeat aga iene) Sane Fpat Bt1—trpag 25-3 6tam) peg Stkve om) PsS(eoevaup) Sone or 26—Lanp raw Tape tos revise IA essat Sar 2icdpseag Syropag Tae St sag Saye Tapa 1)}—11-> (9) Fim Gawae ray Bs)t vag Savslaceve) WH awyrlow aaqor = Se Stat rear awop FP 2}L pv atm) > 20 (p> gh a(q-o1)+ pro neon S00 Sim ow gee) 2ULiprge) Ripuane) mest Sag aorem) Featevm) avoend) Biistavese Saginaw rive 2jeasotam Sars B21 ore acaved Flea) v (wom ast hanes Tavroe 2ideapa ret meng cow 132 aictratspvs Ali eatong oe Fassandvieoe Saineaam) Sane QIN ved aps) raw ahve Sasa Wl aawiagen Simat Saehignds TSS ns) +iev m) SBignwivee eva a Biter si-Lavespva athe rey my poms SaiSwae Asiatvpsanr rosin caves tye 8) 361-1 pwiram) oe Boner 45ictevpoa Stor eS my Fpoqoe) Soe ariclwve cm Taw oans Sropue A511 kv 20) 9-5 Faviewtos) TEAeVin ae SV aeeak shit rien Sapp) kw) Peep Sips maim on) Peg Swale Moire sepamad : ; Feopagee AIA pag eevee ee =2Scp ya) 1974p) ay ASE mae oy ex TM. Reali ls dedscions de os siguientes arguments utlizan do eps Bias y devas 1) 1p 2) Apstasn mtey Seep Sins a) Fspon re 1333 Tesla) Caheasvient Fwolpod 4) Aipyrayrse Sper sess Seva req 5) x1 pv@atave! cree 6 Apa eae) S3apars (pvrg) oe) AGS Ai—) 8) -1p>sqon, rier 1—1pigars-w) 2A en Val me Jtqars rere Fanwor Rtgaros iene Pega) BA wvalv~r Caesta pl Fisteop Heya shee Sapa IA (e-opv adore “ar 16a (e-opvah one —pans anisew -1p+g0) ap ston Sparen Fiviwaa) Wintp+q 2p ne Faves Dt gvae->ap <2 P)Ab—a) pap 20-1-pv~ave evgaiwval) oy rear 2 te sp yw) apveaad Fataipve) 2j-L-pengriee =a Fae oa stave, DIL pyar Sa oS Ara) af ravine 134 21 pvg) reve) hase rea 251 -pw oq nme) SERB aero 26-1 pwlgnn) af ana roe Pog sey-a 2l-p>a asp a aa oe) 2-41 0va-> ey ret) atin sven) ma 30-Lpawa or at ry Ppvaves stpagoevs oes cate wnt -om SNS rer =I pvt) + (sw) ap eE ewe) Sabo Bisipyg Tarp Sass re) S-ip4 aaa Sip) asidnavs ae Saty rue si-Ipvasrvs ca tkaaw Svs ae impel Bhipag—aeler Seow s9)-1-pval Saat pve ynieaeal “ip sym asim 135