(ABET AT) (4) “1 RYE Te Pep) Ta vxtta + QaaRa) 2 axdyay ane) <3 satan 3 aie AB) FANQe aR) Bede 7, Desnestra para toda posible reaizacin y para toda asia (a) Gx(Pxv Reet ayes xP v Saale (ih) Exot ys Dyed {6 xP AO sy ExPx Al ooponiendo gue x (8) aPx)=0 eye PO {eli f2xPx » Rafal, entonces [Px 0 3xRxl=1 0) PosPalat sys [pyle {gh [sx > Rat, entoncs [Px > YR] 8 Indice las sgsientes simone von comets. Jsifen ‘respuesta hen wo de ls nocones semanas apo Patan Sean. conjuntos de fs asleeers det lenges} BeSPO° y sea hfs cualeguiera del SPO™ {e)S eet logamante verdader,cronces 9. {6)Se8Teeye ome, entonce 9 rune contigenca {c} Sie celogiamenns aes, ewonce gry {Soy son lopamente equates, emonces ew y & bien @ sade 15'S gy, eotonceso ben gs Kipicamente verdadrs 0 Sen's lcamene fsa {0 S90 fopeamone fabs y w e ligicamenteverdader, cones ge iS getgroneareg {hy SiRGry Sey entones Me, 264 ; = LOGICA CLASICA DE PRIMER ORDEN (SIN IDENTIDAD}: SISTEMAS LOGICO-FORMALES. ‘ys. rmopuccion En este capitulo pasamos a considera siernas ligco-oomales que coasttayen teoras adecuads sobre las estrcturs lopcas de aa Hos argumentos vidos a euyavaidescontbuyen Tat nociones 16 st Sormaponiente lor do uted sare lov gu ys hemos senido tratando en el anterior capil, junto com las corres ppondientes las conectivas logics ela Logica Clisica de Eaunca Sos. Hay que tener presente que los argumentos vidos conforme + Ja Logica Clisca de Enunciados, han de seguir indo vidos con {orm la Logics de Clisien de Primer Orden (sin went Enmpezamos abora por un cielo de deduecion natural para Is Logica Clisca de Primer Orden (sin identdad), que sed tratado con dete, pa elerios Finalmente la presntacion axiom 3, que intodiemos de manera sucints ry so aloe efectos de pecsentar” ‘una aleemativa formal a. lon” sistemas” dedsecion hatural, haciendo menct6n del sistema propocconado por’ A. ‘Church eh sa Introduction to Mathematical Loge” Via, SSTEMA DE DEDUCCION NATURAL PARA IA TOGICA GLASICA DE FRIMER ORDEN (5°0") Ea adelante wtlizaremos lay sgl SPO* para hacer seferencia al sistema de deducein natural ue vamos a induc para la Logica (Cases de Prner Orden sin derida). orc 96 26s1. Lamguaje Lipieo-Formal Retomamos agu el lenguse igce-formal ya presentado ene capitulo Vy que habiamos denominado LPO*.(Véase spo, V2.) 2. Mecanismo Deductoo "Todas ls observacione resliadas a propito de In presenta chon dl mecansmo dedutvg ara el SDNE son extensibes (eb ‘Emente ndapuadas] al SPO"? Eto se debe a gue tly como sche laos al principio dl captlo I, nuestro objeto fal ex ede ‘neroducie un sistema loico-formal de primer orden con identdad sin embargo, por motives didStics se introducen diinton ste mas de design natural progreivamente mas sbarcadores de ‘modo que cada nucto sistema integra al anterior. En ea linea, SPO" integra en cierto sentido al SDNE, de a que todo lo cic especial SDNE sea extensible sdecisdamente adaptado al seer 2 Reglas de Tanstocmacin Bésics(RTB) ‘resntamos las RTB del SPO" en tes grupos a) as dels co- tetivas by las de os euatiGeadores pra prediados monddicon Vlas dels ctantfiadores para predcados polices 4) REGLAS DE LAs cONBCTVAS 1} © tt 7 : at 2 ©, © ats gh Ag SEES TE Te rine SSeS eae 266 = e, ©, B Co AE 'b)REGLAS DE CUANTIICADORES FARA FREDICADOS MONABICOS ® ® Pa vada TP Fa Restissionee prod ak 1 ode occ gn a me feet eteader gue Restos po debe ocr nnn Spy salons) no cm pose ccs eb peeled Soe soda orien A. 267«) REGLAS DE CUANTIFCADORES PARA PREDICADOS POLLADICOS © Pay os Vie ees VP, os) Ve os VIP, os Pa, 8, Ressioes (Gade; {05 Qa Rad ‘Tavares 3Pa V2 (xa) SPesQaaRe EVI (xa) SQuaRe E43 GRxQeaRe) IVS fx) vA Vath 9 Qa Ra <2 vaPs See V2 (xa) SPe9QaaRa — E¥T (xa) SQanRs E543 SRR ARa) (IVS (an) “ant como (i) son deduce coca: mba ton ip seldo sre: Br i apes todos Sl prude una ocureacia del conmante «da rents’ i os apical sea ropa sobre todas as ct ‘Hens dels contre ena pra, Pr cone 2 ambi ors cect ya qu scapes area de intodictn dl gecralndor cn 6p ls ovarenas dr ln corer a fuse an ona Kel obetca on § coms fSrmes lx resins dea rel, Sin embargo, Gr) 0. nn dh covets ya gue co's apes aden. iene la regia de inwoducn del geneaandor, pus so impreder eracone de wa toa =y on eas ob 270 - servaciones de ete punto— al permitr que Ia constants a (a parti dela que se aplca la rela) aprenca en ly nate del fenealizador que se introduce en 6; de ab el interogante Dreio al supuesa ela que eesti aplicando en 6 6) SiSxa'y vA sn ols del LPO*,entonecs al phic isre falas de Ciminacion correspondents ex preciso sustitu to ‘das las ocurencas dela variable de indviduo cuantiada or na misma eonsente puerto que fodst elas se encuen fran bajo el alcance dl cuatifiador. 3 caiguera de ls regis de introduccén de los doce bre una dtcminada fen la que ya ex 2 sgana variable de indivi, ex precio suri fas oc ‘encas dela consante que perme inoduci el cua idor por une variable de individu que no ovurea ela fh fn cust. i nose ace asa i obteida rela incor ‘receamente oben. Adem, sila variable de individu xen etd cunntcads, entoncts i If tena reslea Smbigua ya que no s¢ poked deteminar qué cuantfeador ‘erermina 3 qué oeutrenca de fa mma variable de indivi 4 As noes postble obtener SeVRTRx « Sx) a pari dela premisa Vsti a Sah Dada la premisa dela deducsion, Gal» Sales cvidenegucla primera ocurrencia de a vee ‘able x es wa ocurencis de varable de indivi ewan ada univesalmene; mints que si cosideramos lsu usta" conclusion, ava(RerSx), revulaimposible crerminar qué cuntfieadoraeca 4, gu ocurenca dela ‘aiale x. Be igual forma no es posible obtener xxx} (esde Wea 1b Sune o aba eglas de neous de cuantificadores € Splicsoapliean en una misna deduced sobre una Bt para hrenee fs erentes, noe reco gel variable def ido utlzads para constr pelo euanebeaconal sea {ierenteen cada tna de as fis sx been, Pars astra fete cao consdéres la siguiente deduct, en a que se Splice Is inroduesion del patcularzador ene goduee ‘tn dl generaliador cn Suobre a fmula oben 3: Ast Px) 2Raa Ps EVI (xa) 3 Raa E2 4 3xRex BS (ax) S exRex 3 (ax) CSR AVR 14,5 artConsirese as mismo Ia sig diferent IR 0 Pa) 2RaanPe BY pa) 3 Raa E2 43cRex BS (ax) SaxRea 13 (a3) GSRa aaa LA, Las reglas de transformacion bisicas para cuansficadores an sido defnida de modo que slo se pueden aplica sobre constants de individwo del engusje. Se ha adoptado es enyeneén no pogue is eso pusdan define de ‘modo que puedan ser spieadas sobre arminos de indviduo ‘oaleaier, sino por motios estrictamentedidicticos* ‘Al presenar a semncca para el LDO se estabee6 que toda ponble resiaacion ha de tener un dominio no vata, Este su- puesto semantic se justifies porque a correcsin del elcul Eley ue las rela de eranafornacion no peemtan infec en hing caso ta conclusion falas parte de premiaasverds 4. tla gt de min cen peat ti de st ts ror an se deduccin, en a que se splica ls ineoduccion del paricuarizador en 4 y 3 de mane deca) lo hace necesrio: si no easume eve compromit, fonces nos encontramos con arguments caya conclusion es ‘Sadie a para de Tas premisns olizando replas de tea formacion del cleo y sin embargo la conclsion en cues ‘ones lls en una pose realization de dominio vac. Ve foe el siguiente ejemplos ()— vee b3xxx Seqin se dernestea a continua, el argumento (1) e vlc ae I vex 2 BY 1 (xa) 3aexx B25) Sin embargo en una posible realizacin de dominio waco a remiss sri verdadersy la conelusion alsa, i Owco compromiso semintico que se jutiiea del mismo modo que el resetado en (j) es el que establece que toda ‘Constante de invidu del dominio de tener un alors ‘tic, 8 fies posible daponer de constants de individuo ‘Sin valor semando, entonces 4 produciian consecuencias Indesedas como la se 8 contnuacion Se pesenta; sea els auiente argumento, aici srer sein denen omic ae 2) — AQ vies Pecos consieramos un poxble realizaign ten la que It Constante de individu a careca de valor seminico, 008 eh ontamos con queen esa posible realiaco la premiza de {Bhd ser vetdaderay mineras que la conclusion fala 2.2, Justicia de a elas de teansformacion biseas ara Guntieadoree ne que siguc trataremos de proporcionar una justia io tua delaras de tansformacion bias pra los cue thre, De entas ela as que ncunenresticiones es det IY $5 pueden parecer a quin sc mtrodace por primera ver en lt Logic Clit de rier Orde, mis arirartan que las correspon- tiem las conecvasy a BY > By dando ls ipresion de gue la Spacion de als repo eal dedocamente de nests habcos af rgumenca conectamene- La razén de a jsiicacion iia Sue dsarrollamos a contnuscin pare or els bases de cua ‘eSdowes cade monrar que toda lay, yen conto ls gue ascorpora eines capt deminer i ly sists {qe intuivamente on exigbles para inrodact y elimina Tor hantcadoresconfome a mantra habitual de argumena co. ‘La fticacin que proporcionamos la acess pars ls reels de cuanstcadores monies yateniendo alos que pueden eon ‘errs los casos mis simples de aplicaciones dey cuando ea tuna dels dos ffs que entan en juego ncorpora tna una oc frencia de un predcido monica con su corespondente ermino Ak indivduo, Aves come vamos a entender las cxpresions tet lingtisticas de las repls, Para oton casos mie complicados los «eso apes Ie reas, pore concenanafbls mds comple jis debe esultarevdemte que eabe hacer as correspondienes x= tensions dela jusificacion inet que agfse da. Lo mismo po Ae deci pace lo conceente 3 Tas sagas de cuantiadores polidicos ‘Obviamene I justficacin ieiiva require apoyarseen con sidetaciones de indole semantics. Exascosigrstonen, como ya $abemos, son aenasal extra presenacion de stele de tras formacin biskas. Consecucntement, debe terse en ctenta qe Ia ustidcacon muitiva que ahora proporionamos no es mis qu tn complemen didi cepts a mecanano didctivo bl SPO, ya que xe queda completamente defiido con la expla clon dla pops Segie de wansformacon bss 2.2: Jusicacin initia dea ela de introdecén del genera lizador (0 cuantificador ‘ica is 2 eee | pdesmie yes xa reg permite conc, pars lo casos mis simples de apli- a it oer inclement len de cao fen er una determina i,q conten snicament predic dos ‘monddzos represntadon por vara mutlngtones Ps ae ffs puede proce cers perplejdady « quln nic en los et fics de lege, porque parece pei slgoinadecuado pasa dela Ssereracom de que nd ensadomcretay determina dl unser. So de dseuso,seprsetada por a sarable metalngics ype tenece an extnionsepesniada por Byala aseeroin de ue todas ls eutdader del tier de Gata peneneen a a exten a4 siéntepreenad por Sin embargo, noe as I ntidad cere Seotads ew larg por @ no una enidad determina, sin toa ‘Slur. De hecho los reget exabcdo garenian gue i ‘sirenc ox corrects come &contnncin neentemos acs. ‘Ante todo debemos recordar gue nest propos exe de fre snulae eels de dedaccion que, desde el punto de vista seminco, Sure a vlides de ow srumentory portant, de segues {acloner qu lon expres. Sabetnos, pe ue lt reglar de ded ‘Sin han de er esque mo pert el po ela verdad aI fa SSA, ne dn ema ac ere. ble realnacion pats na ssgnain, Is conlanion tambien Ecbesedo ‘Aplacaos el problems de formulae una reg de deducién «ue permit conclu qe odor lr ckmenton del iver de di fs teen una determina propia, eugene iguines con ‘deacons: 4} Dadar ls condiciones de verdad sxablecias pas casa: dor nvr en Is rela semiotics de SPO", e rszonabe pensar que a sgl ha de wer tal gue de algen od cone ta vecicain preva de que efetvamente odor or elemen tor del universe de drs ene a propiedad on cusin Ea ter Send por llegar cable que Vow equi Ye Sica que Bay «Poe ons Bay (donde cada, cs or Unindiduo dire dl wives de scan) es deci, vee Cae ie todon cada uno dels indi dl univers de uso prtenectn Ta extension gue representa B- La rela co ‘respondiente tl cosneractn ses a spetes Pa, APO, Aun APO, A VaPx En teminos deducsivos tl exigenia equal aque para de ‘nose uns generazaiin faba qu demos previameste i Conjncta de odor sus aso poste Sin embargo, ln pond eecira de verifier que todos ada uno de lor ements de nine de dnc pereneeen IS'acemien sepresencade por Po, si se pref, de demo tear conjunc Bay 0 Ba A. 3m As depend de Toesguients aco 2 (3) Por una pare de a cardinaliad del univers de discurso 03) onsinio. Sel dominio es fino pequeo,entoncs la ver- fcacén pus learse a cabo; pero wel dominio init exo no pequeto(pongamos por cso. 1000000 0 {taco idee al econ, aman i nos levara demasiado tempo, Por supueso sf dominis {infin tal verificacn es totalnente invade, (i) Pero ademis, ain ene caso de que fee pouiberasrear todo pole univers de dears o dominio a eela seria tal que su cumpliniento dependera dela cardnaltdad dl dominio considerado; de modo que tendismos que forme Ine tela dierents para dominios de tamafioe diferentes © establece una rela gue de sgn modo se rlavzaa le ardinaliad dl omino “Tenemos, pus, que una frmulacign de a eegla del tipo ante rior no s6lo rela ftalment inviable en algunos cau, no Sue tambien es inadecuads desde'un punto de vita tenico, {oda vex que exige mu rltvisain a fy eardinalidad de fads nb anneo de dics a inascasn ra esti ["relatvizacin «elementos de (ndole smsfntica como Son los posilesuniversos de discurso en una tela que debiera Se ce Es precio pues, buscar una manera correcta de conch queto- dos Tos elementos del dominio ~cvalguera que sea~— tienen tna detrminada propiedad sin que elo conlleverecursr aa ‘xploracin ceca del dominio desde el punto de wsta de Activ sin tener que derivar prevent laconjuncion de o- dos potbles casos del etantieador universal a formule sion dela regia de introduclon del penerlizaor tly como ha Sido presenta permite conlur comrectamente qi todos Tos tlemanos tenen detcrminads propiedad, sin necedad de rec tira la exploraion del dominio del ponble resizacon;ade- tds se rata de una cegla de carter ganerico, ce der egable- ‘om indcpendencia dele caahdad dl dominio y Planeeada en trminosesectament sintctcos Ele atenativa que se pasa en ta regla de TV consist en former condones gue prantan gue cha spaces Se Ia egla a constant de indviduo congzeta a pari de lagu © relia la genecliacon dena sna entidad cualquiera el doe Iino yno una determinada. A la constant en ceston la ¥ ‘mos Senominar en suceivo, como ya anuncisramo' cone {ante eres en la apiacin de FY. Supongamos, 2 modo de ‘jemple, que una apiacionconerets de la regia conse en de thor VAG a parr de Qb. Asegrat en ets aplcacon de TY fue fa consate crise b designs una ena cuagutes de 276 dominio equivale a asegurar: a) que de igual forma que obeuvi- thos nel tanscurso de [a dedusstn aff Qo podfamos haz Ber obrenido Qa o Qe 0 @ sequido de cualgiee otra constante direc yb) que al introduct el. penerlzador no etablece ‘os nada gue sea especico deb Sse cumpen la dos cond Clones prvias debs resulta dlavo gue a contante era sobre ate Peon # xc ear oe poe det eomodi ya gue sera inderene que figura alguna rca a dei Las rates de yea 1 500 ins que acguran cl cumplimiento de sa dos condiciones. Vex ‘os por qutenclaion con la aplicaion ya coniderada de Is reals: (iP Patsasegurar “3 sexa precio que hobigramosaleanzado In constant etica B, en el tanseurso dela deduction, por climinacon devon generslizador (o por alguna deducclon “qulvatete en lena iasancia aa elminacon de general ‘dor. Al exigt en las resriciones de TV que a cnstante Erica no urea en inginsupuesto previo no cancelado, ‘etmordeterminando el gue slo haya poaido aparece eo {transurso del deducton como rettado de tl cima ‘nde un generatizador (0 deduccion equivalent). 5 la ‘onsante critica no ocuce en ing supuesto previo no pi, nce se aso emis e diane supueso aula alguno (, Porta, tampoco se rdvee por apiacin de a regi £3); luc, slo cae tbtenrlo por clminacin de un genecalzador( deduccion eguivalent) fy Para que se de “by” basta con que Ia constanteextia b no (0 Cour nia del pcan qu se mode, oe ‘icon que se vel en lar sestrieiones- Nowe que "b)” Conte a aeporar que la constant cries denna una ‘dad cualgucrs porque noe introduce una genealia loncon dpe fora degen bre est contuote ena fbf de en generalizacion 2.2.2. Juslican inn dla ei de osc de pai farizador to cusnteadoe exten ® Po SPE 2: Abc amnion ini a71a jusificacion inttiva de ta rea ex bastante obvi, La re- fa permite deducir, para los casos mas simples de aplicacta, goe Stimenon a enidad del dominio (o univers de dschrs} prtee eat laextensi repeseatada por la varable mealinghistica Pen bse que uns enidad conretaydeterminada del dominio, cep Senta por la variable metalingsiea hace verdadera ln fF ‘represent por Pa La rela rela diretamente una manera ha [esa de argumencar. 2.23 Justfeacon iriiva del ea de elimina del genera ‘dor (ocuantieador universal) Vad Pa “También La justifiacin ituitva de ests rep es evident La regla EV peaite concur, para los casos de apicacion nds simple, {que uns entdad conerety determinada del verso de dtcureo Fepresentada por a pertnete ala extensin spresetada por Pen ‘read de qseen Ia premita se afrma que todas ls entdaes pert. rscen ala extension representada por Obviamente dado ef pun. to de partis, lo amo gue conelsimos que wets enidad conereta Y detctminad pertenee la extension representada por P tambien Podtiamos concuir que cualquiera de las restanes eatidades del Universo de discusso petenecen stl extension, 2.24, Jstficacion itutive de la rela de ciminacion de particu- issizador(ocaantiador exten) Reisen Px Sapa Seas aS (7 Sos nual) ca 1 aojdee oc en amr i Seeeletactar Se * node oairen A La regla de ciminacibn del partcularzador esi cabe a rela «que resulta mis exraa. Esta fla se plante, para los casos de Aplicacion mds simples, en los siguientes teminos: tomando como uso de paride la acreracion de que al menos a usa entided (i Asterminada) del universo de dscuso pertenece ala extension re presentada por P se puede concur ota aseveracign Ay steno {qe en ote aseveracon A se siga de que una enidad conreta del 28 uno dda preteen sada po ee eee ee en eee ee States so cts shes oe cere ae — ee ee ee pier nar sats is aaa ea Pomerening ein anret eee Ogata feign eau de meen ea eer eiee ene eee ete oe ee a ee Seg ee eepeeegomn ele ee aarti Seth bow lo Saar bee ita Tareas e begcyesdatinst aie repre ree eee eee ee Pcl spade aoe ae canaries en prea e Pee eae peerage ae UiSpronias (sowed eluate apo VIS) = fee nen ae Ee eee tee merger ere Les eee Shiatces eS Se mem ce 9 ian ated it Snr ed a Cr Recents Sale esse oe Feige eee rieg erat Se ee ‘acces bo guns ene nye ener rnrp et ee pepe ere ie er Erma i eae ese osha, ASS Sot Oa EE ets Foe open erreeet ie e cles ane ote ce en de ee ery eee pa rare cebegrring a ne 279Px, Payy Pag vv Pq’ Pay Paz Pay, A a A ia 2) Esta sopla supondria de echo eliminar una disyuncion Inultiple,dsyuncin que se dedviriapreviamente desde laf Inula preidia por sn pariclaader. Para eliminar un pat ulaizador, hari que obtener previamente ls dsjuncion ml tiple ala que fuera equivalente de ab la sialridad antes ‘enionads ente E2y Ev-— Pero, ea frmelacon del rela Planten dos diftcukades andlogas las ya sefaladas cuando die fos la jusificasn inutva de la regis de ineoduccion dl = ‘etalaaor, saber, que depend de los siguientes Factores Ti Por une parte des eardinaidad del iver de diseurso 0 dominio Sel domino et fino y pequeho, exronces I Iminacion dela diycion puede Hevarse a cabo; pero sie ‘dominio ex into pero no pequeRo al iminacion dela ds Yyuncidn, aunque facile, nos Hevaria demasiado, empo. For supueto, el dominio e ininit tal eliminacion de a que pari dello ifeinos: 2 Hi al manor um slomanto gus ex satis dels Tera 9 la Lata gta sobre a menos anasto. Escvidente uel inferences correct, “Finalmente, aplicamos nuevamente aT para coneli: 33yaM0b aQyn) 20) Nese que al mrad nee eaannicador existence: tov una variable de nid dierent qu figure rn. Jon 25m soem once sata deny a fcmula resultant, 3x2(Pxb A Qua) seria legible puesto ue 90 ‘srismos determina eles de Ir arrenias det vara x tn bajo el slance del primer cuaicadory els bajo el alcanee ‘segundo, fo ejemplics lo seta cola obecvaion 4)” re ESS aus a_i eeenaativan ew 1 po debe aco lami feeds ul “Tal y como sini al presents RTB, ent res no puede aplusrst de manera inmedana sobre culgucr ff que gue en 286 is una dedccién dada. Para aseguraros de que la sepa se cumple adecuadament, la fbf sobre la que se aplica la iatroducin del ge teralzadorhabed de tener clea forma lca que covresponda 3 a ‘ibihf deerminada por el generalizador introduc, excepto et ‘que as ocurrenias del constant ec estar por ls vatiables Ende omni por alan y ee ge ‘umplir lag estcciones de Is regia en To que conciere tla conse fate de indinidvo crite. Ta esteaepia espetfic consitizia pus en iDetemina cul esl femula soe a que se quire aplicar la sega de lV, 2-\Verlicar si le constanteeuyas ocurreaéia han de ser sur: "uidas por ocurrenias de a variable de indviduo cuca da univesalmence satisfac las restrcconesextablecidas co Is ormalcin dela ela 39/8 ast ues, apliquese Is rela CConsidremos Ia siguiente argument formal: svy(-Pas Gay) Fe vsvyQay fran ea concsin Quy \ ‘La subtérmua dela concasn Quy aparece en I primera prema; portato, hemos de proeder a tifa lov genrabeadons dela Primera ptems par eats obtener concen SPA Qbe EVI (xy yx) Ahora, mediante dliminacién del condicional, podemos obtence 4 Qbe 93,2 ara obtener a conclsi ahora debriamos introduce os geers- lzadores. Peco antes hemos de verifear que se cumple ls festie= cine Gu cable eel cere by en ore 35 premises, en ing puerto aula pero no ened, nt en la mati de la conclusions obtener portato, 3 YaVyOy 1¥4 (bax ex) Sin embargo, sien I eliminaion del genralieador dl renglén 1 hubiesemoswulizado el partmeteo a of eutadohubiese sido die rent; réamosb SPs Que EV 1 (cas yx) E532 149) universalmente sobre la constant cis & porque figura en las premisas Si hubézemos procedido como en los paso 325 tendrtamos que repetclacliminacion del general ‘aor utlizando una constants que no figuraseen las prembas para poder obtear Ia concn. 287‘ Reni Px Sepa eas as oe peta [: fs coup me : Sead cathe ae eee cones Como se vera contnuncin areal de climinaién del pate Qay) a vets S3yloPa—> Quy) BY 1 Cea ‘Ahora, para bien la conelusién, hemos de elimina el particule fizador puesto que ee simbolo principal de i Nt del renglon 3, ‘cua matriscuofifcacional figura una subformula desde la gue ‘Shrene ficiments la conelusn. En este caso hay supuestos au salar no elassradon por lo que A corresponde ala conclusion, elyQay fen la aplicaign dela regia de eiminacion del particule ‘pradoren 3), Ademar,en A ~3x)Qay-—no aparece constate al ‘guna, Pero la tats del parcicularador a limiise sf et la onstane a, Por ello, heros de sus las ocurrencis de avai Hey por ocarrencis de eslguceconstante del LPO® distinta des ana de To restcioneseelatvas a [aE establace qué la constan te erica wtlzada en a aplicacon dela regla no debe aparecer en Is ttre dl paricularieador a eliminar—- Poe lo ano, constan te cites 4 ser utzada ha descr en este caso ditnta de a, Por tjemplo by yabrieunspoesto en lq igure a Grmula estan 4 -Pa-+ Qab Para obtenee Qab mente E-» hemos de liminar el euantifcador ‘rivers de la premisa2en 5 4 Pa + Qab ‘37e Ev? (xa) Acontimuacién por E- obteneros en 6, -4-Pa -+ Qab saPa v2 (xa) 6 Qa esas {Posamosclaosurae aque supuestoabieno en 4? La respuesta es ‘wy ae en ff dl Yenglon 6 ocr a constant binroducida {ara citar elceaifieadorexatenca. Sin embargo, si podemos ‘Sonniuacionintodctrel cunntiicadorextenclal para obener | 7330 B6 iby) Finalmente aplicamos nuevamente [a hf que aparece en 7 para deduct 1 $333,097 B7 (ax) [No obstante no hemos terminado de aplicar la rela de EB. Para splicrla espresso causuct el supaesto gu hemos abierto en 4. Y pars poder clausurslo hay que verifar que se cumplen las tes 29condiciones reltivas Is constate erica Peco es obvio que se sap uw nvr ges ham pr de Sue la conseant erica no apaeca en ninguna de las pemisas ks mater del pariclansadoe 3 liming, tenenwr que ea SxSyQy no ocure constant alguna {como ya babamoe vista pee amen) Por tanto, vey 0m) Se 33y0Pe— Quy) EVE fea) 4th Sota EV? (ca) Qe boas 7 3yQuy 56 (by) 5 Oey Bie 9 dere Bes donde “ES 3,48" se le por Bliminacign del Pricularizado dl fenglon 3 mediante ls cadena que de 4.3 8 ano clave, NO- tere que la rea ES se apis en el renglon9'y mediante ia cadena Ge rade 42s nol eghn 4 o pao guna Fels en 4abrimos un puesto para procedet a spicar una fea A teiwtormacén bea see: Las consideracones hechas para ls Reglas Dervadas del SDNE (en apdo ILS) siguenscndo pertinentes ahora pata las Repss De- rivadas del PO", eazin pr equ no vamos seeps yin mas pasamos aexplicar algunas de estas tas que son eopeialmen fe ils para simpliicar las deduciones en muchos cavom junto con sus demonstrations as aye lopcascorespondictes, 290 Demostacién: 1 yer 23x Px S5Pa spa By1G@) SPannPa hn43 6 P69 P6 EcQs 1 Pn PB 132,36 ade Pe B27 Hanae 2-80 [sine 526%) A3nsPeandePe ld 5Pa bs 24 evar sex Ley corespondietes VR PX 69 xP DEFINICION EL PaaTicuLARTzADoR Pa Sere Demostraién 1aKPx, 2 oe Px 3 Pa 5PaBY260m) 5PannPa In 6PbA-P ECQS 176 nF 31,36 BavenPe be 27 2Hiya 273xPx 370 [38% 53 (ex) S3xPx Aa 3xP har 6770 nas Tse Px W6(a%) SAM PR AWE PK LAT) Daa Abe 28 Ley correspondiente: +P 5 HP NESACION OEL GENERALIZABOR a Pe Denowaén: Ain vere, 203m 32P0 ee B(x) S3nsPa Andee 42 ora Aes 1V5e% 61a) 8 VRPIC An VRP Wat 9380 Px Absa aire are pe eee Ponce Ba ia Bite Ley correspondiente: FWP a Pe rr [NEGHEION OL PaaTicuLARIZAaoR or Pe Demosracin 17a Pe 278 Dis. Bae aa Al ve Px 23xPx 3Pa [ aa Evi(xa) 5PaanPo aa 676 76 Fogs 176 n= PB 236 BnaaPx, B27 Ley coesponentesF-GXPX OVP VP xPx Demoserain ao 2Pa BY 1px) Sax Brix) Ley covtepondintes PPR > BRP. 293TAciON O& URRIRBLE BE rwo1U1CU0 > => wry En Demos 1 VRP 29a BY (Ka) 3yyPy Tv 2lay) —1aKPe cee 33yPy B2(ay) 43yPy 31,25 Leyes correspondienes: Vax cs YyPy FaxPxo oyPy ‘rstRIBUCION BE GENEARLIZAOGR EN CONIDNCION ont AQ%) TRE AVRO Demostraion: 1 YR 0 0%) 2Pande BVI Ga) 3Pa Ena 400, Bad SVP W3@x) Sexe Wscax) TYRPR AVROX ASE 294 AL YRP a AVRO 2VRPe Eat 3P0 BV2@0) AYR, Eel 50a, Ev deca) 6Fa nga 3s TvmPxAQx) — 16 (a>) Ley correspondiente: WIP 4 OX] VRPR AVRO. OF PARTICULARIZAGOR EX CONIUNCION Suh 60%) Sono Demostacin: 15K (Px AO) 2 Pande 3Pa Ea 400 Fad S3xPx 1B 3a%) 63x 4x) TBRPR AIXOX — 1A5.6 SSxPe ngxOe E127 Ley conespondiener 3x (Px Ax) > InP AIO NOTA, Comite que derde DePx » SOX no puede obte- nerse PA A OR [CONTRACCION OF GENERRLIZADOR EN HISYUNCION GaP v nr YIPR vax) 295Demostracin: oe Fe a ao [is nso Ley conespondienes VBR v VRQH —+ VaPxv x) NOTA: Consticese que desde PB « Qx) no puede oben: se VP av VO. 10 OE PARTICULARIZHOOR EX BISYUNCION Sei vox) ——- in [2 Bs ota ie Been Samm Ef 103aPx v3xQx £3 1,29 296 1 3xPx v EKO 235Px 370 [28-00 ws S3xPxvOx) — B 40x) 63xPxVOx) F235 73x0x 800 [oz ve, we 103xPxvOx) EB 9%) M3xPxv@x) £37,640 W3xPR VOR) Bv1.26,741 Ley correspondiente: 3nPx v Qx) €9 xP v IO ‘IstAIOUCION BE GENENALIZADOR EN CONDICIONAL Yeoh 10%) Vax RO Demostasin: 1 vata 50%) 2 oKPx 5 Poa By Ga) 470. Ev 20) 50 E434 6 exe Ws(ax) TYRE VROR 19 26 Ley coespondiener + VngP > Ox) (YEP -> Vn) NOTA: Consticese que desde Vax ~» WO no puede obte- erie VP O50), 237Sere 39) Were Demonteacin —13x(Px 0%) 2 UePx. Pa sPa 598, 63x 1 3x0 8 VRPx 3 xO AI VRP 3 xe 255x0x 0x) 3VxxPx 0%) AV xx 050%) SVxPH AV 90x 6 vera 1 3x0% sae 9 xnOx, 10a Qe 908, 1206 » 05 1306 » ~06 M3x(Px 0%) Ley correspondiente: 3x(Px > Q%) > (HEP > IO) NOTA: Constitese que desde SxfPx — Qx} no puede obte- nese XD SHO. By 2 Bod Bs(ax) F365 bear NegPart2 Dein3 Dist Gen Conj¢ ES E516 Eas By 90) haw 298 Spe Oe are Demostacin: 1 3xPx 93x0% 253x090") B¥xxPx 30%) 42a 0) SPannde 6a 73xPx 83x0% oe [ve Nees ea 1296 «06 1306 n 06 Seem) NegPart2 EY3 (0) Debind Eas Boca) Bsr Eas n9,10 BoQit 5359-12 Abe213 correspondiente: + (34PX > IxQx) —> Sx(P + Ox) NO fas Recuerdos que desde She “> Qx'to poste obte- nese IEP SRO. DIsTMBUCION BE GENERALEZAODR EN BICBNDICIONAL 299Demostacién: =I Yat 69 Ox) 2 vePx, 3Pa Ev2ea) 4Pacda EV Ga) sPaQa ed Qa 453 Texte W6(ax) BURPR oVROR 14 27 9 ext 09a, Ev9 (0) UPacoe EV 660) Qe Pa Es Bea F110 14 Va, Bex) ISVaQxo¥xPK 15 9.16 TG VAPR CO VEO 1658, 15 Ley corespondiente: + VAUP 69 Ox) > (Vax co Vx) NOTA: Consitese que desde Vax e> WO no puede obt- nese WaedPH > Gx). Que esto eras debe ser evident tol ver fue VAP Rc ROX cs equivalence a [UxPx. > Vide) a Axx “9 xP) (por Definicin del Bicondicional), y ok de YaPre > Vase primers parte de a anterior conjuncién) abe sobtenee Vix ~» Qx) ni de VnxOx > VacPH (puna parte de I anterior coojuncioa)cabe obtener Ux (Oe > Pre. Que estas timastransformaciones son inviabes ya lo selalameos al comentar Invepladervada de Distructin de Generalizadar en Condicional Y’sitales transformaciones no pueden dase, tampoco puede obte- ‘ews la meta formula W3e(Px > Qx| qu ex equvaleate ala con juncén a(x» Qx) a Vox > Px (como se demcstr por aplicacién de [a rela deivada de Distibuctin dl Generalizador Conuncin). 300 DDISTRIBUCIONES CONDICIONADAS #1 QUEL UnBIMBLE > NO ESTE LIBHE EN A 10N CONDICIONROR DE GENERELIZAOOR EN CONSUNCION An YePae Txt Po) Demostracin: ALAA YRP 2A Eat 3 vxPX, fal 4Pa. Ev3¢ca) SAAPO nna Goma APR) TYS(ax) Vat APR) 2AAPo. EV 1 60) BA Ea 4P0 Fed SRP W4lax) OA A VRP. bass Ley corespondicne: A 0 VP 9 VRIA AP) Distmi@uciON cONDICIONROR OF PARTICULARIZAOOR EN {CONJUNEION 301hee a . | an oe a sist Ley cortespondientes An BRP H 8 3A PH) ‘rstmiBuC1ON cONOICIONRDR BE GENERRLIZAB En oiswunciON nn Tea Pa Demos tAvyaPe an [ave 1 AYRAVPR) 130%) Svar ore Ev soem) Tawra We StuAv Px) 7x) Ov PR) Bibs 302 1 Weta VP) 2A v¥RPR) Bak 0 RP ana SaVaPo 63K Px 15708 Aveo oPa 10Pa n-Pa 1b A936 126 096 TBA V WP DMvin2 Ea, EA3 Neg Gens EV 1 (0) SDs bat FoQio 36741 Abe2-12 Ley cortespondintest A v VaeP «> YRIA VP) Demoseracin LAER 2A [are 43xiAv Px) S3nPx Pe [pavre S31Av Px) 9 3RIAV PX) 103xiAv Px) (Av InP Sav 18 CONBIEIONAOR BE PRRTICULARIZADOR EN DISYUNCION w2 Bian) we BT(ax) 1s, 68 Bv124,59) 303=1aKav ee) 2AvPa 3A AviaPe NS she [sox Bsn) Tavinte — W6 Savane Be2.8457 Savaxee | BLS Ley correspondiente: AV 3xDX 69 Sx(A.v Poe) r ‘IsTmBuCION CONDICIONADR BE GENERRLIZAOOR EN CONSECUENTE AVP Tease Demostracién: IAS RPK, 2A [er Eo 12 4P0 Ey3eea) SAsPa ary q WRIA Px) TVS) =I YK Px) 28 3A>Pa EV 1 G60) Pa B43.2 5 VRPx ae CAPR Ls 2s Ley corespondienes (A> VP) «> Va(A + Px) 304 3a Sas Pay Demos AIA 9350 273K 9 Px) 3VxviA PH) NegPart? Gn 3Pa) BY S60) Sansa Deine oa Ens Gare m6 sro 57P0 Es rane LS 11960975 ——-ECQIO 1276 9b EST.EI BaP) Abe =1 3x49 Px) 2A JAP [:25, B32 53xx Bae) 63xPx B35 TAsaxPx 19 26 Ley correspondiente: (A + XD) Oo Bx(A PX) 30sDisTMBUCION CONDICIONRDR GENERRLIZAODR EX ANTECEDENT ei s A Hox oA Demostraci: 1 VRPR A, 253%Px A) BVx(PRA)— NegPart? 420858) BV 3 (<0) SPanmA Debsind ora ES Teh, Wv6(ex) sa Es? oa EAs HOA A 7A bs 13Kx A) Abe2-10 -13KPR A) 2 VRPR Bv2¢0) Eo a4 BLAS TYRPa A 126 Ley comespondiener + (VaePx > A) 69 (PA) istaiauctéN cONOICIONRDR OF PaRTIcULARIZADOR EN Vata Ay 306 —— cc 2 oe ~via Ear 2 es i ee Ley conespondicnte: + XP 2 > A) o> VoIP +A) PenMurnctON Oc GENEMALIZRDORES FotyPxy VarRPRy emoserain —revyPay 2Pab Ev (an; 6) 3 YRPxb Wv2(@x) SryenPay W3i6y) A yyveray 2Pab Ev La6:x0) 3 vyPay W269 a vevyPxy W3(ax) Ley comeipondiene: + Vay Pay © YyVRP KY 307Sayre Sarr Demos: 1 eayP oy 2 ab [30 B20) aaePay B3by) SHIRPRy LI H1ayaerny 2Pab [:3yr0y Eby) Aya B30) SeMPxy Bit Ley corespondient: FeIy Pay © 3yIKPay BD wos Teno Demosracn 1 vung 2 vyPay las Bv246) ePxb xe) Syyarny éloap swemrxy L253 Ley corespondieaes Ix vyPAy > YysRPay NOTA: Obsérvese que la rea slo es valida en t sentido de- rmosttado; de VyaxPxy no seobsene Sx yPaey. Sai lo 308 siéramos demostat,encontrariamos que no es posible, Por la va diet bao tendtamos qu el rengon nes facil pla IW (aay ya gue m apacece en el supusst aula sincancelar 3 {Beso ped? compar gue tampocoedemosable por i 1 yxy 2aePxe, 3 Pb. Evga) Si consideraros los enunciados (a) ‘algo es causa de todo" y (b) “Todo dene alguna causa, podemosconsatarintiivamente que de (shige (pero de fb) no se ge se sigue a). Tomando lac $0 Gites cauta des” encontramoe ques formazan def) c= Sevye ind) Wrakty. Rela ue ch ue cielo expan lo entero de valde que apiamos en estos wos fn fticosrespeco a la permutacon de cuantificadores es dei, s¢ Emple que SevyCxy FWysxCxy, pero tambien que VySXGR) # ayy. Ao D ¢ e papel dela Regl de Incercambio yas explicit al presenae «sta rglapas cl SDNE (véave ILS}, detain de ica re fists eliza, como ya hicmos ea el SDNE, por induced mater fie fo semitica), Eso supone proceder 4s demostacon en dos 4) El comeaponine a bas i) Elcorespondient l paso. Dees dort ala shra to iar 2 la proporconads ene! SDNE, Aungoe nla pate correspondieae {Ee ya tome como fmol repre gad ero a vanales proposiconaes (que ya figuran en el LEO") Sino & Tas formulas svomicas del LPO, es dec, foxmuas dadas or ana expresién predicativasegida de un naibero de téminos [epwopiado' a valde deal pedicado}, Adem, en la parte co- ipondet po ahors ay gi don tures aos rl unt Tos eae 3091) Desc, 2) Dz Gn 3) Ds CE 4) DEGoE 5) DeEoc shors hemos consderado lo casos 6) Da vxCy 3) Dzaxce Dado quel demosteacin para los casos 1a $ ex ieticn a la 1 propria pau SDNE, no manor sora a deo NG Da iacy Demostrar VasGye+ VCs =1 6,66, 2 VRC, 3G, by? sce Be 5G E443 6 vc, ws TRC IYRG 1426 ByKcy 9G, EVs wae, Fe ne, E4109 12 Ya, wi 1B VRG VRC, e812 HRC OVC, 167.13 7) Deaxcy Demostrae 3eCy ¢9 2G AGG, 2 axc, 36, 4eag, Bet sc E43 6 3xG, Bs 71 3xG, 2.36 Bax 93xG, 1627 310 9 axe, 10 G uqsc, Bor RG ES 11,10 13 xc, Bo HM axG, #39, 1013, ISBxC93xC, 19946 ISX O3RG 81S ‘VLs. FSTRATEGIA GENERAL PARA LA RESOLUCION DE HIERCICIOS DE DEDUCGON ‘Ahora estamos en condiciones de eablecer una exatgia general {ara fa reolcion de lo jerion de deducstn ene S0O% He nos de tener presente que nuestro objetivo cs dedi Ia conlaion cada argumentain formal, epoydndoncs en la rel de ans {ormacién yen a penisas que pedan aywdarns en este comet- do. A tals lero mos dente cua a iginte 3)" Como ya debe ser habitat lo primero ser analia I conluc Signs finde ver utes lo ue Se eguere pars senza, ex Iinando ponies rcoridos hacia stds de a deduciony ai ‘cbleer cal rm simple Ge sep dade as prema En ‘te anisis no se debe olvidar en vingin momento ls reals de ‘Stanticadoresconricione. Ader, en determinate dlcciones el aun de los camino hacia ars solo pode es Becerse hasta cero punto, sia lograrexplctar todas los pasos su eect as prea com a sonclnn, En csi cas, {odo Toque podatosacarar en lo que conierme als posible ‘pasos imedtamenteprevios la consecucn de la conclsion ‘eda ls tess de transformacion, faclitaré normalmene Invealaacén dea deduccon by Una de ln diieultades dela deduccin em el SPO® estiba en ec gut orden puede reslar mis aderuado al apt ls its hiss de elininacin de cuanlicadores las Tbs qa os Eoinen ye deen ser anda ara alcnza a concison ‘una deduceion, Al especto parece acertadoextabece que lo Sven e prinero ari supesto aur pra psa $aplcar todas las ciminaiones de aquellos partculanzadores {que figura como fe constant logia principal dado que et ‘ela sncororsrevrictoner acre da conse cites em Peable gue se catabscen sobre afl de un apes suns y antales rerrciones pueden condicons lento dela deducin, ‘Abr d aupuerto suse pars procder scar um pce Insindoe no ex mis qe iar proceso pares cimacn, antes de canelar ene supuesto pueden renee que dat muchor sory ntl In cmon de otros susnticadores Pifano genealealoes, como ottos parcuarzadores— Lt sliminaclén de genealzadores, cuando el genealizador es la onan lien prince, pacdeposponerse hasta el momento {decidir constant enconce tres enpear prs ap ar tal elimmacion de peneralador, dado gue nos exc permit ‘Xemplea eualguiera: De manera general podiamos decir que una dedoecion convene enpezat procediendo ¢ abit estos para cimiar Tos patcarzadores para despues pro- {elera lmiargeneazaore, es «9 Sinemarg, en csstones iyi a wins para aanzar la onclusin que conicnencunntiheadores, pecan aque iss fos que son preminas dela argumentacon, no estin ers lcidas de manera que (todos) los pretjos cuanieaconales fSparacanprsseado a formula: fo dea I determin ‘in des lguna de estas fs enierra realmente particslarea- doves Por eo, antes de empesar a apis clitinacions. de Ssuntfeadore, convene qu de toda fb a rer wlizada para Aldus la conclusion y caves cuantfcadores no exten pre ditndo a frmala se obenga su equivalent pica lage. Ase leecuanoicadores etn encaberando a formula. Fae lo Se empezardaplicndo, cuando proce, ls rela de negaciin { dd Geconicadeea snd ets det que trabajar con todas as ffs cnyoscuatifcadores exten precedi- dow por un nepador,deducien su equvaenes Wc sobte Estas ac trabsjad con posterioridad en la dedvcion. Una vee Sliadas Iu regia de bepaion(y defiion) de uantiiador ts ene sentido se proeder 4 opcar ls rege de dsb. ‘Séaid credits par ibs de oe te oe ‘on is coyor cantcadoes no eaten pecediend a Soma fe cues, deduciendo la corespondienes fis Lgicamente ‘equivalents en las que todos ls euanticadores extn al eo: ters dee Cine eis iia, podenos ahi revi siguiente popes de estategia ener 1 Anaia aconclon 2) Apiarneeaion (dfn) decuantificadores de ula fhe gue se requera pra demos le con ling, pra obener ft egcamente equates 32 T | 7 pln ai iin near dain wn cnn 39 Ditibircsiieadores de aqua fs quo enpar deonaa os, par he fs lopeament equivalents en I gue fodor Tos coantiladore sparcacan a guerre ps +4 Rlsicsupuestos para proceder a lina particular ‘ores de ages Yams gue se eequeson ara Enon acolo ‘kb low aupuctosrqueridos por el nse dela ‘onclnse. ‘Pyne gnc de aqua fs que sete quran pra demostarlacoelsion (Como en ocasiones anteriores hemos de tener en cuenta gue lo gue proponemos como extratega general a0 debe eatendetse como ta norma sepui sino mis ben como una sugerencia el para Ia rrsolucion de gercicioe Sin duds abr eason en lon que se pueda Fesoles un ecto de deduccin sn sept ls paos de la extrate {i genera, incluso en algunos casos cabe hacer una deduccion mis legante que Ta revue de segura exteatepa general El valor de ia atatpisestriba en que consituye un procedimientoadecuado desoucin para genetalidad delat dedveciones, sobre todo, e8 Sguelas que puede encerrar mayor dialad resolves ‘14, DEDUCCION, LEY LOGICA, FORMULAS IN FORMADAS DEDUCTIVAMENTE: EQUIVALENTES ¥ CONJUNTO. (CONTRADICTORIO DE FORMULAS REN FORMADAS Sea Fn conjant de ffs dl LPO, sex yuna ff dl LPO; una accion en & SPO" dew par de sna secuencia de Fis SeLLPO* os gales gue 4) oe ase Lea, sun sues nil o premises ics dmcno de, By bien qr un supe auxin bie en vid de alae nla an oman ay SPO {Vo bien que obsene a pre de una ois ffs que iacan fn linasPrevise por aphescién de rele de anslormacion near dervaas del SPO", iy a 6 del secu ese obine a pate de una © 313‘mds this que figuan en linas previas por aplicacién de re. fae de transformacion bisica 0 derivadsr del SPO" ey. Sedice que una fo del SPO* y es un ley lgica sss es ded. cible ene SPO" a parr del conjanto vaco de premises, Fs decir, Wes una ley logic da ye oo ¥ Se dice que una fbf y del LPO* es deducible derivable en el SPO" a parr de un conjunto de ffs del LPO® T, Per Wy sy58 65 ponble dedocr ya pact dT utiizando la vegas de wansforms- [in del SPO". Es dei, Praw¥ = «s posible deduce y a pati de Pen el SPO? Sedice que dos fis cualesquiera, 9, v, del LPO* son deductina- mente equivalents sys e dedacble a pari de w wind Tae ‘eglas de transformacion dl SPO" y y es deducible a partir de 9 ttliaanda Tar eelas de trnsformacion del $PO*. O'lo que & 10 ‘mismo, laf que catablece que se da la una sys la tay 9 OV, una ley logical SPO", Foro 9 v. Es dent, ‘By W son deductvamonie equivalones ex e1 SPO" bo 0 Sé dc gu conju Td Ms dl LPO contador sys c pouble dedi una contradiceién » par de Tr wiando Ins rglas de ansoemacion del SPO". Fs dec, T es conradicorio 1 SPO” 7 Thee 900 yur. seme axtomrico Presentamos s continuacin un stema axiomético para la Liga ‘Gisiea de Primer Ocden (sin dentidad) que fue formulado inital mente por A. Church en su Introduction to Mathematical Logie [1956], adapeando a presetacén del mismo alos simbolosIgices 34 T «a venimos undo en et libro, Lsmaremos CH a noasin ‘Sle qu amor presen Olnirese gu el sites aomitico de primer orden gues in trode oc ua een del presenta pct Logica de Eau Sado, PME, sungue a pare de CH fd por le animes ye ‘is 0 tasfogmatenconespondemes la Lic Je Enucados ES egupaene a PME Enel cao 6 or aemas de dedcinnaarl que se pesen- tan le largo del libro, asso props es de tod Sn. {or sstemasprogresvamente mi saredors de todo que cada fet stem inten al ante, Ea elites, SPO" iter SDNE. En el caso de los sanemas sxomton hemor optado pot Introduce alunos de lor mis conocion, de abi que presenters fal ogee de pier ode a ac ee ‘has axomdticos altrnauvos a CH dl mitno modo que hay sate {Bat aleratvos pats ME, la direc andomenta sare os di {Enon saremaeaernativos rac eal Conant de leyes legos {ques oman come axiomas 1 Lena logic formal 11° Stolorpamtivor aust, 21g en BB yu fg 8 Jes Daponemos de un nizweo ifn enue de dls. 1), don A BS dirs eB ae, a bao Primitivo gue denomination consaner de ndenduo. De fonemos dun sme infitoenumerable de lla 6) RB aay Sno SOS pens je deonano arias de dod. Dsponemes de wh ‘Miner infinite enamerbie de el. 4) PQIRS, Tyo, Qy By Sy Tien Pn Qn By Se Ty Snsimbcis primis que denominams varibies rede {iar (oabrevaamente predcads). Disponemos de un - ‘nero nino eoumrabl deel «) 5 ton smbols primitives que denominamos conectoas on constants gens penne de CH 4) V'Shonsimibolo pmo gus denomnsmos antficadory ins constant ages pia de CHL fle] aon silos guxares que denominamosparéateis 1.a"bsitibn de ein de individu ‘Calg variable de nid, xy» cule constant deine iva, un ERRNO De NONIDUO de CHL 1. est ede op op. Ym 3 ais1.3, Reglas de formacin deff. [RFFI- Toda variable proposicionl p es una fbf de CHL. REF2{Dado wn predicdo culguirs dl lenguaie, , con un ‘nimero de arguments Yuna sucesion calqulea de a teamings de iatvidve del lenguale, tose Books ti ft de CH. [RFFSSt As una if de CH, entonces “A cambién es una fbf Be cH, Ay B son fis de CH, entonces A> Bes también una thee CH. IREFSSi Acs una fbf de CH, entonces WA también es una ff Sean. [RFF6 Ning sata 0 secuencia desibolos es una fbf de CH ‘Hino ex una secuencia fits obtenida en wet de as re {las REF, REF2, REFS, RFF4 y REFS fexceproando, cla. Fo ets, las femblas que resultan de introduce simbolos Stnlares para evar smbigbedades) 14, Simbolos defnos ‘Seintodacen como simbolosdefinidos lo siguientes, que tam- bien son lads conectivas fa) tal que An Bae -4A > 9B). b) cyt que Av Boy A 3B. fe) Stal gue A> Bay (AB) 4(B > AD 4) 3, al que x Arora 14. Senencias ‘SA ex una ff de CH sin variables libres, entonces A es wna scnrencia de CH. 2 'Mecsismo Deductvo, "2 Axiomas ax A> BA) 4x2. [ABC] 9A +B) (A+) Ax3. GA 9-8) 9 (B+ A) ‘Ax, Vata’ B) > (A> vB) donde x es cualquier vara be de individuo que no ocure libre en A ‘hu 5, YAS SA donde m er cualquier variable de individu, ‘res un trmno de indviduo (constante 0 variable ¥ ninguna oct frencia libre deen A ene logaren la subformula A, cuando éta dela forma VEC 9 + 5 una variable de individ. (STA se ee “Slave lar ocurrenciae de por oeurrenia det en A") 22: Reglas de Tansformacion [RT Regla de modus ponens ‘S°A = B es una fo de CH y Aes una fof de CH, entonces ‘Bee una fhe de CH que se sigue de A> By de A. 316 — RT2.Regla de genealizacin STA cs un fbf de CH y % es una variable de individuo, nonces desde Ase sigue WA. Sefalibumos al comienan de este pasgrafo que la diferencia fundamental ence los distintos sistema axomatico radia en las lesen qe toma cor wma A eens nd tmenal entre PME y Ta parwe de CH correspondiente a Logica {Gina de Enuncados “ovonts 2) 3s eens Pes Se ‘mds, ere esos dos stemas ligcos hay otras dos diceocias @ {estecat To enguajes en fos que se formula lon asomas espe iaente por lo que concern «gues foma como constantes og is primtas; 2 la manera de especticar los axcomat. Por To que onciee In primera de as cferencis tenemes que iene las onsants Topica primiias de PME son ls de los axiomas {Se Légea de Enunciados de CH son >>.” Ea reac con le anda de as diferencias encontramos gue en PME lon axiomas se Ferman en txminos de engasje de PME, es dee fos coma som fs des lengsaje forma, mientras qe en CH los axiomas Som esquemas de hs expresados en un metengiae para cl corre: Fie eal formal A poe com anu de PME cers hse hace precio incl ene conjuno de elas de transfor cion la regia de ssttacgn, mientras que ca CH el papel de esa tla queda asequado por los propos esquemas de axiomas. La te fa de susitucion en PME nos permite obtener como teremas @ Sue féemulas cays focm logicadasicacomcie con la fora loca de los axioman aunque caver de as variables propoicions- ler de estos sntomas gure os fs de PME. En CH le variables ‘etalngincas de lon esquemas deaxiomas sos permitenobtenet como instancias de ales exgucras as ose forma Tica bea (sth dada en esos esgueman™ : . sac cm mre gr ar 8H cei tg ca et dere an se ga a 317EEREICOS |. Reaizar las deduccones de los siguientes argumentoeutil- zando rglas isiasy devivads. 1) 1 vax ¥aQe 2 Wath Re) ake Fy 1 ys(P > Qu) Sawai sx Ox) Pa(Pa > Se VR) » 1 veh Qe) Tags racks 4 =A yale 208) <2 ath > Qu) Vahey Re) Yate > VaQe, 5 2-8 avaPs 6 1 ysiPe 00 Ta vals Ox) Ta sas rae 7 1 ysiTx > My SB yea Rs) Ta vail (Pe > Rx) Fea SYMP) 8) 1 ¥s(Pev Ts) Ta Yalbe x4 -Qx) T3 val(Qe nM) VQx) vie Ts) 9) <1 YaeyPx 0 Mx) Savane Paine a Se) v-Ps) 10)}-1 ¥atTx 9 Qn) Ta eee tx) FBePea Qa) i) —1 veh Q9) Beige) Poss Rs) 121 veh Re) Ta este 3 axe 3%) ovate 13) -atT a Ra) <2 Bese Ts) Fdistxy Qs} 1A) —1 Yate 9 -Ra) <2 ase Se) oe) 15) 1 YalPe 9 Qe RX) TB -Qx Pa) ) 16)—1 YeiaPxv Qe) a vais Ps) IA Bese Pev Ms) Ta dewe acre 18-1 YxiPx > Qs) 2 vatay va SBA G0) rame sis ITT Ya vga) vate dare 20)—1 BaSev (Qua Ta) 2 BxlQu a Ta} > VaR 388 Rb 2-1 ¥eiT Px) 2 Sei 0 oR) ee) Faxes) 22) 1 Balle Qs) AR] <2 vk Te Mi) FVaiQe Tew Ms) 23) Yah Ro) Sai Qa 9 Pa) —2 vere 3 Re} FeiaQev Px) 24) 1 YalPe 3 Qu) eS <2 Wilh 0D) Paeteage 50) 25) 1 ValAQx Rx) Pe) 2 aebev Qe) Poe Sa) 26)—1 Va(Px + Rx) SB avaQy Px Faas Qn) 27) 1 xP Qe aR) Bs) sr 28)—1 ValQu Ps) Taxa 5x) Sy ekaPs 9 Rx) FavieiQe5x) 29)—1 ¥xylPay + Qyx) 2 Evy = Oey) Fr eaytty Pay a Rx) 30) 1 BaysTay Tye) 2 Yaa + Qa AR} <3 sata FAQe aR 31) 1 evySx v Tx Pay) “Seay Day Pax 3 Yate) racer 22) Ye ley sane —2-ax2yiy ve Pay By . Rex) 33) —1 VeyNAIQ oP .Py) —2-axay ye) PhseyvrcRye Sey v ye) SH] A1 Wey > 7 (ey + Rex) —2-4Rab SRS) ae 35) 1 Vx (Ry > "9 (Qxa+ Ti) =2 vst Rb) Fagus 36) tv - Oy) =2 vavyvalRya + Qre) <3 seayaesTe AT) os 31937) VulPe > Qu) F vylset-Qey Rye) > > ¥e(Px > ys) 46)—1 ¥xSFxy > Gay) Bais F BeyGay 4 Vay Any v Vay 2 Se “Bxy) Fe vaaylCx Any) 48) 1 Vay Lx nM) 38) YxlPx + Qa ” Vat yEyx (Px Qe a Ry) 39) 1 YxloFav Qe) <2 eRQe a Tab-> Rx) —2-Man FVatQe ABs) 3 Bay (Mex 4 My) SioBavaTbh svxbx 40)—1 Vasl3efQe Run 49)—1 ValAx - Spy A Cap) ‘Ry2) Pay) 9 Xx Qy)) 2 3e(Aw A vy(By > Dey) BVRGEAQyAREY SF BxSyiCxy Dag) are be VWEAQEAREC ATS $0)—1 Valaytly Brat AGE ny Pan Sylty sy) 2 as) — Pan A yily Py) sntweengnaRney eatin 2am ars” 5) 1 sab 52098) PRR aCe Pe)” ENG y Vactaby) Te eS abe A) vay Ty > en) 2. 3x(Px 0 -Rxa) pea) S2)—1 WxSy(-Quy 9 -Pxa rate noon) + YahtQy AP Pas) 43)—1 Vx(6x + YyCTay Oy Sy) 53)—1veyEaRy A Pay =2 vevyPay 4 Tay v Sy) Se) EVaDiV(Sy Py) 98k) 2 SSy(Say A Ryu) FSab cya | 44) 1 Vil 4 Wye 9 ‘APy2—Pyy)) $4) —1VayWetPay «yz —> 2 Vylby Ay) APS) “Pe F Bx(Bx A 39-Pyn) 2-1 PVE Py) > 45) 1 valOx > Mx) acy versa Hexy(Oy Bag) + 2 5uiMa 5 Bra}) 320 55) 1 Vxay(Rxa + Tay) Ta Bey tay aT) 3 yak rate 56) 1 BS allay AL Qn 2 eigvitlan AQ, b BeSySeLay Rex) S7)=1 BewySuy sees vi vyiSay > Sen) > Sy) 58)1 ete Ta BeciRab v Sx 9 Mx) SS eMx FSval(Qea 3 75) 5 Rab) 59)—1 ¥aMx 22 visor 3 Selly aL) PF avxdyiMx 4 aLx9) 60)—1 Wane v ¥ixQx -Qx) 61)—1 a(S Qe) <2 -ay1Qu AH) Pais Syst) 62)—1 YxSab a PY» = aby) —2 ve¥y{Quy + Gym) ayia Sy “+Qbn) 321