Cuantificadores Anidados

CUANTIFICADORES ANIDADOS.
∀ ∀ ( , )
La proposición debe cumplirse para toda “x” y toda “y” para efecto de ser verdadera. En cualquier
otro caso, sería falsa.
Ejemplo:
∀ ∃ ( < ) ú .
“Para toda “m” existe al menos una “n” tal que “m < n”. “m” y “n” son números enteros”
“Para todo número entero existe al menos un número entero mayor”
Lo cual es VERDADERO, pues No existe un número entero que sea el más grande, para cada
número entero (m) existe al menos uno (n) que es mayor.
NOTA: No es lo mismo UNO PARA TODOS, QUE TODOS PARA UNO
Ejemplo:
Sea la función proposicional:
P(x, y) = “x” ama a “y”
∀ ∃ ( , )
(Pudiendo ser que todos amen al menos a una misma persona, o cada quien a un cada cual)
∃ ∀ ( , )
VALORES DE VERDAD PARA CUANTIFICADORES ANIDADOS:

1) CASO 1. Todos con todos:
∀ ∀ ( , )
Con un Dominio de discurso D
• Es VERDADERA si para toda “x” y para toda “y”, la afirmación P(x,y) es verdadera.
• Es FALSA si existe al menos una “x” y al menos una “y” para la cual es falsa.
Ejemplo:
∀ ∀ ( > 0) ∧ ( > 0) → ( + > 0)% , &ℝ
“Para toda “x” y para toda “y” reales, si “x” y “y” son mayores a cero, su suma será mayor a cero”
11
Es VERDADERA. Recordando que una condicional únicamente es falsa cuando el antecedente es
verdadero y el consecuente es falso; ninguna combinación de valores x, y nos daría esa posibilidad
en la tabla de verdad; en otras palabras, cualquier valor de x, con cualquier valor de y, siempre
harán verdadera la proposición anterior.
Ejemplo:
∀ ∀ ( > 0) ∧ ( < 0) → ( + ≠ 0)% , &ℝ
“Para toda “x” y para toda “y” reales, si “x” es menor que cero, y “y” es mayor a cero, su suma será
diferente de cero”
Es FALSA, y tenemos como un contraejemplo x = 1 , y = -1.
2) CASO 2. Para TODOS existe al menos UNO

∀ ∃ ( , )
Con dominio de discurso D
• Es VERDADERA si para Toda “x” en D, existe al menos una “y” en D para la cual P(x,y) es
verdadera.
• Es FALSA si existe al menos una “x” en D para la cual todas las “y” en D hacen P(x, y) falsa.
Ejemplo 1:
∀ ∃ ( + = 0) , &ℝ
“Para toda “x” existe al menos una “y” tal que su suma sea igual a cero”
Es VERDADERA, pues cada número real tiene su inverso aditivo.
Ejemplo 2:
∀ ∃ ( > ) , ∈ ℕ
“Para toda “x” existe al menos una “y” tal que “x > y”. “m” y “n” son números naturales”
“Para todo número natural existe al menos un número natural menor”
Es FALSA, pues para x = 1, (que es el más pequeño de los números naturales) no existe un número
natural que sea menor. En otras palabras, el 1 es el más pequeño de los números naturales.
12
3) Caso 3. Existe al menos uno, para todos:
∃ ∀ ( , )
• Es VERDADERA si existe al menos una “x” en D para toda “y” en D para las cuales P(x, y)
es verdadera.
• Es FALSA si para toda “x” en D existe al menos una “y” en D para la cual P(x, y) es falsa.
Ejemplo 1)
∃ ∀ ( ≤ ) , ∈ ℕ
“Existe una “x” para todas las “y” tal que “x≤y”. “x” y “y” son números naturales”
“Existe un número natural que es menor o igual que todos los números naturales”
Es VERDADERA pues existe un valor x = 1, que es menor o igual a todos los números naturales.
En otras palabras, el 1 es el número natural más pequeño.
Ejemplo 2)
∃ ∀ ( ≥ ) , ∈ ℕ
“Existe una “x” para todas las “y” tal que “ ≥ ”. “x” y “y” son números naturales”
“Existe un número natural que es mayor o igual a todos los números naturales”
Es FALSA porque para todo número natural existe al menos uno que sea igual o mayor. En otras
palabras, no existe un número natural que sea el mayor de todos.
4) Caso 4. Existe al menos uno para el cual existe al menos uno

∃ ∃ ( , )
• Es VERDADERA si existe al menos una “x” en D para la cual existe al menos una “y” en D
que hacen P(x, y) verdadero.
• Es FALSA si para toda “x” en D y para toda “y” en D, P(x, y) es falsa.
Ejemplo 1)
∃ ∃ (( > 1) ∧ ( > 1) ∧ ( = 6)) , ∈ ℕ

“Existe al menos una “x” mayor que 1, y una “y” mayor que 1 y cuyo producto es igual a 6”
Es VERDADERA pues x =2, y =3, xy= 6. En otras palabras, el 6 es un número compuesto (no
primo).
13
Ejemplo 2)
∃ ∃ (( > 1) ∧ ( > 1) ∧ ( = 7)) , ∈ ℕ
Es FALSA. El 7 es número primo, no existen 2 naturales mayores a 1 y que su multiplicación sea

igual a 7.
EQUIVALENTES LÓGICOS (LEYES DE MORGAN CONTINUACIÓN)
• ¬(∀ ∀ ( , )) ≡ ∃ ¬(∀ ( , )) ≡ ∃ ∃ ¬ ( , )
• ¬(∀ ∃ ( , )) ≡ ∃ ¬(∃ ( , )) ≡ ∃ ∀ ¬ ( , )
• ¬(∃ ∀ ( , )) ≡ ∀ ¬(∀ ( , )) ≡ ∀ ∃ ¬ ( , )
• ¬(∃ ∃ ( , )) ≡ ∀ ¬(∃ ( , )) ≡ ∀ ∀ ¬ ( , )
14

Cuantificadores Anidados

Cargado por

Copyright:

Formatos disponibles

Cuantificadores Anidados

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Cuantificadores Anidados

Cargado por

Copyright:

Formatos disponibles

CUANTIFICADORES ANIDADOS.

“Para todo número entero existe al menos un número entero mayor”

NOTA: No es lo mismo UNO PARA TODOS, QUE TODOS PARA UNO

Sea la función proposicional:

P(x, y) = “x” ama a “y”

VALORES DE VERDAD PARA CUANTIFICADORES ANIDADOS:

∀ ∀ ( > 0) ∧ ( > 0) → ( + > 0)% , &ℝ

∀ ∀ ( > 0) ∧ ( < 0) → ( + ≠ 0)% , &ℝ

Es FALSA, y tenemos como un contraejemplo x = 1 , y = -1.

2) CASO 2. Para TODOS existe al menos UNO

Es VERDADERA, pues cada número real tiene su inverso aditivo.

“Para todo número natural existe al menos un número natural menor”

4) Caso 4. Existe al menos uno para el cual existe al menos uno

∃ ∃ (( > 1) ∧ ( > 1) ∧ ( = 6)) , ∈ ℕ

∃ ∃ (( > 1) ∧ ( > 1) ∧ ( = 7)) , ∈ ℕ

Es FALSA. El 7 es número primo, no existen 2 naturales mayores a 1 y que su multiplicación sea

EQUIVALENTES LÓGICOS (LEYES DE MORGAN CONTINUACIÓN)

También podría gustarte