La funcin proposicional es una expresin del tipo P(x) cuyo valor de la verdad depender del valor que tome

la variable x el cual estar contenido dentro del dominio de la funcin, que no es ms que el conjunto de valores posibles que puede tomar la variable x. Dado que su valor de verdad depender de la variable estas funciones no son proposiciones sino que da origen a una proposicin al darle un valor a la variable. Estas son denotadas de la forma (A,P(x)), donde A representa el dominio de la funcin y P(x) es la funcin o proposicin abierta. Hay que tomar en cuenta que la cantidad de valores dentro del dominio de la funcin para los cuales esta es verdadera es variable, pueden ser todos, ninguno, algunos o solo uno. Estos ltimos son los llamados cuantificadores y pueden clasificarse en universales o existenciales. El cuantificador universal es Todos o Para Todo y se denota con el smbolo . Al

utilizarlo para una funcin proposicional se escribe de la forma ( xA) (P(x)) y se lee para todo x perteneciente a A, P(x). Por ejemplo, en la funcin proposicional P(x): x respira oxigeno, donde su dominio A son todos los mamferos, podemos decir que ( xA) (P(x)) es verdadera. El cuantificador existencial Existe al menos uno que se denota con el smbolo y lo utilizamos para decir existe al menos un valor dentro del dominio de la funcin para el cual esta es verdadera. Por ejemplo, en la funcin R(x): x est casado, cuyo dominio A ser los habitantes de Barquisimeto, podemos decir que (( xA) R(x)) es verdadera.

Existe una variante del cuantificador existencial que es existe un nico o existe slo uno el cual es llamado cuantificador existencial de unicidad y es denotado de la forma ! Asi, podemos decir de la funcin S(x): x es mi madre, donde su dominio B sern los miembros de mi familia, podemos decir que (( verdadera. ! xB) S(x)) es

Las proposiciones pueden tambin ser negadas mediante los cuantificadores cambiando estos de universales a existenciales y al viceversa.