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