دالة ذات قيمة منطقية

الدالة ذات القيمة المنطقية (والتي تسمى أحيانًا بالمسند أو القضية ) هي دالة من النوع f  : X → B ، حيث X هي مجموعة عشوائية و B هي مجال منطقي ، أي مجموعة عامة مكونة من عنصرين ، (على سبيل المثال B = {0, 1})، والتي يتم تفسير عناصرها كقيم منطقية ، على سبيل المثال ، 0 = خطأ و 1 = صحيح ، أي بت واحد من المعلومات .

في العلوم الصورية ، كالرياضيات والمنطق الرياضي والإحصاء وتطبيقاتها ، يُشار إلى الدالة ذات القيم المنطقية أيضًا بالدالة المميزة، أو دالة المؤشر ، أو المسند، أو القضية. وفي جميع هذه الاستخدامات، يُفهم أن المصطلحات المختلفة تشير إلى كائن رياضي وليس إلى العلامة السيميائية أو التعبير النحوي المقابل.

في النظريات الدلالية الرسمية للحقيقة ، يُعرَّف محمول الحقيقة بأنه محمول على جمل لغة رسمية ، مُفسَّرة منطقيًا، يُضفي طابعًا رسميًا على المفهوم البديهي الذي يُعبَّر عنه عادةً بالقول إن الجملة صحيحة. وقد يمتد نطاق محمول الحقيقة إلى مجالات أخرى خارج نطاق اللغة الرسمية، إذا اقتضت الضرورة ذلك لتحديد قيمة الحقيقة النهائية .

• براون، فرانك ماركهام (2003)، الاستدلال البولياني: منطق المعادلات البوليانية ، الطبعة الأولى، دار نشر كلوير الأكاديمية، نورويل، ماساتشوستس. الطبعة الثانية، دار نشر دوفر، مينولا، نيويورك، 2003.
• كوهفي، زفي (1978)، نظرية التبديل والأتمتة المحدودة ، الطبعة الأولى، ماكجرو هيل، 1970. الطبعة الثانية، ماكجرو هيل، 1978. الطبعة الثالثة، ماكجرو هيل، 2010.
• Korfhage, Robert R. (1974), Discrete Computal Structures , Academic Press, New York, NY.
• الجمعية الرياضية اليابانية ، القاموس الموسوعي للرياضيات ، الطبعة الثانية، مجلدان، كيوسي إيتو (محرر)، مطبعة معهد ماساتشوستس للتكنولوجيا، كامبريدج، ماساتشوستس، 1993. يُشار إليه باسم EDM.
• مينسكي، مارفن ل. ، وبابرت، سيمور، أ. (1988)، بيرسيبترون ، مقدمة في الهندسة الحسابية ، مطبعة معهد ماساتشوستس للتكنولوجيا، كامبريدج، ماساتشوستس، 1969. منقح، 1972. طبعة موسعة، 1988.