La lie sens oyun intrameato gue sive de ayaa le) int et icin a rain a eg cin ‘ein io Forme pe el bua clara! et homie del soy ‘itso ur opcaconescomnprcnds elt tan diver dl saber sort {hated agi, asst fas eas natu y soa, jrgydents ys sa Ee igo cana ttoxicckn a ica smbolca para personas de Ioan, Sut se ol tn ae Me ice des mayo de sae ladon de ip sina. 0 mand et os tte encores a pcs aoa Selon de ccs con sn sto esl da pla inti evs gr cers apn emeernes nde Ristmsnayinierumeersen cman lees mice IEMs en oti en enc mates CCONTENIDO GENERAL DEL LIBRO: ernopucco Out ex "kn dion Dadi omectenn Lh Be PON TADS (ckutindoe contro): Tutlogs Enruepa de dsduson naar {its semdancas Cieuo de rep derwadas Lites De DCAD (Cite ntanencasly Caos ton Den ‘AxionarzactovDrlta Locke ELméado snd Sita sais GGpte comenial Metakips de enuacadoe Metal de rode ‘Ncmatzaron ders mate, AUToNEZACON DC LA LEICA (EAS iar teas br -apronstaTic): Magus de Tring toes bkean ik acters Luge reprenno el eamecne. Ls Se Imiemet, Avr Breve Natona dae ‘maior Filosofia y Ensayo TM ees z 2 2. a) t s i 5 is Logica simbélica Manuel Garrido f@LOGICA SIMBOLICALOGICA SIMBOLICA CCUAREA EDICION tedfos‘ort at eal APOE mie nin ie ei -tirinne poesiubants sore eene eee Poem ene {Sienna nas seme eames Sitges eee Sera 2 ote. .—- INDICE rro1aco, So INTRODUCCION com (QUEESLaLoaies? 4 tats ma $2 Glee ee mmes a Baga imal {i ecenis 4 Lape sesiniiiee a Sit A. Dettmann src iin Si Tegel ee is 1 Pebentlaincae i a hel i eta i, Compete 4 Con 4 Ineminy e ie Siicteyyore 1 6 vecacn onic 1 simak tml 3 fo tgedcommpawsn nn ih 12 a s $8. Leyes de imenefinicidn 13 Fit Neca a LOGICA DE PREDICADOS CALCULO CUANTIFIEACIONAL) LOGICA DE ENUNCIADOS (CALCULO DE-CONECTORES) tee fa fon TavtLoclas * 4 Saal te Sores 5 it Ghee = Cin. stnatrcAs EDEN NATURA " coo is i = Te ds a u 3 it beet be $1 Sd detain Ree I fee ecu 1S petetemecn Se i Hi Steiger easements “Cap. VIE. CALCULO DE REGLAS DERIVADAS. Co eee 1 Lanvin dea do 42. Late em uri os a5 Loatea sisnouca 5. Halas cgi agama Veraprise aa 1 Towleih crimes es 3. Remade Cp I LO0ICA DE RELACIONES Si Rneead 42 Ean i i iis ai 1, Gt otal in gi seta Fam einen AXIOMATIZACION DELA LOGICA XL HL TODO AOMATICO 41. amin somes 1 feet maa iis $5 Remained da eis Cop XIV. SISTIMAS AMOMATICOS DELOGICA HEMEL. emacs 2 See i i 5 Nahin te ss nti elie demi Len sega aan oS ea (XV. METALOGICA DEENUNCIADOS Treo ee song demi 2 Cent dg ncn 1 Comin ees onc [posh tgs deomartn $5 tioned dnucadoe ‘ip XV METALOAICA DE PREDICADOS 5. Comins adeeb 1 iri deewntd Sets res ttc 13 Sema: 156. Inti poms gic cman pica coe rosea AUTOMTZACON DEL Late (LAS BASES LOUICAS DELA INFORMATICA) Co X¥ AQUINAS BETURING $1 eaves ota 2 edge ig 1h See 1S ion YS taro rea 4. peepee mi ‘69 Xvi METODOS HOOLEANOS agua de re 4S. Fenmatonrompnns a rae) 4 Upoesiaas ‘e.XEK DEDUCCION AUTOMATION ede ees Nowe Se Se ® Mota an =0 bac smenauicn <4 Etiocom hand $3 Somteguede noon nis Scop XX. LOGICA Y REMRESENTACION DEL CONOKAENTO 5. Lie nein wil inci dl ects EE Gihctey tiaras ms FL Meteor olan (4. Sard nee teem de ner aremirranneny Fi Roa aS fA gb een sane «(Simic diss $5 Ghanrtamecringt 4 Tangent 2 el iri 2 Ne Te ‘Anew: BREVE HISTORIA DELA LOGICA, A. tamer dona ei EL" Etasen ep ios we lige te taker mnie Loctea simmons " eaeigatts : jee o beim: 2 eae # i Heree # 3 eae cs e 1 ESHS # Pies es # 1 o1lSoeesmnie pins erases = j piesa 8 v=. Sieeeninaie 2PROLOGO “La gic smbica 0 materia forma arte def bagae ed ul del home dl siglo ex insoumentoimprecinie pae el ‘ela de una tare sera en cic en asia. Sesto pro Porcona safari intelectual. pero es tambien de wilded. por {ie el radio de sus aplcaconescompronde xis to diversas del Shor como fa maemo gc, le fora as clas nanraen socal, la rpradenca yl los. Yes un meio tno meno ico qu tos pana cone tata veces hated cnt nectar de easy aera de ceca Tas clencis anata, como exe caso del iglea sulenor- denar sas materi yen dela spe fo compo, De coer fom esc errs las dcp de rites, padre de alga ra ‘lta advan on lic del concept, lgica del uo y te ‘dew de le arpumenaciin 0 rasinamiono (gist). Desde Frog, padre dela logics matemata, is segudoresemplean unt tora pareida. Emplcsan por ef ani de polars Ties ‘muy snp. como som por elem, las que eorresponden las fomhnctones gramatclce we tom, tl enoncees {9 ta Ini plata fla Hamada sig de conecoreso wien de ‘nanciodnn fe sobvediaden tue e anne de palabras Tgieas ‘nde compleas, como son Tar que conesponden a as prticlas rmaiceles de dexeminacin cuanttavatodon ¥ wa Eres k lamado stig de poids 0 wlio de cuanafew hres, ue viene consi ef micleo mas dstitvo del Wea ‘omental contemporines "cove ada sowie esencal lpesete ir, gue 2 se para sin embarg, de sus homlogo en cua pecan. El prinera {ea rt feria del eaantcacion nla weap de tevin de la ogc, donde sala tos principales anos de Jee y de conesin ete lx spective dro del = ‘on aiilonal yf ica sible El engundoabeece a mi propisito de concede fa mayor an iin pote la pada de meta dune. Lay eistmas de eden atoms io Bors as xrays de deduce ma tuna Genton lx td de tbls sematicas Yenalitcas‘ipo Beth Salaries sn eportaciones alternatives, rool Sloamente sucess, dela ic del sgl al eras del rzona Iniotocomeca. Un alunno de bumandades no debe desconoer Ia aunque por mottos pretcas puede consent ptr por fom Marisare mis com uno sa a voce wala ex que fox prolemes de metteria (conse tenci, complet, decade abordan omen hr ms tarde {deta asu en el cones del asomatoucdn de ata, domde ‘ludo tambien, muy sumariament, a asomatzacin de tors Tr cuara esque dedi ta ita pare deli, qu ited ‘su tere ediion eiso y ampli onl presenta la conserclon td le lacions del gioco lirica, Eta talons mo “on lo de mers aplicaion sino tambon de genera de cone. ‘os federal. Las genes teoras de Ghely Turing abe la ‘ndecidldad ytacompurabidd, aparece ta dca de os ‘iia, culo en princpaer ceca col can 0 prt ‘el consi de a eras gue est al bse de la expla de tngomitca pa tecnologia deta comuncactn cao beri ene Int del sgl se ha tornado gemency, dade of aconimiont de lhe ordenador on oe aoe convent, hata fo reciente emerge de ern La Tien de le compuacin es, om lero mada el a rion de a informa que no mpl m menos a consti Los ‘uncer de a por los Condon condncomente. Enel myer luo sobre Inert aroha ef comentario al programa efecto fre Tarski Word pr dr una veri mds dead por Lrenzon Hine lx lade al comes dagen una tina oervactin. x Bon sade por ana pert, que el eurardinario desarrollo de fos formalisms subgatnte an ent, protegonizado ene trio iil de siglo or Russel, Bria tier bert, de fndamentar Iipcaments ls toras mato ‘avo por consecuenela un clerioaljalnto de la Titea respects. ‘de fafloafia oro moet menos sab, por ota, ue a parr as ‘9 manos de os atts scent ne hn reonied @fond ls retaco- tes dela nucle lengua iar etd comin las evestions prone de flesofar A aclarar de luna manent la dear de lett sobre fs relacones dea igi co ls lois Yeon da maonitoa qo conti a wbree hts del ‘lorsque figura come aner afin dete ie, Los titulo marcades com aterisco yas pasajeny nota escr- tox en tpograta de menor tamaio on actaraciones execs, Ista 0 terminolgicas dela gue se puede presciron on cto ripida, Par wna iformacion sunt de las nies de a {igiew elemental no hace alia lees tao ef li. Bastan os cap Infos IVT VIN. ince doo de eta acon ofc unde resting sexta we alo modo deduct, sa nse {ico 0 semdntca,concediendo mena aencin af derma fs ‘tims pinay. ef locor que aura saber mi enconrar na fremacin bibhogrica de ia artical de revit gu le tr Sind de ayuda pars progr acim en el emt go lime opartuna. ‘Dy lasercies por sus erica, comentarios» comnvccames ds udev de Lica Rafael Benen, fons Garcia Sues lout Sonnrii Ls Manuel Vols, como tambln Biri Tena pore ines 9 culdado que ha puso en la confciin de te li. Dun modo i gone. guste agra ain nna olaborelon «las mumerosatpromoctomes de alunos tnivertarios de fgiea gue assieron & mis clases. De ellos no fprendi menos qu elas demi MG.INTRODUCCIONeapiruLo1 2QUE FS LA LOGICA? AL LaLoaica roan BL lawn de arguments Uno de os rasgos que dintinguen a hombre desis anepasados topos ex lwo det lengua. ¥ un rsp tice del enue es liso de argument. Un argumento 0 rconomionto es wna seve de fass en acu, «ela pied o afimacn de as qu precede se sigue neces bent possi afemacin dea gue val final TL ejor mana de enone qi se tn argento es consid ‘rar uos coe eemplos my sents, He ag uo: 1) Siiy ses de avi, aja el bardnto: pro el ba eto bj, Po tant, no hay Hesgo de a, Y beagu or: (2) Todo hombre ex mame y todo maifero es verte ‘rao, Por tnt, lode hombre es vertebra. Las prinsials artes 0 unidaes lingstieas que integran un ange son las proposiciones 0 enunciaos. Un emnciad opr osin esta fave gue ene un sentido compet que poe ser ‘hima con veda falsodad, Asim emclad a expesiones thay rego de luvian, el amt bajo todo rater 5 ‘ert, Los enicias iniiales den arguentoreiben et tombe espocfice ds premise final ct de conclusion. lemon de arguments hone Ig tao en a vida eoiiana como ene ric as tras celica Su iad rsa abit ‘Se eotsiders gue, racials, pedemos ampli relexiarent Ista cones, Fs caro qi absense fo amp. Peo al posar ds as promis den angumento su cnclson, incre acon ste repertorio das proposciones gus cance,20 toaica somnoucn ne poremos en peta ns capil de seri sino de r= Metin 1 hecho de ue adem de eserar panos dsc 0 Zona stents es poablda sobre i end oro veanos fain oto pa de jempon lo de ellos es un argument qu aan a elerta sonata en la storia bie ing, En later del hvenca bilgi sca dcbutide rucho la ‘etn de ser st los caracteres qe uh ividve ager duane Suva puede tansmtrsehereditariamons a3 poe Un lop {eV el sigo pn, Weiss our praca, que mae ‘Shoe eens Sceptaro, ds gurls caeteres adios nose feredan Est prc consis on spur la cola a ritas duane ‘emt poeraciones segs comprar espués qe fa gever- [Sa scans no moss cla a mss ewe mica ino dl rzonamionto de Weissmann se oda resumia: (@)_Sitoscaracteres adios son hereditaris entices Inamputscin den bgann, eterdamente eects sires dena serie de goracones eonsocuvas, Acbiers ser fared po a ple. Pe 6 el 350 {que ua tl amputcin sca hore por la role Por fo, Tos caracteres adguirdos no son beri, "ho aqunaent, un cur ejempl: (4) Tad nim tral es sconl todo timer aco rl exo Por tanto, todo muro natural es el $2. La forma de los orgumentos La simple inspocein de estos euto esos de arguments per mite vet quo prin y el xcero (trzonaiet del ba Intro elavnamint de ls earstres het) ones uc ‘alnste homologabis, ‘Sten el primer ejemplo se sustiuya lo nunsados cay de via taal bam porto sian Ay Bees ‘tot, el satieme xem SIA, enlonces pero Porta, no A, {ou ES LA LOGICA” a ‘qu ee mismo al que se legara efeetuando una sasttcin simiar ‘BF asonamieatode Tos caractees herediaris, En ca wo de ‘Sass dor caun el argument cosie en Ta caneain atclaion Eon enunctados: mediate fay pariculs sh. eonces.m, “pero nom apor tao, en a fora que indi esque "aig pared sueede eon Ios ejemplos segundo 9 cart (eh arguments dees vetebradosy el de fos mimes). Representa OPIO.R nombres Cutesquiers dl ipo de shombre» 0 enero, Fula a siguicate disposi estuctaral comin ambos! Todo Pos Oy oo Des Portanto todo Pes La somejanca identi srt etre los dieentes 508 «ds angumontos se pone de eieve con slo dejar como estaba 1s ‘os comnes (ow elementos townie: @ constant) de 108 ‘Gekipor en cuastony cambiar por sinbeloscuslesgulers despro~ TAtoe de zien v contenido concreto, as pats dere {ioe lemenios tribes en ca cso} El reslad es esque {femal oshsract, vac de coated. A esque de cs indole [eres e nombre de figure forma Lgl de argument, (DE Tess primero de os dos exqusasebtonidos sf ora Kia Ais unlpo de ngumento gue fue formuldo ya pores fisoos ch {Gigony a eebigo mis fade el nombre de mos tole, EI 3 {Bund esque e a fomn glen de ut tpe de srzumento qu fae Ful a por Arttles ol mod de slogan del rinea fi [poral que tos lgioos meievaes amarian harbor) tin analy dng de a exrstra formal de esos exqueas ter ugar mas dean Pore momento, base tomar nla de gue Fave une dob mension en sagen: de un ado Troma onan, yd ool fora © estctra, gue es ua di hansen esecial dese punt devs loge. Bernd Russel 30- Geer ue a comprobar io sole do um razoaonto pe tp fendond ata materia, pongo e a fom Toque ane todo Hy gc exanat Se forester su fom. $3. Lafigica format realidad, Ios casos de argumeato considers tists short son tvs hae aa se unguin expra en gi para J2 Loaiea snaaicn dir si valen o no. Po basta incrementarlevemente a grado de compli para que no reste tat ei reseiver ol problena, He ‘aula tulo de fst, wn angimentatomado de Ty atin ‘semen (fa demostacin dl teva de Buide, agin e cal tay itis ores primo) FT sucesor de factorial de un mero rina a ealquera os dvisble por angi numer primo gu dvi ‘ho fasta, Poo ese sues, iets pine tayo ‘ue a puesto que sede factorial de sto bones em Posse en eyo can conenenesearamente coo Taco tn primo que, por antdiha ar, ex mayor que. Por fant, calguer que seul amor primo a sempre habe ‘fm mayor qu La simple ecura de as premisas de ete agument no fe ast al stor medio para aceptar conch, ll psa de sc st in prucha de teorema matemtcn elem, Peo os invita presumir qu la difcutad de eommprension de la etd pacha no fst solo cn musta fade familar con a terminologies Ini, sino en suestuctar oie, "Expres em términos ois generals esta misma presi ‘cl anument es un wens l que comtantement te ec eh discus dela vid odin, clas converts poltcas en lax pruhasceaeas, parece que ene itr y sent far de ‘silos dierentestpes de esguemas 9 pattones de cate tales uteslios, ocho mis precsamente, la arene evar “alo m inventaro de formas o figura absastae de rzonaminto Proceder lass lasifeain de eis, Aste co sug la tare dea gic formal, as x com 1a plateron fos Tso gies dese Anstey lo soles ‘como un asin de formas tact que seme cierta semen ‘om el trabajo dol gente, Puce al cot los angus geomet onuideraban Ia foma 9 Tigra de Tow objets sco en abst, prescindindo 0 abstayendo dela mater de que se compan pot ‘jmpl: fa frma 0 fig de a objet esc, prescient isch de que sea Bronce o memo a materia ue fo consti). también ls igcosaregos se irr po la fom far de los argumentos, haciendo absraccia de materia contenido, Enel eonocide cuanto de Lewis CaRKOuL di ene pis de ‘us maraitas ania qu lo peotagenicaencaca en el bong an aquiusiatacies a cea y sonra lina, go de Chess, gue aac yes fares crt ope sag soa an mia 8 Foci nua gesniin dears primero car, sings ‘Shon aber Ineo tambien Ea, goedano ol a sns de {ato Ese cio foun que dj erp Alii sors $Snton, ce umn fascist mao bl sue, donde re asi dl cso, de mies capi agin de ‘Serguei fom Descutdn co lo iho cae ina gc oma como cies sac gustan prob lai rma de ona ‘temo ambi, 5s naman, com er forma del Fy por sol al pe iio ewer eigen lst de gin formal. Peo ‘vienna qv no apo nba do ctain ig on Tombs pod colar pared a hg aor de fa ‘Sina amin occ mo de nae ‘Senin pariulresy a fbf defo Fete, qe 3 op de tone tls com tbc ut conse da igen, io Sap eacerdo de aly lias cn ta ead cle Sion enticed sees somo no eis ah ky de tesa fa scl, aelegcmea we sloges pe tos ys go ei ox cu en aie Oi st ‘om me a ste 7 ‘Se nt por er sn ‘ima tie sie4 Loaica smanauicn B. Latdatca simnb1ie8 $4. Lamatomatiacin de legis La logic formal mac Race dos il quiientos aos, cuando AmsTOTTLES low ESTO1C0S se intreston por la sonata y sls de eaguemas do arguments. ‘Desde entonees. ya diferencia de tas ceness, no ha exper mentadodexirllos de pra consigeraciin hasta medias dls plone {Un pensar tan avanzada en a tompa como KANT, qe sme vids una revision drs Ta mets tadiaa, sens ene ‘reg a segunds eon de Crit ef racinpurs gu H Hogi desde Arsttles no ha tendo gus da un pos ars “stampeco hasta bora ha podido da un paso alate Asi pes, ‘i toda spenca,hllse conchae pert Esto fue seri en 1787. Pao el sro dels aontecinientos I venid a deseutovizar un ito ison Katina ea wine lide de fa Ygien. Porque no habla de tanscure mucho mis de mei silo apart de es fecha, cuando se inca un pregrese de a Hogi Formal gue no encuentaprecodente dende In epoca 8 foe nego Ta clave de exe progreso se hala en las evolcioatie apr: ‘acines del ingles BOOLE (hci I mia del siglo pas) dl tema FREGE (lime fereo del xix) rlatvas a To gue sel de rominarse fa matomatzacion de la gla. Poe woatematracins Se"eatlende en metodologa clei In subordincion de un eneia al métado dela matematica, De lx voraae inherent Imatemaizacion es lao ejemplo el caso dela iia, que comenz® hater por el camino seguro del progzeso cenificn dele uc, fel siglo XV, Galil la somata rigor del métada mate ‘De uma stemtizacin dela ica puede hablase en a mes ‘en qu est ncorpora play eiezmente sss nia de tao is cxaciud y ef gor del método mana. Coniionesnecest- ‘as de ello son a consroein de un lengujestbicn deena 1a formlacin picts de as pas de operaci, que son fa base ets eleuos {QUE ESLALoaIcA? $5. Elaso de simbolor En relidi al uso de simbotos rcurier ya los Hgicos yiegs al emplcarexqucmassngumentales dst po de: «8 A Entonces Bs pero no B Por tanto, ao Av yoo» sires. Pero fa smblizacibn guedsbarostringida a fs elementos variables A: lov enqucmar logics. Los slementos constanes de dchose Guess (esto cs, [a patculasTngisieas del tipo de woo Eon she, ennces.», ano», «por ton, ete se const Sens por aul decir el tema propa de la gic) no fueron an imbolzaos. ¥ jotamente una de lis mis radcalesinovaci- es gue entra (a matemaizacin deta fgica reside en a fo Ialvacion 0 bimboizacion de est contates. Si so conven, or ejemplo, en represent ia partiula ws, eatonces» por una Fist: coma parila soo po ct simblo: smo. y a pat ula «por fato» por e snbolo se», 36 toma el cue de fcjer't an lado de momento, por innecesra a palabra peo, ‘Fesquema de argumento ques asaba ds"resehar (7 que ey, ‘omo sind en pigna anon ch lien mo toes) que™ ‘ava formal as AaB. BA asia gu punto la pono pervade elu depene dela formalancin del lenge en suse aya, e algo au pues con- pobarse easayando i selzaton de maipicaciones Y dvisiones Sin rcural sna aritntic, con la sol aya del eng ‘nda. Aungue se dominen Tas rogls de perain, Ia fata de Inboismo adeciado scala extaordaariamente la marcha del ‘ica, Te hay una segunda venta, no menos important, que la matematizacion de cdlculo Topi leva consigo. ELuso de un Imibolismo adecwado no slo permite un mayor grado de sept Fidad'y exalted en la construceon de argumenton, ino tam thn una mayor precision en Ia formlacton de las reglas que Tos gobicrna. De hecho, la expeesion «A+B, = Bm An, ho-es propiamente hublando, un argumento, sino wed oul ‘Se argumentoy a mejor la formulacon precisa y exacta de “sttegia Togicn que site de base-a Lot argumentos del tipo Indus tllen,y que se enuncia verbalmente as si de un hie Potesis se sigue una conseevenca yexa conseeuenca nosed, G58» aH smenouiea 1s hips em cuontin debe sr resharad, La dsinsin, ai mismo intoducids por lt ntevafgtea entre lenge objctom © tenguaje acres decal se habla, y «metafenguer fengiaie nel cual se habla aerea de otro lenguaj, sya 8 extabcer fon mis ntider Ia diferencia ene un rarnamicnto ys “Sa mematiacin def Kgs ha edo como resultado un mayor 3 mis pret conta ni cl ites dl azn ‘mento ut mejor concent febca de a Tees lies Atscubrimieto de nuevos raids sistemas de rel de rz Damien qe de ero mod no e iil ue bie sido deca doe io actual deseo de a ciency I tena ifomaeas lage mbt a cunplid na mporte nen, $6 Lipa tbicionaly igen simbice A la igi formal al y como ha venidosiendoelsicamente ceulvaa, desde Ansley 4 Kan, se le see da el nombre de Tea tadiciona. Ta Vien formal en su atl estado de to tematizaciono plena formaizacion, se le han dado los nombres Ae ogicevinbolicn Ligier motte y loin (a propuests fe Couruar, 1TuLSoX y LaLannr en ol Congreso Intrnaci hal de Filosofia de Ginebra de 1903). y tambien el de algebra Toxic Ea eucstin de tas rlacones entre a gic tacoma y ta logic smbotca divide a os autores. Hay quienes pinan que In nia lgica que merece el nombre de cientia esl gia trad ional Ta Toga silica es tm so um are tan enrevenado ome super. El punto de vista puesto est representado por Tos que piensin que as enseRanzas dela logics trailonal son 0 Ingles flsas. robablmente sen mis sensato considerate Tas relacones entre la lgica tradicional yl Wien simbaica 90 ‘son de osicdn, sino de evocion: Tas que hay ene ua elem igen suesado tical de consieany eta misnacinla en su festado de madurez, come las que se dan ente a tatemaica de Lae dame mes y tii ren soma nbc ow oo os En JQURESLALOAI a Piigoraso Euclds y Ia moderna matemstic. (Aunavetmpaco ‘pnie ecrar punio de ue le de Aa {Esto igcs de Boole y age representa praia lao timo hunano gue sn dl vod conensurbles) La et rte sbalican wis mates» oo, pt 0 a mucer manera de denna alpen formal sends 0 Stal sua de dsr, ex dia Hie foal ormal- . nan seo is pei, sin bag cabia distin as d= sominscionss de sip smb y gen materi eh Sendo prea itm Is pcan ext de aoe sib itccacaones mae2% $7 Sumario + Un argument es una sere de prposisiones ena cu dela sceptacdn de as qu precede se sigue nocesramente It ‘Scptacinde a que aa final Una pryposicin 0 emumiado (en teminos gramaticales: tnt omen declaring) ena frse gue iene seth ‘completo y puede ser aftmaa con vera alsa rasa deargumenio es no de os asgos nis earners ov del animal raioal que el obey Te sive de aya fn Is via pctice yen el estudio cece de a ars fer La forma es un factor deeisivo en el dso de os ange La bg forma sta ieeia qu esti a forma y a va- Toran d oe arguments La gia formal fe cra y desrolads por ARIST: LIS) ow igsofos estore hace as de dos il aos. Desde ln segunda ita de siglo pasado y praca a = ‘olin cletfienprotagmiraa por Booty FRU, ue tom por madelo pass mtodatogias del simboismo m= témtio, hi lgiea formal ba aleanzado como Locica Sinica exreaica an desir comparable a ue experiment I fs eno siglo xv gracias Ta revolcion ‘ents protagonizada por GALLE. capiruto mt EL LENGUAJE DE LA LOGICA [AL Drt LINGUA ORDINARUO AL LENGUAIELOGICO 51. Lengua narra lenguaje formal. Constantesy varies La tigieaeoincide com lx gramitica en su interés por el en- aj yd al que el ands fic sea tumbin, en certo mod, nts nisin. Poo lengua que interes a Kg no es so, pipe mente, lenge afr wondiari,semge relatvo a una com Td instcea de blates ms © menos rumeros y sebrad Se rendanciy, agus ambigidades. La Vgica formal petende nin clencia univers tan npiros como la matematica, ques ‘Sins [scapacidnd de fala operaconesy eleulos de modo uc Elo prereuietef onfeceton de un ena atifil De timmodo muy get, puede desis qe toda cena hn de reurir aIomplco de un lengaje ati, del qe forma parte, por gj ple reperorio de emino teicos propio de cad un. Pere Eleaf y Te gi ene artical reuerido {sformalo simi, Un letgue desta nda implies dos cose {las de las eo lus de smsoeastacon, uc se divin en dos rand categoria smbolos constants, con un sent io Jeo {ElTenguje en cust, como el eso, porjempo, de 1 igs Svc eo enarmeticn elemental, ysmhols variables, e4y0 60 igo es enete, pus combi dees casos a fs sein el co text como suede, por empl on Tas Tetras a ey 8 fnestoney amet La ofr ev un repertono de rela exis Por iy go se estabezea ets de ow tems y la Farman Tanslortacin de firmus ocnnciads El Tengusj aca de a cra Fgie, del qu hoy exist una amplia gama devant Sects, fue etblecio en sus Kinas ‘Bineas pr Ea en 1979, El props de este capil cs eyponer he lege al que 8 acostmbra a dar ef nombre nico de ‘uj formulae primer onde. Primero lo nedutégraalene, Etoiderndo en gu maida pation pwoceder yen gue dies delJengusje natural onto, y Ingo resumirésnticamente su ga mii 5.2. Pruicasione omunciador atimicos) 4 Sues» predicades Es un hecho que el uso del Kengusje nos da a psibiidad de: (@)designat objets o indviduos do univers, titer de persons, ‘eas 0 sceson, mediante alse qe ramen a nombres propia: () design propedades «nots dos objets melanie lbs quel geamatca lara nombres comunes ‘As po ejemplo Leni, Times son nome propios de ajo bobevigue eo Son nombres comune, denoitivos de propiedades de objts. CConvieneadvertr que por sombre comin se einen agit no slo fos as Tamados en gramdtica ontinaia, come shonibre» © ‘piedrn, sino Tambien adja verbos, como blanco © suena, ‘los nombres props les lamaremos también, en terminoogia Jogi, sea: on nombres comtnes, predcador 0 prea ‘es Tn los sto como los podieaos han eid acing! ‘mente la comin denominacin de trmins, angus hoy 6 ene 8 Ima at do. os sets 1. Predicados absolutes y elation ors pre el concept depredicado reguiere una mie prei- stn, Unis veces a nota design pore predicado es ua cand ‘rasgo que convene o pune coven simplemente aun eet: a fleas dels pecadossbolceviuer, rio» que se aciban de ‘dcr. Per ota veces ls nota design pore prediado es una folaeiin gue se da ente dos 0 mis objets tale eso, por em lo, de los predicados ematar, estar al arte de, ser mayor ‘en, estar ene, exo sien. ‘lox pricados del primer tip fos Hlamamos pretiados as Ins 0, sigienda a QUIN y Peet, mondo. A Tos dl segundo tipo fo amas relatos 0 polar N's vez los peedicados plies se pueden divide en di- os, ios. dios, segtn quel lacion po ellos desigada pong en consti do, res m objeto. Po ejemplo, el reieado er mayor gues cs dco, cnas que westr ent es tid, 6 Bmuncados ations En mst so oniario dl nau tbuimos props a | odin la unin 9 eonposn de nombres props cn na ‘es comune pra formar enancde'de estructura ys Aa "pes realm deep decompile damos el nove de ‘umn atnco 0 ppscon oti ambien ol de predic. ‘lin propensities expeions Lines bolehevique EV Tames es un son enuncindor ations “ator soc ing: mek sng te ee ona ei) ‘eel rte cxpeutne a plu, mings slr son te aco ‘nei obs doe (osama gl ron eae {Moyet se Sean ann, Flo ges, Cecio Fa, Ce Sai eo" eee2 Occ sMnOLIeN De scued co a erminoogi stables en a seein ante rion danas pe sian enuneiado amigo (umn predic) so Campane de site preicado, poems considera éas como ‘Slments satis Tatra de formalized tics se rfc lei dos tips de inbol, dees, specimen de abjetos inves 1 propia apc de edo el mods de combi. ‘Comengimns sn aiear come sols deotatvos de bjtos «ls primera less miniscule aabts _y como dentatives de propiedaesyrelaions las maysulas PO. Roe. ‘Atos primers fos llamar constants subs indi dues, low segs, eas priatons. Tales inbolos des pet ch el feng simbolic ls Tuciones respctivas de los ont propos tox comtunesen lengua nat "Y comenganon, ch segundo haga eb constr of enunciado redint ln mera yusapsicgn de os simboloscorespondientes, ‘Shpulanda que wyt por dalam cf smote prelicavo, Lie nett principal De sewer con ese ere, y ise eomvene en ular s viene esa de diseoarin sbi «4 como const nividl denoaiv del objeto individual Leni, § Gon corto individ deta el objet nda Times > can ts procs para dna a propiedad de sr bochvige, {como letra predate para denotarf propel de sun, ‘abe formalzar Jos dos enuncadosatomicos citadosconestenando STofecto ls silos dnotatvs de sin expectvoscloments: Naeem et wine tn a cna peda HLLENGUARE BELA Lace 2 Lenin es oleevigue me Er Times un oh, Las expresiones formals ft» y «Obs, selon: «P dea» y 4) em reesamente leas de clades témicos eos protic Sean poli hos come Butoh a César, Kondreset al norte de Madi Tress mayor que dos. Soiza ess cat Kaa y Alemania, la formalizaci se fei colocindo depts de Ia ea peedeado ‘utresponiinte las consi ilviduales que procedan ca ct Ins ode en or habusnente parecan x empetvos corre Tatoven lengua natu. As «rte mata Car sible fia eligindo R pra representa, respectivament a acion de IatarTor indivi toy Casa Rab Y sii est ents tala. Alomaniay (endo estar ents Shia alia: Alemania queda sinbiada asi Sede. Ain tee cee i, een pteu Lacie sinoues dena falsedad, Principio de valencia Us enue sto esveladera cua es conorme cn lox hochos, st es, ctundo la propiedad designada pore predicadoco- respond raiment objeto v objcos vidas de que state. x ato contario el enciades so. Ast por eferp enn Ciadoatimico aE Tames et caualoson ser verdadero lo ‘Tamesis posse eset a propia de sr casos, y st aso mos ew ol so, La cunt de decir acre de aver Sela un enunciado atimien noc, como gisaba avert ‘Wrrrcrnstens an pobim d andi gc, sno de intrmacisn prc, poise enncada atmo dice tmpe slg sobre ox Hes, moo a eso I expicnci aq informa solve La ‘rad albead oun cnuniad des inte ‘De as posiones fundamentals de nna y fedad vos oc remos sa fond ernment, en los apts de semana. or {Fema nos lntaremos induc ox sighenestemibos ‘Goics: cuando un cnutad sea verdadero se it de lq ene Valor de verdad pose: yeu se fas, qe ene valor de ver “bad egorvo. Ala verdad y fed dees emnelaosse es dar, est ambre coin de eles le ed pire aot A verdad posto y iu segunda ct nega, (Esa terninolgi, ‘imo tanbln el pripi te sade contrac, es ape bes cualquier ennciad sungue no sa stmicn). ‘Truiconatnet Taig te ha edo goberar por un princi og supueso basco sepim el eal tadoemiacra es serdodem 3 Jaa pero no amas covas al ve. Ene pencipioque es orgen istic, rebel nombe & primp de Pelee. La ogee "Smiic To ha sepido dando por ido hat presente sgn, en {ues ha plane sersictmente el prbles de un sepa inf eal eva consigo na sei de consents Hlset y ‘Gnics de mayor irs ena el surgi de saat Figs no creas a Tig 80 9 Wacol, 36 coh sect de ane ena ec oe SSRIS Smid ef gn ye ELLENOUAIEDE LA LOGICA as forme a principio aristticn de bivalent el ama cise Ea presente io se adopael panto de visa de Ie open clsica Variable india. Forma eunciatva Dada a siguiente serie de cnunciaos atmos: Paso es pntor Dalies pinto Cagall spinor, abe asinguir en ellos una porién comin a tds, que permaneee Itvariant, sere prediado es pintor» yu elemento are, tices el sto en ead un (Paseo, Dal, Chagal ‘Si quisitrmos destacar oespeiear a parte comin a dichss ‘opticians, dejndo en Banco 9 sin especial espacio dest aka spat arial, el eaqoma esate ser, por ejemplo es pint también ses pinto, Fe proces puede sr refejado en nuesto Fens sib. Represetand el predcado ves pnt» por eta > yctigendd tres consanssindidles que corepondan ow es sues ‘meniados (Peas, Daly Chaya, 1s es enunciaos atimicos en ost simbolzaa > Pe, _yeleqacmnespecitiativ de a pare comin ellos sei: Pe dnd eno es una constant individ, io una variable. Un es- ‘quema de et nde aoe uso de ana macracategoia de xb,6 Loctca simouc las varies indiduaer 0 seta, que se epssentarin, de 2g fala, meant fs mas ere mingsculas el alae ny i vail individ es un sinbolo ambi, porque n0 de signs wun indivi conreto 0 determin, sin, internat © imprecisament, a cunts e fos iio itegranies de un ‘ern, ea 6, de un canjunto, clase o dominio que sed por St st a iat a variable y deca uno de Tos indivi eo npr se dice que ex un wor de Ia Yara Ea mest emo, ct dominio de «puede esa ingpado por los tes individ eyo ‘nombre pois 88 adios o tambien, i a se conviniss, pel eo Jt dels, 0 por om amplio dels Sores anos, eto {por canlguier confnio de cuyos inviduos pula presicarse ‘Con sei, es verdaers yas Flaten, a propiedad de se pinto a sari individu desempain en eens sbi un papel semcjane del ponombre eel leguaje natural. En a ex presi ales pio, a partcla wl ex una especie de arable, Soe pole tomar divers los son e context. Las sncgnitas de lis eeuaiones matomatics sn también elementos similares & tae vray ea de io. ‘me rpm abd tc i efor mae deena ee lt en is fin ca acai lo ip ‘ey Rn lem oo ey rice tee ‘ne oie ‘Gnloe Caps I'y Xi Se el encod oom ge yu renee Teton font ts, tare, ion ELLENOUAIEDE LA LOateA a $3. Concctons 2 Lercomposilin de emuncadas {Un fendmeno conn a engue onda yal nguae ient- ‘ico es a compunicin de emincados Dados das © mas entneiados luc, porjemplo, ete par «feud vivib en View, «ted Publi aerrotactin de lasses en 1900, pox combi= Tarlo redinte particle tales como sy com 9 cas siniares pur rat enueiadoscompurson 0 molceuares, verigraciy 0 Ste cao: ead vv en Viena y plied su Inerpretactin dels suction 1900 Tn parte doa gion que se capa del esto de a composciin de enunsadoe mediante e emplea de parties tales emo «ym Stow y eta similares, rcsbo el nombre e ogica de ennctado © Tigice proposicional tain el de tigi compositional). La ‘Ben de enncias ey spurte mis element asa def ie Lest de a comps de enuneiados debe ising, ob- amet enite fs cmuntado a compone los os compan Tene pvuls nglisbets que permten clase Ta composi, ‘se exon o particu cocien, mas 0 menos om hs pa tes dela orange la gramatca tradicional esta bajo ello ‘econjinonese aunque, en igor, no fo conjunc gama fai ene el mato grad de interes ara I gia debt, pus Jy muchas de cls, como, por ejemplo, as paticuas «pero» @ “Snembargon cays filo crm erica que Mia Las cn Jnconesgraraalesy paris afines a ellas cu eto tiene Incr en et pste de a Wie son, sade tad, cut: a0», fsa enoes. A estas particule, ots simile a ‘Has eis den cr oo el nombre nico de aoectas ‘crmornne , anbE Jaores tiie ne al cna emsPn oares siaca Objeto de la ligica de enunciados os frmalizat y defini tos juntoresy esta las lees de combinaciny deduscin de tos enuntaus fundada en tales nexon. Ala fogiea de emunela~ dos a llamamos tambien, mas propisment, lisa de conecte ‘A contimacién rocedremas al examen dia no de fos com recioves, cou vss In gonsroclin de un Tengu fra unciados cwjas constants sean, justameni, estas partcuas A Tos elementos variables del mis (los enciado) Tos designe ‘mos mediante ls leas de alfabet en minsculap,gr Ae tas ets les daremos el nombres lems emmetai 9 pope clonal, 2 Negador El imtoo «-w rece e nombre de negador,y pute sr consi- era como la tadocion a lengua formalde Ia patil wo 4s engajeoninaro. (En fs Principia mathematica ssa com Simo Tate «=n. A adosar el nagadora una expesnenancaivacutguira, por ‘empl, ala varale op reat ef gacon de xp, ‘hese lee eno poo wno es cketo que po owe so gue pm ET negador vee, como Se acaba de nda, el msn sigi= «ado quel parla no del lengua orn. Al neg un nat ‘lado, noes inten edo que exe ena flo. See Jame fincin guard un eet precio co a el signo > ea Sera ordinaria n enunclado es vendader (sao de eda po sv) ngucln es fe rao de vera neatv:y lum em lado e aso (valor de veal negative) su ncgacion es vedadera (alr de vert posite) {Gas condiciones de verdad de nega se pod epresntar ‘on una tbla del siguiente ne 2h Fly ‘Le columna inal ecoge los poses valores de verdad de un de- ‘erninado enunciao,p, La eolumsa siguiente indice los valores HLLENGUAIE BELA LOGIE » de veda que corzesponden,consecientment, ala nega de se enuncado. «Vi y aF» son abeviatiras de wwerdaderon y salon & Conjunor Er simbolo sibel nombre de confor y pee serconsi- La espn ate ecco implica is denominaentecolete,y gue e ce,2 oaHen smonten EE senido del implicador es el sigueme: una inpicckin ex endo sempre que no se dé ol caso de que fants et enlader yf conscvente flo» fala cuando ee sea ef eat, Lt Jipleain es verdder, portato, cuando amos exten ot ‘eraderos, cuando ambos son flsos,yctanda el pam es flso9 cl sepuno verdadero. Ota manera de dei lo mimo una implies ions verdana cuando su anacederte cfs o cuando st conse 1 caente x vera. jel sea 4p» un sinbolorereseratio del enuniada «3 es mayor que 2 del que sabetnes ques verdadero sea uh se bolo represnitive del enuncia wa Tira ex onan, dt que saben’ también qu es verdadero En es ceunsanci es lan sue des cuato implications siuirtes L poe 2 pone ae 4 baa, él la sud: «p+ — pos fla, pus slo on cl, ytniendo ‘en cent ln iirpetacin etublecda ede caso de que cl ane ‘eden sea venro yc sonsecente fa, ‘Las onions de vera del implieaor se pueden seu en Iasigui abi v aero vv] v vel F Fyi|v Fel v ‘ln occ ee est, tad i [Bi pede cane tsa os ur ecto pn dev de a soe a i an ‘ers doppia snus nine an eas se ELLINGUAIEDE LA LOGICA say tim td data oe de rt = Sesame as tyes Fe pate Posing ur se ares ca em onan “mcm oar empl en cow om rs Napa, ete OY ar , a formalizacin de wn agumento pad se ex cst Tinalmenterebendo pinata ere de premins epadag for comisy despts, at el dat, a cnc Elance Gets lose ese Poraanpke To que se lee p> 4,4 > 7,9 dan Iu aw a sigue ose dete dep 9. ry D8 ro convene repartee hecho de gi a trea de una tora du deci nose reduc a In Frmalzacion de aumentom ‘or tals caven a mera esevtura de ellos en ferma snbulica, Te ‘es capita dela igen dean cx amin estoy Ta formula hin expt yriguosa de as elas que goberan la operaciones ‘deducts Ess rls reciben el pombe de mat de ierecla 9 ‘onsen, en nueso lengua formal igen ltr en de teri fmals a guo se sii ent § del Capita ase lade rasformoctin de frm). ejemplo cto de argument se basa en a soa rela dc tiv. Bsa el, cone ya ded fs estocos, gus fos medieval Iron mods ponens,¥ ques pon enuneitedivisno: 9 de tna hips se sigue una comscuencia yey hips se da, on tances, necesariamente, se da la conseencia, La Yormulacign de una rel e lnfeencspetenece al plan de metalengunje que no exclye, epin ya sao el empleo des bos). Una formulae precisa de una ela de infetenia se pede easiruir ilizando variables de Tamale smbols ligcosy Presentando mediante uns line horizontal erin de os ance ‘ems veauado de la dodcsion, ‘Aso exquema de lov arguments de po modus pomens sera Ase A a A una rela asi formula se fe Hama enema 0 fig de de ducion Los squemas de forula gue apres ei ea nga hovzontareciben el nome de remiss de ae. Hl esguems de ‘mula que hy dbaj de line e Is comcast la ela. Eta eal el orden de as premises es indiferente BEDECION Y.CORSECUENCIA o 1 poso de as premisas cosas en un rep eb re de nrenc media. one wind a session ep: poagrnpen usta dl mismo mint arg mas ones ranscure a renin sy ey na prensa s repre gs remin yerens pra pete inferior inmeiatamente por dba reg: in del ov una segunda fase eatin uel emis sesund Zant jonas a ala ete ben 4 suo ors ope irs ne cory Get eae ee dace pen ane ian) em Eee ce eal digs se aa ec ne win icra be “fetes accruing se et pope mea Sol Te et ane i anos ‘lies yams de Alta ao, a,0 bates snamauicn Permit ifr por inion means: ‘ques la contason busca 85. Comecnencia fica. Teore de a prt yuri de melas Liamamos, como yas a indica, comet wid wun a ‘mento can noes posible acepar si ems sinters Et ‘las Pa se pregunta pore undatcnt de Ia ela dee recia, que nos alia a acetr en exe cso a onclsion,f o ni des Kgs es uninine. La eo ran de ul Fer dun argumcit ets ena fora tonserva su ago x Ait, Peo i se quiere preci lgo mas la vests esa pregunta Fos gios actuate aoptan dae pespctv, ay quienes issn, por uta parte, eo I srmccin oral de ‘angumento, Pa clos un argumento ex covincente en la medi en ‘ques sia a fs regs gust gobicman i hy un smb mc Hingis) propio da infec sc dedustor Meo b fsa es In perspectva snc en ls explain de xtc ra del argument, defends por bert y Geneen 9 coneci por el nombre de ora deka puch ‘Oto opi, por el contri, que Ia ewes no ede frm, sino de foro, que no es en dina i core sin la valde: Jo que mis pri y que esta se Tunis en Ta noon somatca de senda. Un agumeco es vl ean 0 es posible iain ‘undo o model en el que ls premises fesen verdad Teco ‘usin fas Fe eve contenido de cin semdntca de come ‘enc lien, que pode reeset gricamente meds 1 Sntolo metals Sila sits esta pte de I semivcw (cori de los signa) ‘ques dcp de as laconic a semi se ine por ls relacions de Tos slams con sus sigitcadosy con sf mundo ATs pespectiva semana en concep se ox tea montos, fends por Gel y Tarski, sla ama fori de males Tl caqema aljnto stra tas relaciones etre aba perspec- Desc ig ie ny, aLOGICA DE ENUNCIADOS (CALCULO DE CONECTORES)- cAPlTULow TAUTOLOGIAS 51. Puaconesvortatias i este capitulo nos ccupaemes con mis detenin, deseo unis de wis eT gia de enunelads, do ay noctones sem de ncrpretcion veda goa ya cabozads en Most ‘Sic a eng foal ‘lise acl decir de wn eounciado que tee valor de vedo positive vera, y nba sya, Representarenos por Vio pune y por To segundo ‘Su eu stim,» emengmos en sure vor de venta ptt, Dies enone aos ered yg com T= ‘St ees ime se hoover chu Rr ena, ‘Sex aba und vn rolcala’ p> gy comengames en auibur ap valor de verdad posiivo ya neat. Sil sor ene neni preset Ia defiion de! ipliadr estar de sewed {qe pa ess infrpeacin a femal molecular en custion se Kvete on una inpliseion do antccedzme venadero y conse ‘tone flo y cobra, por l,l valor de verdad F Habla en transmis genres’ or Lgl decomectores es paste dterminar eactamente ef valor de verde de wna formal ‘molecu a pari del yor de verdad de su components atm ‘input que una vez ao Informa pertinent sobre es ton datos basta cn spirale mismo las operaciones indieadas pola defini de eda eonectoe. vente soto edie qe las emul de ga de conestores son fneioes logics 0 mis expeificameat,fnciones de verdad ‘rfuncloney veri, dando enter con al nombre gue fs a Tore que ents funconesadopian sn valores de verdad concept de anc era al ver eguea alguna alr wei ade ion yf is epsilon76 oetes smanauicn ‘Pone en correspondencia elementos de un conjunto (I so © ls formulas ligadas por concctores) con elementos deo cot a shine ‘obtener un determinado valor. Elk i or comin funtor denotativo de la operacinligica consistnte en la aplicacon, ‘sistente en La aplicaciéy del implicadar, y convengs wed ‘soe veadepse Vy chdeg 8 fey Fan.a-F sie. "Speen, ethane, cd ud to ml ‘es con el resultado obtenido después de vas variables py sds murs ean 1S rn les ei et na Sd ‘igualdad es una fanci6n vertativa de un argumento, cuyo valor 1 signo contario al de dcke argument el prner cab de Seeing cs afin vera de do wee a tiene ef valor de verdad positvo cuando nosed el ea deo Price eho ena a om tee msec es ‘cera €s esa misma funcidn, teniendo esta vex ec oa ae angumentos la funci f, = “somone se e F aaroL0is n dant tax lama tala le verdad (véase Cap. Mh, § 3). a i iat aba enibe a condones de ved ta fein nes Efe weave Cap. 837 eo ve Ea {cata tra tbl exhib conjuntment ls condiciones de verdad de [eS fnctones estas corespontints Te conju, Ta ds ‘nein, a inicio y a complica pg pag pve _pog pea vvvoyvoy iv VER voF & pve BREF FO WY ca cont la tabla de verdad de ura frmala cualquiera de sugiea de eonectors, onvendel poner en pict Jo sigue: 1 Caleulre meso de flas del tbl. Este ner 5 cola spar dl smo de variables ehuncaivas que irvine ‘Seis rmutas ar n vrs srs el mero dias que it Se constr a abla Se Comfecion de columns inciales. Una ver calcula ot nro de linss se enceran con cada ura dels variables (por Uren sbi sno poeede fro jor) senda columnas gue 5c in as inciles dol ila, Estas colummas iis se deicarsn, fies por inc, aa distrib sistemitica de as eombinaones Se Toe valores de verdad dee varia, lamas abun veritas cada count de sigaciones ds vera eon de variables counciatvas una mula. Se, pv lemon Korba p> gest firmul, of gu es 0 miso conju desus variables py g le comesponden cunt atsbucio- fee vertatas, saber” ores samauicn aa 2 Confecn declan ines. Una ve dstrbuidos on bs cura incl os pts ales deve dat na deo afl en Sis components prints y ee ooh ‘yor sta Tegra imu grad ao, dau las cle ‘aber or olen de spin en lol geo a son una mess cfumns fi ders Cat md ee elo us abi iodceno en ca ine valor uc src ta firma que fa osibecesaponizndy gus as vars ieee a signal porta auc veri dela nen coerce "oo se contin de a mista fora on las emul de rad os 5 sesame <4 Concion de cola ial Be este mow fina co- lun deca gan eae pi fama aa ase eras po mas complgjas we iin sme ites cu ned I alos qu scarp de wa con ns ‘sigma en coh sete sx componente, ‘A contac siguenunescunossjemplos dels de vere Aad de funciones eds vibe, Hlemplo ts (a4) > (9-»p) P49 p39 OP 09> 649) vy Va Mera v Fove ven F PRY ¥ v Wjemplo2s (p> 9)at¢p Pa pa ep wranwesn vvov wv v VER ¥ F ev F Prev oy v raonocias » Biempbe3: GPDACT>P) pa =p ~9>9 74 9PM ACIP) vv VE BY rr srbuirsisemitcamente as dita combinaciones de vat ese de wre frm sai ode ‘cleo ia vee ac hye fama tied ia se cons a primera cola ideo por 2 amen de fiasy colocendo el simbolo Ven cada casero de primera mad ye simbolo Fen cada easier dela segunda mi- feta sei ana se const en don ca ‘tio fas oben pr meas en i Athan eens ste, eon fone ingert os cols cen Vy Eee deren ca car simple- om de ei sera Vy Fa ane i nay nn eo tno, de ocho, disci, een las, ‘siguientes, de forma que la Sins ums ce tn dete tm superior con Ven todo easily oa infor con ¥en todo he) Hlemplo ts Aig 399999 4v9) m4 pag pagot save p Vv i v Mi v v0 ica smmouicr Hjemple2: As apo aa)atog p59) BeCpa9 escqo Deiapaan AsBacoD pa rp 9 wr BC D Bac B. VvvFr FF ¥VV Vv VvRrRr RF VVv¥V ¥ VEVR Vv PVEYV & Vere va Vevey V PVVV oF FOFVP F PVR V F VY EVV F FRV VV FVEF F Reeve vs Vevavey! Vy $3. Rawoloias Si después de eonstruir a tabla de verdad de una rma se ‘onsen sti cola de dich abs, se obser que pueden our ds cass Ties: 1) est columa const so de sinos V; 2} exrcolimna conta slo de signa F: yun cas intermedi: “en Ta column final Bay signos Vy sgnos F, inistins ‘Cuando acount Fina de una abl de verdad aro marae tlemente el sgno Va formula analzada por esa tabla rebel fnmbre de tego Cusndo la columns nal aera slo signos Ee formula en euson rece el nome de comrade. fiando on esa column aera indsnameate fos signs V con fos signos Fla formula correspondiente es denomind conagen vere. rca erp ch Hoa ve eyelet ‘ous " sia, Sil esto cnsrye a tabs de verdad maa: ee ee afl, pore et n read de ute das eats ie stl x psiemens, nnn cea de sot Was cones Us defini mi guoes dee sas amv obese co sud de acon semantics De een mccarthy {clon ott Wat Bal tg de cere deeming uettad tone cam es vor para ed HSE: dea ai iba vest sae. se tonne i ua no vedas jo rnguna rect congo ungnn asco venta In sate. L8 cot oe Milam a popcin de alos. Fine adc Trade lope de conetres eu onic re tages cons 5 do, do abn vrata a sass 9 or ie wo laa Hoa cs emnciado anal, 0 Jicmente vere dco sped a ives shay encanto se con aky de ces caiacn m aati ssaalinysnembere. no aac. a eee yn sms sco pe "ee Seeman nl Ea as Sepa lata tb wo cho Por emo da im® EbcicA scntcn areata mera age unos Reman x uch (oe se dati ope ‘Sete tna none tes ope 1) Foe gear apc a ey Be hnesoio (vate ti $4. Inerefniilidad Los enectowes son iatndefinils, is oman como fas le ‘endorcunlquicra de los os tes soars ponies (>) ‘ula pole defini os ds estants En eau de fos ino, por suptsto, srs tambien deine el complica ‘A connuacion sigu ura relic de eyes seria de iterde- icin. Cig dels e cnpruch ile ama lade seh pen ecimplicadryectuando I compte nde vert esl revel qs at una aa [Leyes de inerdetincion cou base 6 AVBS (AaB) Definicin det disyutor en ever Definicon de inpcador AGBS (AaB) n> (B.a-A) Dein del compiteaor ASBSASB AGA) Defnictin del compli Leyes de inerdenicin can base v AaB aay Bp aSnecad AGBS AGA BY Swe Ay AGBS ASB AG +A) Defincin de oimplicador Definicin dt iyuntor Defiieond mcador Defic de omplicador ‘Leyes dimeric com hase AnB= (o>) Definicn del conjutor per veae ey) Deri dl diye sauroLcias © AvBe BoA Defic el disyunor AVBS A+B) >B Defic del isyutor AVES OMA Definsin del isyutor RG Bae (AB) -» (8+ A) Det dl coimpieador AEBS ASB) AG—OA) — Detinicon del coimpicidor gene th nd i te pest mpi eh Aes tio nt Bn naw Ala Awe Ale, cumen ate ReneS, time CAC a9 ASS SSMS AN Lun ce tein sin ss ol ing elise ts on urn re eg ee ae ‘rege remy ag i ps rt ‘Simao sep er ple. Sexitienay 978 ponveselov a) (ein impienormes) SPlesinea _ etmetn nln Sree aman (etm ae Fitton talon deimiweiot‘Sink su decomp sn bias Sel pa deiast A B= UAT By eer SE Soe AD AnD Avs AB tem Alp Alp ‘uv dest planed peepee he ‘ata ome kp apenas or re oe ewes “oti hence | “ ‘tue corresponded fone Ft eco comeeen que ens ee ST aes a SE St ns ini ces ree ee po Bute ias miele teres ees -rauocodias 88 A DGB 466 CEG B MA hh Of ts sain rina voces ym is wd sa ons necapiruLoy ESTRATEGIAS DE DEDUCCION NATURAL $1. Prima Ten ete capt seincia la exposicidn de un sistema, tio “Grntrin txt de cdl de dolucion natural de conesiors Tata revi dell y ela de ineenia han si tude Capo IE gua fomal cea pra et {Risen alo un segment o estat uy edad det lng dep sae ecnexpucsts cel pada 8 dl Cpl I La bin o> Reiss encl para A §3, de ene mismo cata Cagis qe al a lsman Msc, y as eles © ays tnd el lato‘ hs cho sslesconadas por GNTZEN en 5 f- ‘eke aibucon de 193 dos praca un de fs eu come Sin replies en cvs introduce en su conus un 6 cto qv i aparezzensuspemsah, sr wha ela de ior: ‘Mele mismo sino. ¥ sein ch su conluson un nestor "gma mes ar on at tsa res nee 3) en ac cue e atardGsceme susan et Uv tec St eee ine ci geews LOaicA smcnten sue aparece ens premises, see una regla de eliminaciin de ese ono Po ejemplo, reg AaB sum reg de veliminaedn de conjumtor, iets que eg A ava una rel de sntroducin de yuntnn. Acad uno de os ca ‘uo canacores iad correspond en ete clclo na ela basa Ae nreduccin y tad eliminci, ‘A contnuacn pesaremos al ext detalldo de cada un de las reps ives. Seguird nego una abla de las msmas yuna dis eas des empleo eon apiactn al andi de angumentos. 92. Repl hiscas de implcacin Comenzamos el estuio dela rls sca del sileula deco ecto por ls regis correspondents a iplicaor De elas ex pondtemos pment la de elimingcdn, con lt que estamos Jon fant faiirizados desde ol Capt i Reglede eliminacn de mplicador. Lawl de eliminacion de implcador ne la siguent ests Ase & a ¥ puede sor verblment enuncia a: upussta una implica, 9 Sapuesta tambicn I frmul ue hace en ela de arecedente, pac dese afrmarenioces, ndopeicnemens y por separad a ‘mula que hace de omssevents cna fra mpliccton Et efeco de esta rep xa ciminacin ool dl iplica torque apreiaen una de sus peri, dea el noe de re la de elmnacon Je ipleado, que abrevinmos EL Pe ta tien ue conser como ft de dc elt eco dave treet dea mpcio, qo so encom ene ina Seamer el esd sere J tl oni pars Po conser © spades ch a concls de rea. ae ade axa nb nomi de elo de saci orf dis, sed fa sein 3 leap treo wer gp Figura se ea deeorar no es gue see poem gen exis En tncin 9 hoa Sess tre ann por sites Ti gemplo igen Siet Sol Ine, entonees es ded hast qe el Sl foe; Itcgo esd dia, cx cabatmene un agusato que Se Fonds en apiccion de I thar. eg de nod del inpicadon Supine au to rahe hoter qu una derma propsiion se sige de ura ‘Goorminaa hess Es intron ovo gue eta e850 6 Sacciconsrir wn inion que tenga pr antesodeats es i= ey pr cmseeacne Ia proposiion ments. ello esponde [gts J inroduceiin dl imphcador, cy estustar &: B aoe la ordi eng a ess cio Ay de la 5 to a ceric mrs oer A> B. Uae m0 Be gases eden depen y seeds tl or de ded, com bin sar ae un emule Se ela tas «HRN ‘adept cardi deve aig bt A Sttye como segura onde, wt he ic de cml csi sin cuales pte ge See on lmtp canesad, cian pos a Goede de nyt.0 Loatea simone EL ws del teorema de dodaci revit epi iter a fa selucn de squlosargumentoscoa concn ay de ser in plicacié, Porque en ex eso pede defor supe prvin sutidiarment cl anced de dic inplicaon 8 Prt de ‘ll esata ple nbn el nsec, pase dae por ancl Insupesiin y pr conta amps de gu te He agul un ejemplo qu sve de iasracion patel eiple de las das rps sen de implica. Sung que dese esl vere! argument Pagrnroskpags {a dervcin disci a ypaa-or Spang MP1s 33 Mp2 Gpaq>s 13S Las dos primera incas de esta devin som os supuestos remiss tncaes y leva cadn una ligula eerespo iene area distin. Later fiend la dria & ons ‘posi subir intedida can vis eric de TD: pues ado quel conclusion duc ex unt inpiacin, abe dar per ‘mero (provisionalmente) por sapuet al ascents de Ta isa hata lngrr fs oberon del consent, Extn fre ie der irmureadaiiilmente aa iguitda conf sel en esc. Ls Teas 4, $y 6 se obsinen por infeencia lige fs anteroes sdeahi que su presencia pda jute alc, eel coment riod dere Ta ela gue Ls juss los imeros de a reas de detain «ue han servi de emis pr To apie ‘dels rela anoiada Asia fnen 4 proce del incas ty 3 por ‘madus ponensy alogaments laine 5 as ineas 2 4. Peo ta ine 8, otanent, cl consented mplicaion gue se ‘sea estableee Cabo enionees spel al rela corer dee ‘cen, consruyendo una inplicnein ene la fra del nea 3 yl rial de inca dicha plea ca ins eye ira significa descarga de a sposicn ssi, Eo eh ica: en as marca agtedssarando ta lave que pong en en | taco el syst a descargar co as i pei su deen (erase eta inea on lu comerani dea deca spot {Gast ites PD gue no sons ls penis 3 y Si {vel logue compendia esse ono 3510 seston. late es amarillo ys me afi tambign que cl chm es verde, uc afiemat por mi parte oman d aba proposcions faut es marily el loro es ved Lestrade rela se esquemati a in Rab jroduccién de us| Bs evident quo efteto de a misma e a ink conjure la eonelasiin. En los Pracpia mathematica vedio 3 (Strep el nome de ay ba pxooucTom. Par signa ui “aremos au indisiniamente come abreviatuns IC (noducion onjtr) y Prod prod. Regt de linac de conjuntor, Eta iver de I ate- vio eontanes por as deco, a atorizacion pare ps do todo2 baie smmouica 2 es son cone dos ppc por clare es marily loo es vee Puédese introduc icant x el eto afrmavi indepen- Ait 9 separada de cualquier de los iniembns que componer espns, e dese ets pie afar esto sempo lazutces amailo clo esvede, 1a Figura coresponinte fee dos modaidads distin s- sin gus conclnon en donde de donde dear e cajun femads pore! prime ol seundo mit dla enn Aan AaB a a flo sian en heir a acd en tn ang He Bp nea ee ambi el name e ela despa gue ares ‘Simp (con los corsespondicntes subindices), te $4. Repl béscas de dancin Regs de ncn de dur Et smart apts irre sda nei hw ‘dls por una feria mvs pr sce ocd de siete mtn yr mg foe (ta onde cnc, er Ao ann apne 8 El unent o ees o as mtan A e e ate mc sin od ean yr oes uke que a, pone yume oda bign und firmuta verdadera "edouncen cen STRATEGIAS DF DEDUCCION NATURAL os Et exquea de esta rep admite dos moda din, e- si que formula aah Is proessene sex el primero 0 3 ‘Bando nbs dea disyuncin eu: oA £ we ave ilo se explctarscomenienemente en las designaciones abrvi {in mmdiote fos correspondiente sbindces. Ta rela de nro ‘lsc dl sunt sel llams en los Princ mathemarca ly \Tsaicton Ntenras abv sane HD © AG DD, oA, prs ‘merengue HD, o Ad parse segundo). Regt decliminacion del dsyuntor. sta ea ofece mi iis caltadge as anteriores, eige un mayor nimero de peti Syn pe pleat sw pen ae ‘Su sci esl siguint: suns nile una dynein, atoms dierent de fo qu socderia con una conjunc ‘o's tea pinepioavoriado pasar ala afmacin de lguro ‘& sus extents on pric Lo que en principio se store def Sila le end ua dsyetin es que ubo al menos de 8 Componentes no se sab el verdadero, Para determina cui Sere que eetvamente cumple al copdicn o x mos la ct ls acseguere nieve infoemacin, Po ejemplo: iaginese que © pe de uma persona que vena Madd un gia determina y ue ‘Tati de Tocomsciin empleado por ela ba de cr el ten o 6 Sido pero inn tr. ba i supuest, ta disyneion: «verde iano brains es, sbviaments nrdaderi pero la noticia de est ‘Grd wo eto afer sn seu Se fetvamenie el medio edo Sin embargo, aun edo no se pueda pasa Kgiament dela ‘wa de un oyna verdad de ningun de sts exten 0 Duct, abe apelar un recuso, utiliza informalnete deste vara, que conse suponer cada uno ees externos oncaritr provisional o ssid porscparado. St del iis ‘Sad una Ge esa dos sposicines se ctuiese an mist este ‘hanveto guest devi quel sind se sigue lgcamente de a {Tajunct nical, aunque sotinicroseaecindo de informacion regis area cde cals sl crmponente de et dhe cumpa I e- {iso de ser verdadero. ¥ como la coelusion as oben e indeos s0eaca somnouen pendente does inforacin, fos supuests susie ulizalbs $Mefeto poser sc cael Para Gonna con mest anor cero. maine gue d= seo fener un ete come iar qe ven a Maa ye esa ‘Sureviafenga Toga mis td de Megas: agitss Ino apo me pone inion aor em lcaiocnefectvamet lig por pos avenge el {hid ep a primera hv Toate yt di tana. Entones poe raza 2 ‘Sponganos que a lio el won en cao Hegara mea naan Madi’ sori pole ener co la ene en fa take ‘Seca mismo dia "Ysupongomes ue ha cleido cave a caso gar a i> sr’ rr hv dea ana tombion ser pose ener cn in etevist por oad, Por const, ecu caso ser pole tener com a conveys prs ae ale onamient se apya en un conocido metodo de racba inmate por cosas, cya maha puede resunise ‘Seu dada va diyuncn Aw B Sepingate A: etonoss ave C Supingane B:entonces se ig C Eee, ve ftuamensy ocr ora bien dese proces: in rpla de ciminain de syn sel esqumna neo ie 8 | ire c Los supucstos sm subsiiatos ydeben se cancelados, po en signa ancy dl estblcimiento dela conclusion. La elinacion Ae dsguttor se d, de hecho, eal cones de ae Uae STRATEGINS DE DIDUCCION NATURAL 95 vos conn avers par digo st: ED (lina yun tony cm eam) ees anda, coms ver stad, amo pros ian spunea deme $5. Rega biscws de negaion -Repla de itroccin de negador a eg de introbecin de epi sfana e ia ifen coal dl cco, euya base inti ee de qe un conradiciin es adil; tos propsiion (Gus ligr ll debe ser nega oe Tetra dae es camo signe La proposciin que dé ugar 9 la eontadicibn no puede ser aun, Soke uaable, ua propescon ace, io so provi Stace pues. Tan pronto como se conse laconic, aan dee set noe (con lio la suposiion descarzi). Pee"assgnar cas vel alizaemos a areviatra IN (nto duet sezen). El os de a ela IN cobras plo sentido en ation un dccton iret 0 por redial ah, de Into vine ser prostarnene el ne. De redial absurd se at deteidamente en sess 2 adh Capla lt Come se reco as tapes del reducin a su on sgt SES LARS sh son ier a ‘aes valence ein Ca ee brane teri 2 sa cto Wc page gu sama V8 ln,% 26. sno14c4 1. Sesupone a nepacion de a coelasin qu dese bene; po eels la conclusion deseada es A, se sapne A 2 Scdoduce 2 pani del supuete ex deine A acon. teadieion, por gjemplo Bs B. 3. Senign el supoesto que ha dado lugar a a contradict, 44 Se cables concuson desc, La simple inspecién permite comprobar gue el anteriores: qua constituye Ta base de Tas deduccones posal a ae Sudo. Por sta faba denominareme arvament a rl IN tambien Abs (absurd) Rogla de sliminacin de negador. Esta veg apes reir co- ment. Sets nel dato, tatralment nin, de que Per men algo es tanto com aftmata. Su wo penitepas dla dbl nexacon de us eral a a posi atm dla mia, ‘sie do A Susie comene una soa emia A a ‘Acta reg I lamas tabi de dole nega, Sus eva ‘assed, covelativaments, EN o DN ‘Otsevese qu, pr el mmm, no et aorizado ene ilewlo paso dedotvo contra, que va del postion dena formula ‘uldoble nepacion, (Ete paso queda estabeco en leapt ‘ule en fra de un rep dra) ‘eared sen, o's a sens ee ym ea raTHGiAS DEOEDUCCION NATURAL, ” ‘Taatal [REGLAS BASICAS DEL CALCULO DE CONECTORES. (Genet, 199) pr HAiMNncOn spas NT RODUCCION vats! 0) ron as A reerwe re; imp) C,H) way mca rem xo wom* Loates sinauicn $5. Drie in sos ee af iat ‘Sain ima un cenp Roun desman nee oe ese nite eels = sie ese ee ‘eine ewnca) Suns nee: Deeg too dion mn cnet ere A tis aa rs a cn fo Utes ge mae eval © same oc de Eioncms erro) nendteeBt at opae r ‘lt tnx pp oni res dlc de AoM0.4om AEC cms tn ee oy renin crepe i in lt ESTRATEGIAS DE DEDUCCION NATURAL » aro ea lin pom Ve > pie dn emenaietio dee Sista lem mae ees a tes alain deere romeo SESE to ms mn es er ‘ci Ei ecto itech notre100 LaHca smenouicn a mnie, marae oo Sihaare ae ana eee ass es Teena naan nacin gs Soebletueter enema ermanroae ugeeget nitenynieeeetatiana SESE evar anaemic ee ee Seco Seam enacaaies maeraperameee ane: Chiesa state cee Ebbtemrasteteeveamceren ere sees terh goal ote lone {ican nme er in coro Ss pein eis ein cpl ie eam dc ora, Renton an iti tga hp oP ae 0 | | stRATECIAS DE DEDUCCION NATURAL Hipagn at meas i ee ce ies ee orion ee eum eeu a elbow ee eet ty sae desi 97. Replace de anguments 1 ode as reas bisa , en pinpoint par re st a eas ecm dedustivo que tet sosion engi Se eo ifs co conerct de cas regls en esol de + ment pd tenes a siguiente pla oor tga hay su asegurars de que afgumesto ects it tame formula, Si se encuentra expuesto 2 Tete eS Sttocnate ses convenient tau a Teague =m Heo "Un ver dspestas en camnay debiament mers tus Cen iil neta exc de las or sca tas eats Ta contusion 0 Rxnlas gue os aprenien & ola +) Evetalment,cabe el eeuso a supesiciones bss ei dia: Thm ri potas dma xis Caio XY1a Lies simavien 2) Sila conclusion fa frmla que de momento iaterese ‘lableor tone fa estractrs de una impictisn, puede ited rs como suposiciin provisional el antecedent de ta misma, fon to cual se reduce et problema a obleaer el eonsecuente de tila y tuogo etalecer, por teoema de deduction, Ta Terma fsseada, al tiempo que se descarga ol supuest, (Si el conse= ‘ents co cust fuviese tambien la eatucture duane ‘kim se podria suponer también su antovedente cm To cual el problema volveria a reduces al dedusein down concerts Inds simple que antes, y ast sucesivament, mena nos halle ‘os frente a mplicaciones,enda una dels cles quedark des puts estableida mediante Ia correspondiente aplcacion dl eo fom de deducidn ')-Sien las press a tila figura una dsyuncid, edn provisinainente por sapusts eda uno de sus exteos ye ‘He de deduced cada uno de ellos cosas formals Que demoments trae extblesr (ra oes). 4) Siempre gue fallen tes iets cae recur ala ded cineca se tapos proviionaimente In nagacn de I r= Inula que interes estblecu so intnta exter dees nega na ‘ontadccn: el earn de ea contac nos proparioae ‘Grmuladesea “A continua sigue una sri de empl de reslucin de ‘numenioey decciones mediante sl emplo de sels ses Janos Hjereico 1° Formaizary resolver el siguiente angumeto: Sino hay us coal de macimientos, entonoes pbc cre iimitadamene. Peo sila poblackin ese iinitadamento, amen: trae indice de pobreza. Por cosiguiets, si no ay enol dea nea, sumed el indice de pobre, Formaliacin (Pay contol de ncinentos 4 la pobloiin ees imitadamente, Fauments el fie de pret nen gsrh por _STATEGIAS DE DEDUCCON NATURA ns snpog HN rake 4 aris se MP2s. opor MSS jericio 2 Resoher el siuiene argument, prarnaonroshpss Desivaiin —1poava a 240 : anos eae | Save mes a MP26 se MP3? Wor MP 39) ats Cae 3,68,9-10 pss TAIL ‘SRM sem pe cay pe nna ri inn ‘SE amt nae st 9 citer gist ein REO psn ins, mine Sees de naa nse maa a ERENTAIEING GEN Nous emu act dese Cn cacti Some pe ms nin104 Loaten smanauicn jerico 4° Resolver, met ol mdlode de reducin al ab sudo, st siete angonent. porarsabawan Derivactin 1994 arog Spar 4p Simp, 3 sr Simp: 3 ba Mpa a9 MPs Sgang Prod Span Abs [jercici 4? Demos a siguiente frm FON AW AI AgsrAN” Leonaue apne ape simp, 1 4p Simp, 2 Sr Mesa bye Sie 1 7 Simp: 2 us MPa Star Prod 58 lOpag-oras 2) Mpons@9>@agsras) TLIO seein et aca fo cin te seri gente Ln Tree meee jerelco S° Resolver el siguiente anment: Si tos jivenes socialists alemanesapoyan Brad, efonces renonlan ny peograna de Tevncacines. Y si eOmbAtEN 3 ‘Bam cnonces Tarren a Straus. Per una de dos 0 apo 3 Brando To combate, Por consiuient, brn de renner 8 51 ‘ropa de efindiacnnes ovo Sia Formaizaciin [Atos jvenes svat slemtnesapyan a Bra Ren pbvenes socialite runcian sus revineasionss C-_fbvenes seis alemanes combate Bra FF lonJovene sovaisas lemanes fvorece Saws. AGRCORAVE b RYE Derivetin vers 2eSF Stare [ 5k MP Lt ROE Aas a [ SF p27 ORvE Aas WoRYF MP 46,79 re ie ee ttn a je106 Loaiea suancsen jeri 6 Resolver siguiente argument, Sis ges mia ont, ps sn ‘enone nano prone de eg Sn, Viumeneias sf i in i a cr a sso gis cmos mr de moo i cg, hoon gies fr tec Ss ses te lee tenga nnn volume ea mins pen aan JOHNSTONE, Nacwal Dexhuction, . 68), " Formaiacion tener a sma emerat: toner idéticopromedio dene sini tener olomenes gales " ‘ener ef misnomer de mcs, tener rosions gales: teens TOBVOMMAESP B OTAVOP Derivacion”” ~ tre = avoM o iMneoP atav st Simp 4 SE Mpls v Simp: 4 aM wpa DAE Prod Loe MPas Htavor Thao seca Mee ek ot ei a ‘Rother cn poses osc StHATHCINS DE DEDUCCION NATURAL (Greve amcipaiin see! uso de regs dervadas) La resolv de arguments se fiiay brevis e aden ss tas rola bisicas ya comoeidas fas nuchasfundadss en lls, udhaches por exo el none de derivadas. Dela noi de reat SEASINY Welsisteme total de plas dervadas pos el eeu de ‘Stowincs tata dtenidmente et Capitulo VI. En esta nota = ‘pela ao una seein de an mds les algo dels ‘actmptctamente formulas, con un pr de cempls qe perm {En comprar al Ietor ebm el so de tle regs ahora pasos fetuctos Ley dl slogan hipottico (Si) aoe Bat rer Propidlconmutatve conjin- Propiedad conmutta sigur iin (CO anc, AaB Ave Daa Bea Ley decontaposicdn (Cp) Md lens FT) AaB AB Sasa = Ssogismo dsyunsivo (SD) Bena (8) Ave Avo ws aac Bac e Defies del mpi (DL) Definision dl impieador (D ASB ASB Saw, SAVE108 cic sanOusen Leyes de De Mona om) om) Sen Avy aaa ver) jericio 72 Resolver, por duce al absurd, este esquonss desrgumente AS58505) Solin Sin ays de elas decid tase 25650) ipsa ab Mpa MPs Tab 8 On9850) Prod 72 OSG A) Abe Com aya de gl deriva H1nsc 2.650 3RoA [ suse SHO no) oe) Ejerico 8° Resolver, sin ayuda y om ayuda de gla deca dase siguente apres “Tad mero enero 0c primo os compuesto. Si cs com uso s um producto de fctores pros, yesh producto Se Factores prinos ex dvsble por ell Peo a un nimeto er ex primo, noes compuesto, aug dst ors mimo por la STRATEGIAS DE DEDUCCON NATURAL 0 ida, y,consiguonismente, también dvisle por ndmeros pri- ae" Ra an tad mer cater ex dvb por mimes prinos Fomalaciin serie primes © Serimero compuesto FF erpraducto defacto pros, Dervis por namores pens, Ura por mismo y por a uni PyCCSEF SDP 3G PSUU DED Derivacion Com ols biscas Com ayaa devel deriva iPe ieee. = 2058 =1c5e = drop Srp apone Wore = sP3U “5Pou = 6u3D usb 7p Sesp suz3 su Mes kPob Sse 5b MPos oD piri, 7 pe HE MP20 Liab MP3 BB Cast 79, 10:2 pres Sepp i i seam Tee eet ale ices et de pb, con aya ee naa eta cea Scrates sees din qo hen he joven eco atho LOaIcA smaciesen se tric en cm ape esis scotia cesuban decinwaaigeioeds eee {feel gsi econo dome vis 7 TS conossim a uae at ie en ERA sete a ah a aca tin san es (resi hobs a tl a Scns chau is ln a po Tap ge dts, ‘Meo Teg abt coer dem macy san, Sencha me snare a ur net ps qu ye ex cn expiruto vi ‘TABLAS SEMANTICAS $16 Elmo de fos tables semintioas Reglas de inphcac La deduscin consists, susntamente habla, en extrac <é cnclsiones a potir d prema. Peo esa extaccin puede he ‘Genco un dbl eat: 1. Gon anesiteri simitce, que ese que as hors ha pre Jalecp en estas consderaciones. Bajo ub fl rterio el pra Fiend la dodocion el problema de a dracon formal. Deo ti arpumento cualquiera, el mod snctco de resalveio conse tar de oben Ta concn desea, por apicacn de reps {Eine a prt de a penn prs ener en even cl ‘aor de vera det, As, por ejemplo argument seresoheri por derivacin foal dl igen mods —1ps@ rosa ar aoe P23 sop MTA bron TSS. 2. Perla dedusion pede ser considera también com on sitesi semntico findaments do este everio es qu sila ded ‘im scott, bo es posible, por defini, qu las prem ean ‘ovary onchtn fan, De acuerdo en ello abe ens ‘intent de aad ls prema a hipotesi de fase de onclsiony buss in confaejemploo contamodel, eso, Smerpeaion qo sain la xigencis de tl conjunt de cna ‘lads haciendo is compatible Ia verdad de as press con a12 ote sien sed de a concasin), falas de comracjemplo imaliaria, ‘vient ef argument. Peo tambien pucdesuceer qe a bis ‘qed frie ante una contrac, en xy caso el problema de ‘Tacit concusin dl angen a pat do as prema na {es queda resila on soto posto. Et prcelimiono del busca de contrajemplos, que viene a ser ung espe de verién smn de a reduce a absurd, ba sido iz omen don argu para la aldaiondeargumenios ‘ya corecion se poe en ela de uci Peo el hala dl eon trejemplo em alge que hasta el presente dependiapeetiamente ts aa Sin embargo, desde 1985 sea impueso entre los To ‘os, pave ala nvetigaciones, levaas a cabo ssparadaments, fe BW ery LHinrikka =a metodo qe pee Ia Dsauoss Siseitica dei iferpretaein ilar del argument. Ello ba ‘Sao lugar a nuevas teeicas de caeulo que ecen gneralmente tombe de aban sets. st tena Se eaaceizan por opera con un onjunio muy reducid de egg, qe ex extn ima al epertoio de elas ‘sia de Ia dedoccn stural de GENTZEN. Elo puede alarst 3 eves el procs de a deduccn. cambio deca iecevenonte, ‘Tinodo Ge opera con las plas setcas posce la venta dese Svolatamente mosinco y falta, por tan, exirardianamene Insolon de problemas Jedusvos. {Un move exam de anterior jemple puede servos de inro- dscns mo de os abl somatic El argumento on easton pa roe tn in 7 er gee moras "Ee 158 be 0) reese HGR, 96, Ales ee enc iin pei, ami ‘ers me Se "alas seMAnTiCas 1 cons de tes implicaciones, en dos de las cues ntervane ot me ator “Aor bie, imagines ques dspone de informacion semintien cat valor de verdad de em mphicacions. En a caso eet Hacer as ds siguiente inferencas (4) sia iplicacin es verdes, eatonees es que su ateee- dente aso o gue su comsecuente es vere: y 2) a uaa implicackn es fs, elonees su accent es ver adoro ys cmmacuante fl. Et fanamento de ests dos nferencus se enna en a di- nictn ma de plicador, i sipe inspecion de la tab de “dad de una implictcin ex suiieme pra segue de que S00 ‘Siectas Como tmiasinerencie alen en general, para eles ‘ul implicaiones ls pra formula maner de regs asi o aon Sale a aA) “8 La primera figura ence en sinbols Jo exesao ca = nem tec, Spud dswminar la de verdad de inp Bes vinden VD, Labor verte qe sea sex sate ce qu: eb css epe i nro bia, ‘dao gh de ent oe sign cs piepo dos poss eta af menos da ane, nites, debe st ver oon segunda gura resume sibétiamente el contenido de tu scqonda inrenca SeTepucde dare nombre de rep de Festi letmplicacio oh aresatr: FD La dspsiioo {2's rman Aen a veal bu a in ie a cs aa lapecmisa pou infer aa as 8, se esate Geta qe devon ser vrata, ca Ua POC Ssparad. Pur a que especa al nopadr, asta en ener en la memoria larepl bse de dale ewan:na LOH smenanien by aaa a Fuera deena rl, poemos covenirn inerretato sn mis como un inicadr de a fsedad de Ia frmua port nop. A tepueso, por cjempl, a una implicacién, itera gue esta es {ate y doe se somata aegis PL Silo ene, on cam ‘io, adoxado-t mt formula afomica, no srt preciso elimina, sino solo tie nota dest presencia por st antes despus, ene ‘uo de fa dedosn,tene Tog hv afirmcton de ex formal ‘atémica por nepad Ello signitiara haber dseubirto a ‘ontadieon, "En a prictie esta cmd feta mentale, sn ces ad de aotrin,lspaso fade la ela DN, Eo presente ‘apltlo noe atendreton 3 ee ert. As, por ejemplo, ea lar eee PAs Ps 2 ver iva by? oraremos la inseripeibn det paso dos, y ambin del comentaio «qe compa al pant 3, del siguiente forma 1 aAxaPe 20 vc! “Teniendo presents as rps ge se acaba de enuncia,pae ‘mos procder alanis dl anterior argunento do siguiente mo. ‘faders ls remiss In negcion de Inconel apis tos VI VP y DN sexs Reals alae qa dees reson por tl aplicacon cuts veces sea posite. Cuando la spieacin de tia rela arate un bfrecin, come ee aso de VI, enone Sc rz dos lines cies divergent pat do prema oe Fy dio ugar a dicha ifuecion ya ial de cada a oben ‘ccna de as do formulas results paride ese mo ‘mento I dedaceiin quod exile doe tnyectrts diferentes fue son tmutuamens independiente Tass de su comin igen, {Crane curso de a deducién y dene de una tyes com rans eMAonicns us tina on semtdo descendent, eng Intl afiacin de una ops ania en una nea Ta negacn dla mia 8 Wt rir psc ae ends gue ho queda al deseo tn sommacn pnd dase porous, ha 1 So a elas duns pvt se fetia mareando SoS tn mua Cando fa actor de une desi Ape rar queda proba qo el aumento uc se psn ‘Shido os sore, pus qu toon om eaminas ds andi de Tar nar comaictn cho ex ous lars: posible aa aes eta contain, aba seria dl umes pus al comicnz da presse seco sr Ste i m3 Se ne ak ow TE : E saw 9 sg we x x pa i trgetra que va dens pains 16 fy contin cout) reat temectia qc de apres 1-527 88) ‘vain ere a emi yf tment e a resto Soe nine £3.17 93 smtaiein entre ete Jos Hea i yee terminalis. Po ao mento stad sore. 52 Reglasdeconincin ydsumcin ‘ise evtenden a onjuncion yl dsyuncin las reflesiones16 Late snaoicn ya efeeadas sobre I implicacin, habe que tener en cuenta, por As prt, eto uses hecho emis: a (1) sua conjunc verdad, ntoncess dos compone- tes Son venders seeonne 2) unm conunsin sf nts wo al wens de ss components sae (3) m ams dynein cs verde entnces ao al sos de seme ty (Gy a una oyncin fol, enknees sn dos components ‘son falsos, “ : ‘me La simple inspecein de una abla de verdad pas una conjun- cy de una abla de verdad para una isyuncion basta pra abe ‘arestas ctr propasciones. Eas os primes sven de fidamest into pra ta conse traci de dos replas Semantics de canjuncin @ aia) SAB Ass do eg ex pd lorie, epee, emp de sr el como on revit: WC) el de ‘ited daemon (see RC Us pes poe ‘teeta wa ac ana conn a Spe a a te pom a a Cuil Por ello ta apisacion deena ea condace una becion heats lent. “Atlogneni fens) y() sven de fundamen ine pra consid hs seas a o 0 Ave HAY B) AiB Sa “8 Seat, oapetvament, de rl de verdad de a dsp (vo) nol ae fsa de dunt (RD), Le pera (Tuk dna trea de aver de ua syne 5 ive a Tue Times desu componcites, aunque Se igor, en princi, {Sah UTetlon sea De To alcacon de a segunda rela, eh cambio, reulan dou Hea en column. lier recover sin exit en as elas FC y FD as eyes de De MoHOAN $3. Conurucién de tala seméntcas para gia de enmciados ar constrir Is tabla sominie corespondint 8 un re noo, or, unas as prema nics Ta epacion de ls conclsin, “Keo seguidse proved a aliacin de ls regs as distin ‘as promi eto dan sree preteen, metas sea pose SLBSelan ue no dan lgar a vrescion (Fl, VC, FD) Solo de Aided hb aged esse poids se plein fas eas gue hate iurcscin (VE Fe, VD) "A bifrcars, La abla sda ein cn dos subtabls, cle quiet e las eales puede a st vor esindtse en ots dos, ya ‘Meese El aniis de cada una dels sbialas debe ser ‘amitado indcpendicnemente de as otras, salvo eo que es- arta tones rama comin de donde procedan. Stel anslisis de aia tv frmalas pertencelenes a ese ronco 0 aa comin ‘Relea una nueva bifueaton, és se inaducita en ods y ‘Ek a de Tos subuablas, cya tamitaciOn se encuente en mar he iL esisibn de In tabla on subtablas obliga a distinguir di sors rectoras on ol corso de ft dedueion,tantas eventas TERE {P'itoduccan por sizon de las bifucaciones, Usa tea Fairs quearddefinda por el recorrdo de las lineas que UGhapume el troneo comin'y determinadas rams y subrams Sudo las hayar siempre que este recorido ae efectie de fama contin 9 en setido descendente. CI proceso de cons: {Rooeién de la lala se puede represeniar exquemsticamente Ihediante un drhol fgicn La Figura que sigue es un abl re resentative dela tabla constuida al final de fa primera see erga de ete capita. Loe pintos 0 audos representa Tas 1 neat dela deduccionus Lacie sana Tada tyectorin queda ceria o clagsurad fan promt sua tna contain. Et seal do ello se masa una X aj ne rl del recowido, Si todas ls wyectorsan queda ecrrda, xe dice fue a ble est ollmenic)cevrada 0 elausuad To Sr Pica deel agumento aati es vl, En caso ont, eice que lala quads sie, ‘Obviamente, f metogo de as alas no somone pare solver poems de sn Formula ex conssuena dee Ta bn sive pra elas de un Temas iad oo tc, oe set cosierad emo un conelsion de or press) Eel xo do fa lgen de conestor, concrtamens, bla sein mite decd 3 un Tra es no tata, Basta coc en Primers line a nega des fala y proce aa aplcaion de Fasrels a clus de la abla die ponte eesti, 'Scontimcin sige a reofion do una sede sepa, y cjericios, el primera de loseomentad, de tbls sem urs Formals de liga de cancers Ea a siguiente secon consent remos ls elas de este metodo para logics de cuaniicaores, con Tos corespondients jemplo y rican, iemplo, Pra decidir sl rule © 29MG 90 AG> TAD 5.0 no uma aol, puede cme Ia erspondit abla se Inineaanondo eh ina ics nga dee fem ys hen ace seguido apc da el. Com I il coesin 6 ura impiaciin, lec de cla exig pear a eg ‘cone cl ecnsrern seas 2 done si el teen implica, 3, does ni elcome 1 ale F9A@ 59) 9 Aq> FAN 2@onal—s) sepa seas alin 2 se fiers wa conjuncn. La ley VC perite arma ‘a un de ls compongae por separa, con fo eal uct ‘Sons bs ines 4y 3 oro pre teas nepacin tre implieacin, Vase a procder Ia apicaién defn rela note cual econsryen ls tnes 6, donde se pone late tle) 7, done se ga ol eonsecuet 5aoe veo épna Mh cre 3 nese momento es ta is ness 1 2y 3a si yo ia ds elas hieas 4 7 enn reuaegas qe npc bie ‘Sei Cac poe ier do ae ow eal 0 te pur bia es dra efi ta conjunc, Lagu WC pve amar ss omponetes prepara, cn hs nas 8 y 9. Peo hair de ett nase pre ladon de iflcaciones. To ‘rd ahora sto as a He 4 qe es a mpl In ela VE Permit ens day ness nas Yer dda ject, La [mer dels ine 10) pon de anes un oan (ob Finca 8) To cal ite closer a ayectrs din por sass TH A pide pe 1, exper, de ef ans deducv: Sp veo 5g ves120 ten siMmouica Pariendo, pues, de a lngs 1, na auovabifreaciin restate de dnevgr por la oglaFI Linea $a gar al nuevo par Sian 12) 1S asimismo se diferentes trjectoria. La prea de ‘ns pone de maniesto una comtadieion fe ane 9) y per Ine asi crear la tayectoria dein por os lines Ta 99 11 y Tra tna bifrcacin pated ca 13 se base ltd sieidn dea Tinea 7, que cs In negaion de una cojuncion, por invesls FE, Cada una de as tuevaslneas restates introduce nt eva contadcet, coo To cal [a tabla queda totalmente ‘laura y queds prbado que Ta foamula en cussion es una fautologia, De echo se tata de la Tey Toca que Liz deo- ning proclaram theoroma'y ea derivacion por deduce a Fal puede ver en el Capitulo W ceric 4" Decides la mula A > Ao tatoo 1a) 28 ry aoa co Ajericio 2° Deciirs a frmula A > (> A) estat, Eao@oay 2a wr Saws a aa HS Sma ra x esi sila rma jereiio 37 AWA C)EsAYB)AAWC) cxtauoogia eee iin tebe Siceois NL 2y So "companies jdm sno somes, amo dccgtonmennere ee een cso ei pe Mit as nde ingen elec rast seMANTICAS v1 Lat @aQ aA vB)A(AY OL 2AVBAO, rt 3 Mavb avo HL 12( By FCS Bop RSC FDIS x a LaWAv mayo AvBAO) DAVBAAvO, f 3 Savane HU Save yer SAC ver 654 rD3 7 ABA, D3 avs x Wo ADs xrey cic samc Tanaly Reciasstataricas raneron by moh a IPLcActON wl aoe sATB a a8 ‘coneNcion ve Fe mae >1AnB) a SAln8 a q rsvuncros vo > Ave ave rT) an =a capituto vi CALCULO DE REGLAS DERIVADAS, 1 emi de ep dered Las acho rela de GENTZEN paral dees natural de em ciadon san or si solis suet pan solver too problema de ‘Etc mal qu peso den dea gia does. ra prctca, in confor, a resolu dearurentos con fs cclunva gyda de ets regis esta demaiao Fen, Por ello se ‘Reomicnds el recur un procedimionto consitente en anctar ombmciones, por as dca, wrainaraso de aplicaciones dels ‘ples bisieasy consti con ss combinaciones mvas reas © Figs dedtvas qe anreros deriva. or omplo: imagines gus or aiguna ain, se desea cambiar cf nen de es componcnies en ura conjucion Ae Be siend Ay B formulas cleus fll se podria efectuat median wna de osclan que se apy en una sere de apiacones de hs replas inns de conjntor Simp y Prod y gus tanscurira, so mene, Laat 20°" simp. 3A Simpy Aina Pras eros se iene en ent que ste proceso es raiment ve eda para culgue oso Ue eojuncio, posto que Ay Bs fr mu faesqies, pods aorrirnos ex ui en Tro on ‘Sto atadin est arsenal de igure dogutvs ext oT, he ume cho proces AB ak a f st gum deta pode ser comsiderada come una ew sla que no ser ya bisa in donde es, Funda en apm4 04a soanouien ‘ac de reas hisicas. La ayuda de eta ela nos permit pen tmutardrecamente el orden de low components de una cojunen ‘usin, in meeidad de repetr e reo de cut paso gue ‘eahtmoe de rocore, “A continacionestuiaremos sstenedicamente ls principales reghasderivadas ara eieule de juntores. Cade una Ge ests re- {ls irk acompanda de s correspondiente undamenacitn ore ‘lelindectve a reglas snteriore (que pueden sr tambien de fivadas poo que, hima tstancia a tempo inal dea ‘educin ser siempre las isias). a Tundamentacion de un ‘ela deriva on ofr anteriores a Hamarcmos tambien wed ‘hm, stingue tn proceso de esa indole nose, en igor, una de ‘hueiin formal, sino un esquema metalingtisco de deduceion femal En certo modo, cia una dels epas de est eeu puode ser considera como la expresion de una ley logos mediante una figura deductiva La sevsin de un sistema de Tas diferentes me ‘las de cleo de conectoes ser una revs de las diferentes Tepes de eta parte de Ia login. La mayor de eas eglas soa co- nocidas or los lic desde muy ato, pero sola moderna Hogi simbolice ha conseguidosistemaizarias de un modo com eto y analiza satisfatoramente sus reiprocasrlaclones ne os dauuatvos Enel presente capitulo agruparemos tas relas deriva dt cilcalo de conecore en eyes de plea, jes de conjunc ¥ dloyuosin,yleyes de nepaio, als que sein propos adil Tals de vel de etractura miso menos comp. Una visti i= ic dl sistema total de rela devas qu considers eh el presente capitis ofece on siuinte Tabla [dbl aya hevizontal en algunas elas indica que ts vale también en enti inves, Por io gener, a Tunamentacidn de muchas de esta regs iri sompanada de comentarios explcativos ea Tas que sobrea Dundaran las repedicionesy redundancias, pro cuya letra pwr torre, por serie, ost que hay estudado 4 fondo el ‘ipa ateroe En fodo caso, class de cada una de estas Tundamentacions, con 0 sin ayuda de los comentarios, e area aque se recomienda a lector, porque no slo le suminsirar una ‘era infonmacin tebriea acon ela estructura de as eyes Wo Sls, ine que Te servis tambin de erica de prtica en el fede dea CALCULA DEREGLAS DERIWADNS as Tana tt [RUGLAS DERIVADAS DEL CALCULO DE CONECTORES, si Mut AB A>@30 oc BSas0, ane 8 cm a _A ag Boa GLAS DERIVADAS DE CONIUNCION ¥DYUNCION Propiedad conmutaiva ce o AaB Ave BAA BvA Propiedad asocttva ac a» nBac (vee AABAG) ABO, Propiedad dstibuiva be po AaBvO) AVBAC) Wanyyiasd) (AvBAAvO,Propiedad de dempsenca ac tap And Ava a A Lo de abworein Abs Ain AAAYB) AVA) * A Regd de comtapenicin y omad tlle cp Mr Asa elas de noatcin de doe mgd. y ex contained wy ecg Principio de no conrad y xcs de ter PNe pre, AAna) AvaA Wo ‘CALCULODE RUGLAS DERIVADAS wt “Leyes de tmporacin yexporacn tmp ap Aa. AaBoc RAB ASBSO, Siogiamo danse sp, sp, ave ave ve a x cy Dilemas ba, ba, bit, Savon ave. Savon Coa ASC coal ere eBSnl | ou ne cv Atv aon BoA Eco, aoe ae oa as a CO, Consceuencls inmeditas de a definiion det coimpicadr Aon Aon 7 Propedades del coimplicador Reflesivdad —Simetra ‘Dans AGA AGB AOD BoA = Bac aoeACRE FC Dejiniciones de> Dt, I, Ase Aon Sika B) Save Definicones deo. rc, bm, AaB AvB Sas 8) S ASB bre, bw, AaB Ave aya) SG ARB Levis De Manoa DM, ps, (AB) aren SAvaB Shan $2. Lege de implicaciin CComenzatens pr a expoicin de un serie de cise rglas cn lay que no tere ota sino gio que mpc 9 que ‘kph, por ao lees de fplcacon pura, Sos expectvas fia ‘ry annie con I bviatircomesponione se dian I ‘quid da pgm A ts dro y parla, se exhib a Fa ‘lmentacin de ea sna Ley de sigue hypenco(i) Pandamentacion Ase AsB aoe 3A a ris se Mp2 ease 13s Ley de mataciin de premisas (Mat) Fundamentacin Aamo 145050 BSa50, 2B 3A [ aBoc MPI sc Mp2 ease | TD3s TBA 0) 126 Laydeidentdad (a) Fandamentactin in 1A & crs 3Aa~A — Prodl2 ANS bea sa DNs ay de carga de prmiva Pe) Pundomenacion WS 2 Can wat SBA TD23 Shey chs a ty Maa0 baie smepouien sieht cw rr opens tcc og pone mayo csi) Sanh) eras eo ‘owas flr corse ho Sora ii cn ose ee ‘rnin dei reo ry DN Sey erect Mc iin nun sn et apn cm oa ‘Side a, queurtnl pomeas (cep compe oir ai ‘Stamm prc i spr ea) Pina Ilene Tyco sep dea 5 Leet youn ‘coy hs ten as ra El se main, ee Wiser ang eerie bl deer eens mat ok ee cnc! Pras deci’ tes sonlde” london tno to ct ita ncn eno man eh Germ tenatty —— Uaenatte, ert pric re a oes sib veya re ‘CALCULODE REOLAS DERIVADAS 1 AADAC HARORO 4 (YBN CHATVO ‘sn pricy labour. ts pepe ot Menace 2 anaemerd Wo Aviamern «sera ida erst cepa tame ged roo in jn pn a nas ssn sae eae et es ie ei, Sp romps a err ‘thom econ prea Crmge e ‘oe pn tran os fo cl coenary eens, Fete sme ops aaa py an lca Coe ee el ct pm oma erm2 26aica soo Ley conmatve dea conancion (CC) AaB BAA Fandamentcin H1Aa SBA 28 Sip, 1 oA Sip. s 3A Sip 7 ‘Simp, 5 4BaA Prods RAAB Prod Ley asociaa dela conan (NC) (AaByAc AADAC) Fandamenaciin 1AaByac BAnBAO, 2AaB oA Simp, 8 se BAC Simp, aA 1B Sip, 10 SB Re Simp, 10 bBac IAB Prodd,tt TAN BAC) Prod ki H(A B) 4 Prod 112 Lay dsribsiva dela conjoncion (DC) AABYO) TAAB)VIAAO, ‘ALCULODE REGLAS DERIVADAS 13 CE we” Ls. BE Cie me fe me IA cByeta ne) em s4g79 Bie ah BANE) Geile 31 cians oy smc denen sentan un so ia ¥ma> Be cli rg pet EG (onan cn ra esl cbs mnt ‘cles en pts acon doa (a ‘SSipemt tuchywencnin eaten) es en mn Pian ny be cop rs sven dea et Sy TQOEEANE er tempecson mn ome ee ‘Stes Sn) Csed nt ate Ly de dempotecia del conjesin (AC) a Fundamentaciin Lana 3A 2k Simp 48 was SAaA Prodsot Lote snanica Ley abort del conjncion (AOC) AatavB) » Pundamemaciin LAa(AvB) 3A 2a ‘Simp, 1 Save a3 SAAIAYB) Prod 34 Ley conmutativa def dsyuncisn (CD) ava BvA Fundamenactin Lave tava 2A — sn Ciava a2 Coavp vas ce WA SBVA Aga Cave agto GAYA Carl23as DAYB Cas789,10411 Lay ascii del yin (AD) (avae Avvo, : [ andamenacin LavBye, avavo Dave 1A 3A ISAvB Ad ta EAv@ve) Ads To(aw ByvCAd, 15 SB nave bbe Aas WB TAviave) Ado WAVE Ads BAW BYE) Cas23-457 |l20AvB)YCAM I 3¢ ne BvC Ako [a veyvcaa.ce HAVIBVO Ad. 10 23 (Av B)SC Caw (718902122 BAvGIvO) Cam 1289-11 DAY MVE Ga 316723 Leyte ta syunciin (DD) Av BAO) AvBAAvO, Patni ditosavo tae 88 HoSmapvo mare ER ME DRY B)AIAVE) Gael 2Sp4 2A v(BAC) Cas HRMS DSAVB ACCS HIG 24136 LoaIca smsLtcn unserer acy ob Slt Mca del yee eae Toate yee clei as, esr ‘Sl orp ant ean cance ‘lsat oven de ane mA nd dep deacon. ci cto "inns le rid 1s esi nc (an dy ie"eSclcr Lr doshpee ei oma ean me eh rss Ene son (nen de ho al corer me Se tdi sec ei renin ‘Sp penn so sas eerie pr rome Se cer ay Pry pve) net ool gent i i ‘ici e aaah ln is ey de idempotncia de a dsrucién (14D) re a Fundamentaciin -1AWA —7A [2A SAvA Ad? C3A 12 aA Osa 1a? oa Cas 12305 CALCUL DEREGLAS DERIVADAS a Ley de abvorelin de async (DED) AvAaD) a undamentactin TAV(ASB) aA 2a BAV(AAB) AGT Ga ma? tan Osa Simp, oA Cast2345 $4. Lowede negocio Fr ete apart cosideriemos seis regs deriva de mesa Prod3.t ‘Abn Ads Prod 61 ‘Abe? linac di de Fundamemacion reer (BC) LARA 2B), aN ah Simp, a Simp SAnwA Prod 34 ote ‘Abe oy DNé 5. Rolasadciomals de conic ydunctn Ala relacion de regls ya conocids ndivemos ahora cuatro revs las de mporaconyexporacsom en las ie dsr ea un apo mp el conuatnycstlgiamo ds ye {Hema dand desernpeta ut papel importante disyantor Lede importa hp) Fundementactn A=B30, 1A3 B50 BABSC 2AaB aA Simp, 2 4Boc | MPI3 Si. imp, 2 oe Mpa TAaBoc 126 caua LOaICA scuica ay de exportucin Ep) Pndamenaciin AaB3C H1AnBoe aSesa 2a 38 [ GARB Prod? se MPI Gboc TDs. TASC) IS ace i npn canes ref cm onicccta fo! ee aa Dats psn de pes Sonor pp a aso ional cement coi inci can ote gn aan gee ‘Snes aca eae ere Pd issn ng my ene Sieglome downto (SD) Bexdamenactin Av Have “e a8 x a3 Prod 52 Hcg 6 Cas S457 CCALCULODERHGLAS DERVADAS us Dilema Dit) Dien somsrutivo Complio AvB ase gop GD Pndamenaciin Fundamentcion Save — Ave 2A 4e — 2a 5e “3B3c —3B5D 4A 48 Use P24 sc MP 24 60. bev Aas Ure P36 7B Ke Gattso7 sb p37 -9CxD Ads WoCeD Cari a6r9 ang eins come emo fee a i tg Ame ed poe iis nl pnd pnd is ore cma nm ee iin i seniae barca saanouicn Dima destrtetiva Simple Compo a Aya a Ayan coa con con boo Se tva0 Fundamenaciin Fundamentacion “ts ayo8 Ioavoe 2654 = 305K ion 3Do8 pink ann sac Mr 24 [sre ros pen8 Gacy D AMS) FAC urse 738 anc eas bso] sab Mrs Do evap Ads WEIS D Cwiaa79 $6. Loesdecoimpactia EL eoimpicaor pode see considera como un sino deri rmeliane denis: Ac Bs (A> B) (BA) ae Cap tuo seven 1 sta defncn pune expresase mediante a dos reps sigue Roglas (opti) de coimplicaciin Imonodaecin de colmplicator ——_Eliminacin de coimplicador 160 FCO, 20, Ao Ae Aon BOA aon BSA AOD De dics elas edervan ests tas dos monde de limi rion de coimplcador: £0, Fundamenaciin aos er) A 2a B Sasa Reo 4B p22 FCO, Pundamentcin Ao Laon 8 “20 x SBA RCO aA MP32 En estas se ue funda a dedcisn de tres poids ‘clin de complica Rellorvids HAGA Since F(A B) > BoA) Trastividad: FAS B)ABOC) (AO, Deduccin dea propiedad de eflexivid. Cra ah tas SoA TDI OA+A Tas AGA (codeM6 Loatca smanauien luc de propiedad de simetria Laon 2noA CO. rer ECO, Lagoa 10> Seb +BOa) mii scsi del propiedad de trastvidad, -1AeBABeo, aed ‘Simp, 1 jnec Simp. | 4A RCO? su oc ECO, Ase jee ECO. S AOA £CO.2 938 siz Wace Tos HASBABSO AEG — THILO 87, Imercambio Alrepetorio de els ya sonocid debe aise una nueva de corer uy especial: a Rogla de neal remplaco, rns lida deta ela se advivenconsiderando siguiente ejemplo Supongase que se desea reduc una Frm el sh957 AaB, fiminando call ls acurencis de dbl negador, pra obtener AsAnB. Ello rue, por repuest, el reurso ala ela sia de eimina- ‘in de bs} nezcton DN, Poo obtreve que, rel momento y Ios strumentos qi pone hast aor, eo so seria post Hea ta den redo rltvament largo. Poros larga BN es ‘CALCULO DE REGLAS DERIVADAS ur apical to fxmula eyo sito principal sca un nezador (a fee adeno otro negade peo ae aun Kozo o subtormala Mlguira que forme pare de una ral sy sigo psa ea "slr gue on primers des ful cada ay dos oe rencias a formula >A la gue por apa regia DN se proselase alladamente, pero no como sublermula, setae fy conten de ota frmalacipo sen prepa eset implica Prt poder ofall elimination seria previ PMID ‘descmpone arma elabane, iso menos erennresy aaa wy? 422 Aan MP3 su Sip ARB Prod 25 TAS AaB 26 La toga de interamnbi, que a coninuacin ratremos define «ares ela gue permite en ciertas condones, opera dist tei sob ub, soo, sobre fmol seas ene eon Texto de ota frm, sin noseided de seals pier de se ontexto cn el cus de a degoetn, En a arin deduct Ia e= lade nercanbio peri el paso de a lnea 1 2 la lien 7 on Toned in rodeo Paseo pamr defini li nosion de iversambio Sean Ay os form cals dt cleo, Set C ra fem cone tine por lo menos una oeurrencia de A como subrmul; ess ‘ans esta creunstaneia enerbiendo Cy, esto esa fra, Tague se detach cormencionaimente una determinadsocutenla de tn deerminadasubfrmuls A. Sea Cy el rsutado do cambiar en C leet oourenca de A por “Resta opeacn sel el nombre de itrcambio empl. ‘Ata firms CT Hamaemnos formu nical as ema A B ‘ubjrmaas nterambadas0 mas espetiament subfirmul re mpl tl primera y sb remplacante ala Sends 1a emia, alamrees Jorma na Po ejep: seal firmus inicial CS pp vader varann fesla(ehformula Ap vgrs ates smouien Seale (sbjfiemula B= pg convengazos en gue al esrb, se onside a pimers eerste ‘itde Aen Cla fOnmua fal Cy sent 9 (p> YG aan. RW opeacisn de intrcambio fe coresponde wna rp del nino nombre, regi. de incambio & nomplas, goes psn ‘tuncars:dadss lseqialeates Ay By daa nat ‘ers fmila C gue contone como subfermula fa oeurenia dura {ila puede cumbia en € dich arena dee suite on otrenia de su eqalent. En forma esi Larpla de intereambi, aa que denominremes I, pet, por ‘amo, cambiar una fim per su equvalent dev de conto ide calguier premisay sin necesidad de excomponor pine et premis Una apc de esta vega aa solamente wna oe Freneia de uta subfrmulaen una prema. Parurcmplzat dos © ge ccutenias de una sir en na promis aero, co relations, pica dos o mas veces a eed el, TL sucosiv aplieaion do la eg de intrcambio ls distin ‘cures de una subrule se puede smultanear eseribiendo en leomentar Ix drach dea ins ceresponiet, 2 manera ‘Gecaponene acto Ta ot alma de veses que hay proctigo Toaplicacion. Ent cfm de a pigina anterior. i formula nica SANG SA AB, queria nmedatament edad at fr ‘la ils A >A 8 pe dos apllesciones de La el comentario 2a fmol inal debe espeifcase ambien en qué ley caverta de ‘aun se Bas trea, En rst hemp: 1A AB 23 ARB von) La ede le nb dpe de damn un os talc nob reper ‘STR Oso opt ee eis deer orca name esa HAS memes ‘CALCULA DE ROLAS DERIVADAS 9 seit i smi gi ar mn ee ‘menu ie pose crenata ‘ma dee ci piven Capo V8 x ri ei ae rn ct ed Se Her emee een ce et ei . cme inci de alias prin de indin mtn ice a Pare eg See Sl ml fees Pan real ee {eta go ep, as Ie en ih Sik tc "Spel mean gue roi sored ima Se rt xy setts mien cpr ase on carpe ‘Slide a sma aul a ur pil ore Phot rcp art el tn ei, ca cia fori soe Se ra es ema nia ‘senna as ‘A id td lps nk ae a el ete Sikectn octinesy toe sonencpascisle ge per ee pee erg oma yA "has Se poe oe pr ogi Bw de Can Cy 69 Cy Y eh de proba cpirona Sis dpa poss 1) she est150 Loaten smonicn cain Gye de) inp, oso Cond Dee thy pedometer 6,446, SoS Ge Bene Scacy iaie BEC mpm TEL ad. Chase aur Tove sats Com 4D, HE Hay wedmonarde, +H F6(G, BL m0 (424 DAE age dn Ce BG CALCULO DE RELASDERIVADAS Is 8. Leyes ierdesinitin Finalmente nos ocuparemos de una serie de leyescuyautil- dad on Ta resolucion peti deargumentos es may grande, ra- 26a por la cual el lector debera procure retererias en lame ‘moria. Estas leyes son: las defniciones del implieador en ‘Geminos de negadory conjuntar (DL) de negador ydisyuntor (DL), detiiciones de conjntor¥ de dayuntor em inns de ‘egador¢implicador DIC}, DID.) y en lceminos de negador Aisyuntr (DIC,) 0 de nogadary sonjuntor(DMD,) especie ‘monte delay dos Ulumas defiaiiones se deriva Tas Mamadas ‘leyes de Dr Moncann, gue permiten a distibuci6n del nega ‘hor en el seno de una cenjuncion (DM) 0-de una disyuncion (om. tends como equleacasKigcas, estas eyes son suscep esd se formlads WoMerAa—B) DL (omscave DL Rate a8) DI, ARBOSGAy—B) DIC, A BOnASD bm; AvBeancAnB) DD, NAB OAV SB DM, SCO nAA SB DM, La dlucin de cad un de estas eyes sn mis ayuda oe Ins regs ses cx un proses rlatvamenteabrio. Pl mods “cremor solamente, gs de jmp, regia Dh, Las est terse dein con ayaa derpla eras. partied a funda tents de DIC, se har uso adem dela op de intereambi. Fmt, paral obtenebn dels euro dkimas lye de interde Finn emplearenos el pocedimieno denominado por KLAN cadena de equivalenciasn, que abevia de manera muy considera bio! mimero de pasos dectvos.12 {ca souien esieuto oe rcs sivas 1s Defoe del implcator Define det connor setae) sow Mode 00C) Sa aan Sion) Pundamenacion lase sa eee 2aaB [ 9a Bawa [ae raat 100-8) BO pe Write matte rac omy 2280 on peal he a Medine—(O) Ant ie 20 Gavi) se denen Adanenscin tae sneava®) Pim we 9S? rons yor Bow BERR) Pod eae bes ee pH. Bah stones dane a a Motion > 1D) sckkare” Ry AB cana ear fem em ae fan pSthva ayn 28s a Scahee MR GRE Pils Fa Meta (01) ; ave en14 OHA Suenos Fundamemactin ave $a AnD) 22038 DML SAAB DTS BARB) IDE2 oAvD m5 El mftodo de cana de equivaleneias wiz por KLEEN: simplifies mucho tx ntaion de duocionescuyo pasos se Sunde tclusivamente en eyes de equialencia [En matemiica es usual la pritca de ecopomiza inpecesais repoticones on el estblecimienlo de exnas Je ectacones, Por ‘empl, om agar de co suelo eseibine Ahora bie, ls equvalencas son Fem fgies que guaran paral con in eoacones ene Tenge mate. Por saga ‘on hk otaionmatonatica, na cadena de equbalencas al coms ASB BOO ACO) podria abeviarse ast AeBeceD Después de cada micro del ein se pede aot entre par tens eur a juste do paso dodetvo que proce. Asi Por jemnlo, as dervaiones de a ds lees de defini del dis Sune BMD, y DMD, ue se expasiron en I pigina atrior, Se po ‘Bian ana doa elev clo del shes mod: bm, AV BOTA vBILDN] 6 AB (Db] AYBO SAB [DM] OCA 8) (EDL) Con arepl a ete nuevo métodsjsiticaremos, nalment, as CALCULO DEREGLAS DERIVADAS Iss ayes de De Morgan isritucin deen conan (DM) SAAB) Save Fundamenacion SAAB SGAVB)LEDIG] OA vB (DN) Disrbucin deen dsyunctin (DM) rey avery Pundomenacin (eB) 9An BYE DID] A.B DN] {he agi em cambio, un undamentcin de esta misma el 1M, conf sola ays dea elas sas ya rela ECO: ave) 2 pike sa INbaarm Baw aay i és [hee Ma Tavonnave Be 343 = Bat ane mm poaang base BA An sing Bata et fe iavy Fea ite [ie Simp Sarna Ss oe ed eet ee Lav Ba (av By Prod Ey aLOGICA DE PREDICADOS (CALCULO CUANTIFICACIONAL)ccapiruto vit CUANTIFICADORES ¥ MODELOS |A._ NUEVA VISTA ALS CUANTIICADORES 1. Aliment igi de te cumin Hay agumentos que poten ser fomalizados y roselos sin nis hein gu ls Wien de enuncidos. Peo hay Muchos ttros ua send elementals o pen ser svete con ‘olay de expt dea igen He nga on empl “odo siege europe. Tao teense ex eng “Tad stemense es sare. 5 inthament ela que este argument es concyets or- ‘le verdad do sts premise ncompatile con flea de st ‘Sonclsin, Pero tambien ex cao que av estuctrs gies qu 1 jatar no son la hablulnente considers en tora de cone tors, Puss e convene en agar un eta proposiciona «cat tin de ess emunciados, fa formaliacio rsulans no sar cmv par Porque oy ningus ly de cnectores ue perma conclu apart de py q. Piva clave elas esrcturas gue jusifian av ‘ez do anterior argument informa es I pals fads gua ga ‘ge In palabra an, reso ambito J a gi de emu En gona, onl slots arstica, de acu ese arguments esunejemplo, escapade ambit La pre de Ingles que se oc del anisis de asumentos ave crvasven ncesramene el wo de as pruls stodonoal= oye Ta tgi de cantor © caanificdors, aad por Serést el nombre ténic es asgnaa ls sibs formals eo respond fale pars Tabi se aaa gic de pre160 Loarca smanouic, icados ode términasy tabi cielo faneionl, ya Que os pe ‘endon 0 trmnos"y ls faneones popoiconles son, por es ‘ota teria ropa ques aptican os caniieaores. Ta Tipe de cumitiades rope la Kea deconectone, yo sr et aos se cmoce a és Del eng propio eat be cunifeadoes se eto ene Capito I, $§4y 11 $2. Redwiildad de euanifcadoresacomecorss Fev un cierto seni, ls euntifeadores pueden ser considers dos com brevis de Firms 9s Uneossibolo gins ats avert contd lard cuando odin o univers de duro de qe se trate en nico league sea finite Sup fave, por empl eure de dacuso formado por os tes pa EEScupeos Franca, Alemania y Beluca, que pueden se respect amen simbolizados por ay as ¥ 0 Comsidéense ales dos tous qu sean potas de exes lemons, come ser memo {Ect Meveado Comune y sbaber sido una poteacia ds Eje en a Se {anda Cerra Mundie nol gue pueden simbotzarse por Py Q. “ahora bc la prpostin sao sem deco conjunt pet tonoce al Meveado Comin» equals, obviamente, esta ort ‘Francia ce mic dst Mereado Comin y Seman es ier EI Moro Comin, eiuente Belgica. Lo cal es ato como sce iiando lengua sible, ue Ta expresin: «xP» Ssufalea a exprestin: a, Pa» Por tr pte es asimismo bio gus fa proposiin: alg micmbwo de exe onjntofuc tna poteela det Fje en la Segunda ‘Gucre Mundi eguvale et oa: wo Franca fue una poten {EI eo fo fw Alemania o lo fue Belgica. Lo cal es ant como ‘Eur ulirando longus sinbeo, qv la expesin: «Vs, it {erp de acuerdo con nuestro samp, equiva al expres: tir v oy a (og pada estrecho parla con la equ Tena dl pao atrion De ese amis se desprande qu ol euatiieaor univer sume o epost apes eter el connor (simul dl ‘Mbdictofgico) a und serie de lementos (qe poems Dara [irc loico 9 que el partcariadoe resume representa I ph {cen rtrd dl dsynior (snot dea sua ie) ns sie ‘G elementos (ave poderios Hamar sumandos liye) Como al Sin ele nose lengaje formal represcts al generlizador me ‘ane on conjuntor de gan tra (macroconjuto) yal partic for mdiante under de ras taato (madsen ts consideacones ova, sin embargo, prac supueso de que el onvenso de discurso ise iia Consirese, 9 ee respect, un propoicin qu verse sobre el conjunto de los mime Foseetos posts, fa como laienacion de ge todos los mim ‘os de et eonjnto posse a propiedad de sx majo qu er. videnie aus la exes formal de ese eauncada «AvP» 10 ‘Sars wealcisin maa una frmaula de conetores, porque cone jin afi = Py» que tase de arbi fanaa Pa a tn a Tos mismo dl teri conju no teninara mun. ‘Posse, puts afar que cua ol univeso de discus ei nito se brea las fonts ete logic de cuatifcadresy Tose ‘conectres: agus ered és, Tero cand el univers Se dieurs & nfinito,y tal sede in ls Fos, desde el mo tren en ensidrimes lo primers eremas deat le mena agin de pedicados se ora radealmente dst de a ‘i councados 1 opie polao LUKASIEWIC ha sugevido qu a diferencia ee tre ua yr parte deli sera sila la Sela por La ma tematic clin ee amen y geome, Las Tmuls de 1 fea de conoctres son siempre, come Tos Mimeros en aimsien, thet ausepibes de sr deseompuestos ess itinns ements nadine $0, ecto Ea aga ng si cm cuntsiy Loates smaicn nun nmero fino de pasos ventas ues rmulas eunii ‘onal vena impli, cand el rngo de us variables fase infnto, on aaiss que nos termina nunc, com steeds con I ‘ura ges, que diem er ndepndicte de cake unre, {pone atsmente de [a estuctrt misma el vives a que se Spiga mens dl Haco de qb xe a Finito infin 1 Sratica CUANTINCACIONAL $3. Categorias semdntow.Sgificade y referencia concept de dessin, qe! conset cent de sia inramenteoesado nl de eatin orb Yo Ae de et dapende el nese eal un infec. Pero eben ipa com ln de sory dah qe ipamos qe un de thesin es conete esd a vial des pom excoe a- ‘stad dmv conclcn, is igen opcaa sb seems Formas de sagen tox spare condo, pr sempre con via ub tiene eat de ns moss ones (poe no Bay tinge eninge ain, ete de a icin {etna iforacion ae wg ose mando, el posible). ff prbiom de ado dea omen cguemes op Suiscntros stl poem ef verdad des oa {STinincin ene fracas Sone un oiaen sn stig, La esc des Ss hate Yo desman olen, ms sun ma ls lachne de noe igs us Fm Tae ates astm somo esta en a= Tin clone ov sens Tomales con a cotenidn 0 fon ealngisicoss Aca ean ae In Ta dontcn. La funciona seman ea icin dentatia Ccuaxmieapones y woneLos 163 En ta comsrucién de esr sistema deduciv hemos dei cao ists cl prenentepreferentomente tenia la sini de ‘miso: exposicon dol ong formal (abs de sinbolo y rel Ae Yormacion de firmulas)yeieulo fandado en la esc formal ‘eden (ori de adden forma) La mayor parte de Igy eategrias hasta aboraempleadss forma loca, fem, ded to te ban sido, pes, categoria sitctias ‘Ens capt ncareros lesa de les de ls princi les aegis Semantics como las de ved ntrpeacion msl, ‘Somscoenc ta como son definidas por moderna gin ‘Cassa? props la division da semantea en teora de fa ex enti y eorka del neni. La peers estat Ia ein de fin plabasy ase a as costs (dota, extension separa © coup dl sina o sent dela plabrasy dels frases {Comotaié,comprension)™ ea dfsrencia cure exenine ictensin se apeci likene analizanda el uso de ls predic (nombre comune). Ast por ‘empl, la extensin del precado ca esta determina pot In ‘ln del ojeton que son aves, Pom tambien sabe dere que ‘olor ul iene una serie de cractretica poops co lade oer far un deteminado lugar en el especto eromatco: ales caraters- {eas eonttuzin a intenson (significado) del predicao azul. "Alconsiderar os prodicadas dese el puta de vith wextens- fal e dice que aluden,o mejor, qu dentan clases conjuton Per cuando sles contmpla dese el ingulo wintensonae sede qe desman prpedader 9 nat de on O90, moon Gog as Ba soln eyo potearal ome Sots‘ia meocionads ifeencin de punto de vista en Ki epee ca arterin qu s tle par tng unos pris de ot, ‘Beate of punto de isla extensional, dos redicados son Mico ‘ano abuyen ua misma else deinviuns. Pr ejemplo, {Batcicalo canal rca bed plumes son eXtns talmente tlio, pesto que ambos deol fa mie elas ‘rine hn secs homanes, oro pra que dos pricaos se es ‘Seren tics dade ot poo de vista iersional se equine ae ‘AS guecontengan as mina potas Lt determina de erterios {esinonimia (ident de sgifiead) y de dein por espe ‘Scat denote (enn endo se define el agus diendo que > ir compucte de ds pares de hidrgeno ¥-ura de exipen) son ‘esons engi nterien la gc ntensonal Ten un breve ensaya hy fos, FREGE extend de un mao sy eign Io menchona dala semintica deinen y & Tein en teminologia de FREGE: woadon y eefrecio fare caso de lon nombres propos» fs enanciadk 1 neces Be nei esa dstineign ene so de os nom ne popios questa potenti por enon ales om [Lacs de a mafia sl misma que I sels de a tds Tite enucia slo poe se entendido si se acta gue fs expe ‘nor eetella de a mas» y wont def tarde, Que son nom ‘er props, ene nsemido stint, renras goes fren (hin miama pong informacion empricn ese ue ambas de stan una slay isa eos planeta Ven). Ts mncionaa daldod semimtea do sendy referencia fhe asiminmextapolads por FREGE al caso de Tos enunciados. un ‘nc a tng dos tps deeosenio: por un pars, ‘cho que enei , por ott st ylor de veda AS, por cempo, (hc chanel lgven unt coe es su aula vi y ot “tr veka gus fe correspond (verdes iro qe ee, y ted sie esses que Hue), Aor ics, para FREGE ese ‘ett com or "Vata sue dot “eunsnicapoaes ¥ MoDELos 1s tid sigitead) del enunciad seria o que por él se capa aun sia {Ser sts rentadroo fs, fren (deotalén) el smo ‘Stari consttuida por at wlor de verdad. ‘De acucro co esa ters se da a csunstaneia de que todos sos eunciaos vrdadros tienen una misma feferenia, a sabe: ‘end ungue cl sentido de cada uno de ellos sea divers, ¥andlo- mente cede con los enutcados Tales, cs por mucho aus d= Frnt semi decade uno referencia o temp used. Sobre lavish dena Wie ode una semantcaentblecia on eter inensonal ie las opinions. Algunos ators, amo Canna defiende ext sibiiad. Otro, cao QUIME et tram qe Talia Inensonly Ia eri dl sgiicado no evan a Tinga pare Las eategoras serfs que se exponen en ro {kt capitlo son extensional sale deci, peenssontos a a Sema Wscmenda como eo dea relerenca 4, Larevsin seménticn del eoncepto de verdad concede vena si angament scat en Ia sto~ rind a owflay ae lnk, Low pensadres de tendon Me fst saclen defini a vera como weoberetco» o conssencia de tn stoma de coneimienos, mientras qv fs pensadores de 1 teoen veal, doe ARISTOTELES a mo RUSSELL, prefer de Fina como ssorespondenci del cnosimieno co les hess TE sv ares coneepte de verdad en os lengua forma liadsm, eset a principio de dead dels weit Fico prlaco Aled TARSK (1902) Sel replanteamieno de est Problema en téminos de gor matemaitio¥ ebro como rest res cout Tal” as gine meen ey oases Tot’ er poe ss dev: Un ao han mln, wc Mlnpinhst omits Scns ers edo Se ean Ue ion ae tse cn enh166 LbaIca saute tao un ola extensional de a verdad qu, apare de revaidar, ‘urlosamente la vila dovrina arsioicn de I correspondent, fa dado liga uy ricipalmente a dosarollo ela moder = TI punto de vista de TARSAL es que: 1 la nocd de «verdad de un enincadon noe abut, sin relalva au lengua Le) Iago el eu se mace el ensncado de cya veld se ra; 2) el preicalosverdadrm, como cilguce or categoria de semaine ica, no pevenece al league obj, o lenge acerca del cl Taso a metlenuaj,o lengua en el eval se habla acer de ‘to feng" 3) eomogara qe el eae arin carce de Instrumental ace pra esting con precision ene lng y ealengusjes no sth eked eo de desemboca en sontrati> see won tn nin gly ad ne os, Sire ene Psp delete eros a neniminacenm tenants} ucrdebac acme yihon Eason ese opi cl ‘lg n eameiseaso bee er as oni ‘ncn Eee sade ei meer mesic ‘i ae someon ec ene cm ‘Eat eeu ol ca cn deen Re ent Rhmnmeaticheaeseanee onl a a ae aii stag snow eae a SOU Seeker season anion coeds ne pore Serena aan Sec cc tne ‘mete oe, Sie ‘concn po ale co ‘cUANTIFCADoRES ¥ MoDEL08| 167 cones rin po a cus a consecién de una denon rigu- ont del concept de senunciado verdadero» rela psi an se roe longuaesfrmalizados oa defines vada a cabo por TARSK! en el citado tial con ayuda del concept seminico auxiiarde watson, {aya defn se eantaye prevents rocuriondo al empleo de ‘Goncas recurs, A coningaciin now guparemo de forma mis fistemitiea de ee problema. Convene ata al respec, sn er Fargo, by da, mero mismo ala nunca de aos pos tenner de TARSKY fs nein semtin de verdad es tad en 2 rn selec com la nein de amo, chet seni Usrolaenas en as pina que sigue, BS. Elman dela cuantifcwctin Un lenge form, oun conju de Kms lgias, son, en principio, contraccionosvalas de contenido misma no ese = Ferd un mundo, elo posible. La semainica pura pretender ‘caeerenci le modo inepivoco y pret desde punto de Vista {ta gle extemal Universo yesruetoa. A este fa, dada una Fra 0 ean- “a mt oem ca prac met Ta (CFL. 188) cn ntl ek ds ce ens Ses nop rr i peor TRspp i) resenaiicna168 tes SiMmoLICA junio de emulas de um lenguae formal, que podemes lamar Teor lige ebitaramente como zon de referees de mina Un count» eoetcin de objeto eles, emo, por cfm, ‘onto Us os ners o el sonata de fos Sere anos ‘Aso seguo se ceca, Lambién abitaiamente, dentro del conju clepio determine propiedad 0 relies ue se den tte objetos ersnecenes a dicho cajun. Obviameme, cada i & ees propodadesorlacones determiar, ors pas, ut tconjumco dono de ese conunto, for cjmpl, st se ha elgido Como zona 6s referencia el conjunto de los nuevos atures 5 Fin seleciona en fa propa wer par, dich propiedad deter tninri el eonjuno de fos dros pares, ek uh subconjuno onto det conto de low ours. Ys fa eked como zona Adreferencin a conju do los sees humanosy se ha selection ‘nel a lac eer casos, sta lain determina au vez al ‘mj de ix penonas esadas, gue es un subvonjuno del eon {no de ls sees boats ;signemes po U el conju cles, que Hamre dat ig nner de scars 9 universe sin ms, Enenderos gue ‘se dominio es ona saci, un tro de mado, rao posible, y {eal haremos nesta contol, sin poner as condiciones ‘ie las siguientes, saber: (1) gue elconunto en cuestin n0 es {aclo de indidns, (2) qu os individu que To integren sean de Slzunamanevsadingublos ene ‘Desgninos por Rf. Re ahs popedades yrelackones ‘ids, Alconuntoorenado o secuenca formads por el unveno UP is reacnes Ry, Re To denominamoy eaructan 0 {pone watzacton omni de ia eda de que se tate To repre ‘Soames st to ele ihr secre it i CcuatrncApoRes ¥ MoneLos i BAUR os RE Inerpretacin, Nos ata de poner cn reac el lenge com el univers, teria conf eats, Elo se efetia Mando fa cada tn de les elemants dl tora cuyo sentido no est de ‘Remind un coveltoadecuad ch a esrctra. A li elaine ne en eoespondenia ct Inguae formal eon ls onolgla Sf Usnomina lnpretacton. Al penipo de este sparta se dijo ue g denotcin vf uta por i qe se pone on eomespendena © Tenguaje con us contenido. a ferpretacion ex, obviate, Tnciondenoaiva de fos lngujs Tomales, ede una fain T por la cals aplican hs elromos de una cara © un Tengu Foc Fal os elementos dura estuctra Wyk ‘ars entender jor sonido de I inerpretcinconvione ha ‘cr pms as sigvenescosieriiones Fn to coun de ft- nul de tigi de redial solos que interven se pe {on ein dos clase! gos y no legos Lo smb gions Son los conetorsy ctantiieadores, Lox simbolos no higios son ia ets predictive ss letras de inva "Es clo que fos simon pion eno un sigiiead preciso antes de toda net etc, por necesiades enna, ero no sized 2c 1s Finloles no flees, ie jusamente cobran ua denote Tia Inert in iterpretat, om censccueeia de To cals feral (el fenlaj psn ser afiomadas 0 nopades con verdad fo OTR Rafat170 Lace smnonien As pes, sla itrpetacin cose isicamone ajudicar un coe wontolgicon o, digamos mejor, estutural a cada woo {ef elementos ingens no dstrminados prvi smo toe no Kiger) de ua fran A oun coats de mula Tella se fecata dea siguiente manera 1s cada loea predict m-ddics (a > 1) see asignar como corelato exruturl una reac tsi neldica gu se ‘80 peda dare entre los miembror de umvers elepios dicho Srevidamente: Resins era prodiativa medics de Ta r= Inula o conjunto de formulas a interpreta, se Te asigars como ‘alr Te relacdn mica R* de ese univers, con Toque demos que y= Re 2) ex constant vil "de onto de rms dd se leas como caveat estructural un individu sed del Universo Uz pane doco breviadament: si, e+ una constant ind ‘dal del conjant Tye coreat erat signa esl objeto FA U, dros que Hayat Los simbolosLigcos, es deve, conctresy euantificadons, ‘mantnen, como queda dicho, su signification usual. Cuando se trate de sarisbls idles en el Seno dena rm, dot fin de as mista qd ann a despa de a itrpetacin, yu que los cuumfeadbes que as Tiguen las eeferiin expla: mont ta opr delivers de deers, sa ns Pe aie comin Sx mac wo dt (sob Ga hi ca de uaa 0d ue dee dear co ‘Et sbcosmigus tn scan dec ‘Shere ned) Loar mcs nase ee it Latin pr ct pe ome ‘Shu temas de len sn eens i ‘cuanstieapones y MopH0s m ‘jmp. Sea aera Am Arvriis, que sometrems & ble ftepetasn, 1, © fp dos univers tre Pra interpret, Sea Nel conjunto de os nimers pat rales y destoqemos ella lac ddica wer mayor qe > bvisment, Wen 1a >> ‘Andel interpret a femal A signa ‘ar todo mer, cualquiera que se, exis ro mayor: Segunda interpreta. Seu Mo coajunto de os seres humans 1 dextagemor em la elai didi sor pa de. Fa al 80 vow HAR) = se pade de yi interprets de A es too hombre tiene un padre $6. Refiencio canificacional a. Sacco Dada a formals A (uh ej de finns yan ies sees gus un ner Hsaface "9 es mula 0 2 per Tas an esd nr sei cee eam ten sions junto de formula) si cm resid de I itepreacin dich f= nul cada ud es fem gue frmen parted count 7) 6 ‘Sonesta converting on ut eouncado veo "la relacin de ssfacidn cx slaramente, una flan semin- tie, qe abreviamos, eine Tat 1s lo que debe les: interpreta sats a fmula Am, 0 orcitivament la interpreta Usaifae al Conjunto de rm tas» ‘Uh definiim precisa de coneto de ststacion se New a cao ao lng de a sites siguientes. “Defic recs de sansaecton. Para to formula Ay sicodo wa interrctacion de ella (aber com esi ae resin ay solamente i) one dle pr gmp i Sa fil idea pin de Ta oie sme coo Seaman ets naceneerrans nee cn eeciea e Feucetsnncieinian icianan ceeds Ccuayminc pons ¥ monet re (Cs primero La mula es atbica) 1. SiA es preicacii, es decir A = Ray 3, (92 Dom tonces Sat Ra ya eli objet ica RE convine In secuncia objeva fat, a2)” (Caso segundo: afm es molecular y su sano lic principal frum conctoe) 2. Sicsuma nevi, es decir A SB, entonces I Sat —B. sling et ciono que T Sat. 3. "Shc una conjunciin, ext es A = B.C, emonses I Sat BGs TSA Ber Sat, “4 "Seana dajmcin, es decir A = B VC, entonces I Sat BvGsi TSa0\ o1 Sat. 5.51 Aes un implcaion, es decir A $B =» C, entonces Hsat 9 Cah Sat BOT SAC (Css trot: a fm es molecular ys sgno lei principales ‘un euanttiedor) 6, SA opus onealizain% es dacs A ee AXRX, tones I ‘Sa Axes Be Sat Ri prs eulgucr objeto a dl niveso cdo (Gedo wa un nombre que no eee en Ry endo Ee Sat un in ferrin que slo cere de en ugar a wav br dots a). "Si Acs una patcalrzaicn°y es dest A VaR, con- ces 1Sat Vals sie Sat Ra para euado menos un objeto a del Universo cpio (com iuaesrestrisiones gue 6), b Fendady modelo Modelo. Cuando una itrpreacin I satsfice a un conjunto se Grmuls F (que puede consta de una sola frm AY para eda Secuencia objet, sel decirse que esa iterpretacion es wn mo ddloM deT (ode A) lose pace iar eebiondeim Loaien smanauicn Mod Pot Mod A) Jo que seo wes modelo deF (ode Av Ferdad. bora se poe define t ncién de verdad vate reatvamente a una inerprcacon y un univers. Un conju de mule (ae de contre aso Forma A) sender (odo bajo una inerpretcion Ty para un univers Uy ly so st ‘x ntrpeacin lo saisface ara eda secuetcla objet, es dei, ‘Test inerpreicio es mle say Fev si (Moar Sema yea a sine eno ge seo man, Sane lenge be emit cs ‘ls sereydcns suey em gta [ENS wt, Sn awe mate: Ros Siete scorn sc ptm ‘ulate (om eel chr eee eb tee aS “Toe cmap of elements rer ee ‘msn nema eo ia Ea ‘Tin che don si gion flor cte comcp decc ‘Vit Alin sts indent 38) een, Pa 8 ‘Bete ocameeeeneen piece gana ei “cussicabons¥ NoDELOS us Obsérvese que el hecho de gue una imterpretacion saisfaga tuna formula 0 ue conjunto de formulas noes razon sufieiente prague ae diga que ex modelo de ell. Pare gue wna itorpet ‘inset modelo de una Frmla, es peels gue lasts para to seeveneia objetia, es decir gue no admit un soo eemplo ‘Sen, verbigraca, fa fbmula A = Pab y sean U universe 4 lr nameron natualese HP) ~ >. Segin esta inerpretcion, result posible satsacer Ia forma. A purs detrminadas uencian, como serian entre ofras [as aeueseias (2, (2), ero no, sin embargo, pra las secuenlas (1,2) 0 @.3) En ea Bio pa el namo universe y la misma interpreted, sup> nlchdo ademas seatads Ta skein de sla la rma Bm Pab v Poa a = bes verdidora (lia), puesto que para cua ‘ier pat de imevos J eualguera que sea el arden en que 8 ‘os den es matemdtcamente verdadero que o uno es mayor que loro, aa la inversa,o ambos son iguales (ley de tcotomia fo hay sjomplo.en contra, Saft y verdad gin ‘Como casos Unites del concep extensional de verde sea considera as ncions de satin y verdad lca. ‘Stsfcbiidad Una Torta A es lmada sasfociNe si haya menos en alga univers una iterpretacion que i sts fag Andlogante se dice den conjuno Te frmulas gus os (Gimudtneamente) ssfacble shay al menos ean univesso ta inerpretacion que sala aun mismo Sempo todas fs or Inula qos sean minbaos de T-Y coreatvamente, una formal Do un'conjunto de frmulas T= que no se satsacile bajo min fun inferpretacn om mingia aiverso,reibe Ta denominacion ‘Se insatisforie or slemplo bs fSnnula Ax(Px > Qx) ex stifle (basta imagina que P denote l count de os espaoles 9 Qa de os ropeos) on cambio el conto de firmus: = AXCPR > Qa) ada s Qu iasatisfcil (lector observa que Ia und ‘Tals contatice la primer), Ved Wien. safc vad a su miximo ex ‘remo es ln wes ania @ verdad gia, Se dice gue a fr ‘ules Kgicamente verdadero universlmente wid fy ambi,16 aica smaouicn aid in ns) sc Sal es verdad bajo oa recta Yet univers (no ve)" Por jemi a seul Vans ANSPay una verdad gia, porgbe no admite ninguna interpre que [a falee. En cambios conversa AWaPay 9 VensP9 «solamente sisicibe, pon sien adits nerreasionss que in face vedas ate tbc sn gus I aan (est purse lan, ig cmo univers el Soin els hime irae ydenoar meant Pa len mayor ques (abe Ca Pi X-band 3) cect de crue ligament vrais prense al canpo dase enon se comespnde cn el co Seneca nay Kae ma te pete. {ee al pmo sda intone a eyes We ‘Sovomiado analicoe™ a Conseeventalgica Ahora possemos elementos pars defini con rg I ncién de conse ope, que aso Sea la ms importane fod ase ‘SoA una fem y Pv conto de Tomas Se dice que A (eestor wager are reed) ae pes es contectenca lige” desi para evalgier univers, os ne retain gu satisfags a Psst ambien A. Te rslacon de consecunca liga ese corel seine, tambien et fndimeno, de fa teacon sinuicica de deuctiad Formal, Cont smbolo de eta tina velaciénemplemos eld dhtor cen, eseibiendo TFA para indcar que la frmula & es formalmenteseduible (derable) dl conjumo de Formulas (Como snl ela reli semana de conseevenci gies wie Trae ete ot F aque daremos of nombre de conecutar 0 decir semtinco. ult indcar que ut frm A es commccuccia Hpi eae ‘Sunteamets, de un conto de formulas, esriremos ThA na ctv sinctic, loco de qu ua xml represen tase Ty logeayo se deus, por tm, deminguna pres © ‘puesto iniciaimete dad, se expesahar FA, indicando de este ned que a frmuta Ae sscopble de ser deed a ptr de ‘ovo premias 0 sopoiions nicales, Andlgamenteeseebreros aA si Acs una verdad gia (ened aati) ie tian ene Ins dos elses de relacon deduct a ded cid formal Ta eomsccuacia ernie, noe vil E pri ‘pono ext grntizado que ams yan de conc, Pos nent el pesado ms interesante de hr inestigcion de sera fd Tic elemental de primer aden, queen dicho one ae Sect pel omy vee cn ie ‘se a i tehoe ane wa Se Bead BOvs Loate smauien luc de doduibiidady la oacin de consecuencia son coetnsi- ‘avo eguvalents, Est estado ae debe GOH (1930), Per en ‘corns de orden super an ex ds el eas, Ea tas toi lca tl lgico inborn a rela de decided dja de ser one Fane, yx pio tenes fans srr de comsecenci hi tics Polo domds elector babel podido econocer en la definicién que se ac de fem da consocvenci oie lf sm ‘o-evensonal de Ta noir de argument. La cade que la er dad de ls premises incompatible ea la sedad de a conlusion expres en mines de semintca extensional dicendo que os Jmerprtacion que stisfgs a as primeras ha de stisfce I = fund Por donde se veel har Tendo ue ocupan en ica ‘ema i etezoris semis ’ ccapiruto ix DEDUCCION CUANTIFICACIONAL Enel presente capitulo nos oaparemos del cielo deco de cuantiadores, cay nevestad yo qued Snead. Dicho de un ‘nado my esque, opertloes de elo cunticacioal reredacen (1) abi fms ceradas por cuntteadoes,supimiendo ‘0 deamontnd prvionsimeate sto '@) alice las nies de Wgiea do conectoes as Fm relates “@) rex eponer al imino de as operaciones ls cuanti adores so haba supine. Aungue tava no ester en posesin de as regs que pec: ton efevtar les operaciones, quiz sia de iestaion un elem, TE primers moda gue habia gue tomar pra revolver e sigue srg: Ax (Qe-+ Re, Ae(Pe> ONE ALPS > RO) seria rcisamentelmina os cuantiicaores de ls dos supesicio- ‘es miles ilo peril oera disctamente sabe las exec. ‘as matics de ts y obtener, por una sencilla aplicain del 1 el slogismo postin de Ta cones apts de Io cual se restinra ol euniiear elimina Edsall com leto do te argument (gus es, dicho sea entte parents fn Inari del eempilo dea ping 6, send Patios, nego cur) pds were final de ext eapital 610, Fee ficto 270 ‘sora bin, las operons de spr y retreated180 Loaica sanouen res sm mucho ms complicadas de lo qu a peimera vista pads pater. Las variables iid eprosetan objets individuals, pero no deterinadamente como To hace os pores pris ind fbigumentey sean el conto, como lo hacen los pronoebres. ETeuatifeador cumple Is fncn de conratesar esa ambitcdad find el sei dela vastables, as eles, sin sh presecin, se tunste eo algo pareido a un pronombre sicado de comento sen dar liga «graves equnoeoy ena curso de las operaconc Lepincialdifcotad dl edleulo de euanticadores esi, jst motel sei de restrccone ycuels qe son neces aa eaten tals equvocoe, Finalmente, coiene hacer ora adveteci, En ct Capit x habe de qe los pede puoden sr aslo monaco laos poisons. elo resringido a Ts casos en qu as ‘ula cuunteaconles conengan nium predicudos mon ns, rei el nombre de edo euanieaconal monica. Al es- tio de exe cea estingio se dedica ete aptly el que le ‘Sue, Ab estado de clue exantieaconl polico se deca & (Captulo XL A. Drpuccios waruRAL 1. Rega declininackin de genraliador lieu de recados que vamos a expone constr ambi de reps basta) regis dotvadas En ene capil conser ‘or ls hea gu some, nade inwoductoay ot deli ‘acim de cada io de Tos ds cuaniiendaes. Tut ela de elimiactn de enonlizador (en abreitara: EG), tama tum por algunos stores de insoncact versal tin rela que permite fered una gencraliacin el res de ‘primi el nifiedorcerrandocomenientoment a mat me nel pore inten de un constant india , moe ‘eo, de un prime Seth Ses nous mae AP Veto oe BeDUCCION CURNTIIERCIONAL a8 [En el wtoontinario de! curso se considera lego pear por inferensia de I ley genoa leas conto, de dos en gener 3 he eo particule Se waa senclament, dea ejemplifieacion de ened “Tl seri, por sm, el paso de ls remiss “Td ingles copay Mr Heal sings acon Me Heath es europe, deta propoieiin todo es materia a proposiida is ast uta oo soc fatal oe Vi) one esse depres Cove diac no nce ie ‘ret oni el ts nem) monte are nde fren at rity Fn veri o0) Ps Oo2 Loaten siaouica Lael de liminacin de gnerlradr se formula as Pa ET segundo de los amriones jemplos se pola formular (siendo Patra: Ax Ps Pa yl deriva de ete argument sei “Laser 2m EGE ‘Yu saternos (Cap) que el goneaizador pus er enendido como una extrsin'ogeneraleacion dl conjanx-Analogamets, inogls do eliinacin de generalizadr (EG) viene ser eomo un neon ea. prs (aims! idm eae iene, Ss sme nti eRe reat, ao pom min dina alte rin ‘ocaniica Pa cde merci crn ie Sos “Prv Oko tne cement peeicatvon seri el samo Tyee Feat alte nes pe La mos ale et “npn em mins Py xpos pa PR oa ene omtsCp N 1) cextensin 0 eneralizacion de la regla de eminacin de connor ‘Simp, por la que pas de a poncin de ua eonjuncn ala po ‘Stn dean des kmentos, 52. Reade inmdoccin de gneratzador ‘La tepa de nde de penerlzado, «tambien de genera acini se abpovalsHG), carespone a uso aia de un ‘pincpo snr lo qu vale para an aso calgulor ale par {uo etson.Dicho panei perinie establser una infec ue ‘decline doi, del as aa ey. Est apa mrace for sca con mds dtencién. El uso del seferido pnp sntultv tiene haga, soe too, a mate, Sngue ambi sed en muchos ros contexts, como en el an. Ss de iicaciones juriicas o ea Tos muesteos esadisticos. He ‘Sul una strc dl empleo de ese principio oman del isi {inde Ia geomet. En los Elomentos de geometra de Buchs ‘rca a demestracin del amo teren sg lel Ts res rgulos de un iano suman dos vectos. A contnaacion sigue una prc doch teem (gue ese igo, fa de Bald, sno ‘tm ms rove de vgn itv): ‘Constnyase un ttngule cuales y trees una parla la tse gus pate por el vere apueto a esta Resultan Is siguientes pula: A= ABC (gud de sngsls steno interns) EAC = ACB igual de angulo eros inno) Dales £aC = ABC + AC (a sama dels paincres miembros ‘Sedo gules igual a sma dos segundo) YY ataiondo BAC aca memo (sean el principio de ques sods um misma cos aca mic de unt igual se vuelve ‘ner ua puaiad):ws Loaiea smmauicn DAB EAC BAC ABC + ACB + BAC Ahora bien, el primer miembro dela lima igualdad vale dos roots, Poe consiguiene, también ls valde el segundo. ‘Queda demostado que los tes éngulos de wn ting valen dos ects sta posh tiene por hase construc de una figura die rama individual yconceo sin mbar, permite cont en ge ‘oral pra do tng. La aan es que cho diagram, «pes de se individual y cone, es considera como un digas ‘halqiea Pia perfocament haber sda eulguir oo. Ela ter enerament sbitario del lcs da Figura constr pt- nie la infenci. ‘Ast ps6 pso infrencial def profiad deus nota peo den individu cuir sbi la sn todo nid en general estar usieado sempre que el individ que Sina de base la gonaralzacion sea tn indivdao afsoutamente ‘ualgdera soc, gues enon ie de oda condi opi Tego. Sao tenendo Ts segurad de Baer eli ese aiid, 00) 2h 3400 EG) 400 13.2 EDUCCION CUANTFICACIONAL 187 5, Repl de eliminacin de porticutaizador La tla de elimina de particnlarzador en abrevitua EP) 0 tambin, come algunos la lama, de insamcacin exten {hale bos en ua inerencade dsc inttvo gu conse es fur dea existence de un individ en principio o etficado Tpecoaecuoncas qu se siguen de maginar so Meniiacion. [La presente dees ou equee algunas clarion pre vias Soin In nferenia ment, ne abe que ha alan (= al enon on) iid fal gue pose una determinada propiedad ‘onus su sn saber enactment asl sea ese ini, pede paral eablecimiemo de las comecionstan qu se spi del cso desu fentiiaein, eso ex del saps de que an ind Uno, maginaiamente dering, pose dich nl, oro semeante inferneia so pede offset rai de come cin bajo cir estrstones. a To pont livid sain laments clepdo no poede set un sndvibo absoluamente tal ‘qr cst qe el dato iii algun, noes extense a toes, Sino uno a que pose i propia en custo Ahora bin lr ‘iso pet ido faginad de gus Sea a gue sista ‘Se propia arta co consccencia a resend que Inlividuo no haya sido mencionad antes cn ningun hips, es "cir, qe no haya trend anes en pcb spot algun oir comin Por va prt, convene no olvidar que a eta ies de inividone hice epi, pero no de heh, eto, mae haament, no realmente Pate a conlisi6n pues ser el rent apa, es prsso qu es ividae este ya deseartado y oapuscaca en cla, Tatas condiciones se tadcon de sigelente modo en a frm cin dels gl: 1) sinbolo individual @ purdnen propo, le ‘ido pa a istancacia, no debe apareer en apres existe8 Loatca smmouica ‘ia de aque se pty 2) a ne emia consi no debe ‘tne anpoed exe sibolo individual dependr de ning st pesto sin descargar qe I conten. Lo cua es ano cam decir {eo maginar spas dhe ser eanelad, ET esguoa de la opla de eliminacion de particular 0s como sigue: Concin de a ret: prime peop no debe ocr ‘vx: tarps ene gua pes previa no dese 1 src de Ta vopi de elimnacin' de prticulareador sua aio con I estructura de arpa de elimincin dedi Foo (ra pore) etd in el este pres a $6. Blovnficn de olcamces ent regla BP y ta reg WG La combinacin de las reals EP € 1G, cuyaapiccin enrana condones erica, puede dar gar, i eolvid ener en cuenadi- ‘Shas condiciones,» Jeducions iid como es <1 vsPe an [ike wre La apticacin de la rela Gen la ese linen eit,» ello valida la desacin, La razin ex siguen: sega te 1G parimeto , que sive de has gnealzacion, ha de BEDUCCION CUANTINCACIONAL 189 presenta un indivduo absoliamente cna, eso es, seo ingunahipeis; pro el ndvidoo supeso ela sound nes foe un individu ctalquier, sino um indivi ta estes uni {lviduo condcronado al compliment de snot PA pcs xe funda tne no puede tener coo resultado Kio latexes, Tho mis generlment: leg HG no cs apc au pane iptcareme stuao aoc aleance de rel EP. Enea ena ‘alsa sire, mnieamert iri, dl eau Aligans hombres sn 08 slenunsiado “Taos fos hombres son ios190 OHA SoMBOUECA ‘Taal REGLAS DEL CALCULO DE CUANTIEICADORES ._ Rras Bisicas (Gentz, 1934) Imire de generaizador — Eliminacin de generatizador 1G eG De xP ax Pa Iniroduccion de portcuarizador liminaciin de partcoarzador ° ms var var ne = x 1 Re«Lasoenivapas Inercambio Aone “ | acne genertiador Defic del parieaariador 06 or nar vats Svan saa ogucin del peneatzadr —_Negain del paredarzader NG x nae avr veoh ars $7. Inercambi cuasficacione Laie de reg de ntercombio quo ya mania en ot sie de conscores (Cap, Vil § 7), Sein dha rela ade for Inula 0 subfarmale pusde ser reomplza,cualgens gue se ef ‘Context qu la esc or su gue Su extension 0 ‘ileal eige la demestracin de i es iid tumibi paraCote foscuanieaconals Ses pode eresciar mente un figura snr a adel ane rior eel, cn tal de ese etc gusta vez ts Toms oo {set pad see Ferme goers por eusnicadres (asi Se indlear cuando intrese mediante st opr prefi AXA ‘YyB).Siendo A, By Creal (emotes) cualquier y sends Cys Frm gus Conene una om vost a printers Cy le ‘std docambiar en ex ina ano mis oerencits de por ena fois ocurtencas de, la Fommuscin dela rp de intereambo AoRG G He agai un ejemplo de aplicacién deta ela Ta Fru cu sic Sse ene equvenca Asbo Wea Pr yelcurso de una dedusion pemite obtener I rua 08-9 Aste lose efictuar ena lnc de derivacin que inmediatamente sig recmplzo oinersamino eh es formula dl snseeuete ANP or su equivalent a Ae WEP Laregla deitreamibio come sas i constant Capi ‘ian emetarelay,y 9 frsracn e oben po meas «vo ders. De hecho en id soci insho capil se hizo ver que et ples un corrode ere {I msm nombre el nctscorama de inorsambi,eayapbcba se lly eao por indus sobre gro gio de Ia emul ge en sia ln subframe ectr rvs a prc fe fds en exept, se pte de que asta sia dos mucvo8 e Sonal paso dais cas en que ful eglobate es ur francs y cau en cu emul es ua parc. Caso, DANG. Hay que demosra AAC, 6 ANC Le. (pies de inducism) Dare, ace ra! ae 1CO, 1.3 SAC tet Gane AxCy TD 26 Taxce aS kG7 oc hs Ware, 19 UL AxCy > ARC) TD 7-10 Ta area Axe ICO, 11 DrUCCION CUANTICACIONAL 193 $8. Reglas de neni de wificadores Pneros fin cor de ete apt co a comin de to rogers ca eretr seh conempado ya ea Ide exe capita, Dos deel permite inca ode hs ua Fares frcn del toy del neptr: so,por al il cece Incr de Is rege de lotic de conjure ydsyuior feel de conor, Lis os dos penne Ta nriizacion de ‘anor co espace a ealgio de ns emia pe, prs pte, clini cunts dels yes de De Mean, ‘Efiamentacin de as cut sgu a onic, Fa dee sin de la re de dfn el preariadr mo 3 Bet aad ‘rss de eunfiadoes que fs hase. Bn cin de as ts se rs ambi a rls devas de caicados foci, con ui el angie dep e rohice nobles, pe vax Sas Fandamentcion vars Bo ARP 2p (ona vers {-tom 4am GS [ 1 vaPs rio Staats Td |EIVAPCA VAP TINS boa’ THs | BSP THe TAP EPL26{ WaxnPe en IS Ax Pea AX PRT 15,8 1 Vat T9.is In vare Tepa sts Van Ps Fandamenaciin HL AKPa = San 2 nar TL baat Px DPS care 2 TaRn Pe © save rps Saxe im GLA DENGACION De cenenatr2aDO Ne Ars VanPa Findamentacion IoAws = 4 Vn Px 2ONVESPe EDGE SnaK—Pe Ps BV Ps 12 OTA irs NP a axes Pundamentacion = tava 4 Ax Px 2OAAKPe DPE SSVa— ome Gs Sax T2) énvaPe Ws $9. Reslucin de argumentor El estaio de ste capitulo rmporeiona base sfc pata solver arguments en To qu respect ceantifieacin monic (e clasiva imervencin de prediadosabsolutos), neste sid, por do elas que ex preciso memrizarealgic de cuaniice- ores es, compuratament, mas redcido queen gia de comet. res dn se ron, em In prictis Ina de un en RM ‘ereghs deriva ‘Si embryo, ea lo que se refer us relaciones del igica de pila difrenta de To gue sicedb on Iigiea de conctoves, is cies de formalizacicn del lengua que se estudaron en el Co pil 0 proporcionan Bas stint para rai Teri ftoros del Tengaje oman protigonizaden pr ls. paral Std ovalgunoy, Pars elo se nesta, cuando menos, el estado eas dos primera seciones dl eaptilo pxime, reaias a a [ropesiion category su esac Formal or ests razon, en [apse soci ae comsiderain tan so aos de resolucioa de agunotos planeados en lengua formal ‘kjando clans de argumentos similares expueson eh lenge Informa pr sce nal del expla sige jersicio 1° Ressler el siguiente agumeat Aste -+ Po) Aer 85) ‘Anite Or = $2) aie (Pes 00)196 baie smmnouten Solecién = EAstte-+ Po = DAMP 38) 3 Aulls Or 59) Reh SPS Ran Qr— 80 TR i sh 5580 (R00) MW Ronse baoe rer lu 500) ISRe> (Pu Q) TGAniee> (Pe 9) jereco 2° Fundamentar los esto exguemas de argumento siguientes 2) AxQx-> R) 2B) AMOx> Rs) ‘axtP 3 08) ate 3 Q8) AMP RS) AMP RS) ©) ANOX> Ro) 1) AxQs> Rs) Vales a Qn) Vath A) VatPe ARS) valPe a Ry) BEDUCCIDN CUANTIICACIONAL 7 Solucin 2) = Lage st) 8) = LmlQea—ks) = aha 00) = aaa 98), imo 62 ince Ook BG SQbo ake Shot Six oe baie) 16S hi oka) 108 2) Lastge st) A= YalQe-4—) BE er) = gs syste isch sc iat inte Fs Fy sant os 1S a ants tones Meany Sey savaea iors an) FP Ejercico 3° Fundamentr los euaro exquemas de argument Sion: 4) Axx +00 by Axis +00) Ash 00) Axis 8) ‘Aud > -R) ‘xt oR) 0) Axx -> 08) © Axikx 00) atte a 0) Gare a 50 Vath 8) vatPe RS)a pateg20) LARS TES ESE wor HE“ er [owes [Ba O=fabong) = 1 =a 2 Har i er Tora ws Toke MTS, 6, mn fas | tatte ie sai gc ga cnn eric 4 Fundamentr los custo exquemas de argument sigue: 4) VatQx 0s) By AxlOx—> Ro) Mtge > Px) Valoe Px) VaR} Vale a RS) 2) ValOx AR) A AxQx> Ro) Axx Puy vais 0 Ps) Vale. vain) 1 tear gue apc de eet ce pneu ips ’ eDUCCION CUANTIFICACIONAL 19 Soluctin = Lvs) 1) = 1a) = ana 70) = 2a) Soom EG? sok S010 fQnah so Si Soe on on 7h Sip. Tk Shake Pro? Bake OvaPesRs) IPE ve) ovr) PL.49 OVA) ~ Lage aR) Laan ks) = aa) 2vugen?s) Sqm 6G? Sock HG! Ques tOiar so Sing so Sig. on MPs on Sip, Te Sip Poe rss Smee Pedy | Stinks Pd Dain) IPS Lynsey) Pk ivaeesk9) EPL.49——OYwPRanRs}—EP24 La dno oe: Dr Flan nr Fjersicio 5° Resolver siguinte arguments avx(Pr Auer Vet Orv Ps) Re) AOE PO,200 Loaica smapen Soluce 21 e(Pe na) 9 MOP ere ey a) Saver Ro, par aves Sern, Tors Sova aie) TDN 4. rere) pis AV (Or Pa toc’ 8¥e(Or > Po) DN? D veer Po) tors ‘MoM apie ma ct comets wren or Mie B Tautas semanas {§10, Tala semantics de Higicecuaaficcional Para resolver problemas de entific po el método de as tabla semdats se agregar as siete rls ya formulas cu tro uevan una de verdad tr de fod pata cada uo de os ‘hos euantcadoes Teas rela del tao de as tablassemdntcas son tds ls, como hab podidaabssrars ye fas fasta ahora conexidas, r= fs de cimincin de signos. Las eva relas a consider ui trnden elimina euanficadoes, permtiendo of paso de una ‘uifcgiinode ls negactn dea canis ala mat co respondents o-n sv megan), dbidamenteinstacins por Ios portunos panes ‘Dos delist mg de verdad del goeralizador (VG) yl lade fase de priudarcador (FP) vo ca xP vars Pa aPs DEDUCCION CUANTINCACIONAL 201 permiten este peso dena manera aol. Si fanart inti {Thor encocnraen el data emnicn de que dela verdad de unt gsnerlizacion se sigbe a verdad, y ela flsdad de una part fnnaacn lofted, de coger natancia indivi eoeesp dee Te eras dos regs la el de fe del generulizador (FG) yl regio deve del particlarizador (VP) 16 ve are vax “Pa Pa dite o paso ala coespndioneinstanciaién de una mavers ‘lca © condiconada et paramere ela introducido debe set Stucio» el cura de In devin, o endo mens a0 wad ‘ese ninguna ites ‘sr coda da lector se ocogen en el siguiente cuaro ta totaldad de as eles ‘mie mel dessin casei. Db rela mire oh ws ‘atti tl Sm nC to Kh inact et prcsrder(F e eer, pt ao eons aL ene2 Tawa ancien aa vw " Asn ssn) Sale a ae ve Fe AaB tA By * SalsB 8 vo ro AvB ap ve 6 xP aa Pe a ve we vate avr Pa snk Pa DeDUCCION CUANTIFICACIONAL 203 BIL, Bjesicioe [jerticio 12 Desi a vad delsigiene argument" Ast > Ma) Vaiss 8) ‘vxiSe 4 = Px) — ee eae wy i he a x : : Bercicio 2 Davita vlider gia de la feu Fen el se pats etd se20 Lootca smanauicn Soluciin 1 UP vsPx) 2 hate mn 3 Narn HL anh \G2 aa lets 3° Deciir a valid igen de armas AXP > O01 (VAP > VRQ)" Sotutin 1 [Ass > Qe) 9 (vats > VAI 2 Au) 3 Svar 900 amo 5 Va 6 S¥s0x 7h s =o a oSB ms oor wis jerieio 4° Decider igen de a frm VPs 9 x) Va v WO Sotucén 1 00x 009) VARY VEOH) 2 Vata Qn wi 3 “iva vs00) HL 4 Pine vr? 5 ta yea 5 0a ves 1 Marx D3 spr rrr $c. Leves pepismamvcion $12. Iroc ste apartado se trata dela expoicony fundametacién de una see de lees deli santificctonal momen Ca ua Je ‘las sv considered corn un torema de Wi, Su demostaion Se fect de acuerdo con Las elas de eieulo esblecias en el Sparta A de ee mismo capital, por supe, de eve ah Icon ls rgis dl ciel de constores ‘Una letra dete de ese apartado no es necesaria para It ‘ompeensin de fos captulos que siguen Ata efecto, bastard “blo revision dens eyes del comentrto soe Ia erat de Tne misma qe so expan a principio de ada Socion206 octe smnauien 13, Leyes de deasnancuanticaconal ye mutacin Prartatte gad ‘Comenzareros por an grapo de eyes de estrctra may simple a primera dels, la ly de desensocusnificckndh atria ‘aso de lo genera lo particular (presuponiendo, camo se indica ‘on mis dete en ef Capitulo X, 4 In exci del domino va ‘cen tod el dito de fa cade cunicaoresy xP Va Lasley de mutacin de viable xP AyPy abs oF V3 ermiten efor cambios de variables lads enol inerio de ua ‘emul To cual, segu se ors mis tard, ene ec tia pa la ealizacion de operaciones de desparamient de cuanieadres, in asd Faarres ay oe Sty TAR ayey TDL Ahan Ms A stron meso in me de ose BTA, Leyes de dsribucin de connfeadones Lox cuanifieadres pueden rimmed desde exerior hac iron como nbc dl nro a extirde de rma formula gus regret ple gies ‘Glas misr ten unt big sere de jes dui. ‘Societe de et ye e may con vata a ell, porque ‘pote cambiar consdealemc y de uhrsos mda, si cr ‘eng ent cso de as daciones la estructura de una Teun gor Sims ey de dbo cuca dunt impiacon, 0 eretiinente va coimplicaci, que vince ‘tot fm sen, enna compo en Forma erp eo ‘hniiaconal ede pret) cm fora isi el mao (Geto cuoniitcoal dreamers ada os compencats Em estt seco conideemos unas cuanas eyes dstbutias qe pers grap convencionaliment as: A. Disribacdn de cuamiieadoresenconjncién AMPs AQ) 6 ARPA ALOE Ua(Ps A Qa) VAP A Ae YAP AxQi 9 VACP AON3B. Disvucion de euatiicadores en dyson BEDUCCION CUANTIFICACIONAL aw aah Simp, 9 fs at VadP 3) 6 VaPRY VQ AMDev AAQe > AMPA ON) ae Sans9 pekeeyeceey 8 Ne mn soe Pron 13 15 AMPs 00) ios Ip AXPRAxOx 9 AMPLAQY TDS 17 AMPRAQH) © ARPEA AXON) COS, 16 .-istibucin de euuntifiadores en implicacion ‘Ax(Pa ON) 9 (APR AXOH) fee anova Caer oe ‘A continuacién sigue ta deduccién de cada una de estas leyes. 3 Qa ‘Simp, 2 eo i L$ ae Ries areal tenes uaa 9 VxiPx 5 Qx) 9 VaPxA Vax TD 1-8 be pre, aS pie hates a ie an Simp, 2 4 Var oe a ae L No 7 -Vx(Px A Ox) eee oo 8 VatPx Qk) eee 9 VP a ANQK—> VIP 408)Ley de baci cde pareulartsadoren dsm pep F vatPav Qe) 6 VaPxv vax Demostacin Ft vara v5) 2mvda pk LS Wav v0. 6a [ 7 Vax & Vabew vue US vaps vas 10 vaPev vag I WalPx' Ox) => VaPa v Ws 12 Vale vag 13 abe 18 Pe 15 Pav 1 Vale 9 os vate 0) I vax 719 00 20 Paveg 21 Yurvou 22 athe vO0 2 VadPe vO) 24 VaPeV x03 + Vale 9) 25 Va(Pav Qu} e9 VaPRv VAO Ca82.3:5,658 EPI39 rio Aa, 13 wis EP L3, 1446 Ads rio EP17, 1820 Gas 117, 1822 D225 eye de dibuciin de generaizador en disyuntia D, Faas vAxQe > AMPA Y OX) Demestracin 1 AxPa v AxOs 2 AxPs Sm || 4 pvae 5 axis Oy) 6 Oe FO x Pavan 9 asitav Qs) Wo AMPA vO») 11 AxPe AxQx 9 AnlPs VO) pop, FaxtPs vx) AxPay WO ~ Larev on, 2 PavQa 3 Vaan va0n avon US axtey vor 6 Vkdn 5 ax Os soo 10 AxPx TL AXDx © Vax 1D Axa WAGs 13 AMPe Ox) AXP ¥ VQ 62 AS te F664 gt tak Cas 125,69 1 Lio ro! Pre Aas Nps 2GT 8p,2.8 wo Ad, 10 Can. 45,6411 wid i du fie ina eat Shoe Sax emcee pe22 Loaica smanauicn Leyes de diarbucin de generator en implioctin pa, FAMtP > Q3) (APA AO) Domosteciin pL Awe | 3 Pa Qn rat 44 FG? | 5a MP3.4 [Le atoe Is — 7 ASP AO 126 8 AxlPe > 08) (APe+ AOU TD 7 F AxtPx > Q3) (VAP VO) Demasacion J Lat 00 = 3 tale im [shee | 3a @ Yoox [Eo vege — & Yate vag wi 9 ANON (¥atR->VAOH) TOTS pe, BEDUCCION CUANTIREACIONAL as Leyes de dstribactin de paricolarzador em implicacion FE vadPs Ox) (AP VQ) Deestracion L vate 0) 2 Ashe 3 he Qe ah G2 50% MP3. & Vea es en 136 8 AnPs> Vax 127 9 Watt > Qs) 9 (AAPA > Va) TD LS E (vaPx + x00) 9 ValPx 300) Demosracin 1 vars > vege 2 vue 09) 3 RiP 08) 4 ei a 5 Sian a) 6 PaO a & Vax t 3 VaPay vO 10 ae 13 AX Ota 16 att 9) Lois Vatee->0) 16 (VaPx > VaQs) > VatPs-9 Q8) TD LIS2 Loates smnauica Leyes de dsb de generar en evimpicackin voce, Faas ares neon f sspresen pass . ane ve 8 Mrs PAB nex ths ae Po veo. [is 13 BARING ioe V6 AMPLESQN > (ANDRE AxQ) AD EIS aca, Fb andPs 62 00) 9 (vax 62 VIO) Demosraciin — 1 awPsoron Pavan a | | Pasa ECOL? 515, Ome leyes de druciin cuaaionel 3 4 5 bo MP4 + Vox ire 8 va0e 347 9 VaPx + Vx Ts 10 Vx 11 Qe 12 Qn 13 Pe vat Yau vaPx TDI01s Varo Vas 1C09, 16 DaDRe> On) > (AP 64 Vs) FD LIT sacaPiruLo x, SILOGISTICA § L Laprposicioncoeprice Pr capitate eexpli itivament el enim de ta ctumitteacion, somo la apiacén de Is arcu wos 0 al uo a as ancione proponcomale, que son esquemas vclos de ‘mucin, LI mecanisno de tal plcacicn queds-manfist ‘Shumdo se parte de a ase de nt fanibn propsiconal de ete turn muy simple, AS or emplo st nuncio Agu et ery cx susceptible de sr entenido como la laura, meine fa par tical efgunon, de ofan prosiional wr ext Reid (a esque vaio de un enue atic). ar también pode siceder que I particula de cutis core similtineamente don exquemas de enueadoatdmico (come Simismo puede ors, princi, fncones popsicle de ‘upc pat de ompljid). Asi por sem, el enoseiads Align sldado os rio ode ser expicads como fs cuntiiecib simulines de dos es fquemas yextauestos de enuncido timice x sldado, st Ferd. Anogament la peoposicion “Tad hombre es moral use ser ented como I pics de a patel woos 2 una Inatiecompucsa de Tos pres es obo», rex mort, Leas popossines ensstoncs eh Ta euantfiacion sli edu predados combina ene x, dees pares oa, sot trdiienalmentelamodas proposiciones eatsiias saltiness cn er20 Loaten smanauicn CO hava B (nates a}eavate 8) aPiTULox, SILOGISTICA 8 Lapmposiciin coepirice En capitulo anterines e expo intiamene el enmeno de ta custom somo lap de as pares wed 9 uno as Fancione popsicle, que son esguemasvaclos de ‘mucindo, EI mecanismo de tal aplicacion queda maniisto ‘hando se parte do a ase de a Fain proposicionl de estuc- fart ype As, porejempo el nunc ganesh heido ‘sunceptible de ser entndido como la clasura, ment a pate teal selgunon, de ancl proposcinal ren hero (gue es ‘leq vaio de un enuneiado atomic). eo también pede susder que Ta paticula de cuanieacion ieee simultineamente dos exguemas de enunctado atbmico (como Ssimisms poe cera, en panepn, felons proposiionaes de nay prado de compljidad). Ash porjempo, el enunciado ‘gin sola est hevido ode sor exlicada como a eantiiacién simulta de dos ex {hems yustapucsosdeenncndo atomic’ oes oldadn, est Felon, Anpamente ls roposicon “edo hombre es mora poe ser entsrda com I apicaci de apatite soo 3 us ars compass de Tos predeados es hombre, ees morta Tas popsiciones consents en hr ewantiiacion simatic de dsp comiinads ent i, de oo pare ora, son traioualmentelamadas propasiciones cuteriasmm toaiea smmauicn Asimismo es traicionaldistinair en las propsiions aes rica dos tein sjetoy redicady smbolzados po as Teta Sy Py dvi, contre Ta cand, em wversalsy parti Tare ai gue la parca de caida determinate se todo» 9 ‘ln conformed eh rman nega (se fi que no itervongao itervenga dvishamone en els la Pa teula os). De este dbl entero de elasieacin po cata’ 9 ‘saad elon ent tpos de propsicin eter eyes es ‘vemos tuiconaley seguldos deus rexpetvs denominaciones Indic a cotinutcin Tod Ses P (universal afimatva) [ing Sos (unvesal nesta) Algun 8 es P particular atrmatve) ‘Algin Sno er tpt negate) Pra design sbreviadamente «cada uo de estos esque 32 npn desde my ang, po exe mito oe, ls wees ma setae AVE, Se esteem nai “Te at eden ar pap lit pra sms ono ena me. 0 prea an ope Ist hee premier er sea Se “sean ree Paes ig A sever delayise nn rn, ae et Los trminos del proposicin eater extn ena por la cpu wean sentido ean menos uno de os prnepaes Sem ‘ids de risa se ead en a iguoneseceion = ’R propa de a cul yl ea de reicacion coven woe dar gue ABSTOTELS ula dos pos, prtcamenteitreambia- ties de eucmasdeenuncado y representa a fom del repost ‘Sn eetren mas so meds unesquea de pono omelpretizadaanepuest: «xb A 8 tmp gue se dua ‘el preicado A convene a seo Bs), mires qe eas rcue a th equa depo wont: uA eat Bo (gue se radia: el junto A ext pled en el conunto Bo) ‘Con el primero de esos dos esquemas guard cert correspor- enc muests ntacon afapeionaly, p. Ps, de Tos eaunciados ‘smicos, Un enterio distin, pro igunleat vlido, de formalin ‘hin de dicho enueiados couse en tomar nota de a intrvencion fd un tererelment, la cpu ner, sono enlace entre sujet ¥ Predicad. A dicho eterio se jista una fomalizacion que tebe 80 {rigen ent matemsca alana PEANO, quien design & la copula, tomada ono significa la perenencis de a tdiiduo 2 una ‘hse © conjato mediante I len grogav€> (iia de la pala leg cea, qe significa we). Sendo clase dels oleic Slaves einividuo Loni, cl enuncada atomico bea es bol- hewguos se simbolizari: aex «ques le: aa portenee 9 5.0 utes miombeo deo. Ese tipo de formalizes es normalment tlizado en eiealo clases yen tori de conju. lewor pode advert parfelo que guard dcbo tipo de fe- mln eon cl esqiema femaio representative deta fora de las proposicioes: et? (ajtoepul-prediado) que ha peal ‘ho dende Bort (sigh I) en fa gi raion. $2. Los dagramas de Hon para fa proposicin cater Los téminos dela propsiiéneatepérica son nombres com- es, como anima 0 wtingul, que no dentan un indivi de nw mate eis sia pe veel Cop X, 82.