LóGica De Clases

38,167 views

Published on

logica de clases para principiantes

Published in: Education
2 Comments
10 Likes
Statistics
Notes
No Downloads
Views
Total views
38,167
On SlideShare
0
From Embeds
0
Number of Embeds
256
Actions
Shares
0
Downloads
586
Comments
2
Likes
10
Embeds 0
No embeds

No notes for slide

LóGica De Clases

  1. 1. I17 MATERIAL DE APOYO: WWW.SLIDESHARE.NET/RAFAEL.MORA
  2. 2. LÓGICA DE CLASES, PREDICATIVA O DE PROPOSICIONES ANALIZADAS <ul><li>La lógica proposicional o de nivel cero es la lógica de las proposiciones sin analizar en donde estudiamos relaciones entre proposiciones, simbolizamos inferencias y hallamos el valor veritativo de esquemas moleculares, entre otras cosas. Pero no nos podemos conformar con esta lógica pues existen razonamiento válidos que no se pueden probar como válidos mientras no se amplíe el lenguaje. Por ello, recurrimos a una lógica más especializada. </li></ul><ul><li>La lógica predicativa realiza un análisis interno de las proposiciones con el fin de poder determinar la validez de los razonamientos haciendo uso de fórmulas booleanas y los diagramas de Venn. La lógica de clases es aquella rama de la lógica que, para deducir, analiza las relaciones entre clases (o conjuntos) que hay en una proposición categórica, de ahí tenemos que la proposición categórica es un enunciado que refleja una relación entre clases: la clase sujeto y la clase predicado. Ejemplo: El enunciado </li></ul><ul><li> cuantificador verbo copulativo </li></ul><ul><li>Toda gaseosa es líquida. </li></ul><ul><li> sujeto predicado </li></ul><ul><li>Es una proposición categórica, puesto que refleja una relación entre la clase gaseosas y la clase líquidas; a saber, que la clase gaseosas está incluida totalmente en la clase líquidos. Y asimismo es una proposición de forma típica, ya que posee cuantificador, sujeto, verbo copulativo ser (en cualquier modo y tiempo) y predicado. </li></ul><ul><li>Pero antes de conocer de modo profundo la lógica de clases, es importante que recordemos algunas nociones básicas de la teoría de conjuntos. </li></ul>
  3. 3. NOCIÓN DE CLASE <ul><li>Se llama clase a la colección de objetos que tienen alguna característica en común. Una clase puede ser un sujeto o un predicado. Ella se la puede representar mediante una variable predicativa : A, B, C, … </li></ul><ul><li>Los elementos que forman parte de dicho conjunto se simbolizan o bien con variables individuales tales como x, y, z, etc. o con constantes individuales tales como: a, b, c, … . </li></ul><ul><li>Podemos representar una clase mediante una lista de sus elementos o mediante la mención de una propiedad que deben ejemplificar todos sus miembros. </li></ul><ul><li>Por ejemplo, la clase de los países o la de los subdesarrollados puede representarse por P, donde P={x/x es un país} o por E, donde E={x/x es subdesarrollado}. Esta es la definición por comprensión. </li></ul><ul><li>Siguiendo con P, diremos que P={a, b, c, …}, donde a=Chile, b=Brasil, c=Francia, y así sucesivamente. En el caso de E, afirmaremos que E = {p, q, r, , …}, donde p=Perú, q=Bolivia, r=Sudáfrica, etc. Esta es la definición por extensión </li></ul><ul><li>La relación que un elemento mantiene con un conjunto es la de pertenencia o no pertenencia y se representa mediante  y  , respectivamente. Por ejemplo: a  P, q  P, p  E, b  E, etc. </li></ul>
  4. 4. TIPOS DE CLASES <ul><li>CLASE UNIVERSAL </li></ul><ul><li>Es la clase de todas las clases. Por ejemplo si tenemos la clase de los leones, la de los delfines, la de los monos, etc., podemos reunirlas en la clase de los mamíferos que las abarca a todas. Esta clase de los mamíferos es la clase universal. Es de notar que la clase universal es un concepto relativo. </li></ul><ul><li>Gráficamente se representa mediante un cuadrilátero con una U en la esquina superior derecha. </li></ul>
  5. 5. TIPOS DE CLASES <ul><li>CLASE INDETERMINADA </li></ul><ul><li>Es aquella clase, en la que no se puede determinar la existencia o no existencia de elementos. Por ejemplo: la clase de los extraterrestres, la clase de los dioses, la clase de las almas, la de los mundos, etc. </li></ul>
  6. 6. TIPOS DE CLASES <ul><li>CLASE VACÍA </li></ul><ul><li>Es la clase formada por todos los objetos que no existen, es decir, no contiene elementos. Por ejemplo, la clase de todos los objetos que son círculos cuadrados. Esta cualidad ciertamente, es un absurdo, pero siento una cualidad, permite constituir una clase, si bien carente de elementos. Simbólicamente se representa por la letra griega “  ”. Representa como un diagram sombreado </li></ul>
  7. 7. TIPO DE CLASES <ul><li>CLASE NO VACÍA </li></ul><ul><li>Es la clase que tiene al menos un elemento. Por ejemplo, la clase de presidentes, o la de constituciones, etc. Se representa mediante un diagrama con una X encima </li></ul>
  8. 8. TIPOS DE CLASES <ul><li>COMPLEMENTO DE UNA CLASE </li></ul><ul><li>La clase complemento de A es la clase formada por todos los elementos que no pertenecen a A. Por ejemplo, la clase complemento de la clase de lo dulce, es la clase de lo agrio, la de lo amargo, la de lo ácido, etc. El símbolo del complemento es “–” que se coloca encima de la letra de la clase en referencia. Veamos dos posible situaciones </li></ul>
  9. 9. TIPOS DE CLASES <ul><li>RELACIONES DE DOS CLASES </li></ul><ul><li>Este es el diagrama de dos clases, en el se representan las relación de inclusión o exclusión que encontraremos en la proposición. Por lo tanto, describiremos las áreas numeradas. </li></ul><ul><li>Área 1 : Están los elementos que no pertenecen a la clase S y que no pertenecen a la clase P. </li></ul><ul><li>Área 2 : Están los elementos que pertenecen a S pero que no pertenecen a P. </li></ul><ul><li>Área 3 : Están los elementos que pertenecen a S y a la vez a P. </li></ul><ul><li>Área 4 : Están los elementos que, no pertenecen a S pero si a P. </li></ul>
  10. 10. PROPOSICIÓN CATEGÓRICA <ul><li>Son aquellas proposiciones que establecen una relación de inclusión o exclusión entre dos conjuntos de individuos: un sujeto y un predicado. A estos conjunto de individuos se les llama categorías y, precisamente por eso, al tipo de proposiciones que se construye con base en ellas se les llama proposiciones categóricas. </li></ul><ul><li>Ejemplos sencillos de proposiciones categóricas: </li></ul><ul><li>-Todas las aves son animales </li></ul><ul><li>-Todo león no es un pez </li></ul><ul><li>-Algún perro es consentido </li></ul><ul><li>-Alguna ave no es gallina </li></ul><ul><li>-Todos los pensionistas son pobres </li></ul><ul><li>-Ningún felino es lento </li></ul><ul><li>-Algún oso es viejo </li></ul><ul><li>-Algún libro no es comprado </li></ul>
  11. 11. CLASIFICACIÓN DE PROPOSICIONES CATEGÓRICAS <ul><li>La cualidad de una proposición categórica indica si afirmamos algo del sujeto, o si negamos algo del mismo. Lo que afirmamos o negamos del sujeto es el predicado; por eso, cuando la cualidad es afirmativa decimos que el sujeto está incluido en el predicado, y cuando es negativa decimos que no lo está, que más bien está excluido . Las expresiones “son” y “no son” cumplen la función de unir o separar los términos de la proposición y por eso se les conoce con el nombre de cópula. </li></ul><ul><li>Según su cualidad: </li></ul><ul><li>Afirmativas : Cuando se afirma que el sujeto está incluido en el predicado. Ejemplo: Todos los misioneros son humildes </li></ul><ul><li>Negativas : Cuando se niega que un sujeto esté incluido en un predicado. Ejemplo: Ningún gato es manso </li></ul>
  12. 12. CLASIFICACIÓN DE PROPOSICIONES CATEGÓRICAS <ul><li>Una vez que el verbo nos dice si hay un caso de exclusión o inclusión, nos preguntamos si se trata de una exclusión-inclusión total o parcial . La cantidad de una proposición categórica indica de cuántos individuos estamos hablando. Sin embargo, en la lógica aristotélica no se trata de decir en números de cuantos individuos hablamos, sino de decir solamente si hablamos de todos los individuos de un conjunto o de algunos de ellos. Las expresiones “Todos”, “Ningún” o “Algunos” cumplen la función de determinar la cantidad de la proposición y se les conoce con el nombre de cuantificadores . En lógica de predicados las representaremos como una A y una E invertidas, así:  ( total inclusión o exclusión) y  ( parcial inclusión o exclusión). </li></ul><ul><li>Según su cantidad: </li></ul><ul><li>Universales : Cuando se detecta la presencia del cuantificador universal y se determina una relación de inclusión total. Ejemplo: Todas las plantas son seres vivos </li></ul><ul><li>Particulares : Cuando se detecta la presencia del cuantificador existencial y se determina una relación de inclusión parcial. Ejemplo: Algunas vacas son sagradas </li></ul>
  13. 13. CLASIFICACIÓN TOTAL <ul><li>La cantidad y la cualidad de una proposición categórica son las que permiten definir completamente su estructura. Esto es algo muy útil, pues como solo hay dos tipos de cantidades, universal o particular, y solamente dos tipos de cualidad, afirmativa o negativa, entonces resulta que únicamente hay cuatro combinaciones posibles de cantidad y cualidad, es decir, solo 4 tipos posibles de proposiciones categóricas según su estructura, que son las siguientes: </li></ul><ul><li>Universales Afirmativas (llamadas tipo A) </li></ul><ul><li>Sea la proposición “Todo pez es acuático”. Esta indica que la clase pez está incluida totalmente en la clase acuático. Esta es una relación de inclusión total y se expresa por: “Todo S es P” </li></ul><ul><li>Universales Negativas (llamadas tipo E) </li></ul><ul><li>“ Ningún niño es viejo”. La anterior proposición indica que ningún elementos de la clase de los niños pertenece a la clase de los viejos. Esta es una relación de exclusión total y se expresa por “Ningún S es P” </li></ul><ul><li>Particulares Afirmativas (llamadas tipo I) </li></ul><ul><li>“ Algunos alumnos son artistas” es una proposición que señala que hay al menos uno de la clase de los alumnos que está incluido en la clase de los artistas. Esta es una relación de inclusión parcial y se expresa mediante “Algunos S son P” </li></ul><ul><li>Particulares Negativas (llamadas tipo O) </li></ul><ul><li>La proposición “Algunas rosas no son rojas” expresa que al menos una de las rosas no pertenecen a la clase de lo rojo. Aquí se establece una relación de exclusión parcial y se denota como “Algunos S no son P” </li></ul>
  14. 14. DISTRIBUCIÓN <ul><li>Este término sirve para señalar el alcance de los términos de la proposición. Una proposición distribuye un término cuando se refiere a todos los miembros de la clase designada por ese término. Ejemplos: </li></ul><ul><li>Una proposición de tipo A : “Todos los católicos son creyentes”. Es esta una proposición universal afirmativa, en la cual el término sujeto está distribuido en el término predicado, pero el término predicado no está distribuido en el término sujeto. Afirma que todos los católicos son creyentes, pero no afirma que todos los creyentes sean católicos. Por tanto, el término sujeto está distribuido más no el término predicado . </li></ul><ul><li>Una proposición de tipo E : “Ningún economista es literato”. Afirma que cada economista no es literato. Excluye totalmente la clase de los economistas de la clase de los literatos. Una proposición de tipo E refiere a todos los miembros de la clase designada por su término sujeto, y, por consiguiente, lo distribuye. Por otro lado, al afirmar que la totalidad de la clase de los economistas está excluida de la clase de los literatos, de la misma manera afirma que la totalidad de clase de los literatos está excluida de la clase de los economistas. Por tanto, la proposición designada afirma que cada literato no es economista. Las proposiciones de tipo E distribuye tanto su término sujeto como también su término predicado . </li></ul><ul><li>Una proposición de tipo I : “Algunas limeñas son rubias”. No afirma que todas las limeñas sean rubias, ni menos que todas las rubias sean limeñas. Ninguna de las clases está totalmente incluida, o totalmente excluida. En las proposiciones de tipo I, particular afirmativa, tanto el sujeto como el predicado no están distribuidos . </li></ul><ul><li>Una proposición de tipo O : “Algunos políticos no son abogados”. No se refiere a todos los políticos, sino solamente a aquellos que no son abogados. Esos políticos a que se refiere, dice que no forman parte de la clase de los abogados. Se excluye totalmente esa clase de políticos de la clase de los abogados. Eso quiere decir que se distribuye el predicado, pero no el sujeto. La proposición de tipo O, particular negativa, distribuye su término predicado, mas no el término sujeto. </li></ul>
  15. 15. ANÁLISIS DE PROPOSICIONES CATEGÓRICAS TÍPICAS <ul><li>PROPOSICIÓN CATEGÓRICA </li></ul><ul><li>“ Todo socialista es progresista” </li></ul><ul><li>ESTRUCTURA FORMAL </li></ul><ul><li>“ Todo S es P” </li></ul><ul><li>CANTIDAD Y CALIDAD </li></ul><ul><li>Universal y Afirmativa </li></ul><ul><li>LETRA TÍPICA </li></ul><ul><li>A </li></ul><ul><li>FÓRMULA TÍPICA </li></ul><ul><li>SaP </li></ul><ul><li>DIAGRAMA DE VENN </li></ul><ul><li>FÓRMULA BOOLEANA </li></ul>DIAGRAMA DE VENN
  16. 16. ANÁLISIS DE PROPOSICIONES CATEGÓRICAS TÍPICAS <ul><li>PROPOSICIÓN CATEGÓRICA </li></ul><ul><li>“ Ningún serbio es polaco” </li></ul><ul><li>ESTRUCTURA FORMAL </li></ul><ul><li>“ Ningún S es P” </li></ul><ul><li>CANTIDAD Y CALIDAD </li></ul><ul><li>Universal y Negativa </li></ul><ul><li>LETRA TÍPICA </li></ul><ul><li>E </li></ul><ul><li>FÓRMULA TÍPICA </li></ul><ul><li>SeP </li></ul><ul><li>DIAGRAMA DE VENN </li></ul><ul><li>FÓRMULA BOOLEANA </li></ul>DIAGRAMA DE VENN
  17. 17. ANÁLISIS DE PROPOSICIONES CATEGÓRICAS TÍPICAS <ul><li>PROPOSICIÓN CATEGÓRICA </li></ul><ul><li>“ Algún sacerdote es puntual” </li></ul><ul><li>ESTRUCTURA FORMAL </li></ul><ul><li>“ Algún S es P” </li></ul><ul><li>CANTIDAD Y CALIDAD </li></ul><ul><li>Particular y Afirmativa </li></ul><ul><li>LETRA TÍPICA </li></ul><ul><li>I </li></ul><ul><li>FÓRMULA TÍPICA </li></ul><ul><li>SiP </li></ul><ul><li>DIAGRAMA DE VENN </li></ul><ul><li>FÓRMULA BOOLEANA </li></ul>DIAGRAMA DE VENN
  18. 18. ANÁLISIS DE PROPOSICIONES CATEGÓRICAS TÍPICAS <ul><li>PROPOSICIÓN CATEGÓRICA </li></ul><ul><li>“ Algún sólido no es plástico” </li></ul><ul><li>ESTRUCTURA FORMAL </li></ul><ul><li>“ Algún S no es P” </li></ul><ul><li>CANTIDAD Y CALIDAD </li></ul><ul><li>Particular y Negativa </li></ul><ul><li>LETRA TÍPICA </li></ul><ul><li>O </li></ul><ul><li>FÓRMULA TÍPICA </li></ul><ul><li>SoP </li></ul><ul><li>DIAGRAMA DE VENN </li></ul><ul><li>FÓRMULA BOOLEANA </li></ul>DIAGRAMA DE VENN
  19. 19. EJERCICIOS <ul><li>Analice las siguientes proposiciones: </li></ul><ul><ul><li>1. Ningún universitario es autista. </li></ul></ul><ul><ul><li>2. Ningún tímido es atrevido. </li></ul></ul><ul><ul><li>3. Algunas tímidas no son bonitas. </li></ul></ul><ul><ul><li>4. Ningún tímido es atrevido. </li></ul></ul><ul><ul><li>5. Ningún adolescente es congresista. </li></ul></ul><ul><ul><li>6. Todos los penalistas son abogados. </li></ul></ul><ul><ul><li>7. Ningún lago es arenoso </li></ul></ul><ul><ul><li>8. Algunos presos están sentenciados </li></ul></ul><ul><ul><li>9. Algunos congresistas no son corruptos </li></ul></ul><ul><ul><li>10. Todos los perros son leales </li></ul></ul>
  20. 20. BIBLIOGRAFÍA <ul><li>GARCÍA ZÁRATE, Óscar. (2007) Lógica. Lima: UNMSM. </li></ul><ul><li>CHÁVEZ N., A. (2000) Introducción a la Lógica. Lima: Noriega. </li></ul><ul><li>REA RAVELLO, Bernardo. (2003) Introducción a la Lógica. Lima: Mantaro. </li></ul><ul><li>PEREZ, M. (2006) Lógica Clásica y Argumentación Cotidiana. Bogotá: Editorial Pontificia Universidad Javeriana. </li></ul>

×