(6) ip e>alat sy viplevia) (@) wed vale san veg “a1 (el vipv (a pie sys vip (p> (q-nat pavipag—+neL (alvip> (orl sy vig op 8. Demuestra que para toda valuacién posible (a) vip» glad sys visip a 0 (b) vip v.qh0 ss vinp—> gid (el ep va)e0 ssp adel (a) vopa-aeD sieeve gel 9. Indias las sguintes afrmaciones som corrects, Josifca ta respestaciendo uso de a nocion de valucion, Seat TA cone Juntos de is cuslesquiea del lenguaje de SDNE y sean 9, Affe ‘alesguiera del SDNE. (a) Si @ es una tautologi, entonces Pe (b) Sips una coningenci,entonces Fm gsyas Fe -g. (e} Sig sun contends, entonces P= 9 ses TH 9. (a) Sip es una conadiceon, entonces 9 fe) Sigyv son lgicament equivalents, xronces 9» WY Wie ©. {1)Siges una tautology es una contradic, entonces ig) S9es una conrad y Ves unt ale ees OF {h)sipe T,cotoaces Fe @. {SITE OYE ysentonees Tm ery. (SD g,eutonees Pe gv [ye gas Pep WSLASTy Amo emones Peg. in) Si hor vy Rom ny entonees Fm» -9. (a) Tee wy Tbe yyentoncesP,9V AE ye 194 LOGICA CLASICA DE PRIMER ORDEN (SIN IDENTIDAD) SEMANTICA Y ESTRATEGIAS DE FORMALIZACION La Logica Clin de Encino, con su semdnicn etd, per nar a ald de aghlloarguenos von eves. tractors Tole queda suseneneeeaeraua al cee {fr lor ior Snboor logo dl enguaje son as eoneeen 7 {Bela uidad minima deans dls rescues nologies os {Suh propetdooa, Sin embargo, kay ripamenne ote dene Tealmen aids erty ser nodes tana slo sande a Brett nis dele Lges Cl enc a Po Tio del mono. ‘Retomemot cl prime ejemplo dl atl anterior: "Tals los hombre soh mona Juanes hone, t,o er moral. Encl SBN eae sguentosformlzara dl siguiente mode: Todos bs hres son morale anes hare, juan cs more En a formaizaton atric no swiiza ninguna expein 6- fic del lengua el SDNE, nse ningun de los tocades Efolncradsr a apumenisci oral conta eon peas py 4 des conchnen rE ela qe, conforme a ele tl SOME s contin os sigue de lt pemoss 7a embargo. ‘npc onal x obviate ve Las ameriresconieractoncs son gualente apliabes ls siete apamenn 195‘Todos los ges son flinos, Todos ls flios son mamiferos. Lego, todos los tgs son mamifecos “Tampoco en este caso la formalizacion ene lengua del SDNE. sive para meatrar la vlider del argument. Y sin embargo e argu mento es obviamente vid. De hecho se tata de uno de los eer Plos paradigmaticos de la stocisnca arstotdlca, La slogsticn Arstotlca es una version paca de un sitema de deducion nat tal para la Logica Clisica de Primer Orden, sistema del que os ‘cuparemos en este capitulo y en el siguiente a cueston es qui rales de um argumento es funcién de su cestractara ica relevant es deci, del form logics eelevane de ls enunciads que lo componea. Ua andl apropiado dela for ima logic relevane de los enunciados que componen el anterior sjemplo de argument, exige ener en cients dos fenomenos del lengaaje narural que no poeden ser expresados en ol lngusje del SDNE (al en el lenguse de cualquier oto sistema formal equipo lent} la HRuDICAGION y In CUANTINCACION. Ea otras palsbres, exige ampliar nuestuo lengua logo formal paca ir ts de la Vaabe proposicional como unidad minima de andi ene las ‘xpresiones nolopica, y extender el conjnto de las expresiones logicas aftadiendo los cusnoticadores universal y extemal le sos, respectivarents, odo al meno wt ‘Al presenta un sistema liico formal sefalabamos que Ete ie ‘ne que poder ser defini sn haces eeferencia a consideacions de indole seminvea y, por lo tanto, sin hacer elerencia i a una in terpreacin semntca de las expresones del lenge loyiofor mal correspondiente, ia un mecanimo deducivoconforme a ue se pasa de unas expresiones a ota. Sin embargo al presenta las wnat it erm is me Sa eanorcieeee eet ‘Seniesa en Elo pre do proua es pil en eee nl“ enn fe ale Se Cioes lS gee pies CeO supe dre Sint Spm rai cbis a 196 mntica para cl SDNE también sefalabamos que la consruccién ‘ectiva de unser lgio-formal ext sualenteoicatads por ‘omaideraiones semanas detinadasenaguel eto, a far de ma beans res conc ara en mentaiones eh ls ie conetvas¥vadablesproposconales fon fundamentals ent determinacin dea forma ga relevant fos enuncados componente. En ete capttl comenzaremos con lengua igo formal de primer orden sn ideidad en alate LPO" que como ral inde poder sce presenado sn reurir«comsderacion seman dleuna. Sn embargo, para esata el hecho de que Geta interpe- faci semdnveassocndn pretend gael dco de determina tor sstemas lgico-formales ene ellos el que nos va a intece Sr a uescy presenacin de! LPO® seguil la presenacion de in semdaties par unlenguaje de primer orden sn tdntdad mic ‘a quel presentacin del ies de delton tarde prime trden sin Hentdad se abordad ene api Vi, En el cas de PO" a interpretcién semana pretends etd destnads a Cat A mer irony rc concn he see a {EEGe aguas sgumenacones en as que prediaiony cua ‘lei won undartnaes praca I forma lgis relat fe delos enuncados component. ‘Vas EL LENGUAPE DE-UN SISTEMA DE DEDUCCION NATURAL _DERIMER ORDEN SIN IDENTIDAD? (t20*) V.21. Lenguaje ligiceformal 1.1, Simbolos primitivos y aires A) PLQUR 8, Ty ws Pr Qi Rin Sip Ti ns Pg Qo Rey Son To ‘on sinboos piimitvos que denominaios varies predic tions (0 abrevadsmentepredicads), Disponemos de un ni ‘ero iniizoenumterable” de ells init See stn en dco ie oe a we irae cnt co ee slg ‘loin slaw ment de plc norman pe Pe heap lee actin ge ce oro 19718 By 6 dro tis Gm dry an Bn das. Som snbolon Primitvos ue denominatis Consones de indaduo, Di pPonemos de un nimero infin enumerable de ela, 1) % 9, Zoos Bo Yn Zins Bp Yo ae Sn boos primiivos Sia eominatos variables de ididuo,Disponemos de un ‘nero infintoenumerable de cla. 4)", v5 4 y-> #00 simbolosprnitivos que denominamos co- eciasy sn constaneslgcas prnitvas del LPO™ ©) ton simbolon pcmisven que denominamos cuontfica- doves son constame lgiens primitive dl LPO® 8) son sols sos gue denominamos po 1.2, Defniidn de témino de indviduo ‘Cualquer variable de individu, x, 0 cualauiee constant dein dividuo, es un TeRxINO DE NDTDEO” dl LPO" 413. Replat deformacién de formulas IREVI.Dado un predcado cualquiera del lengua, com un Inimeron de argumeatos Y una sucenn cualquiera den Términos de individu del lenguae, ty donde 221, ‘enonces Sete Una Ib del LPO" RFF2.S1 A es una fi del LPO*, etonces “A también e¢ una The de LPO RF3.Si Ay B son fbi del LPO*, enronces Av B, AA B, ‘AB tambien son fhe det LPO" [REP4Si Aes una fo del LPO", entonces 9A y V2 también "on fs del LPO IREPS.Ninguna sara 0 secuenci de simbolos ex una fbf dl ‘TRO sino es una secuencia ita obenida en vrtad de las reglas RFF, RFFZ, RFFS y RFE4 exceptnando, claro st ls formulas que resulta de introduc solos a Suliges para eves smbigaedades). 1.4, Sentence, ‘1 Aer una fbf det LPO* sin variables de individu libres, en once Ae una senteneia del LPO*. ‘Observaciones 2) Tlamaremos “partculariasdon”, “cuansicador exstencal” simplemente “exitencial” 3, "genealizador” 0 “cuantifica on ep ce aaa abel tino gee ge eu “ale Se nr tc ena 8 se as ea" 198 I dec +. Cn co cnn nn ina lanerh seca ors Reh etl Parca hin ed nn Abe RRETR St aan Pe Beatisheetconre Bead eels Si se le SS Ss pele pl Sonate ton naan See runt nt eo a Haart ee so epedi te ees Ee aa a Pon salts titan aie see ESSA sO had 2 rey aula later mane ge ee SEND A eile Re SAGARA FO es sega cal Stieetemeoaccraienite seen Bt gS sae Yeates ge ie ne ieee panos Senne RAR SAD ORTS. eaten eet 218 pce en mer sae bc icing ac erences a Spee iene teens Ear ot Sate RC ESTs Ss ea Sige edi ttence ibe res aM BISA tate Se oo ale iran Re tae 2ST ay Ra asus sind ani ace gare (Speman sereten arate he erie Ducts macs Seana sWaPay « AxRA->APy), oVAEyPxy, et, mientras que TE te en Serra SORA RG SRLS 2 Sadao ne gs oom come we deel heh dase AIST rt Sage Se Sua ears ats pe 3) 199sl cuanificado univers, mientras que en 3xV3Pxy Sintolopingpal esl pauarandoe ‘Dada na femula'cn uno mis canteadores como cons- tantes principals, por cjmplo Va(PxyQh}, en ela te dstoguen Abos pares: el prffo cuties, Wc cusnticador con It ‘ariable de indivduo que cuantiia=y la autriscuantfcaconal, PryaQuoal eto deb fomsla~, Dela mates comaiacional ot dice que se enone determina fore pci ewatasonal. De agullas ocurrencias de ina vanable de individuo que apace: ‘endo en la mati cunsficarional de una ff forman parte den Preto cuantliaconal de em fbf desimos qu caen bajo el lesnce {i cuantfeador de dicho peo cuaniicaional(o también qu ‘se encuentran determinada pr xe cuntifcadr) 1) Se consieran fs del eng ant aguas e as qu algu- ‘a Vrable de inden pase abv cua, eo en tem rologla Lica, que conenen alga varable libre, como aqullas las que no aprecenyarables libres, Se die que una ocrrencla Ae variable en una Asuna oowrencia de bre en A sys 0 eae bajo of lcance de ningincuanicador en A, Mintay ue tr ce gue tenia vara cu A vu ‘rena dem ligada en Asis ot aj el lcance de wn coat dor. Por eiemplo, VaPxyaQxl es una ff del LPO en Is gue la Unie ocurenls dela varie yer una ocurenia ire, cnignrat abe fod las ocurrencias dea variable x esti gaa 1) Coando una varble de vido est bajo aleance de un cuanifcadot es decir, cate Hgada~ en una THEA del LPO", por ejemplo x en la formals VatReayaSx) a sustiucion de todas Fes‘ccurenis de ea varble por as de otra variable de individu due no exe en 8, por cemplo la suntucién Je todas las octraem. las dla variable x por ocurencs dela variable, nos propor. na una fbf lgeamene equivalent, a saber, eBay Se) Eso spo. be que Wa(Ryx) puede asformarse eh VeRay-Se) sin quel mbio de variable de individ conlleve varies de conten se ‘nvco para la formula, en vied de los enterossemanticos que ‘doptaremos, Sin embargo, anto st) slo satmos alas currencian de una variable gue oeure ligadaenuna BEA pot oxra ‘riable de nvduo por una variable de individ que no ocrre {1-, como ti) suseteimos todas las ocurencas Ge una variable A ndvido que ocr igadaen A por otra gue también ocr en ‘Kya sea ia oy lbre, como i) susttumos ocurencis de tout variable ive, entonce a ie resultater no son logeamente ualentes las orgs. En todos estos casos atendiend a ests onvenciones semis que asumiemos, su contenido rematico variaria, As, como ejemplo de tenemos que VyfPy—83) no et Hogiamente equivalence ® VefParo89) al suit en la primera 200 sélo alas ocrrncos dela worihl y por I vatabe 4; como fjemplode i) tencros que Vx(Qx-96y) noes giamente cure: itera wyicy-sy) a ssi en ts primera ava porla va ‘ble yy somo eemplo de (i teemon que Pox nos ogiament ‘Gules a Poy condo vosiuimos ela pamela vanable lavarabley> Por] Natese que ete las fhe se incayen aguas en Is gu se onc vachansnt, exo ey Vay ay son fs del eng Se dice que en una fbf ea cuantbeads vacuamente cuando space. om preljo cunseacional que no determina a ninguna varable tad. En lor cor de wa fin pra capcom re cunniica vacances prsindimon de tl pef cuani- ‘Goma se obuene una fhe que ce lopieamesceequialente confor. tne los stars segs gus mis adelante sbleeremos (Por ‘Seoplo, vases opcamenceeguvalene 2 Ps) WaPy © loge mene equate Fy) TS" Simbolos Dende. 'a) etal que A e+ Bay (A > B) (BAY Obsernaione 2) aleance de a conectiva defnida respect als cones vas primitives vs ay, ¥ ¥ 3 cumple fo misma convencion ‘Noptada parse mplisdor, rexpet alo custiicadores yl mis convencion adoptads en PME (capi) para el reso de tis eon, V.2.2, Procedimiento snctico de decisin para ffs La defn del LO" antvormente preentads no slo genera {ous Tt del eng sino gue adenie proporiona tn proce ie or edly del cul, ada una cadena © sara culgults de ‘ibboley se puede decinarw tal cadena e200 tna del n0*: Dich’ de ara forma, a propia deiisén proporion un recede static de decoy aera de gu ales dein (eon fie denen lengua Venus como opera ee rose lmao a tavs de algunos cenplos $. tual wa) oes el de cin ade ‘i ae com 201jemplo 1. Consideremos la cadena Sa TP es una constant de ndividuo en vid de 1.1.5) del def ‘iin dl LPO 2. gesum trmino de individu del LPO* en virtud de 1.2. 3. un predicado en vrtud de 1.1.) dela defnicidn del tro" 4, Taego'Sa es una fof dsl LPO* en vetad de REF (En este aso debemos suponer que § es un prdicado mondo, de To'contraria Sano sera tina fo del LPO") '. Sa-es una fh del LPO® que no eontiene variables Hore; le 0, en viet de 1-4, Sues una sentencia del LPO jemplo 2. Comprobernosahors la cadens de smbolos Rab "Tra, b son constants de indivduo en vitud de 11.) de la de- Fein dl LPO" 2.a,bson teminos de indivduo del LPO* en vireud de 1.2. 3. cum prediado en virtud de IL.) de Is definicidn del Tro" 4. Rab ena ff del LPO en vr de REFL (Ea este caso de bemos suponer que Res un predicido diidico, de o cotra- fo Rabo sera tina ff del LPO") 5. Rab es una fbf del LPO* que no conten variables i Tuegoy en virvad de 1.4, Rab es una sentenca del LPO" Templo 3. Determinemos sla aden desimbolos R(S) es una fof GLPO® T-Rex un predicado en vireud de 1.) de la definicin del, eos 2. (,) con simboloe uniiaes en vr de 1.1.) de la defini én dl LPO. 3, Sc un predicado en vid de La} dela defincion dl Lo" 4. ses una constant de individuo en viet de 1.1.5) del deft tein del LPO tes un emino de individuo del LPO en vietad de 1.2. Sx-es una Pf del LPO" en virtad de RFF. (En este cso de- hemos suponer que S es un predicado montdico, de To cone teare Sano sera una fof del LPO) 7. RiSa} no ena fbf del LPO", ya gues se obtuvieseaplican- ddo REPI el predisdo R ceberi ie seguido de terminos Pero San los parcatesis *("y"")" son terminos de indie doo: por tanto noes el caso. Y R(Sa)rampoco se puede gene- far aplando cusiquera de la ora rela de formacion de fof ya que las dems replas de formacion de formulas son regi de frmacion de emul ag atmias en las que pa 202 sce al menos una constant Ligcay en R(Sa) no figua nin fa constant gia. ‘a, SEMANTICAESTANDAR PARA HL LENGUAJE DE UN SISTEREA DE ‘DrDUCCION NATURAL DE PRDMER ORDEN SIN IDENTIDAD (LRO") V.3.. Presupuesos dela seminticaestindar para el LPO* La semsatica para la Lgia Clisca de Primer Orden sin dentidad fs, obviente, de compieia que la gue ae ha presentado paral {Bgiea Clases de Enuncadon, No menor evident esta quel se Imfica dela Légis Clinica de Primer Orden sin denidad es una ‘xterm dela semindca de a Liga Clisca de Enuncados, de Itanera que buena parte de as condiciones eablecdas par i funds son aplisbls a primera; as el Prinepo de Bvalencia, i "Feo Semantics dels Verdad de Tarski, cl Principio de Compos- clonalidad Semnica de Peg, el cardctc ecurivo dela defncion ‘ETTengusjey dels reps semsntcas ya exsenia de un HOMO- SOnMSMO" entre la sinus ye semen del lenge Recorders, ademds algunas cuestones generics acerca de la seminia 1] Ui teria seme se ocupa de as elacones ete ls sig- not linguistics ydeterminados contenidos entdades extrait eas que se apoiansaguels Gye manecaeopciicas a seméntca dew fagmeto de) lene uae lgicorforinal eta Las rlaciones car ls igo de es {fagmento del Tenguajey ciertos contenidosy enidades extaline listens que sel arocan a tals signos dl agent de) lenguaje (ipio-forna comderad, S) En semana es ual dstnguic ene: una rota dele exten- sién(oenfogue extensional) yuna tora dea itenion fo enfogue Intenionab Un caso paradhgnoco para exablecr Te distnccn tne extern e inten lo proporcionan los pedeados mong Sov den lengusje lopicoforal ientas su extension la propor Sion determina count decade, seri a Pe Porson ‘una propiedad ‘0 atibto. As, eniende. gue a Dropiedad que connoes un predicado cs adceuada a rod ¥ cada Una dels cidade que prtenecen al conjunto que denota ee pee ‘Beado. ‘Desde el punto de vista extensional dos pediados son dé enki ether easy s3 dese 203diene dtr gema eat tnt im se ‘esd el puno de va intensional dos predicados son denis etree agian ieeeuaeee ievek se genase renee tenets an anata ieee alae erases et mo anton? ‘aint pce mR tt 1S tien Shame crac nee iif edce wae ca ta a + hniscino seaasico be mpsCERNIBLADAD DE LOS DE ‘ci prea sence a SOIREE, cu amd sole te ie ce ot oitaeitbe Sitat bourses Ing Gi Phe Sin pa ee ip dies hereon ioc Un i mii tc eee a pane sma’ mia pei ish ec TE Atbrpeapsr soi ‘ht gud moda oy restora dt S20 cps Vi once on pcs me ie 204 crpesones qe noprencens a cra imc que ‘Sioned lores nos pone er ences nog SPUN ante lesdcterbhS0 cake Sos ous pos tacts’ alens ie sya coweaos a ge pecan outa nas en Seompelcafdad sac de Fee mba pane es nlc, hemos deseo qu daa a ese sin cacornta se os hdl 90 empl ene seer etna fader ocr ses Soran dco eeabcerenos momen ones et ic enon pete LEO" eames i darian erosion clecnsd sno ee acs ‘i ccm coca pta ca ada cova les SLOTS te i ahem par uaa were cdma to smn poles ete te Segoe eels he qc an onnae Serre Ne Sart arises re etn ur toe Sts eines og call ad cone ead wil} ee eee carne Coane den Ae cat eee a ee Te cc Se a ae Een lagen SON'S seers de un lege de enucodos se ser sanSeata ode ou oneasc naps pd Fa a ees pale i bros sae ray acts ad eta ends a eee ne aeniacr dem eee ri eit mt santa ouuceones ole pot Sera pete rats ohamar hates se a ee ici me Oe aan mt cn Pate apa a pope Shans eeu pa eee apoio dee SO il ie aetna epee: Se erin gts ons pou: mereatin de die ope aoe a eee tee naan ee ee ee Sr Se tem’ Bes nase Se see Se tay nar eon de Fateh oats sobre ede eats bl et oer cetia vases eee Screen deena ene eae 205‘mfntica MoDsLO-TEORICA no son sing enidades conjuntsas de ‘eto grado de complejidad y que, por lo tant, el aparato de late ‘ora de conintoses indispensable en este tatamientosemntico™ V3.2. Conceptos bisics de la seméntica modelo-terica Pasemos a explicit algunas noiones Bisicas dela seman Mto- Deto-rednich, como son las de “posible elizacion”,“funion de incerprecion, “valor seminico™ y "modelo". Postbles reli: Clones y modelos no som masque seems matemdtcosabtractos Son" Addlante, para abreviey “sistemas” sin mis en tant en ano tos son tlzadon en el dmbito de la semana formal. Dado un tragineato de) lenguae de primer orden Ly lamaios Pox STs RrALi2aCionts de La equllos sistemas que extn conforma: dos de manera tal que cada una dels expreiones Bis de (excepruadas lay variables de dndvidoo) coeresponde de manera ‘propa uns de ss entdades componente Por oto lado, dado th agment de enguaeL podeahablase del) interpreta ‘bales! de as expreones de E fcomo amterormente hemos he- ‘hol. in embargo convene ener peseate que el wxo del tring imerpretaion” een ocaiones confuro En conereto a lite. satura de semantic formal “inerpretacion” se eninde confocme sie Reco dence én de Leon to ba hemes denominado ina Pose Reattzacion dee" 2) Orr veces po na imterprtacon de Lv etcnde ua fam sion tye domi el conan te epson lngltas bas ‘de (ecepuaas las varabies de sndidwo)y euyo tango el enjuno de entdades basics y comple de alg sistema. Para cea func est correctamentedfnia ha de hacer coreson- de mane apropiads (aly como se sania ata) a ea oniantedeindiduo de Luna etdad bisa del dominio de un Shtema ys cada predcado de Luna edad compleasdecwada de pe sntma En tl cao ee stema cs una ponble reiacon para "Es anual refers a ess funclones dels que ahora hablamos, iano se ete ser precio, con cl rtulo de FUNGONES DE INTER: 1. emi ms ein epee i dn sin de Ce Bes feckcear meres im aceite cst Tad arom ns (Sno npn sp bs ncn es 206 aD a am ere needed aan toa err tind soo ee ee ates sinc ceca metas i Mera iroramatecenteanane se eee teem tear Pe erterone eet ‘eralzada,conforme ios seniod antes expan. Se ae he aw ain koneweon ene Seiad reeaas crear eee eae tiga ae a i re Sct aa ‘bpd apunde eno dees farted spon ‘Titanic on pe iT ame LO" hn etn nt rot Sa es ase SLO eee ee ce Se Stetina Si i 5 pd hat dri wns peck win al pe Ad ie ma, ca Bop dabe rect cions Eee w eea t Ete com no nu cs i a el SSS SSI FE te ns int co 207(2) Mediane la expistacin del dominio A (no vac) del iste ‘nay de ana fren de terpretacin fe ‘anche fe ‘Ambas mancras de preenae [at FOSBLES REALIZACIONES son fgualmente adecuadas. La diferencia fundamental entre estas dos {Grmas de expliciar una posible realizaion teadea en que- TI} Ens primers, = hy yyy By Samy DO Agta exp ‘Stamete la func de interprets, f aleateas que et la fegunda, A= um sistema adeouado® aun [lexpimento de lengtaje ven cuanto posible elizacon des By apectten conju no aco} de enidades bias 0 do- oleh Geta gat ngs neues sees epee ‘i cpt ee gum cn ‘SELES coin gs nas aos son oon hn ocr ‘es Sir nena cs recon). Mupiisiernmsimecmpwornieen yee, (ea mtn so mien wr de icy de cont ploy ino, A de a parcel del mando gue represen items [By Cipla, « parce dee onologi sea aramid, que "ASG consamte de inividvo a de Ll correrponde no, $d uo, de os indice del dominio A © A) dl se. moat Se dice coonces, que el clement del domino-A es ‘Vatox sasticg de a consame de indo nen Ia posible Feliacion snbolcamente [a= expen ge a ¢l Y Issel laconic ’ cada preicado Ryde lengje Le coresponde alguna el ‘iba Puri! det inna Ses eto gee een * peradas pact del domino Ay rel valk SERUNTICD {ii flodcado Ren postle raescéa A ssmboleamente IRB, express que yc el valor semantio del prediado Ry, fla posible easacion Consens un emplo:Tomemcs on fragmento de eguaje 1. dal EPO* capa expctones busca no lice (eeepeuando as ‘onables de indvigoo som as samen ab, constants {rinidoo, Run preicado csc gue se puede let “est dts a Sea.» < yw, SB. BHR > una posible cesliacén para noento Fagpena lene dose ie eS RD oii = rey a a, Wo, cdr ides dstacadasy, Hoe it, cats 2 obs Wo ae 1g covmantes de india ee soca como valor seat co posible, rlatvamentes In pone relracin eonieraday a iedduo Cungucs dl domino, Ee dec sen o ana consante de indid cualuer endreroe que [afte Daas la antere- fee consais de vias ys dy Podeos conetetar que fsiscer, (ype, [8 (PLWHA cada predic al (engene de decrmiado aro de arguments sek hace corer pode como valor senanc posible avament as pouble re ‘izacon conideraday une flea eulgues de tlaco mero de argument, didn sobre el domo del sema. Er deci, Siena 8 un predicado madco culpers (nai) tendcemos se [bytabe Inet) Ee. nucrocemplo. podemos consatar ae prada, a od ot Bak, (2) Atenotvament una POSE REALZACON A paca mag fruit de} igus L puede pesenare como im par odenade, IER, fo, forage pot ‘jt din, fe (no veil ¥ 2) na fini de rpretclon J. La ncn de ioerpetae 22 ee i ua ta gue ncn ra a ins spose aan piano ome Rs ee A= Sk 209cin, festctra el dominio haciendo coresponder datos va- ides Senantcosapropidoe ol nan cxpesiones bases de the “ fasidn de imerpretcin hace coresponder sca cons laatedeinividuo de un elements a dl domino dela post Hie renzaion dei, flaje A Dcho de ota forma, deter Panda clemeatt down, porgamos wea, ol valor Stmnico des sonst de ndvdue a ene ota A Esto ‘Seaproa como [alt= fa) ay donde el sperndice indica forever nando deta constant ens pone rex ide THe ncn de iterpetaion f hace comesponder aca p= dicado dco Ryde Lona reacica ware By © dec {Royle 2" see gue la elcm By defini sobre eb Todi fe valor semantic dl prediada de pra de tteminada ansion de iterpretacion etomemos df anunorfrapeno de lengua del LPO* donde aybrend son as constants de invidso ym preicad dias fice puede eer pongatos por cas, “ests detasde*— Dec ine ,

, FB Bo) be realzainy IVA las constants de ingividuo se les asocia como valor se- smi una entidadbasea del dominio del stems, To mame de ind design wn obo, No bay *) Us mn objeto puede ser desgnado por més de una cons cai deel : : Aloe reicados dl lenge, 5 es ascin como valor se méntco poutle una relat eutgutr, de ientico numero de a- {umentom defnida sobre el dominio del sistema que 4 et cons Sewn. 1) En el cso de os prides montis, cada predicado mo- 210 nidico designa un subconjanto del dominio que se xt considecan- to, Consideramos tor suonjuntos dl dominio como rlaciones rmonidieas es dec, relaconesanomalas de un slo argumento—. En gener ea predieado nfdico (nol) desig un subeon- junto den-upls ordenadas del product cartesianon veces dl do- Iino que se extéconsderando, Ast, cada predicado diico desi fun subconjanto de pares ordenados del producto earesiano del ATominio que se est considevando, et i Notes qos, dado un dominio de enidadesbisica, bay mal tips posible eealizacones para las expresiones bisias de un {tagmento de engi, is ahory a habe de valores semdoics posi para ex resiones categoremiticasbisiear er dec, nolegear— hemos [sjdo de ado cena estgoria de cxpresions del LPO, la de Vi Tantrs DE tspivbvo, Tal y como vimos en a sina as varie- Hes deindividuo pueden formar parce de bs tando lgadas oI bres: Cuando una arable deniduo est ada su contibucion Sern count dela fen Tague aparece ce determina Pola manera en gue et cuando aj eyo lence cae, co {Sthupes re alr vray def Wi en evestn. El modo en Sue lov saanicadoescontbuyen fr al vale yea de Sgtlas hd as ue forman pate queda espeicad en nest ftiamientosncteorenscen, sogoh vemos (en el apatado VSS}, mediame lw reas dela emnsen estar del LPO" Hasta aut prams pest, ales de especie as ananadas ‘eas sombre as varabler de ndidao no suponen robe pra termina dl lr sc dua ‘rada-en lt que aparesan. En pinipo problema se plnteania ‘tando una mds variables de tdivdo octren bres en a fe fas De toner ls vartbies libres algo comp valor seman, ‘hdr uns le dsberiacorresponder una etdad india Peo te Sos conrsinniv consider ques an varables bres scores Ponda un valor semintco del mma manera que fo tienen otras Expresionesbiscas dl LPO, es dec a taves de una funcion de ‘ntrpetcin. algo caractesa na able de indi es ue to at tun pars que ign una eoidad mia epeticay e- {erminada De emads iisvamente, ms ben st considers ie tir saribl lie expen un huso de valor sai. Per la ‘Sccplacion sin mis detalii ee consecuenciasdesasrons pars [a seminses forma, En coneceto, alas variables libres 10 ESortesponde valor sminicoaguno, nosso nos enconraremos on que cures fos covecern de valor mminico, #sber, 0336 inv ils abseras “io con podria parecer normal, ino tama ‘on qu sera inapicble el Priciplo de Composcionalided Seman {hap oda gue contuira na varable de advo (bre © anliga) y, por lo canto, quedaiaen entredicho todo el proyecto de seznmtca formal para el LPO". Electvamente ate tipo de semntica exige que para que una cxpeesén comple, ¥ por tanto tambien para que cualquiee fbf labiera ocerads), tenga un valor semantic tambien lo tenga 10 clas sus expresiones components ,en ima instanciay sus expe Sloes buses componeaes Eta Exigenciy dbida al Brincipr de ‘Composicionlidad Seminsca, alcanza a ls variables de indviduo A. De ‘ta forna cada asghaci para as variables de ipdicido de L ests felaizada tna determinada pone reakzacon H papel de tina angnacin respect a una variable ligada a de queda newt lado al evalua la fen la que ocurzes ya de ser asa fin de ase fre, tly como ante plantedbamos, que en l caso de una varie [eligada su contusion semntce al eonanto de aff en la que parece ext determinada por la maneea en gue el cunntifiader, bajo euyoalcance cae, contibuye a fire valor veritativ dela hi a a cx cesin. Tal y como vereno, et io se consgue tia ‘Sent en l epeciiacon de as regan de a somdnte etna {EILEO*,conlirand fmncones que en odo som gules sl fu {on aigacion consdeada excepto enlo que sele Race corespon- Sera las) vanable) gaa) Enos casos de vars igus Sonsamos ue el papel de ls asignactn oo de mec reco rant gue Enalincte no tne presi ei ruin de Ins Theen que ales variables ocuen igen De esta forma, cnnda un see od variables dein sido gad, dsc mn cn chen, coonce a lor Tema e independiente de a aignacin clea dec, para ‘ts determina ncn de nerpretcony pars culge sau ‘nega una ff cenads Gene un nico mismo vor semen Por lo general csando sets de una fo con rare ‘Saloni dea hi a abo pended a fancondesnrerprescon ‘igi sno tambien den sigan seeconads, (ay ona ex ‘Sptions de as qu dem coeta sn Velde hs com aa ‘HE bee evo valor semantic regi lpi luna gnaci, pero independiente de cull wx sescn: pe, Px v “Px, Fy =» (Qay = Pr) ax» Ry) Va). Cot To cas Suen prs eos eos con a savedad que acabaroy de se [EIT derrminacion del valor semanicn "zs ec, el valor ve "Tiave— de es fe ables depen eenclamete ant de una fancton de nterectacion cone el ugnacioncegida apostate las corespondves sos cms, entra que ecg. ‘lon del elo sensi de una ft cerada 0 senencia conten S'no vadables de indaduo™en dinita ce inependion de ‘Sigmon scosonada(upucsas lar coresponicrs Teghs se india El que a seen tenga valor seme con nde pendence de agnactn ide # tem se panea Geno que Unie eras expec rofesonesy ete tren depo us valor ventas mene gue al gue fn fis con vaabesibees Trower) slo tngan valor emaio mediante alguna ag ‘elon planes deo que sf aberan expen fences Proposals gue siquiren uno ot rae wenao gin Sc valores saline a adn una dena vaabls res, Las ib Shenae ambien se denominan, eno a Tas, "ncons sr fenualer [La solucgnovgtal Tar pars la evalua de Feisconvanaes nee encamente tee del qe alse rosa, sungus lar inpcaoner son enires. Eno apartado UA ae capitulo oe ace una expostion mis ceca al ans eS ea tu arco “he Conc of Truth in formalized Lan fag En dichn exposcion se mangas I nod de “fancion caer) papel semdntico dels variables bes sina qu or 213 Samm eeeeeeeeaeeeeeeaHaseeee Ea seeeEEaEaseceEEEEseeeE CEES EEE eee EEE EER EEEEEamos en castellano a las expresiones“flanito” 0 “menganito", ‘Sando on las mismas queremos desgnat a agin set dein do” ‘minio formado por personas (0 inviduos a los que se supone| fntligentes en el comento discusivo}—, peo sin que se crate de tno especticoy deerminado, Slo cuando adoptamas una coaven- clon pra der ome abepos gu us canton desnan las expresiones “flanto™ y "menganito"- Andlogamente, da tina foncion de interpreacion para un (fragmento de) Tengusje Ly Slo cuando Fjamos por convencion una asignacinestablecemos ‘gn individ design cada Variable ibe. De xa forma a cada Va" ‘able libres le hace cortesponder como valor semantico, mediante ‘Serminada aignacion, un elementa de un certo universo de di Tenemos, pues, que constantes de indviduo y las variables de individu tienen un comportamenco semantce diferente, a pesat Se que ambos tipor de expresones son termiaos de indiiduo. Micntas gue, dads cit ponte realzacién, el valor semsntico de las constants de individuo permanece invariable (fjado mediante In correspondicnte fanion de terpetaion, el valor semantco de las variables de indviduo (en cuanto expresione bascas) vai on funelon de que asjgnacion se seleecione las asigaciones ad Iistbls solo dependen de ia pose realzacion considerada en lo ‘gue conciee al univers de dicurso (0 dominio) en a medida en ‘Que te da el conjuato imagen para ales asgnaciones. Resumiendor 1 Dado un (fragmento de) lengusje L de primer orden con variables de indviduo, cada una de es tis ve evan Semincament elatvamente a una posible realizacion —y por tanto un universo de dncuro ya una fusion de i Ferpretacin—y a un signacion, Para una bt A, [AWex pres el valor semantic de A para a posblereskzacin 2 Tenia 2 eis trata de una fbf aberta (esto es, con variables bres) entonces por lo general con la slvedad ya rencio- ‘da-el valor semntico dela foe esencisbentereltivo ‘una porible reszacgn ya una ssignacin, Por ejemplo paca lat Px, [Ps}© expres el valor semintico de Px para Le Soniblecelzacon la signacon J 38 se ata de uaa ff cerada (es deci, de wna sence: ia) entonces el valor seméntcp de laf slo depende on ‘laa destancia de una posible realiaci. Por ejemplo, [xPs)*exprese valor semantco de PxPx para la posble calzicign Ay In asigncion Jeroen cleat dela fb ce 28 Tradss como Way cl papel dela arignaclGn Jadopiada que a fiaimente newtalead, por queen Sa stance aor semintic de as sentence como WP depende de a posible relizacon considerada, Ax [¥3Dx}¥ expres ela Tor semantic de Vax determinado por la pose ress cin con independenea de la aignacon adoptada, Lucey podemos afrmar que [vxPs]*-[xPx}4"" Una asgnaion fia valores semnicos para todas as variables de individu. En la evaacin semana de {bf las signacione son especialmente eevenes nla med da en qu ea formula contenga variables Tre. 5, Dada una inca posible calzacion (y por tan dada tuna tina fact de meres) es poste define va Fis asignaciones.[Obvimentecusntasdependerd dela cht Sinaidad del dominio y dl mero de vanabls de indivi ‘duo. del (fagmento de) lengua considerado, Ash tenemos un dominio con un tso sement, es evden que ‘no hay mb que una ajgnacion posible set cual sa lf ‘nero de variables de indivi dl (fragmento de) lengua). Para determinada signin derents variables de indivdvo pueden denota Is misma entidad bisa el Go ‘inio des posible reaizacon consderada, demos introduc sora Ia nosin de MDH. Una posible reaiacin ex un mel de una fof (de on conjnto de ffs 7) sys hace verdadrats) a (a 1) para toda asgnacion 3El CON” UNTO DE LOS NODELOS, My, de una fh @ ode un conju de fs Tes siempre un subconjanto del conju de sus pons reali ls eee MaBR Dad ql cone de pone daciones, PR, para an (fragmento de) Lenguaje Ler dose a Termula' un conjunto de féemolas~ es sempre un subconjunto dc contunto de todos lon sistemas matemstico abstracts, 8s Acct, PRS se cumple que, sendo Mel connto de modelos ora, enoncts MaDe. oy en dia sul lies el término “modelo” para hacer ce fecenaindstitarmente a pose eeaion sistema ge signa ‘aloes sednicos als expresones bance nose den a Teno de enaje Ly asf eterna, conforme srl sem teas el valor semandco de sus fu y a -modlo ola Task “posible relzacon que hace verdaderd «una fof oun conjunto 2. {MPM we Tem Cet oe le asAe fbf ste, modelo como posible ealizacin paral que wna io conjunto de fs consideradas son verdaderas, Nos parce iis adecundo mantener I detncin inttoducida por Tarski a ave {erminolgica, de modo que el temine "modelo" se uizard en to ‘Solos casos en a seepon taskiana de sistema que hace vedade fa una foo un cojunto de fis, mienteas que la expres “post He relzacton se ulizard para hacer eeferenia sistemas que Soven para evuluarsemnicamente, mediate funcones de iner- aco, un eagmento de) lnguafe, con independencia de i as ds ees o apm eg en un on vrhde ras o falas ene sistema Recordemos que 4 °°AT ual que hactamos paral lenge de enunciados, hemos comensado expeciicando valores semtimcos post ie de aes sinc ae aa ea nade as categories de expresioes sina exer fuada lade variable de indivi} gue hemos istingudo al Formlac nosteo lengua En una presenacion sincategoremstia de f semn a, como la gue Yenimos considerado para el LEO", las Shatmes Lies enen wn contenido tamantico fiado de Sitemin,Intvaretepodemon dec ghee pred re" expese negacion, A exprse conjunion, v dyune Si + Condon cnn val ral 3 cumucacionexsteneal (0 particu). Su con edo smintico quearé etablecdo, en ena presentacion Sincategoremiticn,expitando bajo qué condiciones ls onstante logics contibuyen la verdad de a os elas ‘ve Forman pare Una POLE REALIZAGION paca un eagmento de) en gusje cualquiera L—esto es un conjanto de femulas bien {Prada er una eructorsfoemada por un “dominio” 0 “ese de co por na ser de nic le ‘adosy por una see derlacione,enla que os naividos Sleccionados exin somador de eve universo de dicurso y ine relscrones son o bien subconjuncos del univers de di curso o bien conjutos de tuplasformadss a partir de ind Siduos del univers de discus, de manecs tl que, a avs Ue una fein de interpreta, es posible asociar a cada fovstante de individu de Lun iniviuo slecciomado y 2 Sdn expresion predict ( pretiado| de Luna dels re itsiones del stema coniderado Ein ope de una Th 9 fo de un conjunto de ffs T) 216 ea guile eis que Tse edd « 61) ara roa asignacin V3.3. Semcntieaesténdar para el LPO™ (Sncategorematic) Dada wna posible reazacén = ch, fo y una asignacign. Jpas LO", donde ‘V's @ es una consante de indviduo del LPO*, enronces figieks i) Res un prediado m-dico del LPO*,entonces fRJcke {EVAR “> ‘A, siendo VAR el conju de variables de indivi duo det LO*, la seman entindar para l LPO* queda definida por: TL, Valores semintces de expresiones sia (no Laicas): ‘a)Si-@ cr una-constage de indisiduo del LPO®, entonces [oF *se. by Scrum prodicad del LPO*,eaconces [Rf ¢} Sx. es una anable de individaa del LPO, entonces [eta 1.2, Replassemias paca fs ‘RSE. Dado un prediado n-idico cualquiera del lengnle, Ry ‘ana soorton eualgucrs de n eminos de idividuo del Fenguaie, tent se dice gue DRsyn.4¥E1 sy alee BRIE, Cuando 3 es monaco, se ice que REIL sss (ee DIY: -RSF2.Si As una fbf del LPO*,entonces [~A]SI sys [A]. [RSFS.S:A yB soa tis del LPG", entonces ‘1A BY ayes (API 9 (Bet BA a Bp tse (ABN y (BY o)LASB}*1 yee (AIS 0 (B] SES A xu fot del LPO, entonces, 12) xl} eye paca al menos tn elemento del dominio ‘A se cumple que [A}*%e1, donde % ex ana signacion todo igual a Jsalvo,posblementeen que aigns cl “aiable de indigo % {Una formulation cquivalene sera: Si A es una fbf del LPO, entonces (SxA}™L sys para al menos una a tastes Jee cumple qe [AJ™=4, donde Jes en todo Ifual 1 Jeslvo, posblemente, nel elemento de A que Shien a%.) Uy{WRAPAET eye para todo elemento del dominio A se ‘umple que [APet, donde Je es una asigacion en oda jul a Jslvo, poiblemente, en que asigna Ga Is 217variale x. [Una formalacion equvalete seria Si A es una ff del LPO*, eatonces [ved] syss para toda asignacion se cumple que [A}=1, donde 7 es en todo igual 2 J ssh ‘o ponblemente, ene elemento de A que signa 2.) 1.3, Defisiiones para a evaluacion semantic de ffs cuando el vz lor vertativo corespondiene es indierente de qué aignacion se seleosone: SA s ana fof def LPO*, entonees [A] por defiscién ‘jos (A}®=1 pura toda asgnacion J + SiA-ce una th del LPO, entonces [APO por definicin sys [A}0 para toda asignacion V.34. El funcomamionto dela semana En ete partido pretendemos ques asnce ana compresin ade ‘una del funconaminto de a senieaexinda parte LPO" 3 raves de ls comadcactn de dtentesjemplos de cya eva Inbi semnaca se considerrd en reacons ona pose fsa ibn (Gus cs una eareion dela muna soorment) y= ona ‘Hatin Jladesada a cra pole realzacén. ara corto lengua tendo Lun fagmto et LEO, on sus rast de formas, que conten todas ls onante lageas lr conan: de ndivdos br ey hel pedcado mous (Ben Sel predic dio,» coas s vanes de nd, 2 pee SHE SSS) et domi, meg (reds mesperci geoguig Sk tone me ig opers sobre Ian constantes deinuividuo 3, yey, elas Prplog Sg operarobre lox predicados del lenguaje Sy R, de la sguien- velo Ste = rw SPR, EW WS Te Wr 9, >, 60, Boh in gins eget dla are Lobe dl dominio ® de pote rsinain 28 _ — ye ee om tpl Cone cadens dint Sa Ty Bn viru del Eemplo 1 dl pardrafo V2.2 sabemos que es gga mec dl pra gon por dei, ut 25) Una ver hemos establecido que se vata de una fbf del LPO", apicamos a rela semantic correspondiente 1p eget 2 hie we SB en viru deg, In fucion fe inerpretaci 3. puesto que wee (rw SF FB), caronces [Sa]% 1 4 Remi puesto que Sa es una sentenca, por La defnicion ef de VS, (Sa) (5) jamplo 2. Vamos ahora mo funciona vendo pa la ex {an dos Rabe "in vr del empl 2 dl prdrafo V2.2 saberoe gue saben dl EO" po ques amen ua i el LPO. “line veretablecdo gue ata de naff del LPO” apc sos regi semannescortspondiens ene caso, dao get ‘Gud dal yas ame sabemor ur et una if tonic dl LPO" “ilo: dt daca re Mian “Pablo ose peo eR por RSE, 2 Later ASU, oe MRS A ED, PS SES) ira lemon icy aege | ee awe ocr EE, cmones Tables 4 Adem, poo qu Rab usar, po a defnicion 2 La nine cl ni etc ac, iatmincedehivninsar sce ‘ein ssn capt1 de V2.1, [RAb}*=[Rab® =. jemplo 3. Rab «Ss. TT) Hay que demostrar que es una sentencia del LPO*, (Esto peede realizar como ejercico elector) "2 Poesto gue et una sentence también una fbf del LPO Una vez hemos esablecido que se wata de una fbf del LPO*, api ‘amos la rep semana coerespondient: 1 [Rab Sa] ays [Rab}™1y [Ss]*=1 por RSE3D. 2. [Rabjoe[ab]? 1 en viru de lo etalecdo en el Ejemplo 2 5, [SaJ% [Sa]? 1 em vet del estableido en el Fjemplo 1 4, Lacs [ab » Sal 9 puesto que es uma sentencia, por la efinicioa 1.4 de V2.1, [Rab Sa) [Rab a Sa}=1 Fjemplo 4.35 TE) Hay que demortrar que es una sentencia det LPO. (Nueva ‘mente dejamor esta area como eercico pra elector.) 3) Pest gue es una sentences también wna fot del LPO. ‘Apliqusmos shor fas regs semantics correspondents para esta ‘cers valor semaines “En virtd de RSF4s, [xSx}% 1 sys para al menos un ind viduo a del dominio'B se cumple que [Sx]*% =1, donde 32 5 una asignacion en todo igual 2 J salvo, posiblemente, en ‘que asgna oa la variable x (Ea vrtud de RSF [Sx]? %=1 ‘Sy para al menos un indviduo & dl dominio B se cumple aque [x}"e(S]™, Esto e, spas hay al menos una asignacion FnJ” que ssigne ala variable x algun de Jos elementos det dominio que pose la propiedad (S]. Sea 38(23) déatico en todo a J salvo. en. que []%(claVl=ww. Dado que BS(S}cSelore OO), eC umple gue we few OH) or ant [Sx] #1, lego [Se] 1 As ass ge Ses a seen MESSE = Bjemplo 5.3ySy. Tote formals slo se diferencia de la del ejemplo 6 anterior en geste ad uname a arable ini) Iisds. Con este ejemplo. pretendemos empezar a aclaar, tal Y omo prometimos", como que el cambio de variables cuantica- Ev nd afeca al contenido seminco de las fb. La dterminacion 20 re T ‘de valor serinsizo de 3)5y —una vex etbleido qu strata de tha senenca del LPO" realea dea siguiente formar 1 En iad de RSFAa, [Sy] 1 oy para al menos un ind vidvo cdl dominio B se cumple que (5H1°¥ =1, donde 37 5 una aignacin en tod igual a $salo, posblemente, en ‘qe aign ea la variable y. (Ea vied de RSF [59197 =1, sy para al menos un indvidvo «det dominio B se cumple aque }7E1S}. Estos sy hay al menos una asignacin [Fg que asgne a variable alguno dels elementos del dominio que pose la propiedad, Sea JF (03) detico en todo a Juaho en que HIF ASHI Salare FR), ae wri, OE) 2, Porat (SyP oy leo Spy 3. Ademis)” puto "que 3ySy es una Byntey No edie er Que a evalscinsemovca de 3ySyrelativa a ta ponble ealzacion ‘ay ala aignacionJ(o cualquier ots signa: clon que se considere, ig patos ease a fas de a emule Shox dl ane elmo, Vo mismo sucedra para cualguet ‘tra posible realzacion ly cual otra signaion) que tomes: tos pare ambas formulas. Noere que eto se dee aq 0 sb ‘aj slo la aignacion definidainicabmemte, sino que (ly como ‘Sindy cn neo ca cal parcaad cand a ue a asignactondeinida no haga vedadera la fe precio Yarra agracon bast encontat ua quel haga verdadera isa ecalcer que ningun to hace. Obviamente, com ellos a0 fra que como se pus conuatar ahora papel de le sgn En queda fnalment netralizao para cl caso de variables cua tices Hjmpl 6. 335x035, TY Exablce que se waa de una sentencia ung Unanimous dana sect dl +) spicasos I ela smd correspondiente ste c50, Como el simbolo princpal-es un smbolo definigo, abslamon con {2 eguivatences (xSx-95)5V 989-348). 1 GxSiSySph GySy-o3aSallme spe [Se-93957) Sly BySyoaSs}= I por RSFSbs 2. Hate de verfcar que fos dos miembros dela conjuncién fon verdaderos en ls posite ealzacin y para a asgnacin aiconsiderad DAL GRSKVSYSy]L spss ExSe}*%0 © LSI por RSFie LEN el ejemplo 4 ya hema consstade que no es ter gue xx. 2:12. Snel empl $detrminamos que EySy) 1 oc comigueney 2S poet 22, BS oSRSKP ys FYSHIP-0 0 ESKI%t por Tish BT Dado 2:12 oes ceo que 459)", 322, Conforne a2 tenemos que ase] Rorconupuens, 223. Bysyosat 5. Portgtano ease x as asa) «GSA Fixseeiet En realidad a pls ser de ta forma, tds vex quel ra ci poe na y ots pars él gional de potas eas cuando s conde msi poole reason fas anbas sub {Semulosindependctemene Geel set ea pose reason ¢ tnlopenderenene dels sagacin exp, ly com ya mor coment en el empl 3. De tec exo permite cable he Exacesyoyl e f'paractakeer posbls altace, (aly ‘Bras contacteon mit aunts tau de ung eta ope) itor poi denornara modo de etcetera vasne¥y5y igulente rade enls pone ecliacon Bio cacuthuer onal Ejemplo 7. Rox "Th Hay que demostra que es una hf del LPO". (Una ver mis ‘queda para lector esta tates. Advice que en este caso no 3¢ fraa de una seatencl, aunque sde wna ft) 7) Dado que en tirtud del paso anterior sabemos que es una fof axdmiea de LPO splicamos i rela semnca para Pls stn 1. (Raxd™s Lys <[al® [e]* eR] por RSFLs DAE MU ees gee Below D>, 3 epee gece Bike lore A> AD, Page que ese ow E> D>, SEER, | tron ax 0 At Conte a deste Gjemplo una variable ire, const tmon quel valor emtce de ones depends xecinents tino da poi ealaconconaidrada comm del asignacion ‘Skscionada; En exe cto nos prods, oso neta a2 al de a asignacin slesionada ene. vay TE ay aoe dear (como ene ejemplo ann) gee uo Witt LBS Pampa sn eet deanna gues deans "Bao ul pear ppl sn grea, apie nosis wales Cocke alysis ore pr oo del domino e came Weta eT ade FG a Scents Seal ane poalemmns en oreo See vale, 2 Baa tesa [Rxyasx]: [RayaSafe = [Rayos]e Reyasape Sx 3, Raskin a ees connie que apse en 2, tenemos gue Ba. Raya at yes Ray] (SI donde Ray} =1 ays fel®™ by} oe [RIF ys at six Yeomo ad, aoc > [RT Ree D> >, RAL] bi ome (9 -Selew 92.) emor ques cumple [RayrSs] <1 3.2. (Raye ays [Ray] ot y B51, donde [Ray]? = syss < IRF 223vis at sys) Pere ¥ coma om (<= >, DB, BBA) , SD, GB», GB, >) yg poc tanto, alt, (Fae) Eon cmp por mos a modo de cs do, que tampoco se cumple para cuando cet igual» ros Slemenos del dominio Br (Eto debe restr obvio ya que Tn} no inclye ningin paren ol que coineidan su primer y Eivegunds omens) Conloguey (Spy ™0. Fjemplo 12. Ve3y(Se — Ray) 1") Hay que demostar [como en oessiones anteriores) que «8 asuna senna det LPO. "Py Posto queen sons x también una hf dl LPO dado queen vd del paso anuiorsaberos que es una fbf cute Sicadhunvversalmente del LO", aplicamos la ep semntcaco- respondiente, RSFab: ces To Txay(Gx > Royle sys para todo ode dominio B se Uvaaye pag are am de od emia lon en go ual a Jsalvo,posiblemente en que asgns cra Invarae 2, Es de VA39(SK > RaylP2 sys FBy(Se Ray) = [ByiSe + Ray) Bis Rag). Bye Ray) ys Ri yee By(8e—> Ra? By(Se 4 Ro 3.Pars todo” a del dominio B se cumple que [Bye Re]? = sys para todo dl dominio B para a! menos del doin B x cupe que [Sx —> Rey 7EF at, donde J2P esunaasgnacion en todo iguala JE salvo, por siblemente, en qe asgna Ba l variable y. ‘Acontnuacin hemos de comprobae cul xe valor sem tivo de a fof 38x > Ray) para ada uno de os elementos 4a dominio B coresondiendo a Empecemos con un pe 3.1 Cuando oe ww, tenemos que [3(Sx -> Rey sys para al menos 1 B de dominio B s¢ cumple que [Sx > Rey] donde J€™} es una asignacién en todo igual a 7 salvo, posiblement, en que asigna Ba la variable. Aora eos de ecorrerls ements del dominio hasta determinar shay © no Bay uno corespondiendo a Bal 26 que [Sx Ray]? FP 3.Ld En viewd de RSF3c, cuando Bes ==, [ORT Te aye ITO 0 Ray" A su ver [Se]97 720 98 Je TT. Peo tenemos gu [JP Fafa] Fame (en viru dela asignacion a [S|*29" "=tww AP SFR) (por la funcion de interpre tacién gy ave le FR Forlorn, (Sx) 1No se cumple pues que [Se]97” 7" =0, por lo que debe _mos verificar si es el caso que [Rxy]*¥F 7" =1 ‘Dado que [Ruey]* 72" 7” =1 syss SAPO PT oe TT yaue, DP Tate] Toe, OPT Tp) eee IPT -iRy sere OF >, DE, GTA, tenemos que cent or > SD >}; por tanto, [Ray]? 7"=0. remos demostrado, pues que para el caso considerado (aww, Bowe) nos cumple ninguna de las dos condi- clones eablecidas por RISSe, estos que [Sx-sRaxp}#57"F"= 0, Pero con elo no hemos hecho mis que empezar. Resta por comprobar si siendo sw, hay alin otro element del gominio cores pondenda a Bal que Sx Ray]? 7F BA2.En vied de RSE, cuando Poe TA, [SOR GPT Pt ges(Sal Fo Rey” Fat Asst ver [Sx]027" Tel eal y como vimos en 3.1.1, ya Veamos un 27ve el valor ue toma la variable y no afecta a esa fo, [No se cumple, pues, que [Sx]?47"¥*=0, por lo que de- benos veri esl eso qu [Ry]? F esl gue, BoP F Fats gee F gPe PoeeR, wer rar wie Pe, [R)? [cow BR, >, AR, poelo que ere Bac cn OR ER >, SAB Bi, y consecventenene [Ray Por tnt, dado que [SxaRy]I Pat, entoncee ByiSe-9Roy = Queda demestado pus, que siendo anwew hay a me- ota denen lomo oeponden «Ba aque [Se—+ Ray]? nt, Hast aged hemor estab dla verdad de [yx -» Rap} Para exablece Valor seminio dels PY euanada unversalnente 5,5 Rey) hemor de setomar Ie cust en el onto 3 eto ey hemos de compeobar que F2ySx Ray a, tambien se compl para esto deloslementos del dominio, es dei, pars ew 3A,[y(Se + Ray]? ays para af menor an Bde dor minio B se cumple que [Se-> Ruy}@®™ fat, donde IF F cs una aignacin en todo igual a ¥ sv, por silemenee en qu sign Bal variable. Siel estore el procedimiento adopead ca,3.1 puede demostar que efectvarmene [yu — Ray] of. Bas ta hacer BoE en [Sep Rag]? A™ 5.3 Byte Rag}? = sys para a mens a 8 dt do- minio B se cumple que [Sx ~> Ray? Fat, donde 28 . IP Yes ona signaion en todo igual 23 salvo, pos been en que asin Ba a variably. ara dena qu ectvameste (Se Rey tao hace oS en [Se-> Rey P 34, [3y(Sx > Ray)}49™ 1 yes para a menos un del do- ninio B se cumple que [Sx > Raylt7PE at, donde SPAY essa sigan en todo iguala 39 sa, po- siblemente en que asigna Bala variable y- De nuevo hemos de recorer lo elementos del dominio 1 basta encontrar uno tl que [Sx —> Rey]? 22 =, 3.41 vid de RSF [58 — Ray = oss [sar -0o (Ray) Asuves [Set oO sys [aH sje Jt A, [992 ee BBL, Wie (ow UR), porlo tm [Sx] 0, En ese cso [Sx = Ray] y [ByiSx — Ray P45 She no do rao eae dominio Srgnando dotintes valores & ls variable y ya que a et af Stregedgne del condiioalfalo cuando 2 x 30 Te ‘signa Wak, os iecevante dl valor que rome el conse Et resto de tos casos que resulta de 2 son también ver tude y nen do eae cleo el dominio tiene It propiedad denotada por 8, como pce demon Jemanernsinslar a como hci et Bo Loegor 35. BySe— Rey 3.6 Se Re 3.7. ySe—> Raya 38, By (Se Rayi}9 =, son todas verdaders 9En nuestro recorrido de 3.1238 hemos demostrado que ls di forentes casos del conjunc expresadaen2rsultanverdadeos, elo cual se sigue que {¥x3Sx => Rxyl]™=1, Es der, times ‘ge vrificar gue aignando a cada uno de los elementos del dor ‘ini resulta verdadera la fbf 38x -» Ray) Pero como ests th tna frm conten as ex oo cusntifiadoe an parila {Soe=,tovimos gue comprober qv para cada tno de lo elementos {4 dominio signado a bay slimenos uno evenualente el mise so) asignado ay que hace verdader af Sx > xy Podemos represenat_grfcamene cl provedimiento s Dendencia del valor que en cada posible resiaacgn y"para ead [gnactn le corresponda ala conclusion Desir que una argumencacion formal es vida equivale a dese quel contusion eonaceenca lige de las premans, Por s, Aires que ua fe del LPO, , es consecuna logis de uncom junto de bs del LPO, Ty solo i para toda poole realizacton 1 pata toda aignacion en la que todas las fs de sean vrdaderas Dg ambien es verdaders ‘Una argumentacion formal del LEO* ss VALIDA syn existe posible relizacin yasgnacin alguna que haga ver ‘dadras ls prema y fala ln concur [En otras palabra, para file Gel LPO* se dice que ana I 9 consTcuEN HOGICA de un conjunto de ib T (evenrualmentevact), Tig, 5) 20 exit ponblerealzacon y aignacon alguna ‘qe haga verdaderas toda las fle de ry fala ag. Erde Sr, Pm 9 ys paca toda posible relizacion Ry toda aie nacion $1 [F}#1, eatonces [91 235Recuéedese que wilizamos el simbolo “me” para express la ro. lacion de consecvenci gia, de manera tal que Tm se le @ et consecueneia login de ‘Cuando 1s restrnginos a argumentacionescuyas fe son sen: tenciaspodetnos dei: ‘Ua gunna formal aya ifs om sentence dt not evn san coda pale venzactn que sea mode Jo dea premises cr model del conlutn. as ean el URO™ adie que ana ena 8 cossecumvcin Loca de un coon de sentences teventalmente vaso, 7 gta ponble etacion| pen oil rare ln ein del aa °. Bsn para semen dl LPO™ gay pata toda Po ble resbacion Qt Tt eotonces fects E] Iecor puede comprobar por sf mismo gue si una fbf del [LPO es una verdad Loge, entonces ext formula es la consecuen- cia Tiga de cualesquiera premises (ncluido un conjunto vac de prema) Finalmente, es interesante dar una definicin en téminos de las nocioescaraterities de I semis etandar de LPO® para Ia ocion de equvalencia lopica entre fis de dicho lenguaje. ‘Dos fils de LPO" son LOGICANENTE EQUIVALENTES eo tee si sys tenemos que ambas reiben el mismo valor en da posible realzacion y para toda asignacicn considers dss, Es deci, siendo @y'y fs de LPO* decimes que son {LOcacansenTe EQUIVALESTES as para toda porible relia. ion ay toda asiznacion $[0}™=(4) 1 ecor puede constatar ques dos fh son ligament cq ‘alenes entonces,conforme las dfniciones pv Ia fo rel tate de fneealae un bisondional ater) entre abs coun ‘rd gies y fas argumentacones formas resuantes de tomar Una de ela como premisay la ota como conclusion y vcevrsa von vida a 236 “sem VERDADERO" ¥ DE"CONSECUENGLA LOGICA™ "A TRAVES DELA NOGION DE “SATISPACCION™ Un concepotipico de ls semsnvisa formal tarskiana, qu hasta thoca no bemot maneado, er el de SATHFACCION. Lo ceo es que dads la presenta gue hemos seguido para a semantcaestindar ew lengune de prime orden fen cncreto LPO") no es preciso Sue recuranios stl nocd, No bunt la dead hates que items formal dene para on Tarsk juniies la pertinscia de ae hagamos ua preenacin dela semua dun lengua de Brimer orden que se aproxime mis —aungue 0 con total Fieldad—'s lo primers trabsion de aquel pensador sobre el concept de “verda"™y de “consecuenca loca con ello re operemos la mencionada nocion de “rtisfacion™ En ese enti, Stenderemos en un primer momento a los desarolos dl actiulo The Concept of Truth in Formalized Languages” (Tass (1953) yet un segundo roment los de tcl "The Concept of Log Eel Consequence" ark (1936) ‘Aungut fos dos textos de Taki cincden en desarolt la se- mints formal apoynose en I nocon de “satisfacion los Fntivos peseeidee son dierentsy eso condiiona el ttamieno [specticn gue de los lengusjesformalizados se plantea en uno ‘to aula. Enel trabajo de 1933 Tak persgue proporconat Shs dea cones “ead prs eens de ne uae foemalieado cualquiera en el que todas las expresiones de {hismo aslo is variables, en nesto caso variables Je mdividuo, Senet un siguficado ado.” Sin embargo, en el texto de 1936, 0 fin de defile nocin de “consecuencia legen (y otras propieda des lgcas) procedesconsderar un lenge formalizado cualque- ‘endl qur en atma isanca slo as contantes pics Genen un Sieiad ado, va, Satifacion” y “verdad” on Tarski [1933] “the Concept of Teh in Formalized Languages” (Tarski (1933) ‘0 el taba poi i preentacon de la semi de USS ET le loc dena ania deoun feagmenco de enguae Igico-frmal que hasta agut se ha hee ho, pot esel taba cone. que exe autor inrodnce ma feria se ‘nna dela verdad, por fo ano, con el ques ican los dss trolossstemsticos da semantics formal tal calla conocetos Hoy en dia. Por elo eneademos que huelga cuslguerjsfcacion slteroe aceea de Te perinencia de presenta la cuesén ge nos "Kites de proceder a analiza fa defincn que Tats da det pedicado "ser satfaible” es precio aclarat cues son las cooe Aenadas generics en fas que af mueve dicho autor en su texto de 1953, selndo explictamene diferencias y coinidencias con la precedente presentaion que hemos dado. En dicho ext se deinen [os pedicados “cer vrdadero™y vse satisfcble para lenguale formelzado. As, un lengua formaizao es un lengaje conse fo artical, eco es, uno fal que el seardo de cada una de sus ‘xprsiones etd uniocamente detrmnado por su forma. Taki $tibuye a eto lngunes dos pos de proiedades un lenguaje ¥ tn conjun de res de tansformacib, Ello permite etablecer {oe To que Task [1933] enende por "enguae formaliado™ Sttivalente «To que nosotros hemes denominado wn stoma for: tal ef Capt) y no mecament ao que presenamos come wh lengua formal pero con a peclacdad de que todas ls expresio. nes constants del enguae ormalzado —al menos las constants Iogiss as hubiee, as constants de inv y as eontanten predicaras~ denen una interpreta jada ets sefalado gue Tak fue el intoductr de las poses realizes sn embargo en el texto de 1933 no las menciona eh ssl De hecho su definicgn de los predicados “ser satisfac ie" y ser verdadero” se hace en exe texto conforme aun enfogue de sets formal iggeamente diferente del que hemos visto a th Sindpicamente podriamor decir que Tarski en el mencionsdo teat procede dl siguiente modo 1} Present una lista o deseipei de todos ls signos con los gue se pucden formar las cxpresones de! lenguajeformalizado ¥ {sen ls rela que pemiten obtener Is expresiones bien forma as del engusie 5 numer todos los sgnos yexpresiones que se uizan en sl metalengunes yy estalese como ‘onstru, semaicament, para cada sentenls del lngusje objeto el nombre la aduecion {le coreesponden ene metalengije, donde por traduccion hay ‘We eender una setenia que expres el sgnicado dela orcion $5. ymin ie ae i ag de Eerorearcitia jt cane enn, pt ga 238 * de league objeto. En otras palabra etablece e6mo obtener £e- sraivamente (en el metalenguse) toda as instancas del esquema ‘Ts, conrespondientes al lengaje objeto del que se tate. Ad por cjemplo, supongamos un lengua objeto —el de un sinter dete tho pare I coria de conjuntor™ ene que Ye¥yxay v YoX) es tna Expres bien formaday supongamos ademas que el nombre ie Saeco loge ie “manos ia al 9 ue a taduccion que ke cotresponde ene mea: lenges pos Culesgura das comnts rinero cts ncado tnel segundo o el segundo est ncido en el primero de modo Que £1 sentencia Vaya ¥ yx) del lenge objeto en cues le Cortespondea sigue insanca del convencion T. ‘HC os+ P) es una sete vedadera para cualesguera dos contol primero ext ncuigo {vel sequndo o el segundo et inchido en el primero” ‘At pues, mien que en la pesentacionsdoptads en V3 de la semnica para un (agmento de enguaje de primer orden recur ‘mos und posible eatizacion para expla el vor semdnco de ins expresiones constants nogias del lenguaje objet (es deci, de individuo y predicates}, Tarski en sw ateulo de 1933 forma fas condiciones de verdad de senencan cn trminos del esquema T 5 deci ena preentgeion nce sdoprada valor sean 0 dels scutenian el EPO" vars con los cambios de valor c= ic de commas indo y elo redone tn ae Is posble relizaconclgidas sn embargo, conforme ala pre- ‘cota tains de 1985 no vanar los valores semscos de ig expesionescontates, por ear prea el alr semantic , es cvidene {ue ext seevencla infita de obetonsatface a funiGn seaencal as mietar gue a setuchclainbinta nol satisfac. Tara fini Sarsacctony dado que el conjunto de funciones senteciats de un ngs aint, debenon azar un proce ‘Slomo recuse, Indeamor cules son lor scorn infitas de ‘hj uc stsacen ls fonciones sentences mas spl, es de iv las que no comsenen ninguna constant lis; nego enuncia- ‘nos ls condiciones en las que as reves de bjs satistacen tha fanionsenencal comport © dese que comer al menos sna const ie. ‘Una ves obeeida I defnicin general de safaci, observe soy que tanbicn se le aplcssutomsticmente al setencs, ey tee oc ie ce Sie esto es, fnciones sentences especiales que no conienea Sorbie Results Que para na sentenca slo hay ds ass Poss una sntencia ob ex sathfeca (vacoamente al to exis Eitningune varable Hive) por todas las sctencas de objets, © ben noe satifecha (vacate) por secuencia alguns Por cos Eucue legamos sun dfnicon Gel verdad y dea falsedad de ‘endo simplemente que una sentencia es verdadera ses satfecho Dor toda stouencia de objets fala en caso contrac. Ennuesta SRE er in ec ea ere 2aanterior presenacin esta propiedad de las sentecis se tadce en {ue al explicta el valor semimtico de las fs con variables de nd ‘iu ligadas el papel de las signciones queda neutralizado (al ‘gual queen el cso de ls fbf con variables bres cuyo valor se ‘inti es no obsante independiente de lz asignacioa considers: (2) mienias queen el caso particular de ff in voiables de indi vidio para deerminar su ‘slr semintico no necestamos absolut las aignacones x sufiienteexplictar la posible reali ‘ibn, Puede verse, por lo tanto, que el papel que Tarski (1933) a fala relaign desaisfacn pls problemas que reselve queda igualmente auibaidos ysalvados ea nuestro anterior estamiento| mediante la funcin de asignacon. Ademas, ha de adverse que la fancién de eignacén a vavables de indviduo permite seoctt un valor ventativo las fs que ahora conocemes como funciones ‘entencals, x decir, at que contenen vaciables libres, Reromando y desarollando ahora le diferencias y coinciden cigs enue l watamiento semtico anterior (V.3) y el de Tarski [1933] gue ahora nos ocupa demos dee 1. La categoria de expresions fos del LPO" de la presentacia sgn avr (V3) cose ase Tara [193] ‘Senomind funcioncs sentences. La diferencia que Tarskt ‘table entre fnconessetencaleren set etresho y ht ‘dase especal de funciones sentencales que denomina senten- {Gas se taduce en Ta diferencia queen nuestro caso ee hace ure fh abietas (0 con variables ibe) 1b cereadas (0 etencias reapecuvamente 2, Para Tarski [1933] el predicado “see verdadero" e pliable ‘icamente a semencias mientras que el predicado "ser sae Sfoale” es aplicable a funciones sentences en general Enel tratamiento seminticoantenoe (V3), el predicado "set verdadero” se define genesicamnene para fis Sin embargo, tina ver obvenida a definicion general del predicado "set ‘erdadero” para fbf, observamos que es dfinicion poe= de simpticar cuando se rehere a sentencias ext ey afl ‘qe no coatinen vatabls ibs. En se debe a ue en el aso dela sentencias la dependenca dl valor semaatico de ie euencia repecto de [a asignacion queda neutalizads © + V.2. “Saisfacciin” y “consecuencia liga” en Tarski [1936] EL propésico de Tarski en su aniculo de 1936 es proporsionar una contiapartda tedica del concepo intuit de *comecuenca lop. ‘3° Tel contrapaida teria conllers sue proporcione una defi 22 cin de “conseovencia gia” para lenguajs formalzados (en et Sido que Taek daba “lengua formaliados" en sy aticulo {e'1933] Para dich dein uea come concept fandamenta) ‘fide "sustain" (de faciones sentences) com concepto ‘etndo spar dete ede modelo" Atos efectos de a deta ‘de omen hc po spot a din ee ‘Constants lopeas y nologies en el lnguaje formalzado consige redo ena 18s pe tendo Sea Constants gia, con lo que segura qe le relacion de conser ‘iu logis entre ina sentencia yu conju de sentencias dado sea Sndpendcme del contenido material delat semeneiasimplicadas, {S deirdelo que exableen, Estcamete, Tusk [1936] sigue asumiendo que el significado dels constants no lies de engaje formalizadoarbieanio L ‘td pretiado, pero par dfn el concept de “consecuncia og EF Giablee que pede sr arable: Para ello sunatuye ls come {ances no gets por varables de po apropiado. H resultado de tal surtucion ex converte lenge formaleado Len un lenge Ferma Len el sentido que hemos dado a esta expresion ea ete manual. Tal sestucon de constants nodgian por vaables de {pe apropiado collea tansformar las sentencias del lenguaje L Et fanconcs sentences, ent que —a diferencia de To que o€\- fia en el marco de 1933 aparecn vavables de disints tipo he prs vena cove epatinwvase ‘es deferens pos gue scemplazan a expresiones prdicatvasy 2 constants de indi, adem el goes asin 2 as vtibles ‘cindvduo originales del lengua formalzado, Dio correla se ‘bene a traves de sesencan infin de objeto, de manera simi fara como se planeaba ene texco de 1933 —-aungue ahora lo ob- iets dele secnencat 3 de diferentes pos, De auev e come [Spr Salen eet os) de ana ei teil cue proporiona una secuenia infin abiara Fftoro bien saTsracto bien No saTIrAc ls funcgn sentencal en {Resuidn, De esa forma tendemos secvencias de objetos que sat ‘Een uncws veneer ott pred je formalza arbraro Ly ota cuentas que no sastacen fdas cat funcionessenteciales, Cada seuencia qu satsface las clones sentences obenidar desde un lengua formalizado (0 desde un famento de lengua fomalizado) Les un MODELO del ena formalizao L Sf xaminamos La nocion de “satfaceibn”empleada por Tacs 2 Tayo ng pin gn ain ec iting ontacne r prpocen ce pn mi RETR Saison m3