I17 MATERIAL DE APOYO: WWW.SLIDESHARE.NET/RAFAEL.

MORA

LGICA DE CLASES, PREDICATIVA O DE PROPOSICIONES ANALIZADAS

La lgica proposicional o de nivel cero es la lgica 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 lgica pues existen razonamiento vlidos que no se pueden probar como vlidos mientras no se ample el lenguaje. Por ello, recurrimos a una lgica ms especializada. La lgica predicativa realiza un anlisis interno de las proposiciones con el fin de poder determinar la validez de los razonamientos haciendo uso de frmulas booleanas y los diagramas de Venn. La lgica de clases es aquella rama de la lgica que, para deducir, analiza las relaciones entre clases (o conjuntos) que hay en una proposicin categrica, de ah tenemos que la proposicin categrica es un enunciado que refleja una relacin entre clases: la clase sujeto y la clase predicado. Ejemplo: El enunciado
cuantificador verbo copulativo

Toda gaseosa es lquida.

sujeto predicado

Es una proposicin categrica, puesto que refleja una relacin entre la clase gaseosas y la clase

lquidas; a saber, que la clase gaseosas est incluida totalmente en la clase lquidos. Y asimismo es una proposicin de forma tpica, ya que posee cuantificador, sujeto, verbo copulativo ser (en cualquier modo y tiempo) y predicado. Pero antes de conocer de modo profundo la lgica de clases, es importante que recordemos algunas nociones bsicas de la teora de conjuntos.

NOCIN DE CLASE
Se llama clase a la coleccin de objetos que tienen alguna caracterstica en comn. Una clase puede ser un sujeto o un predicado. Ella se la puede representar mediante una variable predicativa: A, B, C, 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, . Podemos representar una clase mediante una lista de sus elementos o mediante la mencin de una propiedad que deben ejemplificar todos sus miembros. Por ejemplo, la clase de los pases o la de los subdesarrollados puede representarse por P, donde P={x/x es un pas} o por E, donde E={x/x es subdesarrollado}. Esta es la definicin por comprensin. 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=Sudfrica, etc. Esta es la definicin por extensin La relacin 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.

TIPOS DE CLASES
CLASE UNIVERSAL 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 mamferos que las abarca a todas. Esta clase de los mamferos es la clase universal. Es de notar que la clase universal es un concepto relativo. Grficamente se representa mediante un cuadriltero con una U en la esquina superior derecha.

TIPOS DE CLASES
CLASE INDETERMINADA

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.

TIPOS DE CLASES
CLASE VACA 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 crculos cuadrados. Esta cualidad ciertamente, es un absurdo, pero siento una cualidad, permite constituir una clase, si bien carente de elementos. Simblicamente se representa por la letra griega . Representa como un diagram sombreado

TIPO DE CLASES
CLASE NO VACA
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

TIPOS DE CLASES
COMPLEMENTO DE UNA CLASE 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 smbolo del complemento es que se coloca encima de la letra de la clase en referencia. Veamos dos posible situaciones

TIPOS DE CLASES
RELACIONES DE DOS CLASES Este es el diagrama de dos clases, en el se representan las relacin de inclusin o exclusin que encontraremos en la proposicin. Por lo tanto, describiremos las reas numeradas.

rea 1: Estn los elementos que no pertenecen a la clase S y que no pertenecen a la clase P.
rea 2: Estn los elementos que pertenecen a S pero que no pertenecen a P. rea 3: Estn los elementos que pertenecen a S y a la vez a P. rea 4: Estn los elementos que, no pertenecen a S pero si a P.

PROPOSICIN CATEGRICA
Son aquellas proposiciones que establecen una relacin de inclusin

o exclusin entre dos conjuntos de individuos: un sujeto y un predicado. A estos conjunto de individuos se les llama categoras y, precisamente por eso, al tipo de proposiciones que se construye con base en ellas se les llama proposiciones categricas. Ejemplos sencillos de proposiciones categricas: -Todas las aves son animales -Todo len no es un pez -Algn perro es consentido -Alguna ave no es gallina -Todos los pensionistas son pobres -Ningn felino es lento -Algn oso es viejo -Algn libro no es comprado

CLASIFICACIN DE PROPOSICIONES CATEGRICAS

La cualidad de una proposicin categrica 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 ms bien est excluido. Las expresiones son y no son cumplen la funcin de unir o separar los trminos de la proposicin y por eso se les conoce con el nombre de cpula. Segn su cualidad: Afirmativas: Cuando se afirma que el sujeto est incluido en el predicado. Ejemplo: Todos los misioneros son humildes Negativas: Cuando se niega que un sujeto est incluido en un predicado. Ejemplo: Ningn gato es manso

CLASIFICACIN DE PROPOSICIONES CATEGRICAS

Una vez que el verbo nos dice si hay un caso de exclusin o inclusin, nos

preguntamos si se trata de una exclusin-inclusin total o parcial. La cantidad de una proposicin categrica indica de cuntos individuos estamos hablando. Sin embargo, en la lgica aristotlica no se trata de decir en nmeros 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, Ningn o Algunos cumplen la funcin de determinar la cantidad de la proposicin y se les conoce con el nombre de cuantificadores. En lgica de predicados las representaremos como una A y una E invertidas, as: (total inclusin o exclusin) y (parcial inclusin o exclusin). Segn su cantidad: Universales: Cuando se detecta la presencia del cuantificador universal y se determina una relacin de inclusin total. Ejemplo: Todas las plantas son seres vivos Particulares: Cuando se detecta la presencia del cuantificador existencial y se determina una relacin de inclusin parcial. Ejemplo: Algunas vacas son sagradas

CLASIFICACIN TOTAL
La cantidad y la cualidad de una proposicin categrica 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 categricas segn su estructura, que son las siguientes: Universales Afirmativas (llamadas tipo A) Sea la proposicin Todo pez es acutico. Esta indica que la clase pez est incluida totalmente en la clase acutico. Esta es una relacin de inclusin total y se expresa por: Todo S es P Universales Negativas (llamadas tipo E) Ningn nio es viejo. La anterior proposicin indica que ningn elementos de la clase de los nios pertenece a la clase de los viejos. Esta es una relacin de exclusin total y se expresa por Ningn S es P Particulares Afirmativas (llamadas tipo I) Algunos alumnos son artistas es una proposicin que seala que hay al menos uno de la clase de los alumnos que est incluido en la clase de los artistas. Esta es una relacin de inclusin parcial y se expresa mediante Algunos S son P Particulares Negativas (llamadas tipo O) La proposicin 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 relacin de exclusin parcial y se denota como Algunos S no son P

DISTRIBUCIN

Este trmino sirve para sealar el alcance de los trminos de la proposicin. Una proposicin distribuye un trmino cuando se refiere a todos los miembros de la clase designada por ese trmino. Ejemplos: Una proposicin de tipo A: Todos los catlicos son creyentes. Es esta una proposicin universal afirmativa, en la cual el trmino sujeto est distribuido en el trmino predicado, pero el trmino predicado no est distribuido en el trmino sujeto. Afirma que todos los catlicos son creyentes, pero no afirma que todos los creyentes sean catlicos. Por tanto, el trmino sujeto est distribuido ms no el trmino predicado. Una proposicin de tipo E: Ningn economista es literato. Afirma que cada economista no es literato. Excluye totalmente la clase de los economistas de la clase de los literatos. Una proposicin de tipo E refiere a todos los miembros de la clase designada por su trmino 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 proposicin designada afirma que cada literato no es economista. Las proposiciones de tipo E distribuye tanto su trmino sujeto como tambin su trmino predicado. Una proposicin de tipo I: Algunas limeas son rubias. No afirma que todas las limeas sean rubias, ni menos que todas las rubias sean limeas. 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 estn distribuidos. Una proposicin de tipo O: Algunos polticos no son abogados. No se refiere a todos los polticos, sino solamente a aquellos que no son abogados. Esos polticos a que se refiere, dice que no forman parte de la clase de los abogados. Se excluye totalmente esa clase de polticos de la clase de los abogados. Eso quiere decir que se distribuye el predicado, pero no el sujeto. La proposicin de tipo O, particular negativa, distribuye su trmino predicado, mas no el trmino sujeto.

ANLISIS DE PROPOSICIONES CATEGRICAS TPICAS

PROPOSICIN CATEGRICA Todo socialista es progresista ESTRUCTURA FORMAL Todo S es P CANTIDAD Y CALIDAD Universal y Afirmativa LETRA TPICA A FRMULA TPICA

DIAGRAMA DE VENN

SaP
DIAGRAMA DE VENN FRMULA BOOLEANA

ANLISIS DE PROPOSICIONES CATEGRICAS TPICAS

PROPOSICIN CATEGRICA Ningn serbio es polaco ESTRUCTURA FORMAL Ningn S es P CANTIDAD Y CALIDAD Universal y Negativa LETRA TPICA E FRMULA TPICA

DIAGRAMA DE VENN

SeP
DIAGRAMA DE VENN FRMULA BOOLEANA

ANLISIS DE PROPOSICIONES CATEGRICAS TPICAS

PROPOSICIN CATEGRICA Algn sacerdote es puntual ESTRUCTURA FORMAL Algn S es P CANTIDAD Y CALIDAD Particular y Afirmativa LETRA TPICA I FRMULA TPICA

DIAGRAMA DE VENN

SiP
DIAGRAMA DE VENN FRMULA BOOLEANA

ANLISIS DE PROPOSICIONES CATEGRICAS TPICAS

PROPOSICIN CATEGRICA Algn slido no es plstico ESTRUCTURA FORMAL Algn S no es P CANTIDAD Y CALIDAD Particular y Negativa LETRA TPICA O FRMULA TPICA

DIAGRAMA DE VENN

SoP
DIAGRAMA DE VENN FRMULA BOOLEANA

EJERCICIOS
Analice las siguientes proposiciones:
1. Ningn universitario es autista.
2. Ningn tmido es atrevido. 3. Algunas tmidas no son bonitas. 4. Ningn tmido es atrevido. 5. Ningn adolescente es congresista. 6. Todos los penalistas son abogados. 7. Ningn lago es arenoso

8. Algunos presos estn sentenciados

9. Algunos congresistas no son corruptos 10. Todos los perros son leales

BIBLIOGRAFA
GARCA ZRATE, scar. (2007) Lgica. Lima: UNMSM.
CHVEZ N., A. (2000) Introduccin a la Lgica. Lima: Noriega. REA RAVELLO, Bernardo. (2003) Introduccin a la Lgica. Lima: Mantaro. PEREZ, M. (2006) Lgica Clsica y Argumentacin Cotidiana. Bogot: Editorial Pontificia Universidad Javeriana.