Una función proposicional es una función cuyas variables son proposiciones, es decir, afirmaciones que podrían asumir valores de verdad de falso o verdadero, excepto que existe alguna variable que no está definida y no permite asignar un valor de verdad. Un ejemplo es una función de la forma P(x) o P(x,y) donde al sustituir elementos del dominio se obtienen proposiciones cuya verdad puede evaluarse.