CAPITULO 2 INFERENCIA LOGICA @ 21 Introduccion Fn el capitulo uno, hemos aprendidg a dividit les proposiciones en sus partes Iigicas y de este modo sc ha llegedo 2 conecer algo subre La forma logica de Las proposiciones. La idea de forma’ st puede ilustrar com algun de los resultades del capitule antesior. La propesiciin P+ @ ex Ja misma, en cunnte a la foriaa Ségica se refiere, cualesquiera que sean las proposiciunes en castellano que sustituyan a la Py a la Q. Los términos de enlace dever- iminan la forma de Ia prapesicién. Conocidas las formas de las proposiciones ¥y teniencke Tos instrumentos dle simmbolizacién a nuestro alcance, podemos diriginos ya hacia una parte amporiante de la Logica formal: intereneia y decuccidn. Las reglas de infe- vena que rigen el uso de los trminos de enlace son muy simples. Sc pueden aprender estas reglas y 2 entonces ptm ez rt yo 3. Six es un odmero ey ex um mimero, entonces x+y cs un miimern. x coun numero ¢ 7 es un mimero. 405% coy y yor. chtonces tee Alle ver ota y y SiR Wealeeey hy pe ies yo pp ee FOE od, Demorcrociones, Cuando se una ume reyle cke inferewia para pasar de oun conjunte de proposiciones & ire propesinin se aemweste qe Ie tims pro posicidn es comecuchcia igicn ele las otras, Estn se pocde expresar de muchas maneras. Se puede decir que se ha deripado Ja contlusida de Las premises, que Ja conclusién st-infiere de oes iaplicada por lax premises, que In con. clusi6n s¢ deduce de las premisas, y otras. Todas exis: palahnes a expresionesINFRRENGIA LOGICA a9 signifiean In misui: Dudas ciectas proposiciones, siuna regla de inferencia Tos permite pusir a alta pivposicida, entonces esta propesicléa cx una con- chesirin Mgora de les proposiciones dadas, En la iltima sevcitin se hen visto algunas demostraciones cottas. Utili- zando wrndws pomendu purens como tegla, se demostré una conelusidn a partir de un conjunto de premises. Por ejemplo, deR = Sy se demostrd 5. Se podria esquematizer la clemostraci’n de manera clara ponienda up R—as P Zhe a (3) 5 PP Cada tines en ln demestrociiin exif mumetuda. Desputs de las proposiciones simbolizadas se incican come st_cbtione cada peopesicida. Sc han indicado con P las premisas dadas, Las lincas que son premisas s¢ representan por P co la regly de presisas. Se patte de cllas y s¢ doduee la linca (3) por cl modus pamendo panens, Io que se indica en la linea por la abteviawra PP, escrita desputs de la proposicidn. Eyrecicia 2 A. A continuacién se dan conjuntos de premisns. Deducir una conclusidn de cada conjunto, indicando cémo se obrienen-cada una de las terveras lineus por medio de las abveviaturas P en la-segla de premises, o PP en el modus ponenda ponens. Ejempla: A) Pos P (2) =P P (3) 8 rr Lila 8 BT) R (2). 40 (2) RST @ (3) ayeo 2. (1M 4.41) a BA (2) AN (2) 78 (3) (3) B. Simbolizar cada une de los conjumeos de premisas del apartado A co cl Ejercicie 1, Después indicar una demostracin como en ba Seccitin A de este siercicis, numerando cada linea sefialando por medio de Ins obreviaruras P para las premisas y PP para modus pomenda pomens, como se justifica cada linea, : Supper lle50 PRIMER CURSO DE LOGICA MATEMATICA Cx Simbolizur’ las propesiciones’ matemdticas te La Seovién det Fjerci- cin 1. Después indicar una demostmacitn como en lw Seorién A de este ejer- cicie. Demostrocioner en’ dos pars. Algunas veces no se puede ir directamenre dectas premises 21a conclusidn porn solo paso, Pero cero net impide poder Megara Ja-conclusién, Cada, vez se deduce una peopesiciém por rredio die wna regia, entoncrs esta propusicién se quede wriflear junto con las premisas pata dedueie otta propesicida. Considétese un ejemplo en el que se tienen tres premisas: i) A+B i @asc e GpaA r Se‘ quiete probar tn propiaicidn €. Para Megara C, se necesita dos pasta, cada ‘uno’ perinirido por ef modes poaendo pumens, PP. Eatow dos pasos son Wis Tineds (4)'y (3) etcritas a ctintinuiacién: (AB P Q) Bc P Ga £ aye PP 1,3 @) ¢ PP 2,4 Observers atentamente rl exquema de la dementracitin, Cada linen esti umerada, tant sf es una premisn corm wna lines cdevhucida, Cada linen etd justificada, bien por ser premisn (indicada por P), bien dedueida ‘por wu rey de infetencia (indicada por la abrevintura PP). Ademés, despui de bes hrevinlurag goereapnnidientes’a las reglas. empleadas para obtener |ax lineas deducidut, ve ha indicarhi ef wdmerd de fas dimers u partir de las eenles se ha dediucido esta linea. Por ejeimplo, en Ta Mines (4) ba sigha «PP 1, 30 sipvifica que B s¢ ha deducido por el modus pomende panens de las Umeas (1) y (5). AndJogamente, en Ta Tinea (3) sc ha detlucido de la por medio de la re la TE de as Winey (2) )y (4). Clstrorar que ve pocde wnlient’ una Hines que se ha dedueid, juato con otras Linens, para deduett ang news Iiuca Cade inca que puede ser justificada yu sea'coma una premisa a por el uso de una segla, s= pede ‘utilizar‘en ofmes jusus porteriones de In demostraci¢a. Antes @¢ inteniar fuel algunas demnstraviemes oortas, ‘consiclerenus veulavia un clempin. Se sujrinen dadag lag premiums signientes y se quiere dermstiar R ww) rH P (ys F (3) ATR P “oT PPA? ‘ye Pr 3,4INFERENCLA LOGICA nH Se utiliza el modus panenda powers para deducir ubw Hines (4) y cor tonces se puede aplicar y y p>: entonces x>7 | aby yaa Six2 entonces x> 10. ‘Por tanto, 22> 10. 5. Siam asian a etuemnoes rer = Si x=2 entonets 2 =x. amy ¥ poe Por tanto, 2= x. 6. Si se levanta wire beimedo, entonces refrescard. Si refresca, entendes se formanin nubes. Se levanta aire hiimedo. Entonces s¢ formanin mules. ” » ©. No existe limitacién respeeto al mimer de veves que se puede aplicar en una demostraciin la sogla wwodus panendo pomens. Lox ejetcicios que siguen requieren mis de dos aplicaciones. Deducir In crmchusidn que se desea demostrar, expresanda Ia regla aplicada para deducir ends Tinea © indicando Jas lincas que se han utilized ul aplicar la regla, Dencir oH ‘Demostrar: 8 () Ra a8 P. (I). aG = E Rr P Qesk iw -3— a P (3) 4G uy @o-N P (4) R41 i (3) 4LM Demostrar: RW SB) MB (yevoe P @) ¢ve—4F r () AF 4&8 v ) ARB ORV S Pr suede © Cumlo pata expresar una proposicin atémica st usin ae mstemé res. no es nee ra ‘mapiculas para suunbulicas be pu in atér ww ulilizavin log simbolos matemiticos como Migicos. Por aa ened Ejerctin 3 Seecian By le premiate se pueden excl xbhwd abies? = rte? pila? + sayINFERENCIA LOGICA ca Doble wegucién, La regla de doble meguciém es una rogla simple que perinite pasar de una premisa unica a la conclusiée. Un cjemplo simple cs cl de una oeguciéon de negucion, que brevemente se denomina «doble nogacidns, Sea Is ploposicida: ‘No woure que Ana no ¢s un eitudianee: {Que uumelusiin se guede sacat de cote plemisa? Lvidentemenve, 1 prede shecie: Ana es un estuliante. La regla de doble negacién tambida. setda en /scatide contrarian! Por ciemplo, de la proposicién: : Jonnie: cinema aide: omeleecaocie? se puede concluir la negacidin de su negacidn: No ocurre que Juan no toma el avtobys para ir a la escuels, Ast Ia regla de doble negacién tiene dos formas simbdlicas. (Py =F) eg e —miPy () La abreviatura para tsta fegln ex DN. En Ios ejemplos siguientes, cl uso de la doble negaritin permite demos. trar na cunelusién como consccuencia légica de una premisa, a. (1) R P & (1) A P (2) oR DN1 (a DN 1 c. (Ll) 491 & Q) P @)P&o DN I Abeta que se conocen ya dos reglas de inferencin se puerken hacer de- mutraciones cortas que requicran el. uso de ambas. Gonsidérese el ejemplo que sigue en el que el modus poendo ponens, PP, y la doble negaciin, DN, se utilizan para Mega w la evaclusidn: arse P pe P ae PR 1,2 iene DNS™ PRIMER CURSO DE LOGICA MATEMATICA Eni la demostraciin hay dos: premisas y-dos lineas derivadas. La lines (3) 58 deriva de las lineas (1) y (2) por cl modus ponenda pasens. La lines (4) se deduce de la linea (3) por de tégla dea doble negacidin. Eyercrcio 4 A. {Qué conclusiones se pueden sacar de cuda una de las proposicioncs siguientes por la doble negacién? Yo Todos los mamriferos som: animales de sangre caliente. 2. No ocurre que el micle de un dtomo nn esti éargado’ positive niente. 3. El gtanito cs un-tips de mineral fgneo. 4. Eo los Estados Unidas lax eleceiones presidenciales tiencn lugar cada cutee alios. 5. No ceutre que un quinto no es ell veinte por ciento. B. En cida uno de lor siguientes grupos de premisas deducir-una toaclusiéin, quando sea posible, por el modus pamendo powers. Sila regla modus panendo ponens no se puede aplicar alas premises, indicarlo poniendo «no PP». 1, (1) P& QR 4 (8 (2k ()s— FP 2 (1) QSR VS 5 (1) $>T&U iy a QtTeu Sry aR 6 (1) PO 2) QR (2) oP C. Poner Ja letra (junta a cada afirmacicn cierta. Poner la terra F junio a cada atirmacicin tulsa. De oR se puede deducir &. De Sse puede deducit 18. De Pos @ y P se puede deducir @ DeQ se puede deducir 4G. De R-+S 7 Sse puede deducir R. fee DD. Demostrar que Tas conclusiones son consccucncia Iigica de las ptemisas dadas en cada uno de los ejenmplos que siguen’ Dar la denstractin complete como en los ejemplos anteriores: cs decir; se ha de numerur cua Vines, in-SINFERENCIA LoGica B ica: la abreviarara de ln reglausada, y fos miiamenas che Lag lines de des, que se ha deducido cadalines eo la demosttacién. 1. Demoetrut: 337 4, Demostrat: Pv @ (I) ST e kr Va) OP (Qs P (2) R P (3) @) (4). (4) 2, Bemostenrs B 5. Demerans nN (1) 74. re (EAP f (2) A 8 F (2) SPN P 3) (3) P ay (4) () (6) 3. Demostrar: G 6. Demourar: @ (ly HG P (1) ISK &M PB Qa P Qa P 3) (3) K & M+—40 F 4) (4) Gy Ae Modus Tollendo Tollens... La regla de: inferencia que tiene cl nombre Latina modus tollenda tolicns se aplica también a lus proposiciones condicionales. Pero en este caso, megando (tollendo) el consecuente, se puede negar (vollens) cel anvecedenre de la condicional. La deduccisn siguiente cs un ejeniplo del uso del modus taliendo: tollens. Premisa 1. Si tiene Juz propia, entonces el astro es una estrella. Premisa 2. El astroono cs unapestrella, Conclusiéa, Por tanto no tiene luz propia. Se simbolizard el ejemplo de la manera siguiente:a PRIMER CURSO DE LOGICA MATEMATICA La abrevistura del modus toflendo tollens es TT. Cuando el antecedente © el consecuente es una proposicién molecular, puede usarse el paréntesis para mayor claridad: AP) = (Q) iQ) at) Por tanto, la tegla modur follenda tollens: permite pasar de dos pre mnisas: (2) unit gtoposicién eanditional, y (b) una propesiciém que niega cl consecuente, a una eonclusidn que nigga el antecedents. ‘Ouro ejemplo puede aclarar todavia la sfirmaciim anterior, La. propo- sicidn condicional es: Si es por la mafiana, entonces el sol cetard cn el Este. Se niega cl consccucnte: El sol no estd en el Este. Entonces se puede negar el antecedente: Por tanto, no es por la mafiana. La regla se aplica a todo conjunto de premisus de esta forma Fl ante. cedente o ef consecuente @ueden ser propusiciones moleculares oo propnsicio- acs uidmicas, En los ejemplos siguientes, se usm in regla madus rollesda vellens en Cad cists de elles tenia de lay premisas ex ina condicional, y la ora premise niega el consicnenie. a (1 RS e Op Q@kRaseo Pe (2) 45 = ws ¥ (3) mR TT 2 (3) 7(Q_ & R) Tl. 2 é (1) Pe ie Q)a9@ F (3) =P 11,2 ‘Obsérvese que en cl ltime ejemplo se niga una oegucitin, Du que da lugar a una doble negacida: se nigga Q ce decit, se toma cume premise 9. $e considera shora un ejemplo de una demestracidn en el qque se aplican las tres teglas expuestas hasta aguf. Se tnt de demeserar 4k. yee P 40 EBINFERENCIA LOGICA Bs (3) SPOR r (@) SF on + 5) R Tr 3.4 (6) —78 DN5 Repasar este siemplo para asemerare que we puede seguir cada uno de Ios pusos. Se da ahora otro cfempla en el que sail we usa dos reglas, Se desen demostrar A. (1) AB Fr (aye P (3) a8 DN (4) 5A TT 1,3 (5)A DN El uso de da doble negacicin ex uqui importante. Se necesita la negacidn del consecueate en Ja primera premisa para poder aplicar Ia regia TT. El con- secuente es —B. La negacién de esta ptuposicién molecular se consigwe ante ponieade el simbolo que corresponde al anon; y asi, ——B niega a “1B. No se tiene 28 en las premises, pero se puede deducir de la. segunda, pre~ misa B. Obsérvese que esta es lo que se ha realizado en Js linea (3), Util. manda el erodus tollendo follens se tiene le megacién del anvecedente. El antecedente ex —vAde manera que su negacién es ——7A. Finalinente, tode s¢ reduce u aplicat la toga DN otca vez, para obtener A de =A. Eyercicio 5 AL iQué condusiéa se puede deducir de cada uno de los conjuntos, de premisas siguientes uliliando Ja regla TL? Kscribir tas conclusiones en. cas rellano. 1, Si Ia luz fuera simplemente un muviniento endulawrio continue, enronces Is Iuz més brillanse daria ugar siempre a una cmisidn de efectrones con mayor energia que los originados por luz mds tenue. La Jue mis Brillante no siempre emite electrones con mayor energia que Tes uriginados por lue ands tenwe, 2. Siun dngulo de un tridngulo es mayor de 90 grados, entonces | suma de los otros dos angulos es menor de 9 grodos. La suma de los eros dos dngulos no cs menor de 90 gredos. 3, Si eb arriendo se mantiene vilide, entonces el dueio ex respumsuble de las reparaciones. El duefiy ne es responsable dé las reparacioncs. 4) Si-llovié la pasada noche, entonces lus pistas se han limpisdo. Tas8 PRIMER CURSO\DE LOGICA MATEMATICA pistas no sc han limpiado. 5. José oo 3 mi hermano. Si Susana ex mi hermuna, entonces Jose ca mi hermano, B. Deducit una conclusida de cada uno de los conjuntos de premisas si- guientes, aplicande la regla del modur tallendo tollens L. (1) @=R P 4. (1) QR P (2) aR P (2) aR P @) gy 2. (lyaP+@ P 5 (VPS Q&R P (=e Pr (2) 3(@ & R) Pp (3) (3) 3. (RS P 6. (PV QO oR P (2) 35 P (2) mR P (3) (3) C. Demistrat que lag conelusioney son eonsecuetela de las premicat dads. Tndicar la demostruciin completa 1. Demostrar: ¢ 2. Demostrar: F (8 P (pos P Q) AB Pr (2) 3G — 47F E (3) AS PF (3) 4H P A. Demosirar: R&S 4. Demostzar: & ay PS5@ - a) F P oe P (2) Se AF P (a) POR AS r f.. Demnstrars og (1). a ok iB (21k 7 Mae sobre ta megacion. La teyla de doble neguciin se utilien frecuentemente con modus rolleado rollews, y co otros reyes que se introhuctrén® segrida mente. Puesto que el uso de Ie regia de dole negacitin en conjuncidén ron la TT, csencialnente tiene sicmpie be uianu forma, se poeden-anartar deINFERENCLA LOGICA ” duciones, invoduciendo una extensién de la definiciée de negucidn: Pes la negecide de TP Ya se sabe que “Pex la negacién de P, y podemos aplicar la regla de doble nogaci6a para lograr esta extersidn de la definieién de negaeida. Dado 4P, su negacidn es SP, pero en virtud de In regia de duble negucitin, we olsuieme la proposicién eqpivalene P_ Psa regia silo permite samplificer, pero ett wi no es una regia mucen de demosreariin Tenlendo presente que Pcs la negacidn de —P se simplifican las de- mostraciutes, camo en el cio siguiente: Uy) ase @a (a) aa De las dos premises ve ultiene Ia negucitin de A. sin mis que aplicar TT Teniendo en cuenta que Aes la negacién de vA resulta Ia negacién de B, cs desis, B. Sin ests extensidn de Ia definicidn de negacién, la deduccin requiere una nueva Tinea en Ja que se aplica la regia de doble oegacién. (1) A+B P (2) 8 P B) 78 DN? (#) AA Tr 1,3 Obsgrvese que el efecto de reconocer P como negaciin de ap es extender el TT a le forma légica siguiente: P>3a a +P Qtra extensiém endloga del; TT se reliere wl antecedente’ de In’ premisa con- dicional: a a8 7