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