Función booleana

Una función con valores booleanos (a veces llamada predicado o proposición ) es una función del tipo f  : X → B , donde X es un conjunto arbitrario y donde B es un dominio booleano , es decir, un conjunto genérico de dos elementos (por ejemplo, B = {0, 1}), cuyos elementos se interpretan como valores lógicos , por ejemplo, 0 = falso y 1 = verdadero , es decir, un solo bit de información .

En las ciencias formales , las matemáticas , la lógica matemática , la estadística y sus disciplinas aplicadas, una función booleana también puede denominarse función característica, función indicadora , predicado o proposición. En todos estos casos, se entiende que los distintos términos se refieren a un objeto matemático y no al signo semiótico o expresión sintáctica correspondiente.

En las teorías semánticas formales de la verdad , un predicado de verdad es un predicado sobre las oraciones de un lenguaje formal , interpretado lógicamente, que formaliza el concepto intuitivo que normalmente se expresa diciendo que una oración es verdadera. Un predicado de verdad puede tener dominios adicionales más allá del dominio del lenguaje formal, si eso es lo que se requiere para determinar un valor de verdad final .

• Brown, Frank Markham (2003), Boolean Reasoning: The Logic of Boolean Equations , 1.ª edición, Kluwer Academic Publishers, Norwell, MA. 2.ª edición, Dover Publications, Mineola, NY, 2003.
• Kohavi, Zvi (1978), Switching and Finite Automata Theory , 1.ª edición, McGraw-Hill, 1970. 2.ª edición, McGraw-Hill, 1978. 3.ª edición, McGraw-Hill, 2010.
• Korfhage, Robert R. (1974), Estructuras computacionales discretas , Academic Press, Nueva York, NY.
• Sociedad Matemática de Japón , Diccionario Enciclopédico de Matemáticas , 2.ª edición, 2 vols., Kiyosi Itô (ed.), MIT Press, Cambridge, MA, 1993. Citado como EDM.
• Minsky, Marvin L. y Papert, Seymour, A. (1988), Perceptrones , Una introducción a la geometría computacional , MIT Press, Cambridge, MA, 1969. Revisado, 1972. Edición ampliada, 1988.