lUIS Zamora

lUIS Zamora



LGICA CUANTIFICACIONAL
Estudia las relaciones entre las clases (conjuntos)
de las proposiciones categricas teniendo en
cuenta su CANTIDAD. Ejemplo:
- Todos los ingenieros son capaces
Proposicin cuantificada (Universal)
1 2
( )
Tosos los ingenieros son capaces
Clase Clase
Cuantificador
Cantidad derelacin


- Algunos herbvoros son roedores
Proposicin Cuantificada (Particular)

En esta parte de Lgica Cuantificacional, nos
dedicaremos principalmente a la formalizacin y
determinacin de expresiones equivalentes de
proposiciones cuantificables. Para ellos tendremos
en cuenta los cuantificadores y los tipos de
predicados, de acuerdo al nmero de clases que
tengan la proposicin.

SINNIMOS DE LOS CUANTIFICADORES:


FORMALIZACIN DE PROPOSICIONES
CUANTIFICADAS
Teniendo en cuenta el nmero de
predicados o clases, formalicemos:

PARA 1 PREDICADO: Formadas por
una sola clase o conjunto.
a) Existen polticos: ( ) x Px -
b) Todos son inteligentes: ( ) x Ix
c) Es mentira que hay puneos:
( ) x Px -
d) Todos no son periodistas:
( ) x Px
e) Todos son no periodistas:
( ) x Px
f) Algunos son incorruptibles:
( ) x Cx -
g) Nadie es materialista:
( ) x Mx
h) Casi no hay ermitaos: ( ) x Hx -

PARA 2 PREDICADOS: Formadas por
2 clases o conjuntos, para eso
debemos tener en cuenta:
FORMATO CLSICO: Cuando las
clases estn unidas por la cpula
normal es, son.

En este caso tendremos en cuenta que:
1
o
) Cuando el cuantificador es
universal, el conectivo que relaciona
las clases ser condicional.
2
o
) Cuando el cuantificador es
particular, el conectivo que relaciona
las clases ser conjuntor.

As:
a) Todos los animales son
vertebrados: ( ) x Ax Vx
b) Ningn poltico es corrupto:
( ) x Px Cx
c) No hay ingenieros que no tengan
creatividad: ( ) x Ix Cx - .
d) Por lo menos un ingenuo no es no
devoto: ( ) x Ix Dx - .
e) Nadie que es abogado no es
profesional:
( ) x Ax Px
f) Los peruanos son cajamarquinos:
( ) x Px Cx
g) Slo los peruanos son
cajamarquinos: ( ) x Cx Px
Ojo al orden de las clases de la
formalizacin, la palabra SLO LOS
invierte las clases.

FORMATO NO CLSICO: Cuando las
clases estn unidas por una traduccin
verbal de conector proposicional,
distinta a la cpula normal es, son.

As:
a) Todos son ricos a menos que sean
pobres: ( ) x Rx Px v
b) Algunos son estudiosos porque son
responsables: ( ) x Ex Rx -
c) El 100% son desinteresados al igual
que apticos: ( ) x Ix Ax .
d) Es falso que algunos son trujillanos o
solamente son limeos:
( ) x Tx Lx -

PARA 3 PREDICADOS: Formadas por 3
ms clases.
a) Es falso que cada uno de los felinos
sean tigres a menos que sean leones:
| | ( ) x Fx Tx Ax v
b) Todos los lgicos son reflexivos y
estudiosos: | | ( ) x Lx Rx Ex .
c) Algunos policas son honestos slo si
son responsables:
| | ( ) x Px Hx Rx - .
LOGICA CUANTIFICACIONAL
CURSO: RAZ. LGICO GRADO: QUINTO
FECHA: 13/06/14