CAPITULO xt IDENTIDAD Y DESCRIPCIONES comparacidn y difernciaién de individhos require cl uso de a idea de igual, oidenidad, que es susceptible de ser forma waa y onlenada en un edlelo. Fl eileulo de went constiaye tu interesante estrato de a pica que presopore el cielo elemen- tal do prodicadosy qu al soieaadise a este im, lo psencia Leas res seelones qe sighen estin dedicndas revi las no ciones de funcién y de témina, a ia constuccion del edleulo de ‘ental y al andisis de lax doseripiones de objots S$. Bancionesytrminas Funciones._ eoncepin defunct es fundamental en maton tia Una fn es, dicho en gua seni, na opera el rable sobre un mimeo cuales (al que se denominaargumento 0 Surah ndepnalente de a ae) y ue da come resulado ato ne Ineo (a gies denomina elo arial dependent del ann). ‘Sea, por ejemplo, La funcidn consisteme en eleva al cuadrado bu nimeto entero positivo eualguirs, Si se sige com argunento ctnimero 3, el resltad, © val, seri 9: y sts lige come arg mento el nimero 4, el valor de Ta faneon seed 16, Uslizando la Tera. f pach designates ncn, ello se eseribira en Ta nolan matemdice usual §3)-9 i8)=16, yen términos generales: fx) y, ‘unc toan yBte ig seamo pric de ae sa =264 Loarca smmmouies tambien af), aque puede lee: «ye fc de x (es doce ud sea el valor y ‘pend de cust sa ef argument). ‘Un mado mis adecuado de entender qué sea na fincion es con siderrla como un relacin de orrespoencis 9 dependencia et- tre ds conjuntos Xe tl ue para ada elemento de conjuto orrespondeo queda determinado exatamente un membyo del con- jjnto Al conunto se le llama domino 0 rango de fos argumen- yal enjunto ¥ dominio rango de fos valores. i el ejemplo {ques aaa de inca, el conjunta es cl conjunto de los enteros position: 2, 3, el conjunto Yel de Tos euadnides de os en- {os positnos: 1.49, . To miembro del primer conjunt, una ‘er elevado al cuadrads determina automatiamene como resi {do un micmbro del eonjunto Y. ‘Como opetores°denotativos de fanciin 0 lores suele em please en mates as eras minsus:.h a definiciin de finciony el ejemplo que ve acaba de aducir silo requieren I infervencin de un argument unciones mond us). Peto un fncion puede requrit, come es el caso p. ej de Ia Tuncidn suna ofa funeidn producto, la intervencion simultinen de dos: tres 0 mls arguments (Fanciones ddicas, tidicaso, en gene- Tal poldicas) + Las corrlatvas notacones seria: fs. 3) = 3 Fiat) = 250m genera fy)" “Hime Fig. La fen materia est sujet aT cond- strides mapce (Gl nis ppg) or ana i ae eh wong efaheiccatewye eke Menta DENTIDAD ¥ DESCRIRCIONES 265 clin de que tanto sus argumenos come s0s valores son nies. E Jguaimente sioade en la alicacion de este concepto a as ciencias tnpinicas. Cusndo se dee, por ejemplo, que it presi de un gases Fame desu volumen y sa vermpeatura (ly de Boyle), sata ob ‘amen de a Tanein entre magnitudes numerics. DDebsmos a, FREGE Ia extension det concepto de funciin campo del lnguaje y de Is lien, Basta al respeto con Levant a restuccion de que los argumentosy los valores hayan de ser nme fos. Li expres wautor de» puode ser eonsiderada como un fur ‘dn, euyos angmentosserian nombres de bras litrarias o ats fs yeuyos valores vena a ser los nombres de fos autores de tales obs Autor de (Quijote itor de ame) = Shakespeare ‘Uns fancies ua fi Kgl cuando sus arguments y us valores so eidades y valores Topics. El concepto de fimcin Dnunciativ,esimisno debi a Frege, excl de un predieado vac! PP que se convient en emunciad tan pronto se espoeitique un ps tametroadeeuado: Pa Pb te. Lt unein seria agu el preicado, igumento lo seria e parmeto lego, y el alo (variable dep theme) el enuncad resultant, De ota parte, come ya se vio en el Capitulo IV, § 1, tos las firmus de fa logica de concctores pe then ser comsideradas como fanciones de verdad, dado que et valor tke vena dels formulas moleutaes de esa parte del gic, de pend, o es Tancdn, del valor de verdad de las Ferulas atomicas de fe se compongan, (Pg, verdad de p vg > res func de a ‘onda de sts componentes 7) Terminos. Ed pgs anteriores disinguimos entre témines singulaes (aombrespropics) yterminos universaes (nome eo= Tunes), cola indeacin de gue en un sentido mis restringdo ‘ariamos terminos solamente ts singulaes. Pero denito de Tos {Grminos singulares demos suMisinguir con ef lenguaje natural ere terminos simples, como «Cervantes» y complejos, como «a {or del Qujoten. En resto lengusje formal no dsponiamos hasta hora de mis teminos que as constantes oparimetosinvidales| {mings simples). Pew una faneion es, formalment habla, un {érmino singular complejo, La inteuccion de fanciones en el tileuloexige revs a deinen tenia determing» y fzmula ‘Stomiay Esta revisin Se adelante, como recordar el Teto,en el266 LOGIE soaBOLICA Capitulo H, § 9, nota 14, ¥ a ella podemes remiimos ara, En hues notin logics de funcionessaprimimos eventualmeate los paretess que envusiven los arguments en lx potaciin matemiica {ul Cont letras metalingisties para denoarterminos (simples ‘ compjos emplearemos 5,8 $2. Menided Lali gua» 0 wnt ay a la que denotremes pore simibolo «=n, osu un gar may imprint en Tenge mate ‘iio, Es In bve de fod cen e nerve en it formaacion {ke asrelones sia, come fama prieiio de Beles, sein lc sos costs gua au rer sm gas ere in eo Ta ides de agualdad» 0 widenidady forma asimismo rte principal dsl Lenguaje otdiane (a est idea nos remit fos, erbigracia al exhbienussto documento de ental ne el poliia de a frontera), como tambien de lenguajefilo= SBtico {de hecho, el tGrmino iden gore, como el de “contaicionm, de una tradi venerable en la historia de la Fiosota. Tr sonido dels Mra viene coincide com algono 8 1s sentidon del eto ween, aungoe no con los mls sales. Con mi Cha lesen web cr empleo en para designate eae tion deichson ete ds clases como caanda sede: o “Todos los griegos son earopeos, ‘0 bien para designar la pertenencia de un individ a una clase, ‘como endo se die @ Socrates eiego, tid del verbo «serv en (1) se expres en teoria de com tos mediante el simbolo de ineusion =>, por el que se indica que tina clase est contend en oe mas ampli, El sent del veebo “ser en (2) as de la elacign amiembro de, que se simboliza en ‘worl de conjantos mediante a feta gvioga >, para indcar que un ‘emento individu est contenido en una else Sendo G lt clase Ima ¥ DESCRIRCIONES 267 de los riegos, Eta de los europeos y denotando a Socrates por a, podelamos formalizar (1) y 2) ast: () Ger 2) aca. Bn ambos casos se tata, aungueeiertamente con distinto matiz, de establecimiento inequivoco de una relacin entre la pate el todo, Pero a veces Solemes empler el verbo user para pone en co- nexin un abjeto-o una else de abjtos con una expresion dserp- tivaodefinitona, como por ejemplo, cuando decimos @) Todo tringulo es un poligono de tes lds ® Séerats es ef maestro de Plt. Fn estos dos esos, muy partcularmenteen el lkimo, el sentido do verbo esr» viene concsircon et sentido que ag daremos Signo «>, Por lo demas eavene observar que ete sentido no dita ‘emasiado del que tienen muchus igualdades matemiticas. Pus dl mismo modo qe al esc 34225 ‘denficamos dos expresones denotatvas de un mismo nimere 0 «do una misma canidad,anilgamente a eseebir Séerates= macro de Plan igualamos dos expresionesdenoativas de un mis En el satumiento del concepto de identidad pueden distin- uicse tres enfoques: flosifeo,IOgico y matemiteo. Por ota pate tambien eabe distinguir diferentes niveles de identidad: Hentidad de individu, identidad de notas o predicados, ident: dad de rlaciones. Aqui tataremos In igualdad tnicamente a ni vel de identidad de indviduos 0 eigualdad numérica» (que es el rive en que se mueve, si bien desde otra perspoctva, 10 que en ‘ichostatados de ilosofia se denomina el «problema de a ind iduasion»),268 LocIc SILICA EL concep densidad individual puede er intodcid por de fini, Una definicionlico-tilsofies dl mismo fue scutoda ya por tis: dos indivi som dentions (uals) sy so si noe pasilehallar una nota que To diernci». (Esta defnicion, sein ‘Yererosinmedistamente, no es formalizale en gic elemental) ‘Ota manera de inveducir el concept de identi, ya est pro codiiento nos justaremos agul,coasste ea consideraria como una ‘ea primitva aan 9 la aia de simbolos primis dela fica element el simbolo v=», come constnte prdicativa dicica ‘yo sentido se esablece come el dels conectores y cuanticado- ‘es, pols rglas de infereneia que lo gobiemen, En To que sigue ros tendrems al cleulo de deduccign natural de ident y des- Erinclones elaborado en 1957 por los ficos americanos MONT. ‘Gury KaLisit. que es el mejor acabad de Tos conoeidos. Este ei alo presupone Ta Kyi elemental ala que se sbreafade, y consta te do gla Bsc de gal na de intoducion y ara de l= Iminacidn dl simboto «=> Ls tpicos principales en el tatamiento légico-matemitco de ta identiad son custo propiedad desta relic: rend, ‘etri,tensitvidad y «sustttividad> o inercambiabilidad, de as ‘als la primer yl arta son las mss rmpertantcs. Pero antes de pasar al estudio de esas propiedaes convene es pecifiear algunos dale eativos a Tormulacisn A smbolo pe Iiiv a= fe daremos el nombre de ideniieador oiqualadr. Este Simbolo es un predicado diieo * que vincula teminos, simples © ‘somplejs,consttuyendo lqualdades, ecuactones 0 idemficacione. Peg las expresions: ab ace ‘tol ers on desc al tata det, 47h for mathematche “eg on Greer, ol (987) bs 3,95 809 fas be Bat mano we etwas nh ow eB Ks Mt a geo nn at ae th Siem en sen el nb Tab a et oe i 1beVTDAD DESCRICIONES 209) ques len: ees igual ( itico abo, ete), son eeunciones que ‘donutican dos parimetws (éomines sins) en el primer eas, dos ‘erminos (simples o complejo) en el segundo yun ming complejo con a simple o complejo) en el eee. Las ecuacines son mods ‘specials de predcacion (ye que el igualador es un predicado di ‘io, sovesponden, po tanto camo els, a etegoria de rms stomica. De acuerdo con ello puede convenise en ge todo simbolo Tgio tenga un aleance mayer gu ef simbolo => as las expresiones anh, vexea Uoborin entenderse on el sentido de ~a=h), Vate=a) La expresion “15, siendo ty rtéemines, se abrevia Rega sicas del ceo de identdad Las reps esc deleleulo de idenidad de Kast Monta ‘ou son, como ya queda dicho, dos, una de ineducein y oa de ‘liminacidn del simolo vy. En ambus intrvienen txminos. Rela de iron de dentdad 1a, m ‘Axia Ps) El sentido de esta repla selsguieme supuesto que una nota predique de un tino detcrminado, esa misma not por pred arse de todo individuo que se identifigue con dicho tein, Por virtud de esa rela puede rexolverse, por ejemplo, el si suiente argument: BL autor det Quote es manco Cervantes es el autor del Quote «Cervantes es mane.270 LOGICA SIOLIE (Obsérvese que este argument no es, propiamente hablando, silogismo de primera figura, aunque el trmino complejo wel autor ‘cl Onjoter cep en lis remiss la porcin dese eh fa mayer Y predic cn la menor. La razon dello ex que dos de Ios rminos {ue uta’ aCervantes»y wel autor del Qujoten soa témninos si ulares, no universe) ‘Siend el autor del Qj, : Coram y ME manco tendiamos Mt a=1 Me cya esol seria —iMm ant 3 hve=r Me) tt SastoMa BGS 5 Ma MPs,2 ‘Rega deeiminaciondeidentidad M4, Ax(e=t Pa) Pe Esta regla permite que lo que se predica de cualquier indvidoo ‘ot el hecho de ser identical com un término determina se pr {igue también de ee termina, Por ella se puode pasar, por ejemplo, ‘el enunciado “Todo intérprete de Hamlet haa idnicamente al eminciado arnt habla ienicament Propiedad reesiva (Ref) FE ax=0) IDENTIOAD yDESCRIRCIONES an Demostractin mat 112 1G3 M4 6 Aste) is Comentario, Las lineas segunda y tera se justiiean por 16 sca do emincindos, (No se confunda i regla Id, de dicho clea, fn as dos reglas Td, eT. que son del nuevo.) La linea # se just fica por logiea de enritieaores La linea 5, que es la decisiva en esta demestracion, se apoya en la eg bisica del mee cael de igualdad Td Con este fin entendemos que la linea 4 esl premisa de dicha regia I, leyéndola del siguiente modo: de todo inividoo X que se identifi con el trmin a = predia Ia nota ase gual ‘an (Obsévese que el proicado Pde la rgls Td, toma agu, en onsiguiente x = de I inca 4, fa forma eonerett «-n), De donde ‘Se sige, por Td, que Ia nota user igual aay se predica del temino fen cian, el cuales, en nest caso, a (nea 8). La conclsion {linea 6) se sigue sin ms por la rela euantficacional IG. Propiedad de simeria (Sim) Faxayixny yon) Demosircién Lb=b Rott ZAM-b>d=-9 td BS AxAyiK=y yes) 1G2 Comentario, La linea 1 se limita a enuneiar la propiedad ya demostrada, de simeria. La lines 2 se apoyaen la epi Hd, enter ‘iendo que si el termino b se predica la nota use igual by (en ‘imbolow: «dh —»), tay como se establece en fa lines I, enfonces para cualquier individuo x que se idetifique con dicho temine b Puede vale la preicacion de esa not. La conelusiin (ine 3) es Bue por mero trite cuaificaciralm Lociea smanonie Propiedad transitiva (00) Faxaynsmyayna-ox=2) Demosteacin Simp. MPs. Bhabre san wis AXAYAAK=y AY=2-9x=2) IGT Comentario. El paso dela linea 2 a I linea 3, que se eft se acuerdo con Id, tens gar entender que el prodicado del Iino b ena lines 3 esl nota wae gu we» (=e) Propledad de intercambio FH Asaytr ny os 6 Py) Demostracin Laxayee=yyox) Sim Darbobaa RG 3 4 5 a4 6 FGs 7 MP2,3 8 MP 6.7 ras HL Ax =b-> Po) 4,10 1a boPe FGI 13 Pa MP 12,3 14 Pb Pa 1D 10-13 = 15 Paes Po 109,14 Ioa-b—>(PaesPs) —TDS-15 17 AxAy(s= ¥ (Px © Py)IG 6 neNbaD Y DESCRIPCIONES as Este trea podria formularse tabi como repla (deriva) de invercamibio para rminos iguales POOP, Con ests fey se enancino principio leibniziano de indisernbi- liad de iéntcos si dos cosa som fpales, todo To que sea verdad de la wna lo se de lola, es ei, podenintercambiarse,sal- ‘ando la verdad del eonteto EI principio de indscernbilidad de idénticos es la proposiién comers del famoso principio, asimisme leibaziano, de idemtdad tle indiscrniler. do costs son identi sino es poubl halla us Dredicado gue las distinga. Ete segundo principio to puede sr for Ializado sn ayuda de a gca superior: ie porte la evatiica- tn de predicados (y no slo de individuas, como suvede ela fied elemental: AXAS(APIPS © PY) X= 9) La unin de ambos principis daria lugar a la denim de ident tad ‘claborada por LENZ, ala que ya se alu al principio de esta seecidn y que podemos formula as KAYE = YO APPA PHD) 83, Deserinciones DDeseripcionesdefinidas, Bs frocvente tanto en el uso dt len- ‘euaje orinario como en el uso del lengua cenic, recuri a empleo de apads 0 sobrenombres para refers a individu, e i {ar de hacerlo mediante wombres de tipo simple. Las salzenombres YY apodos son cireunloguos que permite habitualmente referirse a Individaoscaando noe quiere epetit su nombre 9 cuando $e ig- hors Tales citcunloguios eonsisen en ali a cualquier rasgo rcterisico del indivkduo de referencia. Asi sucede por ejemplo ‘ado nos eferimos a Cervantes como wel autor del Oujte ‘Va dasespsin de ea sue Haaren descrip dei co descrpcdn sin mis, He agus varios empl de descpeionesa LoGies smMBOLICA 1) el asesine de Trowsky: 2) el actual rey do Francis 3) latercers ea decimal de mero; Tarai evadrada de nucre; 5} el mayor de todos los nimerosprimos 6) el ser mayor que puede pensar. El extuio de esta clase de expresones tee interés desde un punto de visa Tigico, ere otras razones, porque no e infocuonte qu se ‘de argumenios que descanean en clus dels miss, “El principal as formal o markt dein deerpckn os el a siulo determina wet, oe vr de cul se hace een un ind vido del que se entiende se nico que posses nate o cartes inicads en la deseipcin, Para descr mejor el carter foal del sticlo determinado en as deserpeones ademas anes His de ‘Siiblos un nuevo operadr (a eta grog en po ins) que se leer wel x aque.» y que euilizan como prefijo en ugar de atculo en toa deserpctoadefinida. este nev sino Te ‘aremos el nombre de descriptor defini 0 descriptor sin mis Por ejemplo, para formalize descrip cl nombre que asesind a Trotsky, (siondo Hes hombre; uy: asesing ay ya Trotsky), escribir the a Ava), para formalizar eta otra mis breve: lasesino de Trotsy, cseribiremos edt ‘Unt descrpeién es un término (complejo) al que lamaremos IDeNTIOAD DESCRIRCIONES ms tézmino descriptive. Un enunciado descriptive set aguel en el qve fnterven uno o mis teminos descripvos, ‘uso de las deseripelonesdefindas. El uso de las deseripcio- nes definidas planta problemas cticos de importancia Toda ds. ‘ipo defnida pretende referise awn fividuopreexstnte me Siane fs expocfieacion de notte © raxgos que solamente él Te ‘omienen. Pero la existenca de ut individu en tales condiciones ‘no ev algo que est garantizado en principio por la deserpcin, En los casos en que nos rfermos por descripcion & un objeto «que nos es familar o conoside,contamas obviamente con es ga Tana, Por ejemplo, al doce wel ator del Ono, todo el mando Pens en Miguel de Cervantes. Peo hay ocasiones en que Ia pe ona que uliza una dscrpcion desconace Ia ientidad dl objeto escrito. Por ejemplo, yo no sé i enste el objeto deserto por la ex- presdn wl abominahle hombre de las mives». Los enunciados ba dos en una expresin de es indole como f abominable hombre dels nieve es herbivor, son racalmente problemitices, puesto que no podemos saber si Son volar 6 falsos, es deci scl predicado le convene m0 al Sujet tal y como en ellos se afirma, dado que desconocemes la cexlstencia Ia dentdad de dicho sujeto ‘a dificulad quo placa el uso de las descripciones sube de punto en el caso de las ciencias abstracts, como la matemtica, ‘donde It manipulsein incontotads de descripcsones pus dat hc fa graves errores. Yo puede hablar, por ejemplo de el mayor de todos los mes pines, _yexpresar esta idea en lengua formal siendo Mx es nimero; Px es imo; y Mf: es mayor que y) as rae Pan Ay A Py Ay) Pero la construc de esta expresin no garaniza por si sola rai macho menos la existoneis dal ghjeto descrito por ela. De h cho hay un teorera de aritmética elemental, el teorema de Eucl ‘es, segin cl ual el nimero de nameros primos es infin, y 00 has, por consiguionte, ni puede haber un nimeno pia que sea mayer que todos los demas. A la lz de esta informacion nos ex-26 LOGIE SIMROLICA conframos en situacion de deteminae que un enunciado descrip. no existe ol mayor de todos os nleros primes, es verdadero, mientras que este or: 1 mayor de todos os nmeros primes es mayor que one, «fal (en a medida en qu suponefasmente alo) ara obviar eos riesgos se pone tomar el acuerdo, partculr- mente en igen formal y en matematica, de no hacer wo de una des cripciondetinida sin haber deviido previamente la euestion dea fexistoncia y Ia Kenta del objeto deseo. Pero adviertase qu ello no se solciona, ene caso de que Ia solucion sea positna, con una ten afimacién de exstencia, La descripeiim presupone form mente a concn de quo indviduo pose las nots que se expect Fiquen con earcterexclusivo onic, 0 ly que viene a fo mismo, {que ningin eco individu las posee. Es det, ademas dela asereion td esenca (existe po lo metas un individu tal gue), se requir tna aur de nica oexchuividad(exise ao sumo indivi ‘do fl que... Es claro que la slucion al problema de la exisenca to despa sin ma ldo niidad. Una esa es, por elemple, probat In existeeia de antepasaos animales del hombre evoluconismo) y ‘a probar que hub una y solamente ua pareja de donde todo ho ‘re procede (monomorfsmo) un cosa ex querer probar la exiseeia a divinidad (teismo) y a querer probar qu la dviidad es wa Sola (nonotesno). La condcin de unicidad para una nota cual ‘quiere Ppodra express Formalment as: Vyastre 34-3) fn donde se excluye la muliplicidad de individuos que cumplan la rota P La doble conieiin de existeciay unicidad se expesara VytPy 4 Ax(Px>4=y)" IbeNiDaD ¥DEseRIRCIONES a CCusndo se tiene garana do que et objeto de una deseripcion existe en fales cireunstanias, es devr cuando existe un solo abeto {be satsfice una descripeén, se dice que esa desripion es propia miso contain a deseripion es inpropia Descripcionesindefinias. Tambien ol acu indeterminado sun» puede serve de prefio descriptive, para constr descripco- ‘nes ll forma: wt & al quo,» Bn ete caso podoros habla de dlescrpcions ndefnidas. La desripcién inden presupone ti monte Ta eondizign de existencia. Segin que dicha condicion se tumpla oo, la descrip indinida ses, cocelatvament, ro pit inpeopia, Uno de los hombres que dspariron sobre Ken- hey» sian ejemplo de descrip indefinida propia. HILBERT ts Te letra erie aM para dota el eperador «tins De acuerdo 0 ll, lr paacion formal de una descripcion indefinida sera para ‘un prodicado cualquiera P mes ue se: aun x tl que Po Colo de descripciones El eieto de deserieiones, que deberdsuporponeese al de Ia pica elememal con idenidad, se reduce esenealmete a una rela de deseripetin propa (D) cay sentido ese siguiente: si una condi- Cin Ps realmente stsfehs por un indivi y solamente por él ‘elonoes es let introduce en el cielo un deseripion de ref: Fido objeto Sot Sod stato) Leesan 2pm aris isn disso IME Rises Enapes ire gry sonic Tar Ma 96a8 Lacie samnouIes Regla de deseripciin propia > vyaniPs 69 x=) Pas Fst rela permite introdcirdeseripiones tan proto como se tong noticia de que cumplen las condiciones de propiedad, sun ines de saber el nombre propio particular del objeto dest. Elo Permit, por ejemplo, hablar de wel autor del Foto aun anes de Eber qe! nombre de ese individu fue Goete “A continugcon procedermon fa dementia de alunos teo- ‘rem del eeu de descripctin™ que olrecen particular intr, © on ng fl ny xe By ar Vitti Bab -ay=s)ax= yma es «906-9 ‘veo hy wo modo clare de determin el aleance elcome. vy Kas em Jn te, ii ‘nun ul hoe pr ome pps enc te moyaurneon=y) ebay DescutONEs 29 Et primero de ellos, expuesto en forma de egla derivada, pe rite introduc une ientifieaion que vneula a dserpeion eon objeto desert, b Ax =a) xP Deaecton 1 axtecox=a) 2 VyaxiPsox=y) IPL 3 Pixs D2 4 Parnes BGI Swtx-a FCO43 COtservacin. En a linea 4 tiene lgat la liminacién de gene ralizadoe respect dela linea | empleando al eféto un tino si- ular yt autorizado: xP, iaodeido como sujeto de preieaeion cen lanes 3 I Ax(PX eb =14Ps) > VyAnths 69x y)(Teor Dy) Demostracin GyAs(P eo xy) > ANPREOA=1NPQ) TDS AMPSED x= IPs) © VyARPS OA =3) ICO 39 1 Ast cox= tabs) C2 Wyantxox=y) wi 3 Axx cox ans) 9 VyAxiPe oo x= y) TDL? — 4 VyauPrex=y) 5 ANPxerx=a) [6 treme pes 3 Ax(Px x= UP) 15.6 8 AMPs crx =14P3) EP 45.7 5 0 HL vyanPcesx=y)aPisanasPe (ieor D3)280 LOGIE sMAROLICA, Deemostracton 1 Vyax(Px eox=y)aPa 2 WANPROX=$) Simp, 1 3 Axe x TADR) O VYANPX © xy) TOFD, 4 AMPEG x= PS) ECO 3.2 5 Paeoa=ixPx EG. ca) Simp: 7 a= vx RCOS.6 BS VAMPROA=y) APO a=taPe TDI FE VyAN Px x= 8) 00> xP Pa (too DD Demostraciin 1 VyAxlPxeox=a) aa— Px 2 WANE x= 8) Simp, 1 3 PiaPs pe. [4 acer ‘Simp. 5 Pa mt 6 VYANPKOA=aAR=TPL PA TLS jerciclo Lt (Kauiste-Montacue, Lape, Tahnigues offre ‘mal reasoning, p-241,)Formaliar el siguiente enuncao,coass- tense la dentifcacion de dos descripcones: La espost de Justiniano fe la ms asciva de las mujeres ctadas por Gibbon, Socio Diccionario Bey resesposade sy esis sein quey Me xesmujer oy sascha pry 5 Gibbon IENTIDAD DESCRIRCIONES 281 Formalizacion aEwo~ thle a Cab.» AN(MY 4 OF Aye LW) Ejereeto 2° _Descubri as incorrecsiones implicit en asic _uiente eden de argumentos Felipe Vy Fernando VI de Espa fueron pad hij por con siguiente, Feando VI ue el hijo de Felipe Felipe Vy Cares II de Espa fran padre e hj. Por consi suiente, Carlos I foe hijo de Faipe V. Por consent, Feraando VI fue Carlos I Soluciin La desripeiin defiida vel hijo de Felipe Vo, que 3° ‘nnd elas dos primers concTusiones, es impropia, porque no ‘entacon Ta condiion de uci. Sie frmalizan estos arguments, siendo Rey respadredey a” Falpev b— Reenando VI © Carles I result Rob be astar Rac cm tear bae Por el ndliss del primer angumentorevela que dé una pre Rab pues inferise a condicion de exiencia Vatax pero no la eondivién de unisida, gue permit introduce un des ‘rpeion, En este caso coneretmente en gue se pretend oblene22 Lociea sianovie demi de un inviduo con su deseripcin, sera preciso primero tener en el primer argument e sua Vaitay or y= 6) que nose sigue deta predicacén incl. Oto tanto succe en et e- undo argument Sono, ps, inaceptabes ls conelusiones b= vskor om tear no pred a ientificaciin ina bee AXIOMATIZACION DE LA LOGICA