1

LOGICA CUANTIFICACIONAL

Introducción
La lógica de predicados es una extensión de la lógica de proposiciones, y a ella se extienden también los
conectivos y operadores de la lógica proposicional. La lógica de predicados descompone la proposición
en sus dos componentes básicas (sujeto y predicado) y cuantifica al sujeto, introduciendo símbolos para
el sujeto, para el predicado y para los cuantificadores "todos" y "alguno", además de un símbolo de
relación entre sujeto y predicado.
Desde la lógica de predicados, una proposición expresa relaciones entre objetos y/o atributos asignados a
los objetos. En la oración "Juan es hermano de Pedro" lo que realmente se está expresando es una
relación (de hermandad) entre Juan y Pedro. En la oración "Juan es estudiante de la universidad" se está
asignando un atributo a Juan.

La lógica de predicados es una herramienta para estudiar el comportamiento de un sistema lógico.

Además, proporciona un criterio para determinar si un sistema lógico es absurdo o inconsistente.

Gottlob Frege (1848–1925), matemático, lógico y filósofo alemán es considerado como el fundador y el
creador de la Lógica Matemática Moderna. En 1879 publicó la obra “Escritura conceptual”, en la que le
dio naturaleza a la lógica matemática moderna mediante la introducción de una nueva sintaxis, en la que
destaca la inclusión de los llamados cuantificadores (universal y particular), siendo el primero en separar
la caracterización formal de las leyes lógicas de su contenido semántico.

Lógica cuantificacional
La lógica cuantificacional estudia las proposiciones categóricas, tomando como base de análisis la
cuantificación. Es decir, estudia las relaciones entre las clases (conjuntos) de las proposiciones categóricas
teniendo en cuenta su cantidad.

CUANTORES.
Los cuantores o cuantificadores, son términos que indican la cantidad de una proposición categórica.
Son de dos tipos:
1.1. Universalizador.
Designa a un enunciado universal, ya sea afirmativo o negativo. En función a sus
traducciones verbales se tienen 2 variantes:
a) Afirmativo: ∀𝑥( )
Todos, cada uno, quienquiera que sea, cualquiera que sea, los, las, el 100%, etc.
b) Negativo: ∀𝑥( − )
Ninguno, nadie, ni siquiera uno, ni al menos uno, nada, el 0%, etc.

1.2. Particularizador (Existencializador): ∃𝑥( )

Designa a un enunciado particular, ya sea afirmativo o negativo. Lo encontramos como:
 2
Existen, hay, pocos, algunos, la mayoría, al menos uno, muchos, la minoría, varios,
bastantes, solo algunos, unos cuantos, casi todos, casi ninguno, casi no hay, un pequeño
porcentaje, un gran porcentaje, etc.

PREDICADOS.
Son términos que designan a una categoría o a una clase. Ejemplos: médico, futbolista, mamífero,
jugar, bailar, etc.
2.1. Monádicos.
Son términos que solo se relacionan con otro predicado mediante un verbo copulativo. Se les
simboliza utilizando la primera letra al lado de una x. Ejemplos: Contador (Cx), Ser vivo (Sx),
Leche (Lx), etc.
2.2. Diádicos.
Son términos que relacionan a dos o más predicados. También son llamados términos
relacionantes. Se les simboliza utilizando la primera letra al lado de x, y (dependiendo de los
predicados que relaciona). Ejemplos: Jugar (Jxy), Bailar (Bxy), Compartir (Cxy), etc.

FORMALIZACIÓN.
Para formalizar un enunciado cuantificado se escribe el cuantificador correspondiente seguido del
predicado del enunciado cuantificado. El predicado previamente se escribe con letras mayúsculas, seguido
de dos puntos; entre comillas se agrega el enunciado afirmativo, utilizando el verbo principal en infinitivo.
Ejemplo: los enunciados
1. Algunos son vegetales
2. Hay flores
son existenciales o particulares. Para simbolizarlos lógicamente se determinan los predicados así:
V: “ser vegetal”
F: “ser flor”
A: “ser animal”
Simbólicamente los enunciados quedan como sigue:
∃𝑥(𝑉𝑥) se lee: “existe un 𝑥 tal que 𝑥 es un vegetal”, o “algún 𝑥 es un vegetal”.

∃𝑥(𝐹𝑥) se lee: “existe un 𝑥 tal que 𝑥 es una flor”, o “algún 𝑥 es una flor”.

Ejemplo.
Son enunciados universales
1) Todos son vegetales
2) Cualquier flor
3) Siempre son animales
Para simbolizarlos lógicamente se determinan los predicados así:
V: “ser vegetal”
 3
F: “ser flor”
A: “ser animal”
Simbólicamente los enunciados se expresan:
∀𝑥(𝑉𝑥) y se lee: para todo 𝑥, 𝑥 es un vegetal; cualquier 𝑥, 𝑥 es un vegetal o, siempre 𝑥, es un vegetal.

∀𝑥(𝐹𝑥) y se lee: para todo 𝑥, 𝑥 es una flor; cualquier 𝑥, 𝑥 es una flor o, siempre 𝑥, es una flor.

∀𝑥(𝐴𝑥) y se lee: para todo 𝑥, 𝑥 es un animal; cualquier 𝑥, 𝑥 es un animal o, siempre 𝑥, es un animal.

Ejemplos

a) Existen políticos: ∃𝑥(𝑃𝑥)

b) Todos son inteligentes: ∀𝑥(𝐼𝑥)
c) Es mentira que hay puneños: ~∃𝑥(𝑃𝑥)
d) Todos no son periodistas: ∀𝑥~(𝑃𝑥)
e) Todos son no periodistas: ∀𝑥(~𝑃𝑥)
f) Algunos son incorruptibles: ∃𝑥(~𝐶𝑥)
g) No todos son mamíferos: ~∀𝑥(𝑀𝑥)
h) No hay astronautas: ~∃𝑥(𝐴𝑥)
i) Nadie es materialista: ∀𝑥~(𝑀𝑥)
j) Casi no hay ermitaños: ∃𝑥(𝐻𝑥)

Los ejemplos d) y e) aparentemente son iguales, sin embargo, cuando la negación antecede al verbo
formalmente se debe simbolizar con el negador afuera del paréntesis y cuando la negación esta después
del verbo la negación va dentro del paréntesis.

En el ejemplo j) la palabra “casi no hay”, representa un cuantificador particular, sin negación.

Cuantificadores con predicado compuesto

Se llama enunciado compuesto a aquellos enunciados que tienen dos o más predicados
Por ejemplo,
(∀𝑥)(𝑃𝑥 → 𝑄𝑥): cualquier 𝑥 que cumple 𝑃 también cumple 𝑄.

(∃𝑥)(𝑃𝑥 ∧ 𝑄𝑥): algún 𝑥 que cumple 𝑃 cumple 𝑄.

Para usar correctamente el cuantificador tenga en cuenta lo siguiente:

Los enunciados particulares utilizan la conjunción como conectivo principal porque lo atribuido a un
predicado también se le atribuye al otro.
Los enunciados universales utilizan el condicional como conectivo principal, porque lo atribuido al primer
predicado es condición suficiente de lo atribuido al segundo predicado.
 4
Ejemplos.
a) Todos los animales son vertebrados ∀𝑥(𝐴𝑥 → 𝑉𝑥)
b) Ningún político es corrupto ∀𝑥(𝑃𝑥 → ~𝐶𝑥)
c) No hay ingenieros que no tengan creatividad ~∃𝑥(𝐼𝑥 → ~𝐶𝑥)
d) Nadie que es abogado no es profesional ∀𝑥(𝐴𝑥 → ~~𝑃𝑥)
e) Es mentira que existen historiadores que son investigadores ~∃𝑥(𝐻𝑥 ∧ 𝐼𝑥)
f) Por lo menos un ingenuo no es no devoto ∃𝑥(𝐼𝑥 ∧ ~~𝐷𝑥)
g) Ni al menos un no político dice la verdad ∀𝑥(~𝑃𝑥 → ~𝐷𝑥)
h) Los peruanos son cajamarquinos ∀𝑥(𝑃𝑥 → 𝐶𝑥)
i) Solo los peruanos son cajamarquinos ∀𝑥(𝐶𝑥 → 𝑃𝑥)
Ojo al orden de las clases de la formalización, la palabra “SOLO LOS” invierte las clases.
j) Todos son ricos a menos que sean pobres ∀𝑥(𝑅𝑥 ∨ 𝑃𝑥)
k) Todos son protestantes si y solo si son religiosos ∀𝑥(𝑃𝑥 ↔ 𝑅𝑥)
l) Algunos son estudiosos porque son responsables ∃𝑥(𝐸𝑥 ← 𝑅𝑥)
m) El 100% son desinteresados al igual que apáticos ∀𝑥(~𝐼𝑥 ∧ 𝐴𝑥)
n) Es falso que algunos son trujillanos o solamente son limeños ~∃𝑥(𝑇𝑥 ⊕ 𝐿𝑥)
o) Es falso que cada uno de los felinos sean tigres al menos que sean leones
~∀𝑥[𝐹𝑥 → (𝑇𝑥 ∨ 𝐴𝑥)]
p) Todos los lógicos son reflexivos y estudiosos ∀𝑥[𝐿𝑥 → (𝑅𝑥 ∧ 𝐸𝑥)]

q) Algunos policías son honestos solo si son responsables ∃𝑥[𝑃𝑥 ∧ (𝐻𝑥 → 𝑅𝑥)]
r) Todos los libros de mi estante están empastados o no están empastados
∀𝑥[𝐿𝑥 → (𝐸𝑥 ∨∼ 𝐸𝑥)]
Ejemplo.
Transcriba al lenguaje simbólico los enunciados
1 Hay flores rojas
2 Para toda flor roja
3 Algún hombre sin empleo es un delincuente en potencia
Los enunciados 1 y 2 tienen los siguientes predicados:
F:”ser flor”
R:”ser roja”
El numeral 1 se simboliza logicamente (∃𝑥)(𝐹𝑥 ∧ 𝑅𝑥)

El numeral 2 se simboliza logicamente (∀𝑥)(𝐹𝑥 → 𝑅𝑥)

El enunciado del numeral 3 lleva los siguientes predicados:

H:”ser hombre”
T:”tener empleo”
 5
D:”ser un delincuente en potencia”
La expresión transcrita al lenguaje simbólico es (∃𝑥)((𝐻𝑥 ∧ ~𝑇𝑥) ∧ 𝐷𝑥) que se leería en lenguaje
corriente: “hay un 𝑥 tal que x es un hombre que no tiene empleo y es un delincuente en potencia”.

Negación de cuantificadores
Para negar un enunciado cuantificado, basta con cambiar el cuantificador y negar la afirmación o
predicado. En la negación del predicado deberá utilizar las leyes del álgebra proposicional.
~(∀𝑥)(𝑃𝑥) ⇔ (∃𝑥)(~𝑃𝑥): algunos 𝑥 no cumplen 𝑃.

~(∃𝑥)(𝑃𝑥) ⇔ (∀𝑥)(~𝑃𝑥): ningún 𝑥 cumple 𝑃.

~(∃𝑥)(𝑃𝑥 ∧ 𝑄𝑥) ⇔ (∀𝑥)(𝑃𝑥 → ~𝑄𝑥): ningún 𝑥 que cumple 𝑃 cumple 𝑄.

~(∀𝑥)(𝑃𝑥 → 𝑄𝑥) ⇔ (∃𝑥)(𝑃𝑥 ∧ ~𝑄𝑥): algún 𝑥 que cumple 𝑃 no cumple 𝑄.

Ejemplo.
a) ~(∃𝑥)(𝐹𝑥 ∧ 𝑅𝑥) ⇔ (∀𝑥)(𝐹𝑥 → ~𝑅𝑥)
b) ~(∀𝑥)(𝐹𝑥 → 𝑅𝑥) ⇔ (∃𝑥)(𝐹𝑥 ∧ ~𝑅𝑥)
c) ~(∃𝑥)((𝐻𝑥 ∧ ~𝑇𝑥) ∧ 𝐷𝑥) ⇔ (∀𝑥)((𝐻𝑥 ∧ ~𝑇𝑥) → ~𝐷𝑥

En resumen

3.1. Proposiciones en formas típicas.

a) Universal afirmativa: Todo S es P ∀𝑥(𝑆𝑥 → 𝑃𝑥)
b) Universal negativa: Ningún S es P ∀𝑥(𝑆𝑥 → ~𝑃𝑥)
c) Particular afirmativa: Pocos S son P ∃𝑥(𝑆𝑥 ∧ 𝑃𝑥)
d) Particular negativa: Pocos S no son P ∃𝑥(𝑆𝑥 ∧∼ 𝑃𝑥)

3.2. Proposiciones predicativas y relacionales.

Ejemplos:
 Milagritos ingresó a la UNT Im
 Edwin y Félix son ingenieros 𝐼𝑒 ∧ 𝐼𝑓
 Milagros y Jhonson son compadres Cmj

3.3. Un predicado.
Ejemplos:
 Varios son artesanos ∃𝑥(𝐴𝑥)
 Todos son académicos ∀𝑥(𝐴𝑥)
 Ninguno es nihilista ∀𝑥(~𝐴𝑥)

3.4. Dos predicados – no proposiciones

 6
Ejemplos:
 Varios son deportistas o músicos ∃𝑥(𝐷𝑥 ∨ 𝑀𝑥)
 Todos son intelectuales y locuaces ∀𝑥(𝐼𝑥 ∧ 𝐿𝑥)

Nota.
Todos los hombres y las mujeres son racionales ∀𝑥[(𝐻𝑥 ∨ 𝑀𝑥) → 𝑅𝑥]

EQUIVALENCIAS.
Son las mismas de la lógica proposicional con el adicional que si el negador cruza al cuantor, este
cambia.
Ejemplos:

Def. del implicador Conmutación De Morgan

∀𝑥(𝑆𝑥 → 𝑃𝑥) ∃𝑥(𝑆𝑥 ∧∼ 𝑃𝑥) ∼ ∃𝑥(𝑆𝑥 ∧ 𝑃𝑥)
∀𝑥(~𝑆𝑥 ∨ 𝑃𝑥) ∃𝑥(∼ 𝑃𝑥 ∧ 𝑆𝑥) ∀𝑥(~𝑆𝑥 ∨∼ 𝑃𝑥)

Negación del De Morgan De Morgan

implicador
∼ ∀𝑥(𝑆𝑥 → 𝑃𝑥) ∃𝑥(𝑆𝑥) ∼ ∀𝑥(∼ 𝑆𝑥)
∃𝑥(𝑆𝑥 ∧ ~𝑃𝑥) ∀𝑥(∼ 𝑆𝑥) ∃𝑥(𝑆𝑥)

∃𝑥(𝑃𝑥) ≡ ~∀𝑥~(𝑃𝑥)

∃𝑥~(𝑃𝑥) ≡ ~∀𝑥(𝑃𝑥)

~∃𝑥(𝑃𝑥) ≡ ∀𝑥~(𝑃𝑥)

~∃𝑥~(𝑃𝑥) ≡ ∀𝑥(𝑃𝑥)

~∀𝑥~(𝑃𝑥) ≡ ∃𝑥(𝑃𝑥)

∀𝑥~(𝑃𝑥) ≡ ~∃𝑥(𝑃𝑥)

∀𝑥(𝑃𝑥) ≡ ~∃𝑥~(𝑃𝑥)

Ejemplo.

La proposición “Existen políticos” es equivalente a ∃𝑥(𝑃𝑥) ≡ ~∀𝑥~(𝑃𝑥). Es decir, es equivalente a “Es

falso que todos no son políticos”
 7

INFERENCIAS.
Se basan en una interpretación en base a descomposición. La universal se
descompone con “∧” y la particular con “∨”
Ejemplos

∀𝑥(𝑆𝑥 ∧ 𝑃𝑥) ∀𝑥(𝐴𝑥) ∀𝑥(∼ 𝐻𝑥)

∀𝑥(𝑆𝑥) ∧ ∀𝑥(𝑃𝑥) 𝐴𝑎 ∧ 𝐴𝑏 ∧ 𝐴𝑐 … ~𝐻𝑎 ∧∼ 𝐻𝑏 ∧∼ 𝐻𝑐 …

∃𝑥(𝑆𝑥 ∨ 𝑃𝑥) ∃𝑥(𝑀𝑥) ∃𝑥(∼ 𝑇𝑥)

∃𝑥(𝑆𝑥) ∨ ∃𝑥(𝑃𝑥) 𝑀𝑎 ∨ 𝑀𝑏 ∨ 𝑀𝑐 … ~𝑇𝑎 ∨∼ 𝑇𝑏 ∧∼ 𝑇𝑐 …

Combinación de cuantificadores
Algunos enunciados cuantificados llevan combinación de cuantificadores que se diferencian por el orden
en que se disponen, con el fin de conformar una expresión. Con el propósito de aclarar el significado
mediante el simbolismo lógico de cada expresión, se recomienda poner paréntesis.
(∀𝑥)(∀𝑦)(afirmación)

(∀𝑥)(∃𝑦)(afirmación)

(∃𝑥)(∀𝑦)(afirmación)

(∃𝑥)(∃𝑦)(afirmación)

Ejemplo. Determine si los siguientes enunciados son equivalentes

“Para todo número racional diferente de cero hay otro racional tal que el producto entre ellos es 1”.
“Hay un número racional diferente de cero que al multiplicarlo por otro racional el resultado es 1”.
Para darle solución a este problema se sugiere escribir ambos enunciados en lenguaje simbólico y luego
determinar el valor de verdad de cada uno. En efecto, escribamos simbólicamente la afirmación del primer
enunciado.

(∀𝑥𝜖ℚ − {0})((∃𝑦𝜖ℚ): 𝑥 ∙ 𝑦 = 1))

Ahora, escribamos el segundo enunciado

(∃𝑥𝜖ℚ − {0})((∀𝑦𝜖ℚ): 𝑥 ∙ 𝑦 = 1))
 8
Si analizamos el primer enunciado se puede deducir que este es verdadero, porque basta con multiplicarlo
por su inverso multiplicativo a cualquier racional; por ejemplo, 5*(1/5)=1 ó (-12)*(1/(-12))=1; en general,
si y= 1/x se tiene que x*(1/x)=1 para todo entero x≠0.
En el segundo caso se tiene que es falso, porque no hay un número racional tal que al multiplicarlo por
cualquier racional resulte 1; por ejemplo, 5 y 4 son números racionales y 5*4≠1.
Efectivamente, los enunciados no son lógicamente equivalentes. Por consiguiente, del anterior ejemplo
nos permite concluir que en general
(∀𝑥)(∃𝑦)(afirmación) no siempre es equivalente a (∃𝑦)(∀𝑥)(afirmación)

Observe que el orden del cuantificador en el enunciado es importante para determinar el valor de verdad.

¿Qué se puede decir del enunciado: “cualquier número natural se resta cualquiera otro número natural se
obtiene otro número natural”?
Este enunciado transcrito al lenguaje lógico es (∀𝑥𝜖ℕ)((∀𝑦𝜖ℕ)(𝑥 − 𝑦𝜖ℕ)). ¿Es equivalente
(∀𝑦𝜖ℕ)((∀𝑥𝜖ℕ)(𝑥 − 𝑦𝜖ℕ))?

Ejemplo.
Determine el valor de verdad de los siguientes enunciados:
a) Para todo número real se tiene otro número real que al sumarlos su resultado es cero.
b) Hay números reales que al sumarles cualquier número real resulta cero.
Solución
Tenga en cuenta que inicialmente debe transcribirlos al lenguaje simbólico. En efecto, la primera
expresión se simboliza (∀𝑥𝜖ℝ)(∃𝑦𝜖ℝ)(𝑥 + 𝑦 = 0) la cual es verdadera; basta con adicionarle el
inverso aditivo y se logra el resultado.
La segunda expresión se simboliza (∃𝑥𝜖ℝ)(∀𝑦𝜖ℝ)(𝑥 + 𝑦 = 0) la cual es falsa pues no existe un
número que al adicionarle cualquier otro número resulte cero.

Ejemplo.
Exprese en palabras y determine el valor de verdad de las siguientes proposiciones cuantificadas,
en donde 𝑥, 𝑦𝜖ℝ.
a) ∃𝑥∃𝑦(𝑥 + 𝑦 = 17)
b) ∀𝑥∃𝑦(𝑥 + 𝑦 = 17)
c) ∃𝑥∀𝑦(𝑥 + 𝑦 = 17)
d) ∀𝑥∀𝑦(𝑥 + 𝑦 = 17)

Solución.
 9
a) En palabras: para algún 𝑥, existe un 𝑦 tal que 𝑥 + 𝑦 = 17. En este caso es posible hallar, al
menos, un par 𝑥, 𝑦 tal que 𝑥 + 𝑦 = 17 (por ejemplo el par 𝑥 = 7, 𝑦 = 10). Como ambos
cuantificadores son existenciales, un ejemplo es suficiente para concluir que el valor de verdad
de esta proposición es verdadero.
b) En palabras: para todo 𝑥, existe un 𝑦 tal que 𝑥 + 𝑦 = 17. En este caso también es posible
hallar, para cada 𝑥, un 𝑦 tal que satisfaga la propiedad, y que está dado por 𝑦 = 17 − 𝑥. Esto
es, cada x tiene asegurado un y (único en cada caso) y, por eso, el valor de verdad de esta
proposición es verdadero.
c) En palabras: para algún 𝑥, y para todo 𝑦, debe ser 𝑥 + 𝑦 = 17. Debería existir un 𝑥 tan
particular que sumándole cualquier 𝑦 diera siempre 17. Pero esto no es posible, por lo que el
valor de verdad de esta proposición es falsa.
d) En palabras: para todo 𝑥 debería ser posible sumarle cualquier 𝑦 siempre dar 17. Esto no es
posible, por lo que el valor de verdad de esta proposición es falso.
Observación. En general se tiene que
∃𝑥∃𝑦𝑃(𝑥, 𝑦) ≡ ∃𝑦∃𝑥𝑃(𝑥, 𝑦) conmutan
∀𝑥∀𝑦𝑃(𝑥, 𝑦) ≡ ∀𝑦∀𝑥𝑃(𝑥, 𝑦) conmutan
∀𝑥∃𝑦𝑃(𝑥, 𝑦) ≡ ∃𝑦∀𝑥𝑃(𝑥, 𝑦) no conmutan

Negación de combinaciones de cuantificadores

Para negar proposiciones donde intervienen más de un cuantificador, se emplea sucesivamente las reglas
de negación para proposiciones con un único cuantificador.

Ejemplo. Negar la proposición ∃𝑥∀𝑦𝑃(𝑥, 𝑦)

Solución.

~(∃𝑥∀𝑦𝑃(𝑥, 𝑦))

≡ ∀𝑥~(∀𝑦𝑃(𝑥, 𝑦))

≡ ∀𝑥∃𝑦~𝑃(𝑥, 𝑦))

Para determinar si ∀𝑥∀𝑦𝑃(𝑥, 𝑦) es verdadera o falsa recorremos todos los valores 𝑥 e 𝑦 de la siguiente
manera. Para cada 𝑥 analizamos todos los valores de 𝑦. Si determinamos que 𝑃(𝑥, 𝑦) es verdadera en
todos los casos, la conclusión inevitable es que ∀𝑥∀𝑦𝑃(𝑥, 𝑦) es verdadera. Si por el contrario, cuando
encontramos el primer par de valores 𝑥 e 𝑦 tal que 𝑃(𝑥, 𝑦) es falsa, es suficiente para concluir que
∀𝑥∀𝑦𝑃(𝑥, 𝑦) es falsa.
 10
Propiedades de los Cuantificadores
1) (∀𝑥)(𝑃𝑥 ∧ 𝑄𝑥) ⇔ (∀𝑥)(𝑃𝑥) ∧ (∀𝑥)(𝑄𝑥)
El cuantificador universal es distribuible por la conjunción de predicados.
2) (∀𝑥)(𝑃𝑥 → 𝑄𝑥) ⇒ (∀𝑥)(𝑃𝑥) → (∀𝑥)(𝑄𝑥)
El cuantificador universal es distribuible en el condicional de predicados.
3) (∀𝑥)(𝑃𝑥 ↔ 𝑄𝑥) ⇒ (∀𝑥)(𝑃𝑥) ↔ (∀𝑥)(𝑄𝑥)
El cuantificador universal es distribuible en el bicondicional de predicados.
4) (∀𝑥)(𝑃𝑥) ∨ (∀𝑥)(𝑄𝑥) ⇒ (∀𝑥)(𝑃𝑥 ∨ 𝑄𝑥)
Ley de distribución del cuantificador universal por la disyunción de predicados
5) (∃𝑥)(𝑃𝑥 ∧ 𝑄𝑥) ⇒ (∃𝑥)(𝑃𝑥) ∧ (∃𝑥)(𝑄𝑥)
Ley de distribución del cuantificador particular por la conjunción de predicados.
6) (∃𝑥)(𝑃𝑥 ∨ 𝑄𝑥) ⇔ (∃𝑥)(𝑃𝑥) ∨ (∃𝑥)(𝑄𝑥)
Ley de distribución del cuantificador particular por la disyunción de predicados.

Ejemplo.

La proposición “Cualquiera es postulante del mismo modo como estudiante” es equivalente a

∀𝑥(𝑃𝑥 ∧ 𝐸𝑥) ≡ ∀𝑥(𝑃𝑥) ∧ ∀𝑥(𝐸𝑥)

Es decir, es equivalente a “Todos son postulantes al igual que todos son estudiantes”

Ejercicios de evaluación
1. La expresión: “Casi no hay deportistas” equivale a:
1) Varios son deportistas. 2) No ocurre que ninguno no sea no deportista.
3) No todos no son deportistas. 4) Es mentira que ninguno sea deportista.
5) Es innegable que al menos hay un deportista. Son ciertas:
A) Todas B) Solo 1, 3 y 4 C) Solo 2, 3 y 5 D) Solo 3, 4 y 5 E) Solo 1, 2 y 4

2. La expresión: “Quienquiera es militar” NO equivale a:

1) No todos no son militares. 2) No hay los que no son militares.
3) Es falso que varios no sean militares. 4) Todos sin excepción no son militares.
5) De seguro no todos son militares. Son correctas:
A) 1, 4 y 5 B) Solo 2 y 3 C) 2, 3 y 4 D) Solo 1 y 5 E) 1, 3 y 5

3. La expresión: “Todos son acuáticos” tiene como negación a:

1) Algunos no son acuáticos. 2) Es falso que ninguno no sea acuático.
3) Es innegable que al menos hay un no acuático.
4) Es indudable que no hay los que no son acuáticos. 5) Todos no son no acuáticos. Son
correctas:
A) 1, 2 y 3 B) Solo 4 y 5 C) Solo 1 y 2 D) 2, 4 y 5 E) Solo 2 y 4

4. De la expresión: “Algunos son psicólogos” se infiere:

1) Carlos o solo Daniel es psicólogo. 2) Si Mauricio no es psicólogo, Dante si lo es.
 11
3) Tomás y Ramón son psicólogos 4) Es mentira que Paúl y Saúl no sean psicólogos.
5) Joel a no ser que Manolo son psicólogos. Son ciertas:
A) 1, 2 y 5 B) 2, 3 y 4 C) 2, 4 y 5 D) 1, 3 y 4 E) 1, 3 y 5
 12

5. De la expresión: “Ni siquiera una es desordenada” se infiere:

1) Eva lo mismo que Meylín son ordenadas. 2) Luli tanto como Mary son
ordenadas.
3) Aurea no obstante Paty no son desordenadas.
4) Laura es desordenada a pesar que Paola también. 5) Ni Mary ni Nicole
son ordenadas. Son falsas:
A) 2 y 3 B) 4 y 5 C) 1, 2 y 4 D) 3 y 5 E)
Ninguna

6. De la expresión: “No todos son leales” se infiere:

1) Es mentira que Andy y Juan sean leales. 2) En forma alguna ni Adan ni
Saúl son leales.
3) Liliana, Eliana o Juliana no son leales. 4) O Daniel o Yanina no son
leales.
5) Eva o Encarna no son leales.
Son ciertas:
A) 1, 2 y 4 B) 2, 3 y 5 C) 1, 4 y 5 D) 2, 3 y 4 E) 1, 3 y
5

7. La expresión: “Algunos no son tenistas” equivale a:

1) Si todos son tenistas entonces algunos no son tenistas.
2) No todos son tenistas aunque, algunos no son tenistas.
3) Es mentira que ninguno no sea tenista, salvo que algunos no sean tenistas.
4) Si algunos no son tenistas entonces todos son tenistas.
5) No solo todos son tenistas sino también no hay no
tenistas. Son correctas:
A) Todas B) Solo 1, 2 y 3 C) Solo 2, 3 y 4 D) Solo 3, 4 y 5 E)
Ninguna

8. La expresión: “Varios son biocatalizadores o también bioenergéticos” tiene como

negación a:
A) Todos no son biocatalizadores ni bioenergéticos.
B) No ocurre que varios no sean biocatalizadores ni bioenergéticos.
C) No todos no son bioenergéticos o también no son biocatalizadores.
D) En modo alguno todos son biocatalizadores tanto como bioenergéticos.
E) En forma alguna quienquiera no es bioenergético y tampoco es biocatalizador.

9. La afirmación: “Todos son capitalistas, asimismo todos son poderosos”, implica a:

1) Augusto y Nicolás son capitalistas, además Augusto y Nicolás no son
poderosos.
2) No siempre, algunos no son poderosos o varios no son capitalistas.
3) Es falso que algunos no son poderosos, también todos son capitalistas.
4) Es falso que algunos son capitalistas; pero todos son poderosos.
5) Cada uno es capitalista y poderoso.
Son ciertas:
 13

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

E) Todas

10. La proposición: “Todos son irresponsables y desobedientes”,

equivale a: A) Ninguno es responsable o todos son obedientes.
B) Todos los desobedientes son responsables.
C) Algunos son responsables, pero hay desobedientes
D) Cualquiera es no responsables a pesar que ninguno es obediente. E) Es
mentira que, varios son responsables o son desobedientes.

Pregunta 1 2 3 4 5 6 7 8 9 10
Clave A A A C B E B A D D

AUTOEVALUACION 6
En los ejercicios 1-6 seleccione la opción equivalente a la negación de los siguientes
enunciados:
1) Algunas circunferencias no tienen radio positivo
A) No es cierto que toda circunferencia tenga radio positivo
B) Toda circunferencia no tiene radio positivo
C) Una circunferencia siempre tiene radio positivo
D) Ninguna circunferencia tiene radio positivo
E) No hay circunferencias con radio positivo

2) Ningún rectángulo es cuadrado

A) Cualquier rectángulo es un cuadrado
B) Algunos rectángulos son cuadrados
C) Hay rectángulos que no son cuadrados
D) Todos los cuadrados son rectángulos
E) Hay cuadrados que son rectángulos

3) Algunos caballos no son de paso fino

A) Los caballos no son de paso fino
B) Hay caballos de paso fino
 14

C) Cualquier caballo es de paso fino

D) Existen caballos que no son de paso fino
E) Los caballos no son de paso fino

4) No es cierto que todos los árboles no son pinos

A) Hay pinos que son árboles
B) Algunos árboles son pinos
C) Cualquier árbol es pino
D) Ningún árbol es pino
E) Todo árbol es pino

5) Todo preso que no haya sido condenado ni absuelto o se entristece terriblemente

o puede llegar al suicidio
A) Algunos presos no condenados pero absueltos se entristecen terriblemente o llegan a
suicidio
B) Existen presos condenados o absueltos que ni se entristecen ni llegan al suicidio
C) Hay presos que no han sido condenados ni absueltos que ni se entristecen ni llegan al
suicidio
D) Algún preso no condenado ni absuelto se entristece terriblemente pero no llega al
suicidio
E) Algún preso no condenado ni absuelto si se entristece terriblemente no llegan al
suicidio

6) No siempre se da que los estudiantes se interesen en el tema

A) Algunos estudiantes no se interesan en el tema
B) Siempre los estudiantes se interesan en el tema
C) Hay estudiantes que se interesan en el tema
D) Ninguno de los estudiantes se interesa en el tema
E) Hay estudiante que no se interesan en un tema

Para solucionar los enunciados 7-10 realice lo siguiente:

Transcríbalos al lenguaje lógico, indicando los predicados. Niegue el enunciado
justificando cada paso y escoja el resultado en lenguaje corriente del literal enunciado ya
negado.
 15

7) “Todo preso que no haya sido condenado ni absuelto o se entristece terriblemente o

puede llegar al suicidio”
A) Algunos presos no condenados pero absueltos se entristecen terriblemente o llegan a
suicidio
B) Existen presos condenados o absueltos que ni se entristecen ni llegan al suicidio
C) Hay presos que no ha sido condenados ni absueltos y ni se entristecen ni llegan al
suicidio
D) Algún preso no condenado ni absuelto se entristece terriblemente pero no llega al
suicidio
E) Algún preso no condenado ni absuelto no llega al suicidio, pero se entristece
terriblemente

8) “Cualquier estudiante que no se interesa en un tema, si lo estudia lo aprende”

A) Hay estudiantes interesados en un tema que no lo estudian y lo aprenden
B) Existen estudiantes no interesados en un tema que si lo estudian lo aprenden
C) Algunos estudiantes no interesados en un tema lo estudian y no lo aprenden
D) Hay estudiantes interesados en un tema que si lo estudian lo aprenden
E) Hay estudiantes interesados en un tema que lo estudian pero no lo aprenden

9) Todo preso que no haya sido condenado ni absuelto o no se entristece terriblemente o

puede llegar al suicidio”
A) Algunos presos no condenados pero absueltos, se entristecen terriblemente pero no
llegan al suicidio
B) Existen presos condenados o absueltos que ni se entristecen ni llegan al suicidio
C) Algunos presos que no han sido condenados ni absueltos, que se entristecen
terriblemente y llegan al suicidio
D) Hay presos que no ha sido condenados ni absueltos que ni se entristecen ni llegan al
suicidio
E) Algún preso no condenado ni absuelto que si se entristece terriblemente, no llega al
suicidio
10) “Todo preso que no haya sido condenado ni absuelto, si no se entristece
terriblemente no llegará al suicidio”
A) Algunos presos no condenados pero absueltos, se entristecen terriblemente o llegan a
suicidio
 16

B) Existen presos condenados o absueltos que ni se entristecen ni llegan al suicidio

C) Algún preso no condenado ni absuelto se entristece terriblemente y no llega al
suicidio
D) Hay presos que no ha sido condenados ni absueltos que ni se entristecen ni llegan al
suicidio
E) Algunos presos que no han sido condenados ni absueltos, no se entristecen
terriblemente, pero llegan al suicidio.

PRUEBA DE SELECCIÓN MÚLTIPLE DE MÚLTIPLE RESPUESTA

Resuelva los problemas y seleccione la respuesta correcta según las siguientes

situaciones:
A) Si 1 y 2 son correctas
B) Si 2 y 3 son correctas
C) Si 3 y 4 son correctas
D) Si 2 y 4 son correctas
E) Si 1 y 3 son correctas
Problema 1.
“Ningún animal cuadrúpedo pone huevo y tiene patas palmípedas”, compruebe a cuál de
los siguientes enunciados es equivalente:
1. Hay animales cuadrúpedos que no ponen huevos y tampoco tienen patas palmípedas
2. No hay animales cuadrúpedos que pongan huevos y tengan patas palmípedas
3. Los animales cuadrúpedos ni ponen huevos ni tienen patas palmípedas
4. Los animales cuadrúpedos si ponen huevos, entonces no tienen patas palmípedas

Problema 2.
La negación del enunciado “el cuadrado de cualquier número primo es par” es:
1. Ningún número primo al cuadrado es par
2. Existen números primo al cuadrado que no son es pares
3. Siempre es par el cuadrado de un número primo
4. Algunos números primos al cuadrado son impares

Problema 3.
 17

La negación del enunciado “cualquier alimentos si tiene grasa animal, produce

colesterol, por consiguiente no debe consumirse diariamente” es:
1. Existen alimentos que tienen grasa animal, produce colesterol y por consiguiente no
debe consumirse diariamente
2. Hay alimentos que como producen colesterol no tienen grasa animal, pero se
consumen diariamente.
3. Un alimento tal que si tiene grasa animal, produce colesterol y se consume
diariamente.
4. Algunos alimentos tienen grasa animal, producen colesterol, por consiguiente no debe
consumirse diariamente

Problema 4.
La negación del enunciado “hay estudiantes irresponsables pero inteligentes que no son
buenos profesionales, pero desempeñan buenos cargos” es equivalente a:
1. Ningún estudiante irresponsable e inteligente desempeña buenos cargos sin ser buen
profesional
2. Ningún estudiante irresponsable e inteligente si no es buen profesional no desempeña
buenos cargos
3. Ningún estudiante irresponsable e inteligente, cuando no es buen profesional no
desempeña buenos cargos
4. Ningún estudiante irresponsable e inteligente si desempeña buenos cargos es buen
profesional.

Problema 5.
La negación de enunciado: “hay estudiantes irresponsables pero inteligentes que no son
buenos profesionales, pero desempeñan buenos cargos”, es equivalente a:
1. Ningún estudiante irresponsable e inteligente desempeña buenos cargos sin ser buen
profesional
2. Ningún estudiante irresponsable e inteligente si no es buen profesional desempeñará
buenos cargos
3. Cualquier estudiante irresponsable e inteligente si desempeña buenos cargos es buen
profesional
4. Ningún estudiante irresponsable e inteligente, si no es buen profesional, desempeñará
buenos cargos.
 18

Problema 6.
La negación de enunciado: “hay estudiantes irresponsables pero inteligentes que no son
buenos profesionales, pero desempeñan buenos cargos”, es equivalente a:
1. Ningún estudiante irresponsable e inteligente, si desempeña buenos cargos será buen
profesional
2. Cualquier estudiante irresponsable e inteligente, si no es buen profesional no
desempeñará buenos cargos
3. Cualquier estudiante irresponsable e inteligente, si desempeña buenos cargos será
buen profesional
4. Ningún estudiante irresponsable e inteligente, si no es buen profesional no
desempeñará buenos cargos.

TALLER 6
1. Exprese en lenguaje simbólico los siguientes enunciados
a) Ningún triángulo equilátero puede ser isósceles
b) Los perros grandes que ladran no muerden
c) Los países violentos padecen de hambre y miseria
d) No todos los hombres y mujeres tienen la capacidad de abstraer
e) Cualquier ser humano que sea estudioso, amable, razonable e inteligente puede
llegar a ser un buen profesional y ocupar altos cargos
f) Un animal agresivo no puede servir de mascota de niños
g) Hay seres carnívoros que no son animales
h) Existen seres inteligentes que no son domésticos, pero sirven de mascota para los
invidentes.
i) Los estudiantes irresponsables si son inteligentes pueden ganar las materias y ser
promovidos al siguiente curso.
j) Existen perros criollos que ladran y no muerden, pero si son molestados pueden
morder ferozmente.

2. Escriba en lenguaje simbólico los enunciados

a) “Para todo número entero hay otro entero tal que al sumarlos resulta cero”
b) “La suma de algún número entero con cualquiera otro es cero”
c) “La suma de cualquier número entero con cualquiera otro entero es cero”
 19

d) “La suma de un número entero con algún otro entero es cero”

e) “Algunos perros que ladran echados, si son criollos, muerden”
f) “Las mujeres, si les dan la oportunidad, mandan en el hogar”
g) “Cualquier alimento de grasa animal produce enfermedades del corazón”
h) “Los elefantes y las hienas en la selva mantienen la misma jerarquía de
matriarcado que los seres humanos en sus hogares
i) Los parasicólogos que toman su oficio con ironía no son inteligentes

3. Determine si los siguientes enunciados son verdaderos o falsos justificando su

respuesta.

a) ( ) (∀𝑎𝜖ℤ)(∃𝑏𝜖ℤ)(Si 𝑎 es divisible por 𝑏 y 𝑏 es divisible por 𝑎, entonces 𝑎 =

𝑏)
b) ( ) (∀𝑎𝜖ℕ)(∃𝑚𝜖ℕ)(∀𝑛𝜖ℕ)( (𝑎𝑚 )𝑛 = (𝑎𝑛 )𝑚 ))
c) ( ) (∃𝑎𝜖ℕ)(∃𝑏𝜖ℕ)(si 𝑏 es divisible por 𝑎, entonces 𝑎 ≤ 𝑏)
d) ( ) (∃𝑎𝜖ℤ)(∃𝑏𝜖ℕ)(𝑎! = 𝑏! ⇒ 𝑎 = 𝑏)
e) ( ) (∀𝑎𝜖ℤ)(∀𝑏𝜖ℤ)(Si 𝑎 es divisible por 𝑏 y 𝑏 es divisible por 𝑎, entonces 𝑎 =
𝑏)
f) ( ) (∃𝑎𝜖ℕ)(∀𝑚𝜖ℕ)(∀𝑛𝜖ℕ)( (𝑎𝑚 )𝑛 = (𝑎𝑛 )𝑚 )
g) ( ) (∃𝑎𝜖ℤ)(∃𝑏𝜖ℤ)(si 𝑏 es divisible por 𝑎, entonces 𝑎 ≤ 𝑏)
h) ( ) (∃𝑎𝜖ℕ)(∃𝑏𝜖ℕ)(𝑎! = 𝑏! ⇒ 𝑎 = 𝑏)
i) ( ) (∀𝑥𝜖ℚ − {0})(∀𝑦𝜖ℚ)(𝑥 ∙ 𝑦 = 1)
j) ( ) (∀𝑥𝜖ℚ − {0})(∃𝑦𝜖ℚ)(𝑥 ∙ 𝑦 = 1)
k) ( ) (∃𝑥𝜖ℚ − {0})(∀𝑦𝜖ℚ)(𝑥 ∙ 𝑦 = 1)
l) ( ) (∃𝑥𝜖ℚ − {0})(∃𝑦𝜖ℚ)(𝑥 ∙ 𝑦 = 1)
m) ( ) (∀𝑥𝜖ℚ − {0})(∀𝑦𝜖ℚ)(𝑥 + 𝑦 = 0)
n) ( ) (∀𝑥𝜖ℚ − {0})(∃𝑦𝜖ℚ)(𝑥 + 𝑦 = 0)
o) ( ) (∃𝑥𝜖ℚ − {0})(∀𝑦𝜖ℚ)(𝑥 + 𝑦 = 0)
p) ( ) (∃𝑥𝜖ℚ − {0})(∃𝑦𝜖ℚ)(𝑥 + 𝑦 = 0)
q) ( ) (∀𝑥𝜖ℝ)(∀𝑦𝜖ℝ)(∀𝑧𝜖ℝ)(𝑥 + 𝑦 = 𝑧)
 20

r) ( ) (∀𝑥𝜖ℝ)(∀𝑦𝜖ℝ)(∃𝑧𝜖ℝ)(𝑥 + 𝑦 = 𝑧)
s) ( ) (∃𝑥𝜖ℝ)(∀𝑦𝜖ℝ)(∀𝑧𝜖ℝ)(𝑥 + 𝑦 = 𝑧)
t) ( ) (∀𝑥𝜖ℝ)(∃𝑦𝜖ℝ)(∀𝑧𝜖ℝ)(𝑥 + 𝑦 = 𝑧)