Está en la página 1de 12

Lgica Cuantificacional (LC)

La LC es un captulo de la lgica formal, en el que se


analiza la estructura interna de las proposiciones,
distinguiendo en ellas individuos, propiedades y
cuantificadores.

Ejemplos:

- Scrates es hombre = Hs
Se interpreta: Ser hombre es propiedad de Scrates.
- Todos los hombres son mortales = (Ux) ( Hx Mx).
Se lee: Para todo x, si x es hombre entonces x es
mortal.




LGICA/ Prof. Segiberto Amaro
Las proposiciones en LC:
PROPO
SICIONES
N DE INDIVIDUOS CUANTIFICA
DORES
VARIANTES
Singulares Un solo individuo
Ej. Luis es bueno

----------

--------

Particulares
Una parcialidad
Ej. Existen buenos
estudiantes
Algunos

Algunos --no
Hay, ciertos,
pocos,
muchos


Universales

Una totalidad
Ej. Todos los nios
son buenos

Todos

Ninguno

Los, la el,
cualquiera,
Nada, nadie
LGICA/ Prof. Segiberto Amaro
SMBOLOS DE LA LC
Por cuestiones prcticas, convenimos

1. VARIABLES:
a) De individuo: la primera letra del nombre o
individuo en minscula.
b) De Predicado: la primera letra de la
propiedad en mayscula.

2. CUATIFICADORES:
a) Particular: (Ex)
b) Universal: (Ux)


Propuesta de Jaakko Hintikka,
fil. y lg. finlands.
LGICA/ Prof. Segiberto Amaro
SIMBOLIZACIN EN LC
Se invierte el orden natural del enunciado: en
primer lugar va la variable de predicado,
seguida de la variable de individuo. Y se prefija
el smbolo del cuantificador, si existe.

Ejemplos:
- Anita es economista Ea
- Algunos son leales (Ex)Lx
- Todos son buenos (Ux)Bx
- X es honesto Hx

LGICA/ Prof. Segiberto Amaro
Ms ejemplos de simbolizacin:
1. Pedro es arquitecto : Ap (A es propiedad de p)
2. Alguien es tmido : Tx (es una funcin).
Se convierte en proposicin as: Ta (Ex)Tx

4. Sal es bueno y no miente: Bs ^ Ms
5. Todos son mortales : (Ux) Mx
6. No todos son desleales : (Ux) Lx
7. Todos no son malos : (Ux) Mx



LGICA/ Prof. Segiberto Amaro
(Ojo)
Vamos a la PRCTICA N 10-A

Proposiciones Categricas (PC)
Las PC son afirmaciones o negaciones precisas y rotundas.
Las proposiciones categricas de forma tpica poseen
cuatro elementos:

a) Cuantificador: Indica la cantidad de individuos
b) Sujeto : Trmino de individuo
c) Cpula : Verbo que forma parte del predicado
d) Predicado : Trmino que designa una propiedad

Ejemplo: Todos los peruanos son americanos
(a) (b) (c) (d)

LGICA/ Prof. Segiberto Amaro
TIPO (Clasificacin)
FORMAS
PROPOSICIONALES
FRMULA
A= Universal afirmativo Todos los S son P (Ux) (Sx Px)
E= Universal negativo Ningn S es P (Ux) (Sx ~ Px)
I= Particular afirmativo Algunos S son P (Ex) (Sx ^ Px)
O=Particular negativo Algunos S no son P (Ex) (Sx ^ ~ Px)
LGICA/ Prof. Segiberto Amaro
Clasificacin y simbolizacin de las PC de
forma tpica
Simbolizacin de PC (Tpicas y atpicas)

1. Los hombre son racionales (Ux) (Hx Rx)
2. Ningn hombre es una cosa (Ux) (Hx ~ Cx)
3. Algunos hombres son desleales (Ex) (Hx ^ Lx)
4. Hay hombres que no son religiosos (Ex) (Hx ^ ~ Rx)
5. No todo demagogo es un feln (Ux) (Dx Fx)
6. Existen felones que son apolticos (Ex) (Fx ^ Px)
7. Ningn inmoral es un santo (Ux) (~M ~ Sx)
8. Muchos polticos son desleales (Ex) (Px ^ ~L)


LGICA/ Prof. Segiberto Amaro
Vamos a la PRCTICA N 10-B
Cuadro de oposicin

(Ux) (Sx Px) A CONTRARIAS E (Ux) (Sx Px)


(Ex) ( Sx Px ) I SUBCONTRARIAS O (Ex) ( Sx Px)
CONTRADICTORIAS

Leyes de oposicin aristotlica, regla: Una proposicin
categrica es equivalente a la negacin de su contradictoria.

1. (Ux) ( Sx Px ) (Ex) ( Sx Px )
2. (Ux) ( Sx Px) (Ex) ( Sx Px )
3. (Ex) ( Sx Px ) (Ux) ( Sx Px)
4. (Ex) ( Sx Px ) (Ux) ( Sx Px )

LGICA/ Prof. Segiberto Amaro
1. A 0
2. E I
3. I E
4. O A
Vamos a la PRCTICA N 11-A y B

Reglas para aplicar los mtodos de LP en LC

1. Reglas de especificacin:
-Especificacin Universal (EU) : (Ux) Fx
Fa

-Especificacin Existencial (EE): (Ex) Fx
Fa

Estas reglas permiten eliminar cuantificadores,
cambiando la variable individual indeterminada (x)
por cualquier variable individual determinada (a,
w u otra).


LGICA/ Prof. Segiberto Amaro
2. Ley del contenido existencial:

Si las dos premisas de un silogismo son
universales y la conclusin es particular, se
supone la premisa existencial (PE).

Casos en los que se aplica:
(Ux) A E A
(Ux) A E E
(Ex) I O O

Criterio: La PE es el trmino ms general o el
que implica a los otros dos trminos, en las
premisas de un silogismo.



LGICA/ Prof. Segiberto Amaro
Aplicacin de los mtodos de LP en LC
Proceso:

1. Simbolizar la inferencia.
2. Incluir la PE si el caso lo requiere.
3. Eliminar cuantificadores. Especificando.
4. Aplicando un mtodo de LP.

Ejemplos en la pizarra
LGICA/ Prof. Segiberto Amaro
Vamos a las PRCTICA S 12 y 13