Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Cuantificadores
Cuantificadores
FACULTAD DE CIENCIAS
DEPARTAMENTO DE MATEMÁTICA
Cuanticadores
Apunte de Clase
Jenner Chapoñán D.
28 de septiembre de 2022
CONTENIDOS
1 INTRODUCCIÓN
Introducción
CUANTIFICADORES
Es el conjunto de todos los valores para los cuales una función proposicional es
verdadera.
En general el conjunto de validez de la función proposicional p es denotado por Vp .
NOTA
Para determinar el conjunto de validez de una función proposicional, es necesario
especicar el conjunto universo.
EJEMPLO1
Para la función proposicional p(x) : x 2 = 25 Si tomamos el conjunto R de los
números reales como el universo, el conjunto de validez de p es {−5, 5}.Si el
universo fuera el conjunto N de los número naturales, entonces el conjunto de
validez es {5}.
CUANTIFICADORES
Es el conjunto de todos los valores para los cuales una función proposicional es
verdadera.
En general el conjunto de validez de la función proposicional p es denotado por Vp .
NOTA
Para determinar el conjunto de validez de una función proposicional, es necesario
especicar el conjunto universo.
EJEMPLO1
Para la función proposicional p(x) : x 2 = 25 Si tomamos el conjunto R de los
números reales como el universo, el conjunto de validez de p es {−5, 5}.Si el
universo fuera el conjunto N de los número naturales, entonces el conjunto de
validez es {5}.
CUANTIFICADORES
Es el conjunto de todos los valores para los cuales una función proposicional es
verdadera.
En general el conjunto de validez de la función proposicional p es denotado por Vp .
NOTA
Para determinar el conjunto de validez de una función proposicional, es necesario
especicar el conjunto universo.
EJEMPLO1
Para la función proposicional p(x) : x 2 = 25 Si tomamos el conjunto R de los
números reales como el universo, el conjunto de validez de p es {−5, 5}.Si el
universo fuera el conjunto N de los número naturales, entonces el conjunto de
validez es {5}.
CUANTIFICADORES
Es el conjunto de todos los valores para los cuales una función proposicional es
verdadera.
En general el conjunto de validez de la función proposicional p es denotado por Vp .
NOTA
Para determinar el conjunto de validez de una función proposicional, es necesario
especicar el conjunto universo.
EJEMPLO1
Para la función proposicional p(x) : x 2 = 25 Si tomamos el conjunto R de los
números reales como el universo, el conjunto de validez de p es {−5, 5}.Si el
universo fuera el conjunto N de los número naturales, entonces el conjunto de
validez es {5}.
CUANTIFICADORES
Es el conjunto de todos los valores para los cuales una función proposicional es
verdadera.
En general el conjunto de validez de la función proposicional p es denotado por Vp .
NOTA
Para determinar el conjunto de validez de una función proposicional, es necesario
especicar el conjunto universo.
EJEMPLO1
Para la función proposicional p(x) : x 2 = 25 Si tomamos el conjunto R de los
números reales como el universo, el conjunto de validez de p es {−5, 5}.Si el
universo fuera el conjunto N de los número naturales, entonces el conjunto de
validez es {5}.
CUANTIFICADORES
Es el conjunto de todos los valores para los cuales una función proposicional es
verdadera.
En general el conjunto de validez de la función proposicional p es denotado por Vp .
NOTA
Para determinar el conjunto de validez de una función proposicional, es necesario
especicar el conjunto universo.
EJEMPLO1
Para la función proposicional p(x) : x 2 = 25 Si tomamos el conjunto R de los
números reales como el universo, el conjunto de validez de p es {−5, 5}.Si el
universo fuera el conjunto N de los número naturales, entonces el conjunto de
validez es {5}.
EJERCICIO
Considere el conjunto universo U = {−2, 0, 1, 2, 3, 4} y la función proposicional
q(x) : x es un múltiplo de 2 → x es par.
CUANTIFICADOR
NOTA
Los cuanticadores fundamentales que usaremos son:
1 Cuanticador universal.
2 Cuanticador existencial.
CUANTIFICADOR
NOTA
Los cuanticadores fundamentales que usaremos son:
1 Cuanticador universal.
2 Cuanticador existencial.
CUANTIFICADOR
NOTA
Los cuanticadores fundamentales que usaremos son:
1 Cuanticador universal.
2 Cuanticador existencial.
EJEMPLO2
∀x ∈ N : x > 5 es una proposición falsa.
EJEMPLO3
∃x ∈ N : x > 5 es una proposición verdadera.
EJEMPLO2
∀x ∈ N : x > 5 es una proposición falsa.
EJEMPLO3
∃x ∈ N : x > 5 es una proposición verdadera.
EJEMPLO2
∀x ∈ N : x > 5 es una proposición falsa.
EJEMPLO3
∃x ∈ N : x > 5 es una proposición verdadera.
EJEMPLO2
∀x ∈ N : x > 5 es una proposición falsa.
EJEMPLO3
∃x ∈ N : x > 5 es una proposición verdadera.
EJEMPLO2
∀x ∈ N : x > 5 es una proposición falsa.
EJEMPLO3
∃x ∈ N : x > 5 es una proposición verdadera.
EJERCICIO
Considere la función proposicional p(x) = x 2 − x y el conjunto A = {1, 2, 3}.
Establezca el valor de verdad de las siguientes proposiciones:
∀x ∈ A : p(x) < p(5)
∃x ∈ A : p(x + 1) = p(x).
EJERCICIO
Considere la función proposicional p(x) = x 2 − x y el conjunto A = {1, 2, 3}.
Establezca el valor de verdad de las siguientes proposiciones:
∀x ∈ A : p(x) < p(5)
∃x ∈ A : p(x + 1) = p(x).
NEGACIONES DE CUANTIFICADORES
EJEMPLO 4
Niegue las proposiciones
1 ∀x ∈ N : x ≥ 5
2
2 ∃x ∈ R : x = 1
NEGACIONES DE CUANTIFICADORES
EJEMPLO 4
Niegue las proposiciones
1 ∀x ∈ N : x ≥ 5
2
2 ∃x ∈ R : x = 1
EJERCICIO
Escriba la negación de las siguientes proposiciones,
p : (∀x ∈ A)(¬p(x) → ¬q(x))
p : (∃x ∈ A)(p(x) ∧ ¬q(x))
EJERCICIO
Escriba la negación de las siguientes proposiciones,
p : (∀x ∈ A)(¬p(x) → ¬q(x))
p : (∃x ∈ A)(p(x) ∧ ¬q(x))
EJERCICIO
Escriba la negación de las siguientes proposiciones,
p : (∀x ∈ A)(¬p(x) → ¬q(x))
p : (∃x ∈ A)(p(x) ∧ ¬q(x))
EJERCICIO
Considere el conjunto A = {−2, −1, 1, 2} y las proposiciones
p : (∀x ∈ A)(∀y ∈ A)(x < y → x + y ≥ 0)
EJERCICIO
Considere el conjunto A = {−2, −1, 1, 2} y las proposiciones
p : (∀x ∈ A)(∀y ∈ A)(x < y → x + y ≥ 0)
EJERCICIO
Considere los conjuntos A = {0, −1, 2} y B = {1, 2, 3} y las proposiciones
p : (∀x ∈ A)(∃y ∈ B)(x · y < 0)
EJERCICIO
Considere los conjuntos A = {0, −1, 2} y B = {1, 2, 3} y las proposiciones
p : (∀x ∈ A)(∃y ∈ B)(x · y < 0)
Ron Larson,
Algebra and Trigonometry .
Cengage Learning,
8 (2011).
G. Zill, Dennis and M Dewar, Jacqueline
Algebra y trigonometria .
McGraw Hill,
3 (2012).