Scribd Logo
Upload

Welcome to Scribd!

  • Cap 6 Parte 2

    Uploaded by

    Kevin Pazo
    12 views6 pages
    lc

    Original Title

    Cap_6_Parte_2

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    lc

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    12 views6 pages

    Cap 6 Parte 2

    Uploaded by

    Kevin Pazo
    lc

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    of 6
    (©. TRELLES y D, ROSALES 3. OTRAS PROPOSICIONES ppuestos. Por ejemplo: Los tradicionalistas y los fandticos estan seguros de sus creencias. Que no debe entenderse como: oda persona si es tradiclonalista y fanética es una persona que esté segura de sus creencias. ues no queremos decir que sélo el cue retine las condiciones de ser tradicionalista y fandtico plerde la capacidad de dudar, sino que tanto los tradiclonalistas como los fandticos poseen la seguridad en cuestién. La pardfrasis es: “Toda persona si es tradlcionalista 0 fandtica es una persona que esta segura de sus ideas. yy su simbolizactén: (vx)(Fx V Gx >. Hx). Muy distinta de la que hublé- Semos obtenido de la primera lectura: (Wx)(Fx A Gx >. Hx). El anterior es un caso ejemplar para apreciar la diferencia entre el 'y’ del lenguale natural y la conjuncién de LC. Este es.un buen ejemplo de 6.1 SIMBOLZACION lo que difmos al iniciar el capitulo: la forma légica se diferencia de la grammatical. Mientras que ‘Los filésofos son parcos ¢ introvertidos', con las ‘convenciones: xe fl6sofo: Fx x es parco: Gx x es introvertido: Hx. origina: (vx)(Fx >. Gx A Hy) . Todas las mujeres no son sinceras. 7. Las colegialas son roménticas. Las estrellas brilan. 9. Los timbales y las campanas son Instrumentos de percusién. 10. Los fiscos y los astrénomos son clentiicos. 11. Ningin payaso que sea equilbrsta es timido. 12. Ninguna mujer indiscreta puede ser secretaria. 13, Ningin fldsofo es fanético del fatbot 0 del box. 14, No existen envidiosos que no sean infelices. 15. Noesel caso de que algunos caballos no sean equinos y mamiferos. 16. Ningin insecto es vertebrado. Por lo tanto, algunos no insectos no son invertebrados. 17. Todas las aleaciones de cobre son metales, pero ningrin metal es no conductor. Luego, todas las aleaciones ce cobre son conductores. 18. Todos los arequipefios son peruanos y Melgar es arequipefio. Luego, 19, Ninguna muchacha es bella si se maquilla. 20. Algunos alumnos aprobarén e! curso si estudian. (O. TRELLES y D. ROSALES Solucién: 1-4 Los cuatro primeros ejercicios no ofrecen mayor problema: 1. Sex es secretaria Px: x es peiiroja (e9(Se > Pe) 2. Ax xes Alcali Bx: x es Acido (yx)(Ax > ~Bx) 3. Px: x es profesor Qe x es poligiota GIPK A Qe) 4, Vic x es vertebrado Mx. x es mamifero (Bo\x A ~Mx) Notemos que, al simbolizar, cada predicado diferente debe llevar una letra diferente y que es cémodo utilizar la primera letra de la palabra fen que aparece. 5-6. Las proposiciones cuantifcacionales universales que niegan el verbo copulativo (el que une los dos predicados de la proposicién) se simbolizan con una negacién delante de! cuantificador. Asi: "Todos los S no son P” se traduce por ‘~(vx)(Sx —> Px) Entonces, la simbollzacién sera: 5. Px x es un problema Sx x es soluble ~(x)(Px > ~Sx) 6. Mx: x es una mujer Sx x es sincera ~ (Wx) (Mx > Sx) 7-8, En espafol, las oraciones que empiezan con un articulo se refieren a totalidades, por Jo que corresponde simbolizarlas con un universal: ‘Los $ son P' se simboliza por ‘(0x)(Sx —> Px)’ 7. Cx xes una colegiala Roc x es romantica (HNIC > Rx) 6./ SIMBOLIZACION 8B Ex: x es una estrella Bs x bila (Wxi(Ex > Bx) 9-13.La ‘y’ del lenguaje natural en el antecedente de una proposicién de ‘tipo universal se simboliza con una disyuncién. Se utlizara una con- Juncion cuando el antecedente conste de dos predicados que deban ‘cumplirse conjuntamente. 9, Tx: x es un timbal (Gx: x es una campana Ic: x es un instrumento de percusion (Vx)(Tx y Cx >. bx) 10, Fx: x es fisico Ax: X es astrénomo Ge x es cientifico (xP Vy Ax >. Cx) 11, Pe x es ul Qe x es Tr x es 1yaso. (HP A Qx >. ~T) 12, Mx: x es una mujer Dx: x es discreta Sx: x puede ser secretaria —_(Vx)(Mx A -Dx .-*. ~Sx) 13, Fas x es flésofo | Sx: x es fandtico del fatbol Bx: x es fandtico del box (Wa)lfx + ~(Sx V Bx 14-18, En estas simbolizaciones aparecen proposiciones en las que la je- rarqufa principal no la tiene un cuantificador: 14. Bx: x €s envidioso Fr: x es feliz ~BREX A --FH) 15. Cx: x es caballo Ex: x es equino (Mx: x es mamifero AWC A {Ex A Mo] 16, Ix: x es insecto Vx: x es vertebrado (Ye be —* Vie) + (Ix A =x) 203, (©. TRELLES y D. ROSALES 17, Ax: x es una aleacién de cobre Mix: x es un metal Cx: x es conductor (x(x = Mx) A (WxKMc + ==Cx) >. (VMAX > Cx) 18. Ax: x es arequiperio a: Melgar Px: x es peruano (VR)AX — Px) A Aa. Pa 19-20. En las siguientes proposiciones, el condicional que aparece al final afecta s6lo al segundo término de las mismas: 19, Mx: x es muchacha Bx: x es bella Be: x se maquilla (Wx)IMoc — (Fx > ~Bx)] 20. Ax: x es alumno Gx: x aprobaré el curso Bx x estudia (BalAx A (Ex > Co] 4, CONSECUENCIA SEMANTICA E INFERENCIAS Anterlormente hemos definido la consecuencla semantica en la Logica proposicional. Ahora deseamos extender la nocién para englobar a la Jogica cuantificacional. Perderemos algunas caracteristicas de la légica veritativo-funcional, pero ganaremos amplitud en cuanto a la aplicacisn de los conceptos. Al tratar la semantica de LC notamos que las férmulas ablertas eran un tanto renuentes al califcativo de verdad (falsedad), para no entrar en las complejidades que supone su seméntica, quedamos en referimos a ellas desde un punto de vista semantico, considersnciolas cerradas por un cuantificador universal. Asf, sélo trabajaremos con formu- las cemradas y nuestra definiclén queda: Decimos que un conjunto de f6rmulas cerradas tiene como conse- ‘cuencla seméntica a la formula cerrada A si y solo sino hay una Interpretacién de LC que haga verdaderas a todas las formulas de T y falsa a A. ‘Seguramente ha percibido él lector que lo nico que hemos perdido fs la nocion EPM, pues en LP, una formula como “(Wx)(Fx -* Gx)’ da origen, 6 1 SIMBOLIZACION ados EPM, aquél en que es verdadera y aquél en que es falsa, pero dentro de cada uno de ellos caben distintas interpretaciones. Por ejemplo, esa formula es verdadera, dado un universo U, tanto si ocurre que el conjunto F es un subconjunto propio de G, cuanto si F=G 0 si F=9. Cada caso merece atencién especial y genera sus propias consecuencias. Probablemente el lector vea esto con mayor claridad cuando analicemos el llamado ‘proble- ‘ma del contenido existencial’ en las inferencias ce la logica aristotélica. Lo que nos interesa poner de relieve es que en LC el analisis de EPM es muy pobre y no cubre nuestras necesidades. Ademas de valores de verdad, necesitamos universos con una estructura de subconjuntos en los que se Interpretan nuestras formulas. La definicion que tenemos de consecuencla seméntica mantiene vi- gente el hecho: Pp, Pavan Pgk C sl y solo sib (Py A Py Au. APs) + C Lo que nos permite usar los DS para averiguar si se da o no la relacion de consecuencia semantica entre formulas de LC. ‘Con la definicién de consecuencla semantica recuperamos de modo automitico las que dependen de ella (referidas a fGrmulas cerradas): Implicactéa: Una formula A implica a otra B en LC si B es la conse- ‘cuencia semantica de A. Equivalencia: A equivale a B(A ~ B) sly sdlo sl A y B se implican rmutuamente. En especial, A= B sly slo si A = B. ‘Sus propledacles se mantienen. Una ley de sustitucién por equivalen- tes vale en LC. Pero requlere contemplar una gama de distinciones que nno aparecen en la ley de sustitucién de LP. No formularemos las modif- caciones que permitan su empleo en todas las posibles fSrmulas de LC, ues sélo la emplearemos en sus propiedades relativas a los conectores Veritativos y no a los cuantificacores. No nos detendremos en ella. Inferencla valida: Un conjunto, no vacio, I de proposiciones tiene ‘como conclusién valida a la proposicion C si y solo si PFC. En el capftulo siguiente, trataremos algunas inferencias, lamadas “dlasicas', por provenir del mismo Arist6teles; antes de terminar deseamos (2. TRELLES y D. ROSALES que el lector vuelva a considerar las siguientes equivalencias, ya presen- _tadas anteriormente: 1, (¥B)p8 ~ ~(28)—ws 2. 2B)YB = ~{VB)—y8 3. (VBhy8 ~ €8)-8 4, ~B)Y6 = (VB) Las dos primeras pueden llamarse con toda propiedad ‘leyes de definicion de los cuantificadores' y nos muestran su intima relacién; las dos ‘itimas, ‘leyes de intercambio de negacion y cuantificador’. En realidad, en nuestro sistema, las cuatro constituyen distintas formas de la “misma” ley « Probaremos la primera por DS: FUCWBRy® => ~(38)~6) oS (8) _viverys) FIeW8y8]_ (7) El clerre de todas las ramas del DS prueba la primera ley. Las otras pueden probarse por DS 0 con un adecuado empleo de la primera ley y la doble negacién, lo mostramos probando la ultima: ~{38hyS ~ (VB}~yB. En la prueba emplearemos algunas propiedades de la equivalencia, como la conmutatividad y la sustitucién por equivalents. 1. (¥B)~y8 Hipotesis de parida 2 ~B)~=yis Ley tent 3. BS Doble negacién y sustitucion en 1 Por la transitividad de la equlvalencia se prueba que los pasos (1) y (3) son equivalentes. Hemos formulado las leyes anteriores en el metalenguaje para poder ‘emplearias con toda libertad en distintos tipos de formulas, a modo de ejemplos o Instanclas tenemos: 6 | SIMBOLIZACION (WxFx = ~Gx)~Fx (definicion de! universal) (xP > ~Gx) = ~(Gx)~(Fx > ~Gx) (definicion del universal) (Bdm(fe \ Gx) = ~(Wal(Fx “\ Gx) (ley de intercambio), etc. En el sigulente capitulo examinaremos las Inferencias mas “popula- res” de la logica aristotélica Herciclos 1. Demostre la validez de las sigulentes formulas, (YR)(EX A. Ge) 2. (Wa)F A (YX)Gx V Ga) 29. (BOF VIG. V (WIG =. (Wl Vy Gx) AN Gx) >. (Bx)FK A BIG 2. Determine la validez de las siguientes inferencias. a. Todos los atletas son musculosos. Carlos no es musculoso. Por lo tanto, Carlos no es un atieta. b. Todos los profesores son instruidos. Todos los profesores instruidos son sablos. Luego, todos los profesores son sablos Instruidos, _Algunos medicos son impacientes, puesto que todos los médicos ‘son pacientes y ninguna persona impaciente es médico. Solucton, 1, Resolveremos (a) y (e) @ (1OVIFa A Gal ViFa A Gal ViFal ViFal ViGal Vical 207 (©. TRELLES y D. ROSALES (0 FIQIFK Vv (WxIGK =. (Wa0(F Y Gal (1) . La simbolizacion de las premisas y la conclusién es: Ax: x es atleta Mux: x es musculoso : Carlos (Wx)(Ax > Mo), ~Mch~Ac Inferencia valida. En este caso se encontrara: (Yx)(Px > ba, (WPA Be me Sx) (WiQ(Pxe mr. SV be) Inferencia valida. El dlagrama correspondiente es: FLOWXKIMK — Px) VY (a)-Px = -M>) >. OM ~P] (1) FIM Vial FiMel viral ViPa} FIMa] VIPel FiMal ViPa] FIMo] VIP] FiMe] {6 J SIMBOLZACION La inferenela es invalida. Antes de desarrollar el paso (7) se hublese podido conclulr que la Inferencia era invalida, pues dicho paso no afiadia nada nuevo. Qué propiedad era necesario recordar? EJERCICIOS PROPUESTOS ‘Simbolice cuantificacionalmente sefialanco los predicados. 1.1. Todos los estudiantes aman los libros. 1.2. Algunas formulas son de segundo grado. ‘Algunos conjuntos no son vacios. Algunos desconocides son héroes. ‘Algunos abrigas no son Impermeables. Todos Ios liquidos no son aceltes. Ninguna tela es de aratia Los amigos son leales. Las substanclas no son t6xicas. Todos los flacos y los gordos son comicos. inguin peruano y brasilefio es europeo. ‘Todos los triangulos y pentagonos son poligonos. Las actrices y los cantantes de épera son histéricos. No existen incultos que sean mdsicos 0 quimicos. No es el caso de que ningin infiel sea desafortunacio o des- honesto. 1.19. Todos los trabajadores son dependientes; luego, algunos tra- bajadores no son independientes. 1.20. Algunos desobedientes son militares ya que algunos militares no son obedientes. 1.21. Algunos catalizadores son vitaminas si todos los catalizadores ‘ocasionan una reaccién quimica. 1.22. Todo lo que le gusta a Roberto Carlos, o es inmoral 0 es ilegal 9 engorda. 1.23. No hay historia de plratas que tenga un final feliz. 1,24, Las mujeres son amables. 1.25. Todos los deportistas no son campeones. 1.26, Es posible que ningun estudiante de la promocién obtenga el titulo profesional. 209 (©. TRELLES y D. ROSALES ._Simbolice cuantiicacionalmente: 2.1, Las pirmides y los sarcéfagos son egipcios o asirios. 2.2. La columna 0 su base es dérica o jénica. 2.3. Algunos aviones no son bimotores y trimotores. 2.4, Las frutas y las verduras son leas y nutrlivas. 2.5. Ningun cristiano © mahometano es ateo. Marx era ateo. Lue- 'go, Marx no era mahometano. 2.6. Todo miembro de la municipalidad vive dentro de los limites de la cludad de Lima. El sefior Riva Aguero no vive dentro de los limites de la cludad de Lima. Luego, el sefior Riva Agilero Ro es un miembro de la municipalidad. 2.7. No hay atletas que sean lentos. En consecuencia, ningin hom- bre lento es maratonista puesto que todos los maratonistas son atletas. 2.8. Todos los misicos son romanticos si son poetas. 2.9. Algunas personas no morirén de céncer si no fuman. 2.10. Algunos alumnos tendran crisis de ansiedad si levan més de diez cursos. 3. Analice la validez de las siguiente Inferencias. 3.1. Ninguna paralela es perpendicular; Iuego, ninguna perpendi- cular es paralela. 3.2. Algunos hombres no son alfabetos; por lo tanto, algunos anal- fabetos son hombres. 3.3, Si todos los amigos son leales, entonces ningun desleal es un amigo. 3.4, Algunas personas felices no son analfabetas; luego, algunas personas analfabetas no son fellces. 3.5. Todas las personas afortunadas son felices; por tanto, todas las. personas infelices son desafortunadas. 3.6. Ningdn participante en el concurso esta preoct algunas personas despreocupadas participan 3.7. Algunas personas interesadas no son ami amigos son desinteresados. 3.8. Ninguna figura geométrica es Iregular; luego, algunas figuras regulares son geomeétricas. 3.9. Todas las personas desordenadas son Impuntuales; Iuego, al- _gunas personas puntuales son ordenadas. {6 / SIBOLIZACION 3.10. Algunas lecturas comprensibies no son coherentes: luego, algunas lecturas incoherentes no son incomprensibles. ._Demuestre la validez de las siguientes inferencias, 4.1. Todos los turistas son derrochadores e Incomprensibles. Ade- mis, algunos turistas son belgas. Por lo tanto, algunos belgas son incomprensibles. 4.2. Los fisicos y los quimicos son clentificos. Algunos alquimistas ’o son cientiices. Por lo tanto, si existe una sustancia que es |a piedra filosofal, entonces algunos alquimistas no son quimi- 4. 0s. . Todos los hombres son mortales y Socrates es hombre. Luego, ‘Sécrates es mortal 4.4, Existen 050s, Todos los osos son plantigrados. Luego, algunos 508 son plantigrados. 45, Todos los murciélagos son quirépteros. Ninguin pingtino vue- la. Todos los quirépteros vuelan. Por tanto, todos los murcié- lagos vuelan a la vez que ningun pingtiino es un quiréptero. Pruebe que son equlvalentes: 5.1. Los que no aman a las mujeres no aman la vida, porque los que aman la vida aman a las mujeres. 5.2, No todos aman a las mujeres, >. Demuestre que la proposicién “Algunas circunstanclas de la vida diaria no son hechos l6gicos’ es consecuencia semantica de las si-

    You might also like