CUANTIFICADORES

ANIDADOS
Cuantificador es una expresión que
indica la cantidad de veces que un
predicado o propiedad P se satisface
dentro de una determinada clase.
El anidamiento es la práctica de
incorporar llamadas a funciones o
procedimientos dentro de otras,
mediante la inclusión de diversos
niveles de paréntesis.
 Propiedades

∀𝑥∀𝑦𝑃(𝑥, 𝑦) ↔ ∀𝑦∀𝑥𝑃 𝑥, 𝑦

∃𝑥∃𝑦𝑃(𝑥, 𝑦) ↔ ∃𝑦∃𝑥𝑃 𝑥, 𝑦

∃𝑥∀𝑦𝑃(𝑥, 𝑦) → ∀𝑦∃𝑥𝑃 𝑥, 𝑦
 Las leyes generalizadas de Morgan para lógica se pueden usar para
negar una proposición que contiene cuantificadores anidados.
Usando las leyes de Morgan para lógica, se encuentra que la
negación de ∀𝑥∃𝑦𝑃 𝑥, 𝑦 es:

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

Observe que, en la negación, ∀ y ∃ están
intercambiados.
 Ejemplo:
~(∃𝑥∀𝑦 𝑥𝑦 < 1 ) ≡ ∀𝑥~(∀𝑦 𝑥𝑦 < 1 ) ≡ ∀𝑥∃𝑦~ 𝑥𝑦 < 1 ≡ ∀𝑥∃𝑦~ 𝑥𝑦 ≥ 1
EJEMPLO 1:
Todos aman a alguien

DOMINIO DE DISCURSO: Los seres

humanos

“Todos” requiere un cuantificador

universal y “alguien” requiere un
cuantificador existencial. Entonces la
afirmación se escribe con símbolos
∀𝑥∃𝑦𝑃(𝑥, 𝑦)
EJEMPLO 2:
Alguien ama a todos

Dominio de discurso: Los seres humanos

“Alguien” requiere un cuantificador

existencial y “todos” requiere un
cuantificador universal. Entonces la
afirmación se escribe con símbolos
∃𝑥∀𝑦𝑃(𝑥, 𝑦)
 EJEMPLO 3:
Todos aman a todos

DOMINIO DE DISCURSO: Los seres humanos

“Todos” requiere un cuantificador universal y

“todos” requiere un cuantificador universal.
Entonces la afirmación se escribe con símbolos
∀𝑥∀𝑦𝑃(𝑥, 𝑦)
 EJEMPLO 4 :
Alguien ama a alguien

DOMINIO DE DISCURSO: Los seres humanos

“Alguien” requiere un cuantificador existencial y

“alguien” requiere un cuantificador existencial.
Entonces la afirmación se escribe con símbolos
∃𝑥∃𝑦𝑃(𝑥, 𝑦)
Consideremos la afirmación:
∀𝒙, ∀𝒚, ( 𝒙 > 𝟎 ⋀ 𝒚 > 𝟎 → 𝒙 + 𝒚 > 𝟎 )

DOMINIO: Todos los reales

Esta afirmación es verdadera porque,

para todo numero real 𝑥 y para todo
real 𝑦, si 𝑥 y 𝑦 son positivos, su suma
siempre es positiva.
Consideremos la afirmación:
∀𝒙, ∀𝒚, ( 𝒙 > 𝟎 ⋀ 𝒚 < 𝟎 → 𝒙 + 𝒚 ≠ 𝟎 )

DOMINIO: Todos los reales

Esta afirmación es falsa, mostremos un

contraejemplo sea 𝑥 = 1 y 𝑦 = -1
entonces la proposición condicional es
falsa.
Consideremos la afirmación:
∀𝒙, ∃𝒚, ( 𝒙 + 𝒚 = 𝟎 )

DOMINIO: Todos los reales

Esta afirmación es verdadera porque,

si 𝑥 = 1 y 𝑦 = -1 entonces al sumarse es
igual a cero.
Consideremos la afirmación:
∀𝒙, ∃𝒚, (𝒙 > 𝒚)

DOMINIO :Enteros positivos

Esta afirmación es falsa porque, si 𝑥 = 1

y 𝑦 =1, entonces no cumple que 𝑥 > 𝑦 .
Consideremos la afirmación:
∃ 𝒙, ∀𝒚, (𝒙 ≤ 𝒚)

DOMINIO :Enteros positivos

Esta afirmación es verdadera porque

hay al menos un entero positivo 𝑥
para que 𝑥 ≤ 𝑦 sea verdadera para
todo entero positivo 𝑦, ejemplo sea si
𝑥 =1 y 𝑦 = 1 entonces cumple la
desigualdad .
Consideremos la afirmación:
∃𝒙, ∃𝒚, ( 𝒙 > 𝟏 ⋀ 𝒚 > 𝟏 ⋀ 𝒙 × 𝒚 = 𝟔 )

DOMINIO :Enteros positivos

Esta afirmación es verdadera porque

hay al menos un entero positivo 𝑥, sea
𝑥 = 2, y al menos un entero positivo 𝑦 ,
sea 𝑦 = 3, tal que 𝑥 × 𝑦 = 6.
INTEGRANTES:

Alvarez Nuñez, Federico

Escalante Gomez, Daniel
Salazar Leiva, Ana