Cap1 Sesion02

Capítulo 1: Lógica e Inducción
Matemática
Sesión 02: Cuantificadores
Estudios Generales Ciencias, PUCP Capítulo 1: Lógica e Inducción Matemática

Objetivos
Al finalizar la sesión usted deberá:

Interpretar los cuantificadores en una proposición.
Reescribir la negación de cuantificadores de una proposición
dada.
Interpretar los cuantificadores múltiples adyacentes en una
proposición.
Demostrar proposiciones utilizando según sea el caso: la
demostración directa o indirecta.

Función lógica
Ejemplo
Dado el siguiente enunciado abierto:
p(x) : x + 2 > 7
es una proposición si se define sobre el conjunto
de los números naturales (N)
de los números complejos (C)
Definición
Dado un conjunto A. Una función lógica o función
proposicional, denotado por p(x), es una expresión que tiene la
propiedad de ser verdadera o falsa.

Conjunto de Validez
Ejemplo
Dada cada función lógica p(x) definida sobre N. Determine el
conjunto donde la función lógica p(x) sea verdadera.
p(x) : x + 2 > 7.
p(x) : x + 5 < 3.
Conjunto de validez
Si p(x) es una función lógica sobre A, entonces el conjunto de
elementos a ∈ A que tienen la propiedad de que p(a) es verdadero,
se llama conjunto de validez Vp de p(x).
Va = {x ∈ A, p(x) es verdadero} o Va = {x : p(x)}

Cuantificadores Universal y Existencial
Concepto
El símbolo ∀ significa “para todo” y es llamado cuantificador
universal.
El símbolo ∃ significa “existe” y es llamado cuantificador
existencial.
Ejemplo
En los siguientes enunciados podemos observar a los cuantificadores
y sus significados.
∀x ∈ A, p(x) (significa “para todo x ∈ A, se cumple p(x)”)
∃x ∈ A, p(x) (significa “existe un x ∈ A tal que p(x)”)

Ejemplo
¿Qué significa cada enunciado? ¿Son verdaderos o falsos?
∀x ∈ R, x2 ≥ 0
∀x ∈ R, x2 > 0
∃x ∈ R, x2 + x − 2 = 0
∃x ∈ R, x2 + 1 = 0
Dados los siguientes elementos:
A el conjunto de todas las personas,
h(x) : x es hombre y
n(x) : x tiene cabello negro.
∃x ∈ A, (h(x)∧ ∼ n(x)).
Con las notaciones del ítem anterior.
∀x ∈ A, h(x) ⇒ n(x).

Ejemplo
Sea el conjunto A = {−1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}. Determine el
valor de verdad sobre el conjunto A de los siguientes enunciados:
∃y, y 2 = 9.
∃z, z 2 6= 9.
∀x, x < 5 ⇒ x2 < 25.
∃x, x + x = x.

Ejemplo
Consideremos el siguiente enunciado:
“No todos los estudiantes universitarios estudian ingeniería”.
Exprese simbólicamente el enunciado.

Reescriba el enunciado utilizando la expresión “existen”.
Exprese simbólicamente el enunciado reescrito en el ítem
anterior.

Negación de Cuantificadores
Leyes de la negación de cuantificadores

∼ ∀x ∈ A, p(x) ≡ ∃x ∈ A, ∼ p(x).
∼ ∃x ∈ A, p(x) ≡ ∀x ∈ A, ∼ p(x).
El primer ítem nos dice que la frase “no todo” es equivalente a la
frase “existen algunos que no”. De igual manera, en el segundo
ítem, la expresión “no existen” es equivalente a la expresión “todos
no son”.

Negación de Cuantificadores
Ejemplo
Podemos reescribir la expresión ∼ ∀x ∈ A, p(x) ⇒∼ q(x) en una
forma positiva, de la siguiente manera:
∼ ∀x ∈ A, p(x) ⇒∼ q(x) ≡ ∃x ∈ A, ∼ (p(x) ⇒∼ q(x))

≡ ∃x ∈ A, (p(x)∧ ∼∼ q(x))
≡ ∃x ∈ A, (p(x) ∧ q(x))
Ejemplo
Reescribamos la expresión ∼ ∀x > 0, x2 > 1 ⇒ x < 4 en una forma
positiva, de la siguiente manera:
∼ ∀x > 0, x2 > 1 ⇒ x < 4 ≡ ∃x > 0, ∼ (x2 > 1 ⇒ x < 4)

≡ ∃x > 0, (x2 ∧ x 6< 4)
≡ ∃x > 0, (x2 ∧ x ≥ 4)
Cuantificadores Múltiples
Ejemplo
Determine el valor de verdad de los siguientes enunciados:
∃y ∈ R, ∀x ∈ R : x + y = x.
∀x ∈ R, ∃y ∈ R : x + y = 0.
∃y ∈ R, ∀x ∈ R : x + y = 0.
∃x ∈ R, ∃y ∈ R : x + y = 0.
∀x ∈ R, ∀y ∈ R : x + y = 0.
Observaciones
Los cuantificadores adyacentes del mismo tipo pueden ser
intercambiados, sin cambiar su significado.
Los cuantificadores adyacentes de un tipo diferente pueden no
ser intercambiados, sin cambiar su significado.

Negación de cuantificadores múltiples
Ejemplo
Usando las leyes de la negación de cuantificadores, compruebe las
siguientes equivalencias.
∼ (∃x, ∀y : R(x, y)) ≡ ∀x, ∃y : ∼ R(x, y).
∼ (∀x, ∃y : R(x, y)) ≡ ∃x, ∀y : ∼ R(x, y).
∼ (∃x, ∀y : R(x, y)) ≡ ∀x, ∼ (∀y : R(x, y))

≡ ∀x, ∃y : ∼ R(x, y)

Los números reales
Axiomas
A1 . ∀a, b ∈ R : a + b ∈ R.
A2 . ∀a, b ∈ R : a + b = b + a.
A3 . ∀a, b, c ∈ R : (a + b) + c = a + (b + c).
A4 . ∃!0 ∈ R, ∀a ∈ R : 0 + a = a = a + 0.
A5 . ∀a ∈ R, ∃!(−a) ∈ R : a + (−a) = 0 = (−a) + a.
M1 . ∀a, b ∈ R : ab ∈ R.
M2 . ∀a, b ∈ R : ab = ba.
M3 . ∀a, b, c ∈ R : (ab)c = a(bc).
M4 . ∃!1 ∈ R, ∀a ∈ R : 1 · a = a = a · 1.
M5 . ∀a ∈ R − {0}, ∃!a−1 ∈ R : a · a−1 = 1 = a−1 · a.

Los números reales
Axiomas (continuación)
D. ∀a, b, c ∈ R : a(b + c) = ab + ac.
O1 . ∀a, b ∈ R : a < b o a = b o a > b.
O2 . Si a < b y b < c, entonces a < c.
O3 . Si a < b, entonces ∀c ∈ R, a + c < b + c.
O4 . Si a < b y 0 < c, entonces ac < bc.
L. Si S es un conjunto no vacío de elementos de R
superiormente acotado, entonces S tiene un supremo
en R.

Contraejemplo
Concepto
Para demostrar que un enunciado
∀x, p(x)
es falso, demostramos que el enunciado
∃x, ∼ p(x)
es verdadero, es decir, existe un x0 tal que p(x0 ) es falso. Donde

x0 se llama contraejemplo del enunciado ∀x, p(x).
Ejemplo
El enunciado ∀x ∈ R, x2 − 2x + 1 > 0 es falso, pues
∃x ∈ R, x2 − 2x + 1 ≤ 0 es verdadero. Basta con tomar x0 = 1
para verificar que x20 − 2x0 + 1 ≤ 0 se cumple.
Demostración directa
Ejemplo
Demuestre cada uno de las siguientes proposiciones:
Para todo a ∈ R, a · 0 = 0.
Para todo a ∈ R, −a = (−1)a.
Si a < b y c < d, entonces a + c < b + d.
Si a < b, entonces −a > −b.
Si a < b y c < 0, entonces ac > bc.

Demostración por contradicción o reducción al absurdo
Ejemplo
Demostrar que si n2 es par, entonces n es par.
Prueba. En efecto, demostraremos por contradicción. Suponiendo

que n es impar, se tiene que n = 2k + 1 para algún k ≥ 0. Luego
n2 = (2k + 1)2
= 4k 2 + 4k + 1
= 2(2k 2 + 2k) + 1.
Por lo tanto, n2 es impar.

Lo que contradice que n2 sea par.
Por consiguiente, la proposición queda demostrada.

Referencias
CUNNINGHAM, Daniel
2012 “Quantifiers”. A logical introduction to proof. New
York: Springer, pp. 34-60.

Cap1 Sesion02

Cargado por

Copyright:

Formatos disponibles

Cap1 Sesion02

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

Cap1 Sesion02

Cargado por

Copyright:

Formatos disponibles

Capítulo 1: Lógica e Inducción

Estudios Generales Ciencias, PUCP Capítulo 1: Lógica e Inducción Matemática

Al finalizar la sesión usted deberá:

Estudios Generales Ciencias, PUCP Capítulo 1: Lógica e Inducción Matemática

Estudios Generales Ciencias, PUCP Capítulo 1: Lógica e Inducción Matemática

Va = {x ∈ A, p(x) es verdadero} o Va = {x : p(x)}

Estudios Generales Ciencias, PUCP Capítulo 1: Lógica e Inducción Matemática

Estudios Generales Ciencias, PUCP Capítulo 1: Lógica e Inducción Matemática

Estudios Generales Ciencias, PUCP Capítulo 1: Lógica e Inducción Matemática

Estudios Generales Ciencias, PUCP Capítulo 1: Lógica e Inducción Matemática

“No todos los estudiantes universitarios estudian ingeniería”.

Exprese simbólicamente el enunciado.

Estudios Generales Ciencias, PUCP Capítulo 1: Lógica e Inducción Matemática

Leyes de la negación de cuantificadores

Estudios Generales Ciencias, PUCP Capítulo 1: Lógica e Inducción Matemática

∼ ∀x ∈ A, p(x) ⇒∼ q(x) ≡ ∃x ∈ A, ∼ (p(x) ⇒∼ q(x))

∼ ∀x > 0, x2 > 1 ⇒ x < 4 ≡ ∃x > 0, ∼ (x2 > 1 ⇒ x < 4)

Estudios Generales Ciencias, PUCP Capítulo 1: Lógica e Inducción Matemática

∼ (∃x, ∀y : R(x, y)) ≡ ∀x, ∼ (∀y : R(x, y))

Estudios Generales Ciencias, PUCP Capítulo 1: Lógica e Inducción Matemática

Estudios Generales Ciencias, PUCP Capítulo 1: Lógica e Inducción Matemática

Estudios Generales Ciencias, PUCP Capítulo 1: Lógica e Inducción Matemática

es falso, demostramos que el enunciado

es verdadero, es decir, existe un x0 tal que p(x0 ) es falso. Donde

Estudios Generales Ciencias, PUCP Capítulo 1: Lógica e Inducción Matemática

Prueba. En efecto, demostraremos por contradicción. Suponiendo

Por lo tanto, n2 es impar.

Estudios Generales Ciencias, PUCP Capítulo 1: Lógica e Inducción Matemática

Estudios Generales Ciencias, PUCP Capítulo 1: Lógica e Inducción Matemática

También podría gustarte