FACULTAD DE CIENCIAS ECONÓMICAS Y

EMPRESARIALES

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Cuantificadores

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Función proposicional

Un enunciado abierto es toda expresión que por lo menos contenga una

variable, además de la propiedad de convertirse en proposición cuando
dicha variable asuma un valor determinado. Debido a ello también se le
denomina función proposicional.
Se denota generalmente por 𝑝(𝑥), 𝑞(𝑥, 𝑦), etc., según las variables que
el enunciado posea.
El conjunto de todos los valores para la variable 𝑥 tal que 𝑝(𝑥) sea
verdadera o falsa recibe el nombre de dominio de la variable y se
representa por 𝐴.

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Función proposicional

Ejemplo:
Una función proposicional es:
• 𝑝(𝑥): 𝑥 + 5 < 11
Luego, el dominio de la variable es 𝐴 = 𝑥: 𝑥 es cualquier número real

Si asignamos valores a la variable 𝑥:

▪ 𝑝(2): 2 + 5 < 11 (proposición verdadera)
▪ 𝑝 −3 : −3 + 5 < 11 (proposición verdadera)
▪ 𝑝(11): 11 + 5 < 11 (proposición falsa)

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Función proposicional

Más ejemplos:
Son funciones proposicionales las siguientes:
• 𝑝 𝑥 : 𝑥 2 − 2𝑥 = 1
• 𝑞(𝑥): 𝑥 es una alumna de la UDEP.
• 𝑟(𝑥): 𝑥 es un divisor de 8.
• 𝑠(𝑥, 𝑦): 𝑥 es un divisor de 𝑦.
• 𝑡 𝑎, 𝑏 : 5 + 𝑎 > 2𝑏

▪ La expresión:(𝑥 + 𝑦)2 = 𝑥 2 + 2𝑥𝑦 + 𝑦 2 NO es una función proposicional.

▪ La expresión: “ella es administradora” es una función proposicional, se puede

representar como: 𝑝(𝑥): 𝑥 es administradora.

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Proposición universal

Una proposición simple se denomina proposición universal cuando el sujeto hace

referencia a todo un conjunto.

Ejemplo:
• Todos los administradores saben estadística.
• Los peruanos son emprendedores.
• Todo número par es divisible por dos.
• El aire es incoloro.
• Ningún piurano es deshonesto.

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Necesidad del cuantificador Universal

Dado el conjunto universo: 𝐴 = 6, 7, 9 y la función proposicional: 𝑝 𝑥 : 𝑥 > 2

Si la variable “𝑥” toma los valores del conjunto 𝐴, se tiene:

• 6>2 (prop. verdadera)

• 7>2 (prop. verdadera)

• 9>2 (prop. verdadera)

De modo que podemos decir que: Para todo 𝑥, 𝑥 > 2

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Cuantificador universal

El símbolo "" se lee: “para todo, cualquier,…” se denomina cuantificador universal.

Una proposición universal puede ser representada empleando un cuantificador

universal y una función proposicional, de la siguiente forma:

∀ 𝑥  𝐴 , 𝑝(𝑥)

• Donde 𝐴 es el conjunto al cual hace referencia el sujeto de la proposición, es decir

el dominio de la variable.

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Cuantificador universal

Ejemplo:
• Todos los gerentes saben estadística.
Si 𝐴 es el conjunto de todos los gerentes, la proposición se escribirá:
 𝑥  𝐴 , 𝑥 sabe estadística.
Si 𝑝(𝑥): 𝑥 sabe estadística, la proposición queda como:

 𝑥  𝐴, 𝑝 𝑥

No obstante, la proposición es falsa, ya que no todos los gerentes saben estadística,

basta con hallar un valor de "𝑥" que no satisfaga.

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Cuantificador universal

Ejemplo:
A partir del conjunto 𝐴 = 2, 3, 5, 7 podemos escribir las proposiciones:

•  𝑥  𝐴, 𝑥 ≥ 0 (prop. verdadera)

•  𝑥  𝐴, 𝑥 es un número primo. (prop. verdadera)

•  𝑥  𝐴, 𝑥 es un número impar. (prop. falsa)

•  𝑥  𝐴, 𝑥 ≥ 3 (prop. falsa)

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Proposición particular

Una proposición simple se denomina proposición particular cuando el sujeto hace

referencia a una parte de un conjunto.

Ejemplo:
• Casi todos los administradores saben estadística.
• La mayoría de peruanos son emprendedores.
• Algunos números naturales no son primos.
• Hay piuranos que tienen casa de playa.
• Pocos piuranos no tienen seguro social.

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Necesidad del cuantificador Particular

Dado el conjunto universo: 𝐴 = 1, 6, 7, 9 y la función proposicional: 𝑝 𝑥 : 𝑥 < 2

Si la variable “𝑥” toma los valores del conjunto 𝐴, se tiene:

• 1<2 (prop. verdadera)

• 6<2 (prop. falsa)

• 7<2 (prop. falsa)

• 9<2 (prop. falsa)

De modo que podemos decir que: Existe un 𝑥: 𝑥 < 2

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Cuantificador existencial

El símbolo "∃" se lee: “existe, hay, …” se denomina cuantificador existencial.

Una proposición particular puede ser representada empleando un cuantificador

existencial y una función proposicional, de la siguiente forma:

∃ 𝑥  𝐴 ∶ 𝑝(𝑥)

• Donde 𝐴 es el conjunto al cual hace referencia el sujeto de la proposición , es decir

el dominio de la variable.

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Cuantificador existencial

Ejemplo:
• La mayoría de peruanos son emprendedores.
Si 𝐴 es el conjunto de todos los peruanos, la proposición se escribirá:
∃ 𝑥  𝐴 : 𝑥 es un emprendedor.
Si 𝑝(𝑥): 𝑥 es un emprendedor, la proposición queda como:

∃𝑥𝐴∶𝑝 𝑥

Evidentemente la proposición es verdadera, basta con un valor de "𝑥" que la

satisfaga.

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Cuantificador existencial

Ejemplo:
A partir del conjunto 𝐴 = 2, 3, 5, 7 podemos escribir las proposiciones:

• ∃ 𝑥  𝐴: 𝑥 ≤ 0 (prop. falsa)

• ∃ 𝑥  𝐴: 𝑥 no es un número primo. (prop. falsa)

• ∃ 𝑥  𝐴: 𝑥 es un número par. (prop. verdadera)

• ∃ 𝑥  𝐴: 𝑥 + 1 = 4 (prop. verdadera)

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Traducción de los cuantificadores
Cuantificador universal:  x
• Todo x • Quienquiera que sea x
• Para todo x • Cualquier cosa que sea x
• Para cada x • Dado cualquier x
• Las x, los x • Todo lo que sea x
• Cualquier x • Para cada uno de las x
• La totalidad de x • Para cualquier x,etc.

Cuantificador particular:  x
• Existe x • Cierto de x
• La mayoría de x • La minoría de x
• Hay al menos un x • Muchos x, pocos x
• Hay exactamente un x • Algunos x, hay x
• Alguien que sea x • Casi todo x, etc.
PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA
 Proposiciones categóricas

Simbolizar:

Todos los estudiantes de la UDEP son responsables.

En lógica proposicional (LP) la proposición se simboliza como: 𝑝.

En lógica cuantificacional:

Sea 𝐴 es el conjunto de todos los estudiantes de la UDEP. (Dominio de la variable)

𝐴 = 𝑥/ 𝑥 es un estudiante de la UDEP

Luego la proposición queda 𝑝 como:  𝑥  𝐴, 𝑥 es responsable

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Proposiciones categóricas

Simbolizar: También es posible la siguiente representación:

Sea 𝐴 es el conjunto de todos los estudiantes de la UDEP.
𝐴 = 𝑥/ 𝑥 es un estudiante de la UDEP

Sea 𝑅 el conjunto de todos los estudiantes responsables.

𝑅 = 𝑥 / 𝑥 es un estudiante responsable

De modo que la proposición queda como:𝑥 𝑥  𝐴 → 𝑥  𝑅

Finalmente: 𝑝: Todos los estudiantes de la UDEP son responsables.

𝑝: 𝑥 𝐴𝑥 → 𝑅𝑥

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Proposiciones categóricas

Simbolizar:
𝑝: Todos los contadores son disciplinados
𝑝: 𝑥 𝐶𝑥 → 𝐷𝑥

𝑞: Todos los contadores no son disciplinados

𝑞: ~ 𝑥 𝐶𝑥 → 𝐷𝑥

𝑟: Todos los contadores son no disciplinados

𝑟: 𝑥 𝐶𝑥 → ~𝐷𝑥

𝑠: Todos los contadores no son no disciplinados

𝑠: ~ 𝑥 𝐶𝑥 → ~𝐷𝑥

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Proposiciones categóricas

Simbolizar:
𝑝: La mayoría de contadores son disciplinados
𝑝: ∃𝑥 𝐶𝑥 ∧ 𝐷𝑥

𝑞: La mayoría de contadores no son disciplinados

𝑞: ∃𝑥 𝐶𝑥 ∧ ∼ 𝐷𝑥

𝑟: La mayoría de contadores son no disciplinados

𝑟: ∃𝑥 𝐶𝑥 ∧ ∼ 𝐷𝑥

𝑠: La mayoría de contadores no son no disciplinados

𝑠: ∃𝑥 𝐶𝑥 ∧ ∼∼ 𝐷𝑥

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Negación de los cuantificadores

Teorema 1: La negación del cuantificador universal es equivalente a la afirmación de

un cuantificador existencial respecto a la función proposicional negada.

~  𝑥  𝐴, 𝑝 𝑥 ≡ ∃ 𝑥  𝐴: ~𝑝 𝑥
También se escribe:
~ 𝑥  𝐴, 𝑝(𝑥) ≡ ∃ 𝑥  𝐴: ~𝑝(𝑥)

Ejemplo:
“No todos los planetas son habitables” es equivalente a decir “Existe por lo menos un
planeta que no es habitable”.

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Negación de los cuantificadores

Teorema 2: La negación del cuantificador existencial es equivalente a la afirmación de

un cuantificador universal respecto a la función proposicional negada.

~ ∃ 𝑥  𝐴: 𝑝 𝑥 ≡  𝑥  𝐴, ~ 𝑝 𝑥
También se escribe:
~∃ 𝑥  𝐴: 𝑝(𝑥) ≡  𝑥  𝐴, ~ 𝑝(𝑥)
Ejemplo:
“No existe un planeta que sea habitable” es equivalente a decir “Todos los planetas
son no habitables”, lo cual también equivale a decir “Ningún planeta es habitable”

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Una nota final

También hay expresiones que no son proposiciones: Por ejemplo:

• Los contadores, se escribirá:  𝑥  𝐶 , donde 𝐶 = 𝑥: es un contador.
O también se escribe:  𝑥 𝐶𝑥
• La mayoría son piuranos, se escribirá: ∃ 𝑥  𝑃 , donde 𝑃 = 𝑥: es un piurano.
O también se escribe: ∃ 𝑥 𝑃𝑥

Finalmente, las proposiciones de LP, en Lógica Cuantificacional se formalizan como:

• Elizabeth es disciplinada: 𝐷𝑒, donde 𝐷 = 𝑥: 𝑥 es disciplinado
• Carmen estudia y trabaja: 𝐸𝑐 ∧ 𝑇𝑐, donde 𝐸 = 𝑥: 𝑥 estudia y 𝑇 = 𝑥: 𝑥 trabaja
• Rodrigo baila y Evelyn duerme: 𝐵𝑟 ∧ 𝐷𝑒, donde 𝐷 = 𝑥: 𝑥 baila y 𝐷 = 𝑥: 𝑥 duerme

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Ejercicio

Si el dominio de la variable es el conjunto de los números enteros, considere las

funciones proposicionales:
• 𝑝 𝑥 : 𝑥 2 − 8𝑥 + 15 = 0
• 𝑞 𝑥 : 𝑥 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟
• 𝑟 𝑥 :𝑥 > 0
Determine, cuál de las siguientes proposiciones son verdaderas.
a) ∀𝑥 𝑝(𝑥) → 𝑞(𝑥)
b) ∃𝑥 𝑞(𝑥) → 𝑝(𝑥)
c) ∃𝑥 ~𝑟 𝑥 ∧ 𝑝 𝑥
d) ∀𝑥 𝑝(𝑥) → ~𝑟(𝑥)

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Ejercicios

1. Si 𝐴 = {1, 2, 3, 4, 5}. ¿Cuáles de las siguientes proposiciones son verdaderas?

a) ∃ 𝑥 ∈ 𝐴 tal que 𝑥 + 3 ≤ 10
b) ∀ 𝑥 ∈ 𝐴, ∃ 𝑦 ∈ 𝐴 tal que 𝑥 + 𝑦 ≤ 7
c) ∀𝑥 ∈ 𝐴, 𝑥 + 3 < 8
d) ∃! 𝑥 ∈ 𝐴: 𝑥 + 3 > 6

2. Determine el valor de verdad de las siguientes proposiciones

a) Si 𝐴 = 0, 2, 4, 6 → ∀𝑥 ∈ 𝐴, 2𝑥 ≥ −2
b) Si 𝑈 = −1; −2; 0; 3 → ∃𝑥 ∈ 𝑈: 𝑥 + 2 < −10

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA

 Ejercicios

3. Analice si las proposiciones son equivalentes:

~[∀𝑥 ∈ 𝑅, 𝑥 2 ≥ 0] ≡ ∄𝑥 ∈ ℝ 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑥 2 ≥ 0

4. Niegue las siguientes proposiciones:

a) ∀ 𝑛 ∈ ℤ+ , 2𝑛 𝑒𝑠 𝑝𝑎𝑟

b) ∃𝑥 ∈ 𝐴 tal que 2𝑥 + 1 < 5, donde 𝐴 = {2, 3, 4, 5}

5. Representar simbólicamente las siguientes proposiciones:

a) Dado cualquier número, si x es un número natural entonces x es mayor que cero.

b) Existen números naturales, tales que, son números primos e impares.

PROGRAMA ACADÉMICO DE ADMINISTRACIÓN DE EMPRESAS LÓGICA