Presentacion

Reglas de
Inferencia

Cuantificadores Cuantificadores e Inferencia

Reglas de
inferencia para
afirmaciones
cuantificadas Domingo Quiroz
Cuantificadores
anidados
Departamento de Matemáticas
Facultad de Ciencias Naturales y Matemáticas
Escuela Superior Politécnica del Litoral

08 de Junio 2020
 Tópicos de la clase

Presentacion

Reglas de
Inferencia
1 Reglas de Inferencia
Cuantificadores

Reglas de
inferencia para
afirmaciones
cuantificadas

Cuantificadores
anidados
 Tópicos de la clase

Presentacion

Reglas de
Inferencia
1 Reglas de Inferencia
Cuantificadores

Reglas de
inferencia para
afirmaciones 2 Cuantificadores
cuantificadas

Cuantificadores
anidados
 Tópicos de la clase

Presentacion

Reglas de
Inferencia
1 Reglas de Inferencia
Cuantificadores

Reglas de
inferencia para
afirmaciones 2 Cuantificadores
cuantificadas

Cuantificadores
anidados
3 Reglas de inferencia para afirmaciones cuantificadas
 Tópicos de la clase

Presentacion

Reglas de
Inferencia
1 Reglas de Inferencia
Cuantificadores

Reglas de
inferencia para
afirmaciones 2 Cuantificadores
cuantificadas

Cuantificadores
anidados
3 Reglas de inferencia para afirmaciones cuantificadas

4 Cuantificadores anidados
 Reglas de Inferencia

Presentacion

Reglas de
Inferencia

Cuantificadores
El proceso de obtener conclusiones a partir de una
Reglas de
inferencia para secuencia de proposiciones se llama
afirmaciones
cuantificadas razonamiento deductivo.
Cuantificadores
anidados
 Reglas de Inferencia

Presentacion

Reglas de
Inferencia

Cuantificadores
El proceso de obtener conclusiones a partir de una
Reglas de
inferencia para secuencia de proposiciones se llama
afirmaciones
cuantificadas razonamiento deductivo.
Cuantificadores
anidados
Las proposiciones se llaman hipótesis o premisas, y la
proposición que se deriva de la hipótesis, se llama
conclusión.
 Reglas de Inferencia

Presentacion

Reglas de
Inferencia

Cuantificadores Un argumento (deductivo) consiste en hipótesis junto con

Reglas de una conclusión y tiene la forma
inferencia para
afirmaciones Si p1 , y p2 y ... y pn , entonces q.
cuantificadas

Cuantificadores
anidados
 Reglas de Inferencia

Presentacion

Reglas de
Inferencia

Cuantificadores Un argumento (deductivo) consiste en hipótesis junto con

Reglas de una conclusión y tiene la forma
inferencia para
afirmaciones Si p1 , y p2 y ... y pn , entonces q.
cuantificadas

Cuantificadores Diremos que el argumento es válido si cada vez que

anidados
p1 , p2 ,...,pn son verdaderas entonces q también es
verdadera. De lo contrario diremos que el argumento es
inválido.
 Presentacion

Ejemplo
Reglas de
Inferencia
Determine si el argumento
Cuantificadores

Reglas de
inferencia para
p→q
afirmaciones p
cuantificadas

Cuantificadores
∴q
anidados

es válido.
Solución:
Supongamos que p → q y p son verdaderas, si q es falsa como
p es verdadera entonces p → q es falsa.
Por lo que q debe ser verdadera. Ası́, el razonamiento es válido.
 Presentacion Los argumentos se representan en la forma

p1
Reglas de
Inferencia p2
Cuantificadores
..
.
Reglas de
inferencia para pn
afirmaciones
cuantificadas ∴q
Cuantificadores
anidados Si el argumento es válido, lo denotaremos p1 , p2 , ..., pn ⇒ q
El ejemplo anterior dice que la hipótesis p → q y p implica la
conclusión q
p → q, p ⇒ q
Observe que no se está afirmando que la conclusión es cierta;
sólo se dice que si se garantiza la hipótesis, también se debe
garantizar la conclusión. Un argumento es válido por su forma
no por su contenido.
 Presentacion

Ejemplo
Reglas de
Inferencia Determine si el argumento
Cuantificadores

Reglas de
p→q
inferencia para
afirmaciones
q
cuantificadas ∴p
Cuantificadores
anidados
es válido.
Solución:
Supongamos que p → q y q son verdaderas, en este caso,
como q es verdadera, entonces independientemente de que p
sea verdadera o falsa p → q es verdadera. Por lo que el
argumento es inválido.
 Reglas de Inferencia

Presentacion

Reglas de Las reglas de inferencia, son argumentos válidos breves que se

Inferencia

Cuantificadores
utilizan para demostrar argumentos más largos.
Reglas de
regla de inferencia nombre
inferencia para
afirmaciones
p → q, p ⇒ q Modus ponens
cuantificadas p → q, ¬q ⇒ ¬p Modus tollens.
Cuantificadores
anidados p ⇒p∨q Suma
p∧q ⇒p Simplificacion
p → q, q → r ⇒ p → r Silogismo hipotetico
p, q ⇒ p ∧ q Conjuncion
p ∨ q, ¬p ⇒ q Silogismo disjuntivo
 Presentacion

Reglas de
Ejemplo
Inferencia

Cuantificadores
Si llueve por la noche, entonces la grama del jardı́n amanece
Reglas de
mojada. Veo que está mojada la grama. Por lo tanto llovio
inferencia para
afirmaciones
anoche. Será válido este razonamiento?
cuantificadas

Cuantificadores
anidados
 Presentacion

Reglas de
Ejemplo
Inferencia

Cuantificadores
Si llueve por la noche, entonces la grama del jardı́n amanece
Reglas de
mojada. Veo que está mojada la grama. Por lo tanto llovio
inferencia para
afirmaciones
anoche. Será válido este razonamiento?
cuantificadas

Cuantificadores
p = Llueve por la noche
anidados q = a grama del jardı́n amanece mojada.
 Presentacion

Reglas de
Ejemplo
Inferencia

Cuantificadores
Si llueve por la noche, entonces la grama del jardı́n amanece
Reglas de
mojada. Veo que está mojada la grama. Por lo tanto llovio
inferencia para
afirmaciones
anoche. Será válido este razonamiento?
cuantificadas

Cuantificadores
p = Llueve por la noche
anidados q = a grama del jardı́n amanece mojada.

p→q
q
∴p
 Presentacion

Ejemplo
Reglas de
Inferencia Determine la veracidad del siguiente argumento:
Cuantificadores Si estudio mucho entonces obtengo 10 o me hago rico.
Reglas de
inferencia para
No obtengo 10 y no me hago rico.
afirmaciones
cuantificadas

Cuantificadores
anidados ∴ No estudio mucho.
 Presentacion

Ejemplo
Reglas de
Inferencia Determine la veracidad del siguiente argumento:
Cuantificadores Si estudio mucho entonces obtengo 10 o me hago rico.
Reglas de
inferencia para
No obtengo 10 y no me hago rico.
afirmaciones
cuantificadas

Cuantificadores
anidados ∴ No estudio mucho.
Solución:
hagamos p: estudio mucho, q: obtengo 10, r: me hago rico.

El argumento se representa:
 Presentacion

Ejemplo
Reglas de
Inferencia Determine la veracidad del siguiente argumento:
Cuantificadores Si estudio mucho entonces obtengo 10 o me hago rico.
Reglas de
inferencia para
No obtengo 10 y no me hago rico.
afirmaciones
cuantificadas

Cuantificadores
anidados ∴ No estudio mucho.
Solución:
hagamos p: estudio mucho, q: obtengo 10, r: me hago rico.
p →q∨r
El argumento se representa: ¬q ∧ ¬r
∴ ¬p
 Presentacion

Solución:
Reglas de p → (q ∨ r )
Inferencia
Analizaremos la validez de argumento: ¬q ∧ ¬r
Cuantificadores
∴ ¬p
Reglas de
inferencia para
afirmaciones
cuantificadas

Cuantificadores
anidados
 Presentacion

Solución:
Reglas de p → (q ∨ r )
Inferencia
Analizaremos la validez de argumento: ¬q ∧ ¬r
Cuantificadores
∴ ¬p
Reglas de
inferencia para Primero, por la ley De Morgan
afirmaciones
cuantificadas

Cuantificadores
¬(q ∨ r ) ≡ ¬q ∧ ¬r
anidados
 Presentacion

Solución:
Reglas de p → (q ∨ r )
Inferencia
Analizaremos la validez de argumento: ¬q ∧ ¬r
Cuantificadores
∴ ¬p
Reglas de
inferencia para Primero, por la ley De Morgan
afirmaciones
cuantificadas

Cuantificadores
¬(q ∨ r ) ≡ ¬q ∧ ¬r
anidados

Ası́, p → (q ∨ r ) y ¬(q ∨ r ) son verdaderas , por lo que ¬p es

verdadera (modus tollens)
El argumento es válido

p → (q ∨ r ), (¬q ∧ ¬r ) ⇒ ¬p
 Presentacion

Reglas de
Inferencia Ejemplo
Cuantificadores
Escribe en palabras el siguiente argumento y determine si es
Reglas de
inferencia para válido.
afirmaciones
cuantificadas
p →r ∨q
Cuantificadores r → ¬q
anidados
∴p→r
donde p : 4 megabytes es mejor que sin memoria
q : compraremos más memoria y
r : compraremos una computadora nueva.
 Presentacion

Reglas de
Inferencia
Solución:
Cuantificadores Si 4 megabytes es mejor que sin memoria entonces
Reglas de compraremos una computadora nueva o compraremos más
inferencia para
afirmaciones memoria.
cuantificadas
Si compramos una computadora nueva entonces no compramos
Cuantificadores
anidados más memoria.

∴ Si 4 megabytes es mejor que sin memoria entonces

compraremos una computadora nueva.
 Presentacion

Reglas de
Inferencia Supongamos que p → (r ∨ q) y r → ¬q son verdaderas pero
Cuantificadores p →r ∨q
Reglas de
inferencia para
p → r es falsa. en el razonamiento siguiente: r → ¬q
afirmaciones
cuantificadas
∴p→r
Cuantificadores
Ası́, VL(p)=1 y VL(r)=0, como p → r ∨ q es verdadera y p es
anidados verdadera entonces r ∨ q es verdadera, ası́ VL(q)=1. Con estos
valores obtenemos que p → r ∨ q y r → ¬q son verdaderas
pero p → r es falsa.
Por lo que el argumento no es válido.
 Función Proposicional

Presentacion

Reglas de
Consideremos la afirmación
Inferencia

Cuantificadores p : El es un estudiante ESPOL.

Reglas de
inferencia para
afirmaciones
cuantificadas

Cuantificadores
anidados
 Función Proposicional

Presentacion

Reglas de
Consideremos la afirmación
Inferencia

Cuantificadores p : El es un estudiante ESPOL.

Reglas de
inferencia para p no es una proposición, ya que su valor de veracidad depende
afirmaciones
cuantificadas de quien sea EL
Cuantificadores
anidados Definición.
Sea P(x) una oración que incluye a la variable x y sea D un
conjunto. Diremos que P es una función proposicional, si para
cada x ∈ D, P(x) es una proposición. En este caso, D es el
dominio de discurso de P.
 Presentacion

Reglas de Ejemplo
Inferencia

Cuantificadores Sea
Reglas de
inferencia para
afirmaciones
P(n) : n es un entero impar
cuantificadas

Cuantificadores y D el conjunto de enteros positivos. Entonces

anidados
P es una función proposicional con dominio de discurso D, ya
que para cada n ∈ D, P(n) es una proposición.
P(9) : 9 es un entero impar (verdadera)
P(6) : 6 es un entero impar(falsa)
 Presentacion

Ejemplo
Reglas de
Inferencia Las siguientes afirmaciones son funciones proposicionales.
Cuantificadores
1 P(n) : n2 + 2n es un entero impar.
Reglas de
inferencia para D = conjunto de enteros positivos
afirmaciones
cuantificadas P(2) : 8 Falsa y P(3) : 13 Verdadera
Cuantificadores
anidados
 Presentacion

Ejemplo
Reglas de
Inferencia Las siguientes afirmaciones son funciones proposicionales.
Cuantificadores
1 P(n) : n2 + 2n es un entero impar.
Reglas de
inferencia para D = conjunto de enteros positivos
afirmaciones
cuantificadas P(2) : 8 Falsa y P(3) : 13 Verdadera
Cuantificadores
anidados
2 Q(x) : x 2 − x − 6 = 0
D =conjunto de números reales
Q(3) y Q(−2) son verdaderas, pero Q(0) Falsa
 Presentacion

Ejemplo
Reglas de
Inferencia Las siguientes afirmaciones son funciones proposicionales.
Cuantificadores
1 P(n) : n2 + 2n es un entero impar.
Reglas de
inferencia para D = conjunto de enteros positivos
afirmaciones
cuantificadas P(2) : 8 Falsa y P(3) : 13 Verdadera
Cuantificadores
anidados
2 Q(x) : x 2 − x − 6 = 0
D =conjunto de números reales
Q(3) y Q(−2) son verdaderas, pero Q(0) Falsa
3 R(x) : x 2 ≥ 0
D =conjunto de números reales
R(−2), R(π), · · · son verdaderas
 Cuantificadores

Presentacion

Para poder estudiar el dominio D de una función proposicional,

Reglas de
Inferencia necesitamos los Cuantificadores
Cuantificadores
Definición.
Reglas de
inferencia para Sea P una función proposicional con dominio de discurso D.
afirmaciones
cuantificadas Diremos que la afirmación
Cuantificadores
anidados
Para toda x en D, P(x) es Cierto

es una afirmación cuantificada universalmente y se escribe

∀x ∈ D : P(x)
 Presentacion

Reglas de Ejemplo
Inferencia

Cuantificadores
”Para cada ( o cualquier ) entero positivo, la suma de su
Reglas de cuadrado más el doble de el, es impar.”
inferencia para
afirmaciones
cuantificadas

Cuantificadores
anidados
 Presentacion

Reglas de Ejemplo
Inferencia

Cuantificadores
”Para cada ( o cualquier ) entero positivo, la suma de su
Reglas de cuadrado más el doble de el, es impar.”
inferencia para
afirmaciones Sea D = conjunto de enteros positivos.
cuantificadas
∀n ∈ D : n2 + 2n es un entero impar.
Cuantificadores
anidados
 Presentacion

Reglas de Ejemplo
Inferencia

Cuantificadores
”Para cada ( o cualquier ) entero positivo, la suma de su
Reglas de cuadrado más el doble de el, es impar.”
inferencia para
afirmaciones Sea D = conjunto de enteros positivos.
cuantificadas
∀n ∈ D : n2 + 2n es un entero impar.
Cuantificadores
anidados
Ejemplo
”Todos los seres Humanos son mortales”
 Presentacion

Reglas de Ejemplo
Inferencia

Cuantificadores
”Para cada ( o cualquier ) entero positivo, la suma de su
Reglas de cuadrado más el doble de el, es impar.”
inferencia para
afirmaciones Sea D = conjunto de enteros positivos.
cuantificadas
∀n ∈ D : n2 + 2n es un entero impar.
Cuantificadores
anidados
Ejemplo
”Todos los seres Humanos son mortales”Sea D =Seres
humanos.
∀p ∈ D : p es mortal
 Asignacion de Valor

Presentacion

Reglas de
Inferencia
La función proposicional universal
Cuantificadores
∀x ∈ D : P(x)
Reglas de
inferencia para
afirmaciones
cuantificadas Verdadera,
Cuantificadores si P(x) es verdadera, para toda x ∈ D
anidados
Falsa
si P(x) es falsa para al menos un x ∈ D.
Un valor x que hace a P(x) falsa se llama un contraejemplo de
la afirmación ∀x, P(x).
 Presentacion

Reglas de
Inferencia Ejemplo
Cuantificadores

Reglas de
1 La proposición ∀x ∈ R, x 2 ≥ 0 es verdadera,
inferencia para
afirmaciones
ya que para cada x ∈ R es cierto que x 2 > 0 o x 2 = 0.
cuantificadas
2 La proposicion ∀x, x 2 − 1 > 0 es falsa,
Cuantificadores
anidados basta tomar x = 0 para que 02 − 1 > 0 sea falsa.
0 es un contraejemplo de la afirmación,∀x, x 2 − 1 > 0
Aunque para algunos x ∈ R, x 2 − 1 > 0 es verdadera,
el contraejemplo hace que ∀x, x 2 − 1 > 0 sea falsa.
 Presentacion

Reglas de
Inferencia

Cuantificadores Ejemplo
Reglas de
inferencia para Verifique que la afirmación cuantificada universalmente
afirmaciones
cuantificadas

Cuantificadores
para todo número real x, si x > 1 entonces x + 1 > 1
anidados
es verdadera.
Probaremos ∀x ∈ R, x > 1 → x + 1 > 1
 Presentacion

Reglas de
Inferencia Caso x ≤ 1
Cuantificadores tenemos que x > 1 → x + 1 > 1 es verdadera (por
Reglas de
inferencia para
omisión).
afirmaciones
cuantificadas Caso x > 1
Cuantificadores Sabemos que x + 1 > x y por hipótesis x > 1 luego por
anidados
tansitividad x + 1 > 1 y nuevamente x > 1 → x + 1 > 1
es verdadera.
Concluı́mos que, para todo número real x, si x > 1 entonces
x + 1 > 1 es verdadera.
 Presentacion

Reglas de Definición.
Inferencia

Cuantificadores Sea P una función proposicional con dominio de discurso D.

Reglas de Diremos que la afirmación existe x, P(x)
inferencia para
afirmaciones es una afirmación cuantificada existencialmente.
cuantificadas

Cuantificadores
anidados El simbolo ∃ significa existe, existe un, existe algún.
El simbolo ∃ se llama cuantificador existencial
l La afirmación ∃xP(x) es verdadera, si P(x) es verdadera,
para al menos un x ∈ D y es falsa si P(x) es falsa para
todo x ∈ D.
 Presentacion

Ejemplo
x 2
Reglas de Existe un número real x, que satisface =
Inferencia x2 + 1 5
Cuantificadores

Reglas de
inferencia para
afirmaciones
cuantificadas

Cuantificadores
anidados
 Presentacion

Ejemplo
x 2
Reglas de Existe un número real x, que satisface =
Inferencia x2 + 1 5
Cuantificadores
x 2
Reglas de Simbólicamente, tenemos ∃x ∈ R, 2 = esta afirmación
inferencia para x +1 5
afirmaciones x 2
cuantificadas es verdadera ya que al menos un x ∈ R, hace que 2 =
Cuantificadores x +1 5
anidados sea verdadera.
2 2
Por ejemplo, tomando x = 2, 2 = es verdadera.
2 +1 5
x 2
En este caso, existe un nḿero real x, que satisface 2 =
x +1 5
es verdadera aunque
x 2
2
= sea falsa para algunos x, por ejemplo, para x = 0
x +1 5
o x = −1
 Presentacion

Reglas de Ejemplo
Inferencia

Cuantificadores verifiquemos que la proposición

1
Reglas de ∃x ∈ R, 2 > 1 es falsa
inferencia para
afirmaciones
x +1
cuantificadas

Cuantificadores
anidados
 Presentacion

Reglas de Ejemplo
Inferencia

Cuantificadores verifiquemos que la proposición

1
Reglas de ∃x ∈ R, 2 > 1 es falsa
inferencia para
afirmaciones
x +1
cuantificadas

Cuantificadores en efecto, dado cualquier x ∈ R tenemos que x 2 ≥ 0 es

anidados 1
verdadera, ası́, x 2 + 1 ≥ 1 y dividiendo 2 ≤ 1 es
x +1
1
verdadera por lo que 2 > 1 es falsa, para todo x ∈ R.
x +1
1
Esto es, ∃x ∈ R, 2 > 1 es falsa.
x +1
 Presentacion

Teorema.
Reglas de
Inferencia Sea P una función proposicional. Entonces
Cuantificadores
1 ¬(∀x, P(x)) ≡ ∃x, ¬P(x)
Reglas de
inferencia para 2 ¬(∃x, P(x)) ≡ ∀x, ¬P(x)
afirmaciones
cuantificadas

Cuantificadores Demostración:
anidados
probemos 1) ,
 Presentacion

Teorema.
Reglas de
Inferencia Sea P una función proposicional. Entonces
Cuantificadores
1 ¬(∀x, P(x)) ≡ ∃x, ¬P(x)
Reglas de
inferencia para 2 ¬(∃x, P(x)) ≡ ∀x, ¬P(x)
afirmaciones
cuantificadas

Cuantificadores Demostración:
anidados
probemos 1) , si ¬(∀x, P(x)) es verdadera , ∀x, P(x) es falsa,
esto es, existe un x para el cual P(x) es falsa y entonces para
ese x, ¬P(x) es verdadera. Es decir, ∃x, ¬P(x) es verdadera.
si ¬(∀x, P(x)) es falsa , ∀x, P(x) es verdadera, esto es, P(x) es
verdadera, para todo x y ¬P(x) es falsa, para todo x. Es decir,
∃x, ¬P(x) es falsa.
 Reglas de inferencia para afirmaciones
cuantificadas
Presentacion

Reglas de
Inferencia Suponga que ∀x, P(x) es verdadera, entonces P(x) es
Cuantificadores verdadera para cada x en el dominio de discurso D. En
Reglas de particular, si d ∈ D entonces P(d) es verdadera.
inferencia para
afirmaciones Ası́, hemos demostrado que el argumento
cuantificadas

Cuantificadores
anidados
∀x ∈ D, P(x)
∴ P(d), si d ∈ D

es válido.
 Presentacion
De manera similar se obtienen las siguientes reglas de inferencia
1 Particularización universal
Reglas de
Inferencia
∀x ∈ D, P(x) ⇒ P(d), si d ∈D
Cuantificadores

Reglas de
inferencia para
2 Generalización universal.
afirmaciones
cuantificadas

Cuantificadores
P(d), para toda d ∈ D ⇒ ∀x ∈ D, P(x)
anidados

3 Particularización existencial

∃x ∈ D, P(x) ⇒ P(d), para alguna d ∈D

4 Generalización existencial

P(d) para alguna d ∈ D ⇒ ∃x ∈ D, P(x)

 Presentacion

Reglas de
Inferencia

Cuantificadores
Ejemplo
Reglas de
inferencia para
Determine la validez del argumento siguiente:
afirmaciones
cuantificadas
Hipótesis: Pepe, un miembro del Gobierno de Ecuador, puede
Cuantificadores
ser Juzgado. Todos los que pueden ser juzgados pueden llegar a
anidados la prisión.
Conclusión: Algún miembro del gobierno de Ecuador puede
llegar a prisón.
 Presentacion

Reglas de Demostración:
Inferencia

Cuantificadores
D está formado por todos los Ecuatorianos.
Reglas de P(x) : x es miembro del gobierno de Ecuador
inferencia para
afirmaciones
cuantificadas
Q(x) : x puede ser juzgado
Cuantificadores R(x) : x puede llegar a la carcel.
anidados

P(Pepe) ∧ Q(Pepe)
∀x, Q(x) → R(x)
∴ ∃x, P(x) ∧ R(x)
 Presentacion

Reglas de
∀x, Q(x) → R(x) ⇒ Q(Pepe) → R(Pepe)
Inferencia (Particularización universal)
Cuantificadores
P(Pepe) ∧ Q(Pepe) ⇒ Q(Pepe) (simplificación)
Reglas de
inferencia para
afirmaciones
Q(Pepe) → R(Pepe), Q(Pepe) ⇒ R(Pepe) (modus
cuantificadas
ponens)
Cuantificadores
anidados P(Pepe) ∧ Q(Pepe) ⇒ P(Pepe)(simplificación)
finalmente,
P(Pepe), R(Pepe) ⇒ P(Pepe) ∧ R(Pepe) (conjunción)
P(Pepe) ∧ R(Pepe) ⇒ ∃x, P(x) ∧ R(x)
(generalización existencial)
 Presentacion

Reglas de
Inferencia

Cuantificadores Ejemplo
Reglas de
inferencia para
Demuestre que el siguiente argumento es válido
afirmaciones
cuantificadas
Hipótesis: Todos en clase de matemáticas discretas aman las
Cuantificadores
demostraciones. Alguien en la clase de matemáticas discretas
anidados
nunca a tomado cálculo.
Conclusión: Alguien que ama las demostraciones nunca a
tomado cálculo.
 Cuantificadores anidados

Presentacion
Diremos que una proposición está cuantificada en forma
anidada, si posee al menos dos cuantificadores.
Reglas de
Inferencia Sea P una función proposicional y D su dominio de discurso.
Cuantificadores La proposión ∀x, ∀y , P(x, y ) es verdadera, si para toda x y
Reglas de
inferencia para
para toda y en D, P(x, y ) es verdadera y es falsa si para
afirmaciones
cuantificadas
al menos una x y una y en D, P(x, y ) es falsa.
Cuantificadores
anidados
 Cuantificadores anidados

Presentacion
Diremos que una proposición está cuantificada en forma
anidada, si posee al menos dos cuantificadores.
Reglas de
Inferencia Sea P una función proposicional y D su dominio de discurso.
Cuantificadores La proposión ∀x, ∀y , P(x, y ) es verdadera, si para toda x y
Reglas de
inferencia para
para toda y en D, P(x, y ) es verdadera y es falsa si para
afirmaciones
cuantificadas
al menos una x y una y en D, P(x, y ) es falsa.
Cuantificadores la afirmación para cualesquiera números reales x, y , si x y
anidados
y son positivos entonces su suma es positiva.
simbólicamente tenemos
∀x ∈ R∀y ∈ R, x > 0 ∧ y > 0 → x + y > 0. Esta
afirmación es verdadera, ya que si x > 0 y y > 0 son
verdaderas entonces x + y > 0 es verdadera y entonces el
condicional x > 0 ∧ y > 0 → x + y > 0 es verdadera, para
cualesquiera números reales x, y .
 Presentacion

Reglas de
Inferencia
La proposión ∀x, ∃y , P(x, y ) es verdadera, si para toda x,
Cuantificadores
existe al menos una y en D tal que P(x, y ) es verdadera y
Reglas de
inferencia para es falsa si existe al menos una x tal que P(x, y ) es falsa,
afirmaciones
cuantificadas para toda y en D.
Cuantificadores
anidados
 Presentacion

Reglas de
Inferencia
La proposión ∀x, ∃y , P(x, y ) es verdadera, si para toda x,
Cuantificadores
existe al menos una y en D tal que P(x, y ) es verdadera y
Reglas de
inferencia para es falsa si existe al menos una x tal que P(x, y ) es falsa,
afirmaciones
cuantificadas para toda y en D.
Cuantificadores
anidados
Concepto de Limite
la afirmación ∀x ∈ R, ∃y ∈ R, x + y = 0 es verdadera.
En efecto, para cualquier x ∈ R, basta escoger y = −x y
asi x + y = 0 es verdadera.
 Presentacion

Reglas de
Inferencia

Cuantificadores La proposión ∃x, ∀y , P(x, y ) es verdadera, si existe al

Reglas de menos una x, tal que P(x, y ) es verdadera, para toda y en
inferencia para
afirmaciones D y es falsa si para toda x, existe una y en D tal que
cuantificadas
P(x, y ) es falsa.
Cuantificadores
anidados la afirmación ∃x ∈ N ∀y ∈ N, x ≥ y es falsa.
En efecto , dado cualquier x ∈ N, escogemos y = x + 1,
entonces y ∈ N y x ≥ y es falsa.
 Presentacion

Reglas de
Inferencia

Cuantificadores
La proposión ∃x, ∃y , P(x, y ) es verdadera, si existe al
Reglas de
inferencia para menos una x y una y en D tal que P(x, y ) es verdadera y
afirmaciones
cuantificadas
es falsa si para toda x y toda y en D, P(x, y ) es falsa.
Cuantificadores la afirmación ∃x ∈ Z ∃y ∈ Z, x 2 + 5 = y 2 es verdadera.
anidados
Tomando, x = −2 y y = 3, tenemos que x ∈ Z, y ∈ Z y
x 2 + 5 = y 2 es verdadera.
 El juego de la lógica

Presentacion
Consideremos una proposición anidada, por ejemplo,
∀x∃y , P(x, y ) usted y su oponente, a quien llamaremos
Reglas de
Inferencia Fernando, participan en un juego de lógica. Su meta es hacer
Cuantificadores P(x, y ) verdadera, y la de Fernando es tratar de que P(x, y )
Reglas de sea falsa. El juego comienza con el primer cuantificador
inferencia para
afirmaciones (izquierda). Si el cuantificador es ∀, Fernando elige un valor
cuantificadas
para esa variable; si el cuantificador es ∃, usted elige un valor
Cuantificadores
anidados para esa variable. El juego continúa con el segundo
cuantificador. Después de elegir los valores para todas la
variables, si P(x, y ) es verdadera, usted gana; si P(x, y ) es
falsa, Fernando gana. Se mostrará que si usted gana siempre
sin importar qué valores elija Fernando para las variables, la
afirmación cuantificada será verdadera, pero si Fernando elige
valores para las variables de manera que usted no pueda ganar,
la afirmación cuantificada será falsa.
 Presentacion

Reglas de Ejemplo
Inferencia

Cuantificadores Consideremos la proposición ∃x ∈ R∀y ∈ R, x + y = 0. Como

Reglas de el primer cuantificador es ∃, usted juega primero y elige un
inferencia para
afirmaciones valor para x. Como el segundo cuantificador es ∀, Fernando
cuantificadas
juega después. Sin importar qué valor eligió usted, Fernando
Cuantificadores
anidados siempre puede seleccionar un valor de y que haga falsa la
afirmación x + y = 0.( Si usted elige x = 0, Fernando opta por
y = 1. Si usted elige x 6= 0, Fernando escoge y = 0). Fernando
puede ganar siempre el juego, por lo tanto la afirmación
∃x ∈ R∀y ∈ R, x + y = 0. es falsa.
 Presentacion

Ejemplo
Reglas de Consideremos la proposición ∀x ∈ R∃y ∈ R, x 2 < y + 1.
Inferencia

Cuantificadores En este caso, para cualquier x que escoja fernando ud. puede
Reglas de
inferencia para
escoger y = x 2 y ası́, x 2 < y + 1 es verdadera y ud. gana
afirmaciones
cuantificadas
siempre. Esto es, la proposición es verdadera.
Cuantificadores
anidados
 Presentacion

Ejemplo
Reglas de Consideremos la proposición ∀x ∈ R∃y ∈ R, x 2 < y + 1.
Inferencia

Cuantificadores En este caso, para cualquier x que escoja fernando ud. puede
Reglas de
inferencia para
escoger y = x 2 y ası́, x 2 < y + 1 es verdadera y ud. gana
afirmaciones
cuantificadas
siempre. Esto es, la proposición es verdadera.
Cuantificadores
anidados
Ejemplo
Consideremos la proposición ∀x ∈ R∀y ∈ R, x 2 < y + 1

En este caso la proposión será verdadera si para cualquier

elección de x, y que haga fernando, x 2 < y + 1 es verdadera,
pero si fernando escoge x = 0 y y = −2, tendremos que
x 2 < y + 1 es falsa y gana fernando.
Por lo que, ∀x ∈ R∀y ∈ R, x 2 < y + 1 es falsa.