Funzione con valori booleani - Boolean-valued function
| Funzione |
|---|
| x ↦ f ( x ) |
| Esempi per dominio e codominio |
| Classi / proprietà |
| Costruzioni |
| Generalizzazioni |
Una funzione con valori booleani (a volte chiamata predicato o proposizione ) è una funzione del tipo f: X → B , dove X è un insieme arbitrario e dove B è un dominio booleano , cioè un generico insieme di due elementi, (per esempio B = {0, 1}), i cui elementi vengono interpretati come valori logici , ad esempio 0 = falso e 1 = vero , ovvero un singolo bit di informazione .
Nelle scienze formali , matematica , logica matematica , statistica e loro discipline applicate, una funzione con valori booleani può anche essere indicata come funzione caratteristica, funzione indicatore , predicato o proposizione. In tutti questi usi, si comprende che i vari termini si riferiscono a un oggetto matematico e non al segno semiotico corrispondente o all'espressione sintattica.
Nelle teorie semantiche formali della verità , un predicato di verità è un predicato sulle frasi di un linguaggio formale , interpretato per logica, che formalizza il concetto intuitivo che viene normalmente espresso dicendo che una frase è vera. Un predicato di verità può avere domini aggiuntivi oltre il dominio del linguaggio formale, se questo è ciò che è richiesto per determinare un valore di verità finale .
Guarda anche
Riferimenti
- Brown, Frank Markham (2003), Boolean Reasoning: The Logic of Boolean Equations , 1a edizione, Kluwer Academic Publishers, Norwell, MA. 2a edizione, Dover Publications, Mineola, NY, 2003.
- Kohavi, Zvi (1978), Switching and Finite Automata Theory , 1a edizione, McGraw – Hill, 1970. 2a edizione, McGraw – Hill, 1978. 3a edizione, McGraw – Hill, 2010.
- Korfhage, Robert R. (1974), Discrete Computational Structures , Academic Press, New York, NY.
- Mathematical Society of Japan , Encyclopedic Dictionary of Mathematics , 2a edizione, 2 voll., Kiyosi Itô (ed.), MIT Press, Cambridge, MA, 1993. Citato come EDM.
- Minsky, Marvin L. e Papert, Seymour, A. (1988), Perceptrons , An Introduction to Computational Geometry , MIT Press, Cambridge, MA, 1969. Revised, 1972. Expanded edition, 1988.
