Está en la página 1de 4

LÓGICA

“UNIVERSIDAD NACIONAL “JORGE BASADRE GROHMANN”


CENTRO PREUNIVERSITARIO
FORMALIZACIÓN CUANTIFICACIONAL
CICLO OTOÑO 2022-I

FORMAS TÍPICAS DE LAS PROPOSICIONES 2. Particularizador, existencializador o cuantificador


existencial:
CATEGÓRICAS
Designa a una proposición particular, ya sea
La lógica de predicados estudia la estructura interna
afirmativa o negativa.
de las proposiciones, haciendo un análisis de los
elementos que los componen. La lógica Símbolo: x.
cuantificacional, predicativa o de los términos (clases
o conjuntos) es aquella que permite hacer un análisis Traducciones verbales:
más profundo, refinado y riguroso que la lógica Particular Afirmativo:
proposicional. La razón básica es que esta lógica ▪ Existe un x
permite el análisis de la Cantidad y Cualidad de las ▪ Algunos x
proposiciones llamadas categóricas. ▪ Hay x
▪ Existe al menos un x
DEFINICIÓN ▪ Tantos x
La lógica cuantificacional es un área de la lógica de ▪ Ciertos x
predicados, orientada al estudio de la validez de ▪ Muchos x
inferencias dándole un carácter matemático a sus ▪ Existe por lo menos un x
procedimientos. ▪ Pocos x
▪ Muchos x
EL CUANTIFICADOR EN UNA PROPOSICIÓN ▪ Hay al menos un x que
CATEGÓRICA ▪ El 1% de x
▪ El 99% de x
1. Universalizador, generalizador o cuantificador ▪ Varios x
universal: ▪ Al menos un x
Designa a una proposición universal, ya sea ▪ Alguien, algo, alguno que sea x
afirmativa o negativa. ▪ Determinados x
▪ Más de dos x
Símbolo: x
EXPRESIONES CATEGÓRICAS
Traducciones verbales:
Universal Afirmativo:
Son enunciados que específicamente no
▪ Cada uno de los x
corresponden a proposiciones, pero son interpretados
▪ Cualquier x
en relación al contexto por lo que se es posible obtener
▪ Quienquiera que sea x
equivalencias aplicando las leyes correspondientes.
▪ Para todo x
De los cuales estudiaremos las expresiones con un
▪ Para cada x
predicado y con dos predicados.
▪ Todos y cada uno de los x
▪ Cada uno, cualquier y todos los x
Con un predicado:
▪ El 100% de los x
Cuando sólo aparece una clase. Por ejemplo: Todos
▪ Los(las) x
son mortales, Ninguno es abogado, Alguno son
▪ El x
ingenieros, etc.
▪ Todos sin excepción de los x
▪ Para cualquier x
Con dos predicados:
▪ Cualquiera que sea x
Cuando aparecen dos clases. Por ejemplo: Todos los
▪ La totalidad de x
urólogos son médicos, Algunos medicamentos son
▪ Sea cualquier x
tóxicos, etc.
▪ Todo que sea x
▪ Sean todos los x
FORMALIZACIÓN DE PROPOSICIONES CATEGÓRICAS
▪ Para cada una de las x
Universal Negativo:
Elementos de la formalización:
▪ Ningún x
▪ Ni siquiera un x 1. El cuantificador que se representa por una “”,
▪ Nadie que sea x cuando es de cantidad universal y “” cuando es
▪ Ni al menos un x de cantidad particular.
▪ Ni un x
1
LÓGICA Práctica 10

2. El símbolo “x” que es la variable individual y que Solución:


representa el universo de discurso. Formalizamos la proposición dada:
3. Las variables predicativas o letra predicativa que x : Algunos …
está representada por la primera letra del (Rx): …son razonables.
predicado.
4. Los operadores proposicionales, se usan cuando Respuesta: A) x(Rx)
la formula tiene dos predicados; siendo los
operadores “→”; “” cuando es universal e “” 2. “Ciertos no son profesores”
cuando es particular.
A) x(Px) B) x(Px) C) x(Px)
Proposiciones categóricas de un Predicado: D) x(Px) E) x(Px)
Formalización
Cantidad y cualidad Forma Lingüística
Cuantificacional Solución:
Universal afirmativo Todo son S x(Sx) Formalizamos la proposición dada:
Universal negativo Ningún es S x(Sx) x : Ciertos …
Particular afirmativo Algunos son S x(Sx) (Px) : …no son profesores.
Particular negativo Algunos no son S x(Sx)
Respuesta: C) x(Px)
Proposiciones categóricas de dos Predicados:
3. “Todos los jueces son justos”
Para cualquier elemento, si pertenece a la clase
Para cualquier elemento, si pertenece a la clase

A) x (Sx → Px) B) [x (Sx → Px)]


Existen elementos que, pertenecen a la clase S

Existen elementos que, pertenecen a la clase S

C) [x (Sx  Px)] D) x (Sx  Px)


S entonces también pertenece a la clase P.

E) [x (Sx → Px)]


S entonces no pertenece a la clase P.

Solución:
y también pertenece a la clase P.

pero no pertenecen a la clase P.

Formalizamos la proposición dada:


Interpretación

x (… → …) : Todos …
Sx → Px : … los jueces son justos.

Respuesta: A) x (Sx → Px)

4. “Algunos anfibios no son acuáticos”

A) x (Sx → Px) B) x (Sx  Px)


C) [x (Sx  Px)] D) x (Sx  Px)
E) [x (Sx → Px)]
Cuantificacional

x(Sx → Px)
Formalización

x(Sx → Px)

Algún S no es P x(Sx  Px)


x(Sx  Px)

Solución:
Formalizamos la proposición dada:
x : Algunos …
(Sx  Px) : … anfibios no son acuáticos.
Ningún S es P
Lingüística

Algún S es P
Todo S es P
Forma

Respuesta: B) x (Sx  Px)

5. “Todo ingeniero no es empírico”


Cantidad y

A) x (Sx → Px) B) [x (Sx → Px)]


cualidad

afirmativo

afirmativo
Particular

Particular
Universal

Universal
negativo

negativo

C) [x (Sx  Px)] D) x (Sx  Px)


E) x (Sx → Px)

Solución:
EJERCICIOS RESUELTOS:
Formalizamos la proposición dada:
1. “Algunos son razonables” x : Todo …
Sx → Px : … ingeniero no es empírico.
A) x(Rx) B) x(Rx) C) x(Rx)
D) x(Rx) E) x(Rx) Respuesta: E) x (Sx → Px)
2
LÓGICA Práctica 10

EJERCICIOS PROPUESTOS: 4) Muchos son deportistas.


5) Es mentira que no sean deportistas.
1. La formalización de: “Es falaz que no hay
insensibles” es: Son falsos:

A) x(Sx) B) x(Sx) C) x(Sx) A) 2, 3 y 4 B) 1, 3 y 5 C) 2 y 4


D) x(Sx) E) x(Sx) D) 4 y 5 E) 1 y 2

2. El enunciado: “Quien quiera que sea x éste es una 11. La proposición: “Solo las damas son educadas”, se
figura geométrica”, se formaliza: formaliza como:

A) ~x(~Fx) B) x(Fx) C) x(~Fx) A) x(Dx → Ex) B) [x(Dx → Ex)]


D) ~x(Fx) E) x(Fx) C) [x(Dx  Ex)] D) x(Dx → Ex)
E) x(Dx → Ex)
3. “Unos cuantos no sinceros”. Se formaliza:
12. La formalización de: “La gran mayoría de
A) x(Sx) B) [x(Sx)] C) [x(Sx)] trabajadores son profesionales” es:
D) x(Sx) E) x(Sx)
A) x(Tx → Px) B) x(Tx  Px)
4. “Todos no son periodistas”. Se formaliza: C) x(Tx  Px) D) x(Tx  Px)
E) x(Tx → Px)
A) x(Px) B) x(Px) C) [x(Px)]
D) [x(Px)] E) x(Px) 13. La formalización de: “Más de dos ciencias no son
empíricas” es:
5. “Es incierto que ninguno es político”. Se formaliza:
A) x(Cx → Ex) B) x(Cx  Ex)
A) x(Px) B) x(Px) C) x(Px) C) x(Cx  Ex) D) x(Cx  Ex)
D) x(Px) E) x(Px) E) x(Cx → Ex)

6. “Determinados no son callados”. Se formaliza: 14. “Cada uno de los estudiantes no son incrédulos “,
se formaliza como:
A) x(Cx) B) x(Cx) C) x(Cx)
D) [x(Cx)] E) x(Cx) A) x(Ex → Cx) B) x(Ex → Cx)
C) x(Ex → Cx) D) x(Ex → Cx)
7. “Todos sin excepción no son ignorantes”. Se E) x(Ex → Cx)
formaliza:
15. Formalizar: “Los jueces son corruptos salvo que
A) x(Ix) B) x(Ix) C) x(Ix) tengan valores”
D) x(Ix) E) x(Ix)
A) x(Ax → Bx) B) x(Ax  Bx)
8. “No existe la informalidad”. Se formaliza: C) x(Ax → Bx) D) x(Ax  Bx)
E) x(Ax  Bx)
A) x (Fx) B) x (Fx) C) x (Fx)
D) x (Fx) E) x (Fx) 16. La proposición: “Ningún docente no es
irresponsable”, se formaliza como:
9. La proposición: “Ni siquiera uno es investigador” y
“Ni uno no es adecuado”. Se formalizan A) x (Dx → Rx) B) [x(Dx → Rx)]
respectivamente: C) [x(Dx  Rx)] D) x(Dx → Rx)
E) x(Dx → Rx)
A) x(Ix) ; x(Ax) B) x(Ix) ; x(Ax)
C) x(Ix) ; x(Ax) D) x(Ix) ; x(Ax) 17. La expresión: “Casi no hay proposiciones que no
E) x(Ix) ; x(Ax) son no contradictorias”, se formaliza como:

10. La fórmula: x (Dx), se lee: A) x(Px → Cx) B) x(Px  Cx)


C) [x(Px  Cx)] D) x(Px  Cx)
1) Falso es que ninguno sea deportista. E) [x(Px → Cx)]
2) Todos son deportistas.
3) No cualquiera no es deportista.
3
LÓGICA Práctica 10

18. “Ni al menos un sabio no es fatuo”. Se formaliza: 22. La fórmula: x (Ax → Bx), se lee:

A) x(Sx → Fx) B) [x(Sx → Fx)] A) Es incierto que ningún no vertebrado es


carnívoro.
C) x(Sx → Fx) D) x(Sx  Fx)
B) Absurdo es que nada que sea invertebrado es
E) x(Sx  Fx) carnívoro.
C) No ocurre que para todo animal si no es
19. La traducción incorrecta de la fórmula: vertebrado entonces no es carnívoro.
x(Px → Qx)] D) Todas las anteriores.
E) Ninguna de las anteriores.
1) Es mentira que ni siquiera un no Tacneño es
patriota. 23. La fórmula: x(Ax  Bx), se leerá:
2) No todos los irresponsables no son adultos.
3) Es falso que ningún no capacitado sea A) Existe al menos un x, tal que x no es vegetal y x
profesional. no es perecible.
4) No es cierto que todos los padres sean B) Existe al menos un x, tal que x es un vegetal y x
abuelos. es perecible.
C) Dado cualquier x, si x es vegetal, x es perecible.
Son inciertas: D) Cualquier cosa que es vegetal es perecible.
E) Todos los anteriores.
A) Solo 4 B) 1, 2 y 3 C) 1, 2 y 4
D) 1 y 3 E) 2 y 3 24. La fórmula: x(Rx  Sx), se leerá:

20. La traducción correcta de la fórmula: A) La mayoría no son licenciados y/o son doctores.
B) Casi todos no son licenciados o también son
x(Ax  Bx) doctores.
C) Todos y cada uno son no licenciados y doctores.
1) No hay creyentes que son religiosos. D) Cualquiera no es licenciado salvo que sea
2) Es falso que hay no universitarios que son doctor.
perseverantes. E) Todas las anteriores.
3) No pocos estudiantes no son esforzados.
4) Es mentira que algunos que no son capacitados 25. La traducción correcta de la fórmula:
sean reconocidos.
x(Sx  Px)
Son falsas:
1. No acaece que muchos de los no boxeadores
A) 1 y 2 B) 2 y 3 C) Todas no son violentos.
D) 2, 3 y 4 E) 1 y 3 2. No sucede que casi no hay no boxeadores que
no sean violentos.
21. La fórmula proposicional: 3. No hay boxeadores que son violentos.
x(Ax → Bx) 4. Todos los boxeadores son violentos.
Se traduce como:
Son falsas:
1. No es verdad que los ciclistas no sean
deportistas. A) 1 y 2 B) 2 y 3 C) 3 y 4
2. No todo ciclista no es deportista. D) 2, 3 y 4 E) Todas
3. No es cierto que ningún ciclista es deportista.
4. Es objetable que ningún ciclista no sea
deportista.
5. No todo no ciclista es deportista.

Son ciertas:

A) 1, 3 y 4 B) 1, 2 y 5 C) 2 y 3
D) 1, 2 y 3 E) 1 y 3

También podría gustarte