Funciones proposicionales Una función proposicional (de una variable) es una expresión p(x) que se caracteriza porque al remplazar x por un elemento determinado, se convierte en una proposición. Por ejemplo: P(x):: x + 7 = 11 es una función proposicional, pues al reemplazar la x por cualquier valor se convertirá en una proposición que puede ser verdadera (x=4) o falsa (x=1) Cuantificadores Los cuantificadores son afirmaciones o frases que se encuentran frecuentemente ligadas a funciones proposicionales que pueden depender de una o más variables. Estas frases indican una cantidad, sea plural o singular sobre el sujeto incógnito de una función proposicional que cumple una propiedad determinada como pertenecía, equivalencia u orden. En tal sentido, el uso de cuantificadores permite convertir una función proposicional en una proposición; por ejemplo: P(x):: x + 7 = 11 es una función proposicional, pero la expresión: Existe un x, P(x):: x + 7 = 11 es una proposición a la cua