Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Los Cuantificadores
Los Cuantificadores
Cuantificador Universal (∀x): se lee ‟ para todo ” e indica que todo lo que se escriba a su
derecha es verdadero para todo los valores de la variable
Ejemplo : (∀x) ԑ R: x2 + 1 = 10; es verdadero para todo los valores de la variable x, es decir,
que solamente es verdadero cuando todos los valores son vedaderos.
¡) (∀x) ԑ R ;( x)2 + 1 ˃ 12_F__ El valor de verdad es falso, porque no todas son verdaderas
(2)2 +1 = 4 +1= 5 F
(3)2 + 1 = 9 + 1 =10 F
2) (∀x)ԑ R :(X )2 + 8 ˃ 10_V__El valor de verdad es verdadero, porque todas son verdaderas
(2)2 + 8 = 4 + 8 = 12˃10 V
(3)2 + 8 =9 + 8 =17˃10 V
Cuantificador Existencial (Ǝx): se lee ‟exixte alguno” e indica que lo que se escribe a su
derecha es verdadero por lo menos para algún valor de la variable
3(3) + 2 =9 + 2 =11˃11F
(2)2 + 3 =4 + 3 =7 F
(3)2 + 3 =9 + 3 = 12 V
2) (Ǝx) ԑ A: X2 + 3 = 19___
4) (Ǝx) ԑ A: X2 = 25___