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