Cuantificadores

Son todos aquellos smbolos utilizados en una

preposicin lgica para indicar CUNTOS elementos
de un conjunto dado cumplen con cierta propiedad.
Cuantificador Universal
Es la operacin lgica
que es verdadera cuando
todos los valores de x,
pertenecientes al
conjunto con el cual se
relaciona, son
verdaderos:
x
para todos los x.

Cuantificador Existencial

Es la operacin lgica que

es verdadera cuando al
menos un valor de x
perteneciente al
conjunto con el cual se
relaciona es verdadero:
x
existe por lo menos un x

Ejemplo de Cuantificador Universal

Sea A = (1, 2, 3, 4, 5, 6). Determina el valor de
verdad de x A, x < 34 para cada elemento
de A:
Para x = 1 1 < 34 .................. (V)
Para x = 2 2 < 34 .................. (V)
Para x = 3 3 < 34 .................. (V)
Para x = 4 4 < 34 .................. (V)
Para x = 5 5 < 34 .................. (V)
Para x = 6 6 < 34 .................. (F)
La preposicin es falsa, ya que no todos los
elementos del conjunto de x son menores a 34.

Ejemplo de Cuantificador Existencial

Sea B = (2, 4, 6). Determina el valor de verdad
de x B/ 3x > 10.
Para x = 2 6 > 10... (F)
Para x = 4 12 > 10. (V)
Para x = 6 18 > 10. (V)
La proposicin x B/ 3x > 10 con B = (2, 4,
6), es verdadera.