CUANTIFICADORES

Dr. Rolando Vásquez Jaico

 CALCULO PROPOSICIONAL
Variables de Enunciado.

• Es una proposición arbitraria con un valor de verdad no

especificado, es decir, puede ser verdad o falsa.

• Toda variable de enunciado p, puede ser sustituida por

cualquier enunciado siendo sus posibles estados,

verdadero o falso.

2
 Ejemplos
Frecuentemente, en matemáticas, escribimos afirmaciones tales

como:

1. 𝑥 + 1 = 3

2. 𝑥 2 − 5𝑥 + 6 = 0

3. 𝑥 2 = 25 ∧ 𝑥 + 1 = 6

• De estas afirmaciones no es posible decir si son verdaderas o falsas,

porque aún no hemos fijado el valor de x.

Por ejemplo, 1) es verdadera para x = 2 y falsa para otro valor de x.

 Proposiciones Abiertas
• Definición. Una forma proposicional o proposición abierta, es una
afirmación que contiene a una o más variables, la cual llega a ser
proposición cuando se especifican los valores de las variables.

• Definición. Una variable es un elemento en una afirmación que

puede ser reemplazada por un elemento del conjunto U.

Observaciones.

• Las formas proposicionales pueden contener dos o más variables.

 Proposiciones Abiertas
Una proposición abierta (o función proposicional) es una expresión que contiene una
variable y que al ser sustituida dicha variable por un valor determinado, hace que la
expresión se convierta en una proposición. ((V) ó (F)).

p(x);

p(x; y; z; …).

• El conjunto que consiste de los elementos que pueden reemplazar a la variable de

una proposición abierta, lo llamaremos el Dominio de la variable.

• El conjunto formado por aquellos elementos del dominio de la variable que hacen
verdadera la proposición abierta p(x), lo llamaremos el conjunto solución de la
proposición abierta p(x).
 Cuantificador universal y existencial

Existen especialmente en matemáticas, expresiones que

contienen variables tales como x, y, z, etc., para las cuales su
valor de verdad depende del valor que tome la variable.
Ejemplo
x+1=2
• Esta proposición es verdadera si x = 1 y falsa si x ǂ1. A estas
proposiciones se les llama "Proposiciones abiertas".
 Cuantificador universal y existencial
Las expresiones:
– Todo hombre es mortal.
– Algunos hombres son sabios.
Pueden traducirse respectivamente como:
– Para todo x, si x es hombre entonces x es mortal.
– Existe un x, tal que x es hombre y x es sabio.
 Cuantificador universal y existencial

La proposición x+1=2, se puede enunciar de las

siguientes formas:
• Existe x = 1 tal que x + 1 = 2. Proposición
verdadera
Cuantificador existencial (Ǝ), informa que existe un
sólo valor para x que hace verdadera la proposición
dada.
• Para todo x # 1, se tiene que x + 1 = 2.
Proposición falsa.
Cuantificador universal (∀) porque afirma que todos los valores de x
diferentes de 1 hacen la proposición falsa, es decir, que un valor de x
diferente de 1 convierte x + 1 = 2 en proposición falsa.
 CUANTIFICADORES.
• Todo hombre es mortal.
• Algunos hombres son sabios.
Todo x
Cualquier x
Cada x
∀
Para todo x, si x es hombre entonces x es mortal.
Existe un x, tal que x es hombre y x es sabio.
Hay x
Existe x, tal que
Algún x
Algunos x
Ǝ
Valores de verdad de expresiones con
cuantificadores
Para determinar el valor de verdad de una
expresión que contiene un cuantificador es
importante tener claros los siguientes
conceptos:
• Conjunto Universal: es el conjunto que
contiene todos los elementos considerados en
un estudio determinado.
• Conjunto dominio de la variable: corresponde
al conjunto de valores posibles de la variable
 Cuantificador universal y existencial

Ejemplo 1
𝑥 2 = 1 ⟺ 𝑥 − 1 𝑥 + 1 = 0, ∀𝑥 ∈ 𝑅
∀ se lee para todo y se llama cuantificador universal.
Ejemplo 2
U={1;2;3;4}
Existe en U un elemento cuyo cuadrado es cuatro.
∃𝑥 ∈ 𝑈: 𝑥 2 = 4
∃ se conoce con el nombre de cuantificador existencial
Ejemplo 3
Si U={1;2;3;4}, Determinar el valor veritativo de:
(∃𝑥 ∈ 𝑈)(∀𝑦 ∈ 𝑈)/(𝑥 > 𝑦)
Ejemplo 4
• ( ∀𝒙 ∈ ℝ) / ( x + 4 = 4 + x).
Significa que todo x verifica la ecuación.
• (Ǝ𝒙 ∈ ℝ x)/ (2x+2=5).
Significa que algún x verifica la ecuación.
Ejemplo 5
• (∀𝑥𝜀𝑅)/(2𝑥 − 1 = 0) que se lee " para todo x que pertenece
a los reales se verifica que 2𝑥 − 1 = 0".
En esta proposición el conjunto universal esta formado por los
1
números reales y el dominio de la variable es 𝑥 = .
2
El ejemplo afirma que todo número real verifica 2𝑥 − 1 = 0, lo cual es
falso.
• Si se cambia el conjunto universal, por el conjunto { 1/2 }, la
proposición se convierte en verdadera y se enuncia así:
1
(∀𝑥𝜀 )/(2𝑥 − 1 = 0) es verdadera.
2
Lo anterior conduce a la siguiente afirmación:
Una proposición que contiene un cuantificador universal es verdadera sí y
sólo sí el dominio de la variable es igual al conjunto universal.
 Ejemplo 6
• (∃𝑥𝜀𝑅)/(𝑥 2 + 1 = 0)
El conjunto universal está formado por los números
reales, pero el dominio de la variable es el conjunto
vacío, no hay un número real que al elevarlo al
cuadrado y sumarle 1 de cómo resultado cero, esto
hace que la proposición sea falsa.
• Una proposición con un cuantificador
existencial es verdadera si y sólo si el dominio
de la variable no es vacío.
 FUNCIONES PROPOSICIONALES
• Gustavo es médico.
Propiedad común
• Álvaro es médico. "ser médico”
• Enrique es médico.
"x es médico"
la propiedad de ser médico
es indeterminada.

La expresión "x es médico" no puede considerarse como una

proposición puesto que no es ni verdadera ni falsa.
 “x es médico”
• x es una variable que toma valores dentro de un conjunto,
llamado conjunto de referencia. Expresiones de esta forma,
dadas en términos de una o varias variables, reciben el
nombre de funciones proposicionales.

Cuando en una función proposicional se

sustituyen las variables por constantes
individuales o términos específicos, se
convierte en proposición.

Ejemplo: José es médico

convertir una función proposicional en
una proposición
• Existen tres formas de convertir una función proposicional Px en
una proposición a saber:
– Haciendo la sustitución de las variables por un término específico.
– Anteponiendo la expresión "para todo x" o cuantificador universal.
– Anteponiendo la expresión "existe al menos un x" o cuantificador
existencial.

• "existe al menos un x tal que p(x)" se representa

como: (Ǝx)/(p(x))

• "para todo x, p(x)" se representa como: (∀ x)/(P(x)).

 FUNCIONES PROPOSICIONALES Y
PROPOSICIONES LÓGICAS
• Se definen proposiciones relacionales con ciertas
expresiones p(x) llamadas funciones proposicionales que se
convierten en proposiciones lógicas cuando la variable x
toma algún valor particular.
p( x ) : x +1 = 2
¿Se le puede asignar un valor de verdadero o de falso?

x=1 p( x ) : x +1 = 2 p (1) = 1 + 1 = 2 (V )

x=5 x = 5, p(5) = 5 + 1 = 2 p (5) = 5 + 1 = 2 ( F )

¿Se le puede anteponer un cuantificador?

(∃𝑥𝜀𝑅)/(𝑥 + 1 = 2) (∀𝑥𝜀𝑅)/(𝑥 + 1 = 2)
18
 FUNCIONES PROPOSICIONALES

Dadas las siguientes funciones proposicionales,

individualizar las variables para obtener
proposiciones verdaderas.
• x es primo impar menor que 10.
• x es un volcán tacneño.
• x divide a z y w.
 CUANTIFICADOR EXISTENCIAL Y CUANTIFICADOR UNIVERSAL

• A los símbolos ∀ que se lee “para todo” y Ǝ que se lee “existe un elemento”, se les
llaman cuantificador universal y cuantificador existencial.
• Ejemplo: dado los conjuntos

A = 0,1,2,3, = N B = 3,6,9,

y las funciones proposicionales

p(x): x es un número natural par
q(x): x es un número negativo
r(x): x es un múltiplo de 3.
Se tienen la siguientes proposiciones.

 x  A / p( x)
 x  A / p( x)
 x  A / q ( x) ¿Cuáles son
verdaderas?  x  B, r ( x )
 x  B, r ( x )

 x  B, p ( x)
20
 NEGACIONES DE LAS PROPOSICIONES CON CUANTIFICADORES.

• La regla general para construir la negación de una forma proposicional es

la siguiente: Los ∀ se cambian por ∃ y los ∃ se cambian por ∀ y después se
niega la forma proposicional.

• La negación de la forma se construye mecánicamente del mismo modo

como se realiza la negación de una proposición.

Negar el hecho de que existe algún elemento x de A tal que p(x) se cumple,
equivale a afirmar que ningún elemento x de A satisface la condición p(x)
x  A / p ( x)  x  A / p ( x)

Análogamente,
x  A, p( x)  x  A / p( x)
 Ejemplo 1
Dado el conjunto Z + = 1,2,3, 
Indicar el valor de las siguientes proposiciones y negarlas:

Proposición Negación

x  Z + , x 2 − 6 x + 5 = 0  xZ+, x 2 − 6x + 5 = 0   x  Z + , x 2 − 6x + 5 = 0

  xZ+ / x 2 − 6x + 5  0

F
V
22
 Ejemplo 2

Proposición

x  Z + , x 2 − 6 x + 5 = 0 V

Negación

 x Z+, x2 − 6x + 5 = 0   x  Z + , x2 − 6x + 5 = 0

 xZ+ / x 2 − 6x + 5  0 F

23
 Ejercicios
1) Hallar la proposición equivalente a:
a) 17 es primo porque 17 es primo o 30 es par, y 30
es par
b) Si 17 es primo, entonces 30 no es par.
c) Si 30 es par, entonces 17 no es primo.
d) Si 17 no es primo, 30 no es par.
e) 30 es par o 17 es primo.
f) 17 es primo ya que 30 no es par.
 Ejercicios
2) Simbolizar y luego simplificar la proposición:
a) Viene a casa o se va de viaje, pero no viene; en
consecuencia se va de viaje.
b)Cuando obtenga mi título entonces ingreso a la carrera
magisterial, pero no ingreso a la carrera magisterial; luego
no obtuve mi título.
c) Si el conocimiento es hipotético, se prueba; y si se prueba,
entonces es eficaz; luego, es eficaz cuando es hipotético.
3) Determinar los esquemas más simples equivalentes a:
a) ¬[¬(p ∧ q) ⇒ ¬q] ∨ 𝑝
b) [(p ⇒ q) ∨ ¬p] ∧ (¬q ⇒ 𝑝)
c) (p ∧ ¬r) ∨ [¬q ⇒ ¬(𝑝 ∧ r]
 Ejercicios
4) Expresar en símbolos lógicos y después niegue las siguientes
oraciones:
– Todo múltiplo de 4 es un numero primo.
– Si 2 es par entonces todos los números son pares.
– Todo número mayor que 2 es la suma de dos números primos.
5) Sea 𝐴 = {1; 2; 3; 4; 5}
Hallar el valor de verdad de los siguientes enunciados. Negar estos
enunciados:
– (∃𝑥 ∈ 𝐴)(𝑥 + 3 = 10)
– (∀𝑥 ∈ 𝐴)(𝑥 + 3 < 10)
– (∃𝑥 ∈ 𝐴)(𝑥 + 3 < 5)
– (∀𝑥 ∈ 𝐴)(𝑥 + 3 ≤ 7)
– (∃𝑥 ∈ 𝐴)(𝑥 2 − 3𝑥 + 2 = 0)
 Ejercicios
6) Demostrar las siguientes equivalencias sin uso de
tablas de verdad.
– 𝑝 ⇒ 𝑞 ≡ [ 𝑝 ∧ ¬𝑞 ] ⇒ 𝑞
– [ ¬𝑝 ∨ 𝑞 ∈ (¬𝑟 ∧ ¬𝑝) ≡ 𝑞 ∨ ¬𝑝
– [ 𝑝 ⇒ (𝑞 ∧ 𝑟 ] ≡ [ 𝑝 ⇒ 𝑞) ∧ (𝑝 ⇒ 𝑟 ]
7) Negar las siguientes afirmaciones:
– (∀𝑥 ∃𝑦)(𝑥 + 𝑦 = 5 ⇒ 𝑦 = −𝑥)
– (∀𝑥 ∃𝑦)(𝑥 + 𝑦 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟) ⇒ (𝑥 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟 ∨
𝑦 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟)
– (∀𝑥 ∀𝑦 ∃𝑧)(𝑥 < 𝑦 ⇒ 𝑥 + 𝑧 = 𝑦)
 Ejercicios
8) Sea 𝐴 = {1; 2; 3; 4} el conjunto universal. Determinar
el valor de verdad de cada enunciado:
– ∀𝑥: 𝑥 + 3 < 6
– ∃𝑥: 2𝑥 2 + 𝑥 = 15
– ∀𝑥: 𝑥 2 − 10 ≤ 18
– ∃𝑥: 𝑥 2 > 1 ⇒ 𝑥 + 2 = 0
9) Negar los siguientes enunciados
– ∃𝑦 𝑝 𝑦 ⇒ ∀𝑥(¬𝑞 𝑥 )
– ∃𝑥 ¬ 𝑝 𝑥 ∨ ∀𝑥 𝑞 𝑥
– ∃𝑥 ∀ 𝑦 [𝑝(𝑥; 𝑦) ⇒ 𝑞 𝑥; 𝑦 ]
Gracias