Función proposicional Ejemplo: p(x)= x<2 q(x)= x es impar
P(x) = x es menor que dos Esto podría particularizarse así: “Existe un número real que es menor que dos” o generalizarlo diciendo: “Todos los números reales son menores que dos”. En cualquiera de los dos casos, se especifica un conjunto donde está tomando valores la variable, para nuestro ejemplo, el conjunto de los números reales. Para notar la particularización y la generalización, se utiliza la siguiente simbología, respectivamente: que se lee: “existe un equis que pertenece a erre (a los reales), tal que equis es menor que dos” Mientras que: se lee: “para todo equis que pertenece a erre (a los reales), se cumple que equis es menor que dos” Cuantificadores Se hace referencia a aquellos símbolos que se utilizan para indicar cantidad en una proposición, es decir, permiten establecer “cuántos” elementos de un conjunto determinado, cumplen con cierta propiedad. Ejemplo:
Cuantificador universal Se utiliza para afirmar que TODOS los elementos de un conjunto, cumplen con una condición o propiedad determinada. Esto se expresa como: Se simboliza con