PROPOSICIONES CATEGRICAS Y REGLAS PARA CUANTIFICADORES

NOCIONES PREVIAS

NOCIONES PREVIAS
PROPOSICIN SINGULAR Aquella que tiene sujeto y predicado, pero carece de cuantificadores. Resultar ser un caso especfico. Ej: Juan es ingeniero Alberto est casado con Mara PROPOSICIN PARTICULAR (Proposiciones categricas I y O) Aquella cuantificada existencialmente. Muestra generalizacin parcial. Ej: Algunas mujeres son reinas de belleza Ciertas personas son honradas PROPOSICIN UNIVESAL (Proposiciones categricas A y E) Aquella cuantificada universalmente. Muestra generalizacin total. Ej: Todos los genios son matemticos El 100% de los obreros son humildes

PROPOSICIN CATEGRICA
Son aquellas proposiciones que establecen una relacin de inclusin o exclusin (total o parcial) 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

 La cualidad o calidad 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 el verbo copulativo: 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

CLASIFICACIN DE PROP. 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. Estos indican si el trmino sujeto se toma en toda su extensin o solo en parte. 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 del trmino sujeto: 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

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 SaP DIAGRAMA DE VENN FRMULA BOOLEANA

DIAGRAMA DE VENN

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 SeP DIAGRAMA DE VENN FRMULA BOOLEANA

DIAGRAMA DE VENN

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 SiP DIAGRAMA DE VENN FRMULA BOOLEANA

DIAGRAMA DE VENN

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 SoP DIAGRAMA DE VENN FRMULA BOOLEANA

DIAGRAMA DE VENN

REGLAS

REGLA DE EJEMPLIFICACIN UNIVERSAL (EU)

Podemos pasar de una proposicin universal a una proposicin singular. 1. x B (x) Significa: Todos son buenos Cualquier cosa es buena Todo el mundo es bueno Todo es bueno En virtud de este significado, asumimos que si todos los elementos tienen cierta propiedad entonces cada uno de ellos tienen cierta propiedad.

 Demostrar: No existe ningn x que sea mamfero y que no sea vertebrado. Por ello, ya que el perro es mamfero, el perro es vertebrado. 1. x ( M(x) V(x) ) //M(p) V(p) 2. x ( M(x) V(x) ) de 1 por IC 3. x ( M(x) V(x) ) de 2 por DM 4. x ( M(x) V(x) ) de 3 por Def. 5. M(p) V(p) de 4 por EU

REGLA DE GENERALIZACIN UNIVERSAL (GU)

Podemos pasar de una proposicin singular a una universal siempre y cuando dicha proposicin particular provenga de una proposicin universal. De A(x) podemos derivar x A(x) siempre y cuando la variable no sea dbil o no este libre. Cuando una frmula tiene cuantificadores sobre todas sus variables, se dice que tiene variables ligadas. Pero si alguna variable no estuviera cuantificada, se dice que est libre, libre de cuantificadores. 1. x M(x) 2. M(p) de 1 por EU 3. z M(z) de 2 por GU Este es el famoso cambio de variable. Es lgico aceptar que si todos son felices, entonces pepe es feliz y si pepe es feliz, entonces todos son felices. Esto se explica ya que es contradictorio afirmar que si Juan es santo, entonces todos son santos.

REGLA DE EJEMPLIFICACIN EXISTENCIAL (EE)

Podemos pasar de una proposicin particular a una singular si y solo si hablemos de un sujeto que cumple con la propiedad mencionada en la prop. particular x(A(x)J(x)) .. A() J() Se lee: Si algunos ahijados son justos, entonces es ahijado y juez. es una variable ambigua, pues aunque no se sabe a quien refiere se sabe que refiere al objeto indicado. Dos proposiciones particulares que cuantifican sobre las mismas variables no puede ejemplificarse con la misma variable ambigua. Ello derivara en contradicciones. 1. x ( J(x)H(x) ) 2. x ( J(x)H(x) ) 3. J()H() de 1 por EE 4. J()H() de 2 por EE 5. H() de 3 por Simplif. 6. H() de 4 por Simplif. 7. H()H() de 5 y 6 por Adj.

 Esta contradiccin se evitara ejemplificando con diferente variable ambigua las expresiones 1 y 2. Apliquemos esto. 1. x ( J(x)H(x) ) 2. x ( J(x)H(x) ) 3. J()H() de 1 por EE 4. J()H() de 2 por EE 5. H() de 3 por Simplif. 6. H() de 4 por Simplif. 7. H()H() de 5 y 6 por Adj.

REGLA DE GENERALIZACIN UNIVERSAL (GU)

Podemos pasar de una proposicin singular a una proposicin particular. Esto es coherente puesto que si una propiedad cumple para un sujeto, cumplir para algn sujeto. A(t) x A(x) Donde t es nombre ambiguo, nombre propio, o variable individual.

Demostrar la siguiente inferencia: Dado que ningn injusto es santo y puesto que no todo creyente es justo, de ah se sigue que algunos creyentes no son santos. 1. x ( J(x) S(x) ) 2. x ( C(x) J(x) ) // x ( C(x)S(x) ) 3. x ( C(x) J(x) ) de 2 por IC 4. x ( C(x) J(x) ) de 3 por Def 5. x (C(x) J(x) ) de 4 por DM y DN 6. C() J() de 5 EE 7. J() S() de 1 por EU 8. J() de 6 por Simplif. 9. S() de 7 y 8 por MP 10. C() de 6 por Simplif. 11. C() S() de 7 y 8 por MP 12. x ( C(x) S(x) ) de 11 por GE