Funkcja o wartościach logicznych - Boolean-valued function
Funkcjonować |
---|
x ↦ f ( x ) |
Przykłady według domeny i kodomeny |
Klasy / właściwości |
Konstrukcje |
Uogólnienia |
Funkcja logiczna wartościach (czasami nazywany orzeczenie czy propozycja ) jest funkcją , typu f: X → B , gdzie X oznacza dowolny zestaw i gdzie B jest logiczne domeny , czyli ogólna dwuelementowa zestaw (na przykład B = {0, 1}), której elementy są interpretowane jako wartości logiczne , na przykład, 0 = fałszywy i 1 = prawda , czyli jeden kawałek z informacji .
W naukach formalnych , matematyce , logice matematycznej , statystyce i ich dyscyplinach stosowanych funkcja o wartościach logicznych może być również określana jako funkcja charakterystyczna, funkcja wskaźnikowa , predykat lub zdanie. Rozumie się, że we wszystkich tych zastosowaniach różne terminy odnoszą się do przedmiotu matematycznego, a nie do odpowiadającego mu znaku semiotycznego lub wyrażenia składniowego.
W formalnych semantycznej teorii prawdy , o predykat prawdy jest orzecznikiem w zdaniach o języku formalnym , interpretowane na logice, która formalizuje intuicyjną koncepcję, która jest zwykle wyrażona przez powiedzenie, że zdanie jest prawdziwe. Predykat prawdy może mieć dodatkowe domeny poza domeną języka formalnego, jeśli jest to wymagane do określenia ostatecznej wartości prawdy .
Zobacz też
Bibliografia
- Brown, Frank Markham (2003), Boolean Reasoning: The Logic of Boolean Equations , 1. wydanie, Kluwer Academic Publishers, Norwell, MA. Wydanie drugie, Dover Publications, Mineola, NY, 2003.
- Kohavi, Zvi (1978), Switching and Finite Automata Theory , 1. wydanie, McGraw – Hill, 1970. 2. wydanie, McGraw – Hill, 1978. 3. wydanie, McGraw – Hill, 2010.
- Korfhage, Robert R. (1974), Discrete Computational Structures , Academic Press, New York, NY.
- Mathematical Society of Japan , Encyclopedic Dictionary of Mathematics , 2. wydanie, 2 tomy, Kiyosi Itô (red.), MIT Press, Cambridge, MA, 1993. Cytowane jako EDM.
- Minsky, Marvin L. i Papert, Seymour, A. (1988), Perceptrons , An Introduction to Computational Geometry , MIT Press, Cambridge, MA, 1969. Revised, 1972. Expanded edition, 1988.