2 PRIMER CURSO DE LOGICA MATEMATICA D. Simbolizar completamente las proposiciones siguientes, sustituyendo. lox rérminos de enlace por los correspondientes: simbolos ldgicos. 1 Si (P) emtanees (R) 4 St (P) emtonces no (S) 2. Si (5) entonces (Tp “0 Si ma ($)"entonces no-(T) 3. Si (Q) entonces. (py E. ‘dentificar las propesiciones condicionales de eatre Ins proposiciones que siguen, ponicndo una C después de cada,propesicidn de esta forma. |. (P) ve wi) 6& 1m > (8) I 2, (PF) s1Q) TAR WotR) 3.) 6) a (R)-¥tP) 4) & (8) 9. (Q} — (8) 3 808) To (R) & @) © 16 Agrupamientn, » paréntests Hemns visto que es frecuente encontrar proposiciones que tien mis de un termine de enlace, Los términos de-eolace pueden. unit o pueden ser usados con proposiciones moleculutes de la cine forma que oom las prope siciones ardmices, En rodos csves exsos une de les términox de enlace ex cl mayor. Por esto sc le denominatd dominante porque es el que actia sobre toda la propisicidn, Revudilee que une de los tipos de propesicwin molecular era de ba forse ¢ del }. Esta ¢s una conjuncion y los espactos se pueden llenar ya sea com proposicio- nes atémicas o moleculares, Pero, si se utilixan proposiciones moleculares, Galas a su vex conliemen oto: terminos de enlace; sin cmbaige, la a se manticne como tdhaine de enlace dominate o mayor. Sea, por ejem- pln, la conjunciéin ae dhe negucimes, cama en la proposiciin: Antonio ne estudia en Ia Universidad y Ana no estudia en la Universidad. Siac designa por T!In proposicidin @Anromin extarin er la Umversiclade y por # la proposicién «Ana estudia en fa Universidade, las propesiciomes que se colourfan en Jos purGacesis dé la forma anterior. serian GT y TA, ¥ se obtendria. aT a):SLMBOLIZACION DE-PROPOSICIONES 2 Considérese una cunjunciim-cuyo primer miembro sea a su ver wna clis jumcitin y cuyo segundo miembro sea una propnsiridn aidinica, El término de enlace «ye enlazard una ptopesiciéa molecular formada utilizando »o» con ima propusicidn atémica, Acla wes, or ty ped. Sea Pa‘x=T, Qa'x=2y OR='y=F; entonecs la disjuncidn ex (P). V (Q) y la proposicidm atimica es R_ Si estas proposiciones se colncan en los espacins corresnnmilienies ule una conjuncisn, 1 resultado es: CAP) CQ) ) & AR) Exum proposiciin con tantos paréntesisies difieil de leer. Pata mayor facilidad se adopta el siguiente convenio: awa proposichim que mo confenge &, Vo, ni no nocesite colucarse enire parémtesis,, En. consccucncia, en la propo- sicién anterior sc purdlen suprimi: kos paséniesis que encictsan la «Pa y la , LPV@as + PEOVER 2QOVR&aS SPY QO &R 3 Q&RYT C. De cada una de las proposiciones siguientes se dice si es une conjuncicn © una disjuncién. Indicar el agrupamicnto adecuado de las _proposiciones atimicas punienda paréatesis que sefialen cudl es el wemino de enlace domi- nants, 1. disjonciéa SMT&R 2. conjunciéa TVS&Q 3. exinjunciéa T&SVR A. dajunckin PVQa&T 3. disjuncisn ca cue D, Simbolizar las proposiciones siguientes, indicande ¢l agrapamiento por medio de paréntesis cuando sea necesarie. 1. © Podro es president? y Joan es tesprens, a Jaime es tesorero.28 PRIMER CURSO DE LOGICA MATEMATICA 2. Pedro es presidente, y o Juan es tesorera, o Jaime es tesorera. 3, © Ramém es su hermano y Rosa es su hermanao Javier es su her mano. 1 4. Kamén es su hetmuno y o Rosa es su hermanao Javier cs su hes- mano. 5. Jorge ex el capitin o José es el capitin, y Carlos es el wenicnte. 6. Ala ver el resultado <5 un mimero primo © Maria esta equivoceds y Ralael est equivocado también. E. Simbolizar las proposiciones matematices siguientes, cligiendu letras até- micas pata sustituir las ptoposiciones matemdticas amicus, 1. Si x es menor que 2, entonces x es igual 2 16 & igual a 0. 2. Si a Ia vez x es menor que tes y x ex mayne que ung entonces x es igual a dos, Speed y si r5y 0 y—$> entonees ph F. Simboliar las cinco proposiciones matemdticas de E utilizando los sia bolos Iégicos pata los términos de enlace y simbolus matemiticus para Las proposiciones mareméticas atémicus. Se considera ahora la proposicién Si este cusdro es negro entonces aguel cuadi ex majo y su rey extd sobre el cnadro rojo. Pata siinbulicar ein proposieiin molecular se pone Pabste cuadso es negros Este cusdre es rojox rey esti sobre el cuadte tojom, La proposicitin simbolizadia es P+ (@ &R). La proposicién ¢s ana pruposewin condicional en la que el comsecmente (he Proposicidn que sigue a ceniomrrse) cs una conjuncién. El término de domi. faite es «si.., colopees...»,SIMBOLIZACION DE PROPOSICIONES 2 4Céme se podela cambiar el ejemplo de mancra que el téemino de ealace Pvs 9. disjuncién rF—RVO 10. condicional PoRVO 11. conjancién, P&QoT 12. condicional P&RQ4T 13. disjuncién PYT-@ 14, disjunciéa Q—RV-5 15, condicional QRS B. Siimbolizar las. proporictones siguientes, indicando ell agrupainients por paréntesis si ex necesario, Par todas las proposiciones, sea J «Juath extd en Ia clase Te C= «El esti en Ja clase de Quimicas K= oAlvarc esti en la clase Je,Ea PRIMER CURSO DE LOGICA MATEMATICA 1. Si Juan ceed en la clase, entonces Allvaro-estd-en la clase: 3 y dl esta ca la elise de Quimica. Alvare estd em la clase 3 @ 4 cstd en la clase de Quimica, enton- ces Jinn esti en Ia clase 1. 3. O's! Juan estit.en Incase Lentonces dhestd et Ia clase de Quimica, 0 Juan no estd en Ta clase 1, 4.0 Alvaro cord en La clase 39 $i Jaime estd er a clase 1 entonces @lestif en Ta clase de Quimica. 5. A la ver si Alvaro esta en ta clase’ 3; entonces al estd en Ta lage de Quimica, y Juan no estd en la clase 1. 2. Li wegacisn de uma proparictin molecular, Hay cases en log que se desea eapresar la negacién de une propesividn molecular enuers. Por ejemplo, s uta de negar una disjuncign como en el Cesm signtiente: No ceutre que el libro 9 es rojo o es verde, Supsngase que se simboliza esta proposicién ponienda primero P. paru desig nar la primera propuniciin uiinica y @ para designar ia segunda proposi én ardrmoca, La disjuncian es entonces PY @. Luggo, la forma simbolizada die la nepacién de una, propesicidn ex: Ane Qhsérvese el simbla que detiots la negucién. Rocuérdese que se puede ne ger cualquier pmpnsicidin, yi sea aiémica o molecular, Cuslquier proposi- cin se puede negar poriéndale primers enire paréntesie y Taegu volocande cl simboln de neyarwin eelante def poréntests. Al sumbsolizwr ume proposicign sc debe tener en cuenta que el simbolo para la negaciém se aplice a la pro- posicién completa mas corta delante de la que estd colocado. Asl, para negat [a proposicién P ¥ @, se pone entre patdnteris con un simbuly ue negaciin delamte del partatesis. xP VQ). Fl agrepamiento entre pardatedis indica: (1) que la negactén se tefiere a toda Ja proposiciin (en este cise: una disuneién) —no séto a la proposicirin anc anica mds prozima—, y (2}que la negacida ex oll érmine de enlace’ daminante La este caso el término de enlace wade domina al ré dit enlare een Se pueden encontrar ejemplas ea las que st mieguen otto tipo de propo. siciones moleculares. Repetimns que tambidn sim muvesaries pardoucsis paraSIMBOLIZACION DE PROPOSICIONES St indicar quel que soo niegmes da pmposicvin, mokectlar eumpleta y-nax-séley una parse de ella. Cansidérese la proposiciin No ocurre quealarvez Juan tenga una bermana y Gleenge ut hermana. Agqui se quiere negar li. propesicidn, completa, Es decir, se desea smanifestar que Juan no tiene & la vez.un hermano-y. una hermana. Al. simbolizar.csta propusicidn, si ce designa por P la primera propusicidn audmica y por @ la seguada piopusiciin atdmica, se lene: aIP & Q). Finalmente, ac considera Ie nogacain ce conulitiomal, No acute que! ai usted: ve oun gato negro entonces tendré mala suerte. Pasallsted! ve um pals aegour Q= «Usted wndrd mala snettes. Simbolizado, este ejemplo se escribir: nip + @). Fl agrupamiento entre peréntesis manifiesta claremente que lo que se ha negads es la proposicién condicional completa y no simplemente-el amteve- dente, proposiciém PL § ‘Quizd la explicaciéne més simple para el agrupamiento pel omen de los paréntesis en Légica es que uns proposicién molecular encerrada’entre parén- Tesis se presenta como dina ploposicidn atémica respect. a otros ‘tértninos de cakice o 4 otras propasiciones con Las que puede ligarse. Se trata como. una pruposicidn vinies. EL érmino ae, enlace duminanu: esté-fuera del paréne lexis. Lyercrcio 11 A. Fn cada una de Ins propesiciones: diguientes uno de los simbolos V, », 0 & domina; Por-tanto, las proposiciunés son disjunciones; condiciona les. y conjunsiones'a pesaride empezar porvana negoeiin, Supdngase que a hubiers entendide que las negaciones iniciales dorminan, comvistiendo: textos las proposicioncs en negaciones. Sin mingtin cambio mix que la adicion de32 PRIMER CURSO DE LOGICA MATEMATICA paréntesis, coovertic cada pproposicia en una negacitin. 1. PVR 4 Po 2, k= $ 2 mRVS 3. oP ERT 6-0 &=5 B. Dar Ja negacidn de cada una de las ppropeniciones siguientes ufiadiencks simbolos de negaciia, y pardntesis si ex mecesaric. Ls ISAs 2PVT 8. 5N VM 4.3 & oT 9. 5Q@— AT 4. POR 10. 75 &P BG@ER 1, PY 45 6. oR 12. 30 . Junto w cada una de lax propnsiciones que siguen, se da el nombre del tipa de proposiciée: molecular-a la que: pertenece. Amadir los paréntesis nece- sarios. 1. megacion, PR 2. condicional PR 3. conjuneidn oP RR 4. negacién “RAT 5. condicional AP 3 6. megacida, mF 7. disfuncidn n@ Vv -R 8. mepaciin ats 9. ennuncidin A$ EQ Mh negariin, aR $s 1D. Simbolizar las. proposiciones siguientes, indicando el agrupamicnen’ por medio de paréntesis. Sia Peels juewesn Qanhielii en hinesn 1. Ohio es jueves oo ne suceié en hanes. 2. Si no-ocurre que sucedié em lunes, entoaces cs jueves. 3. No ocume que o-¢s jueves w que suclid en lunes. 4, No sucedié en lunes y ex jueves 5. No ccuite que a lives ex jueves y que surrchiven irmesSTMBOLIZACION DE PROPOSICIONEY BE 6. Sino suerdis em lunes entonces no ex jueves 7. Mo ocure que st es jueves entomces sucedié-en limes. 8, O no ¢8 jueves o-sueelich ew lunes. 9, No es fucves y sucedich ex Tunes. 10, No ocutee que a fn ver surwlié em lunes yes jueves E. Siubolizar las proposiciones wxgrirmien tal cima indica él ejemplo « cen Honmuaeitin. 1. © Juan es el mds pequetio y Podro es el mis wlio u Pedro es el-més bajo y Juan es el mix prance. Ejemplo: | Sea) oPse)uan es el mis. peyueizos Q= Si nna sustancie oxgdnica te°deseompone, entonces sums componcmie® sc transforman ex ubono y fertilixin el suclo, 300 yo estoy eguivecad, o la pregunta iidmero uno es cierta ya pre- punta odmero’ dos es fulsa. 4. Ala vee yo estoy equivacude o la pregunta mimezo uno ¢s cierts, y la pregunta niimem dos ex [alsa 5, 0) yo eauny equivecade y la pregunta niimero uno ex cierta’o Ja pre gpinta mimeto dos es falst 60No ceurre que, a la vez Jusna sea su hermana y Rosa seu su her- mana. Juana no ex su hermana y Rosa es su hermana. | Si se conoce el periody del aovimiento de la Luna y se sabe Is dis- tuneia de la ‘Tierra a la Luna, entonces se puele calcular la acelera cide wenuzipeta de In Tuma. 9. O sus deberes cstin terminadas, u si no estin terminados tendré que hacerlas por la noche, 10. Mo todas Ins rewiones de Africa tienen um clima calide y hrimedo y ao toda el Africa ccumtorial es una tierta de vegetariGn espesa y cxuberante. 11. Si son las diex entonces Ia sesida de la Asumblea General ha em- pesado, y ahora el reloj sefiala las diez 12. No wcurte que, o estrellas muy Iejanas presentan: patalaje o apa recent ef el telescoptio cma discos. = Supper Hit-2a4 PRIMER CURSO DE LOGICA MATEMATICA 13. $7 este mineral ne ex duro, cntonece no! estd compuesto de eristales de curgrzi. 14. Sies después de las cinen;:entonees la pactia-ceté certada y yo no vengo la Lave. 13. Si es despuds-de las cinco“entonces! In: puerta: esti centaday ade mis, yo. no tengo Ia lave. F. En cada une de lax proposiciones inatemdticas siguientes s¢ indica el tipa de proposiciéa molecular que debe entenderse. Poner Jos paréntesis nece- satios 1. eundicional x=0 Vo col + y=? 2. disjuncicn ee0 SHO eoly=e 3. ennjuncitin eoD VM x] & yd 4, condicianal rayo fez & y>5 i rey Voasz & y>3 wey & yer 4 wer eoy OR phe oxo 17. Bliminaciéa de algunos parinte six Aduptando algunas seglas simplea acerca de In poteneia de los téeminos de rule, so pueden eliminar algunos de los partes en dus popusiciones simbulingdas: ® neuLa J El > ¢s mas potente que bes ofros terminus de enlace. Urilizande In reylu 1, en vee de (r& se pusde escribir simplemente PEG Tuibién, ex ves de FO WR) se prin escribir PoaVvR Por otra qurte, si se tiene Poogyv Rk,SIMBOLIZACION DE PROPOSICIONES 3 nose puede elimina: el patentesis, pues es neeesario para mncbewr que W 6d ef rérming de enue dominate, Tarubién, siuna proposicidin teene dus ‘con- dicionales, se bene que uliliaar ‘el paréntests ara indicar,cudl es, demninante. ‘Asi, la proposicidn A— (b>) iene signifendu distinte: de (Asa 6, La segunda regia ¢s ran marural oe se ha hecho usn de clin sim. huberke cnuneiado -cxplicitamente. ; ® aRcLa 2 El signa de negaciin es mas débil que cuslquicrs de bos utros tres térmings de enlace. Unilisandy La segla. 2,-0n vee de Ppa se eseribe “paRa, eve Be PY (4@) st werthe P¥.n8, 0, en vee de (FP) > (Q) st puede escribir: “ha gkniGk Pero dl paréntesié es necesario en a(P'& a). Finalmente, puesto que & yy son igualmene fuerus, cuando se prewmuan ainbos cn una proposicin se tienen que poner siempre lus paréntesis para indicat’ cudl es el adrmine de enlace dominante, Asi; el significado: de:36 PRIMER CURSO DE LOGICA MATEMATICA PVQER no es claro; pues PV a)eR © una conjuncién, y Py (@ &R) es uns disjuncién. Eyencicw 12 A. Junto a cada una de las proposiciuges siguientes se> indica el tipa de proposiciéa molecular al que pertunece. Utiliunde las reglas. de priotidad estublecidas subre Ia pocencia de les simboles, afindir los parénresis séilo done de sean necesatios. 1, sondicional PoQvk 2, disjuncidn PYVQER 3. conjuncién RS&T 4. negacién RaAS 3. cadiciunal Py QR 6. neqaciéa PQ 7. eonjuncién ARB OS &. disumcisn MN VP 3. negackin Pv 40 10, cnjeemeridin SAV TE ETC B. Junto a cadasuna de las proposiciones matematicas siguicates se indica ef tipo de proposicities molecular al cae pertenecen, Urilizando laa reglas de priorlad estahlerieles shoe In porencia delos simbolos, afladir los pardnsesis rela donde sean necesarios. wiO Vi aby & pea 2 cuulicional r=0 — xy & yer 3. disjuneliin x20 Vo x0 & yas 4. condicional 223) ee hee 5. disjunciéa a-0 Vo r>0 — y=0 6. conjuncidn apy & poe Vo x=z 7. camdivional palace 8. conjuncida & yes C. Simbolizar Jas proposiciomes del Fjercicio 11, Seccidn. E, utilizande paréntesis fale donde sean meresarinn