פונקציה בוליאנית

פונקציה בוליאנית (לעיתים נקראת פרופוזיציה או פרדיקט) היא פונקציה המתאימה בין ערכים בקבוצה מסוימת (תחום) לבין קבוצה בת שני ערכים, אשר מבטאים הבחנה דיכוטומית בין ערך "אמת" ו"שקר". בשפה מתמטית, ניתן לבטא זאת כך: f : X → B. משמעות הסימון היא ש-f היא התאמה חד ערכית (פונקציה) בין ערכי קבוצה X, אשר יכולה להיות כל קבוצה, לבין B, שהיא קבוצה בת 2 איברים. B יכולה להיות למשל {0,1}, {yes,no}, {true, false} וכיוצא בזה. פונקציה זו נקראת "בוליאנית" שכן המושג "ביטוי בוליאני" משמעו ביטוי שערכיו יכולים להיות אמת או שקר.

במדעים הפורמליים, מתמטיקה, לוגיקה מתמטית, סטטיסטיקה והתחומים היישומיים שלהם, פונקציית ערך-בוליאני משמשת אף כפונקציה מתארת, פונקציית בוחן, פרדיקט או פרופוזיציה.

לקריאה נוספתעריכה

  • Brown, Frank Markham (2003), Boolean Reasoning: The Logic of Boolean Equations, 1st edition, Kluwer Academic Publishers, Norwell, MA. 2nd edition, Dover Publications, Mineola, NY, 2003.
  • Kohavi, Zvi (1978), Switching and Finite Automata Theory, 1st edition, McGraw–Hill, 1970. 2nd edition, McGraw–Hill, 1978.
  • 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ô (ed.), MIT Press, Cambridge, MA, 1993. Cited as EDM.
  • Minsky, Marvin L., and Papert, Seymour, A. (1988), Perceptrons, An Introduction to Computational Geometry, MIT Press, Cambridge, MA, 1969. Revised, 1972. Expanded edition, 1988.
  ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.