Documente Academic
Documente Profesional
Documente Cultură
Escuela de Educación
Carrera de Educación General Básica Didáctica de la Matemática 1
CUANTIFICADORES
Cuando una mujer engañada afirma:” Todos los hombres son mentirosos
”, si reflexionamos un poco esta afirmación que para ella es verdadera (por la rabia)
generalmente es falsa, porque pensando un poco debe existir al menos un hombre que
no es mentiroso.
Entonces esas afirmaciones que acostumbramos a decir en general no son precisas, ni
verdaderas.
Plan de estudio
Sólo trataremos cuantificadores en una letra, aunque también existen en dos letras
Su escritura
2009 1
Pontificia Universidad Católica de Valparaíso
Escuela de Educación
Carrera de Educación General Básica Didáctica de la Matemática 1
Definición 1 Una función proposicional en una letra x es una expresión formal p(x) tal
que se tiene lo siguiente: cada vez que se reemplaza la letra x por un elemento a de un
conjunto (previamente) dado U, resulta una proposición p(a).
Cuantificador universal
Definición 2:
Si p(x) es un función proposicional y U es un conjunto, entonces la expresión
( ∀ x ∈ U)p(x)
es una expresión que significa que al reemplazar la letra x por cualquier elemento
a de U, resulta p(a) verdadera.
La expresión se lee
2009 2
Pontificia Universidad Católica de Valparaíso
Escuela de Educación
Carrera de Educación General Básica Didáctica de la Matemática 1
Cuantificador existencial
Definición 3: s
( ∃x ∈ U ) p ( x )
es una expresión que significa que al menos para un elemento a de U, se tiene que
p(a) es verdadera.
La expresión (∃x ∈ U ) p ( x )
Aclaración:
Con frecuencia cuando se trabaja con cuantificadores, el conjunto de referencia se
sobreentiende y se prefiere no anotarlo y así se escribe:
Notación:
2009 3
Pontificia Universidad Católica de Valparaíso
Escuela de Educación
Carrera de Educación General Básica Didáctica de la Matemática 1
( ∃ x)p(x) para expresar ( ∃ x ∈ U ) p ( x ) .
Propiedad 2: (∀x) p ( x) ⇔ (∃x ) p( x) , esta regla nos da una demostración muy común,
para probar la falsedad de un para todo x p(x) , basta encontrar un contra-ejemplo, es
decir un elemento x para el cual p(x) es falsa (es decir que p ( x) sea verdad).
Ejemplo: Si se quiere probar la afirmación: No es cierto que todos los osos son blancos
es verdadera, bastaría con exhibir un oso que no sea blanco
Todo número real tiene un inverso multiplicativo es falsa, porque el cero que es
real no tiene inverso multiplicativo
Ejemplo
Compruebe que en ¢ , la afirmación
Todo número es par o impar es verdadera
Todo número es par o bien todo número es impar es falsa, pues ninguna de sus
componentes es verdadera
Bibliografía
2009 4
Pontificia Universidad Católica de Valparaíso
Escuela de Educación
Carrera de Educación General Básica Didáctica de la Matemática 1
Ejercicios
2009 5
Pontificia Universidad Católica de Valparaíso
Escuela de Educación
Carrera de Educación General Básica Didáctica de la Matemática 1
x2 − 2
b) ∃x ∈ℜ, =o
x2 −1
8.- Exprese con una frase la negación de: “Todos los triángulos equiláteros son
isósceles”
b) [ ∃x ∈ℜ,1 + 5 x + 3 x + 4 = 8 x + 1]
10 Traduzca a lenguaje simbólico y exprese con una frase la negación de cada una de
las proposiciones:
a) Todos los hongos no son comestibles
b) Algunos triángulos equiláteros son isósceles
c) Todos los triángulos equiláteros son isósceles
d) Cualquiera persona que ora no es atea
c) ( ∀x ) (∀x) p ( x) ∨ ( ∀x ) q ( x ) ⇒ ( ( ∃x ) r ( x) )
2009 6