Clase 3 Inferencia y Cuantificadores
Clase 3 Inferencia y Cuantificadores
Clase 3 Inferencia y Cuantificadores
Reglas de
Inferencia
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
anidados
Reglas de Inferencia
Presentacion
Reglas de
Inferencia
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
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
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.
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
anidados
Función Proposicional
Presentacion
Reglas de
Consideremos la afirmación
Inferencia
Reglas de Ejemplo
Inferencia
Cuantificadores Sea
Reglas de
inferencia para
afirmaciones
P(n) : n es un entero impar
cuantificadas
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
∀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
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
anidados
Presentacion
Reglas de Ejemplo
Inferencia
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
4 Generalización existencial
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
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
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