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 , matemáticas , lógica matemática , 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 correspondiente signo semiótico o expresión sintáctica.
En las teorías semánticas formales de la verdad , un predicado de verdad es un predicado en las oraciones de un lenguaje formal , interpretado para la 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 .
Ver también
Referencias
- Brown, Frank Markham (2003), Razonamiento booleano: La lógica de las ecuaciones booleanas , 1ª edición, Kluwer Academic Publishers, Norwell, MA. 2da 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), Perceptrons , An Introduction to Computational Geometry , MIT Press, Cambridge, MA, 1969. Revisado, 1972. Edición ampliada, 1988.