booleskt värderad funktion
| Funktion |
|---|
| x ↦ f ( x ) |
| Exempel på domäner och koddomäner |
| Klasser/fastigheter |
| Konstruktioner |
| Generaliseringar |
En booleskt värderad funktion (kallas ibland ett predikat eller en proposition ) är en funktion av typen f : X → B , där X är en godtycklig mängd och där B är en boolesk domän , dvs. en generisk tvåelementsmängd, (för exempel B = {0, 1}) , vars element tolkas som logiska värden , till exempel 0 = falskt och 1 = sant , det vill säga en enskild informationsbit .
Inom formella vetenskaper , matematik , matematisk logik , statistik och deras tillämpade discipliner, kan en boolesk-värderad funktion också hänvisas till som en karakteristisk funktion, indikatorfunktion , predikat eller proposition. I alla dessa användningar är det underförstått att de olika termerna hänvisar till ett matematiskt objekt och inte motsvarande semiotiska tecken eller syntaktiska uttryck.
I formella semantiska teorier om sanning är ett sanningspredikat ett predikat på meningarna i ett formellt språk , tolkat för logik, som formaliserar det intuitiva konceptet som normalt uttrycks genom att säga att en mening är sann. Ett sanningspredikat kan ha ytterligare domäner utöver den formella språkdomänen, om det är vad som krävs för att fastställa ett slutgiltigt sanningsvärde .
Se även
- Brown, Frank Markham (2003), Boolean Reasoning: The Logic of Boolean Equations , 1:a upplagan, Kluwer Academic Publishers, Norwell, MA. 2:a upplagan, Dover Publications, Mineola, NY, 2003.
- Kohavi, Zvi (1978), Switching and Finite Automata Theory , 1:a upplagan, McGraw–Hill, 1970. 2:a upplagan, McGraw–Hill, 1978. 3:e upplagan, McGraw–Hill, 2010.
- Korfhage, Robert R. (1974), Discrete Computational Structures , Academic Press, New York, NY.
- Mathematical Society of Japan , Encyclopedic Dictionary of Mathematics , 2nd edition, 2 vols., Kiyosi Itô (red.), MIT Press, Cambridge, MA, 1993. Citerad som EDM.
- Minsky, Marvin L. och Papert, Seymour, A. (1988), Perceptrons , An Introduction to Computational Geometry , MIT Press, Cambridge, MA, 1969. Reviderad, 1972. Expanded edition, 1988.