Función con valor booleano

Es posible que sea necesario reescribir este artículo para cumplir con los estándares de calidad de Wikipedia . Puedes ayudar. La página de discusión puede contener sugerencias. ( Marzo de 2011 )

Una función con valor booleano (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 con valor booleano también puede denominarse función característica, función indicadora , predicado o proposición. En todos estos usos, se entiende que los diversos 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 de las oraciones de un lenguaje formal , interpretado por lógica, que formaliza el concepto intuitivo que normalmente se expresa al decir 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), Razonamiento booleano: la lógica de las ecuaciones booleanas , 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. Revisada, 1972. Edición ampliada, 1988.