مجال منطقي

قالب:يتيمة قالب:شريط جانبي المغالطات المنطقية المجال المنطقي قالب:إنج هو مجال في المنطق والرياضيات وعلوم الكمبيوتر النظرية يتكون من عنصرين بالضبط تتضمن تفسيراتهما الصح أو الخطأ. يُكتب المجال المنطقي عادةً على الشكل {0, 1}, أو $𝔹$.

البنية الجبرية تبني في المجال المنطقي على قالب:وإو. قالب:وإو هي من الفئات المحدودة لشبكة المجال المنطقي.

في علوم الحاسوب، المتغير المنطقي هو متغير يأخذ قيماً في بعض المجالات المنطقية. تحتوي بعض لغات البرمجة على كلمات أو رموز محجوزة لعناصر المجال المنطقي، مثلاً خطأ قالب:إنج و صح قالب:إنج. رغم ذلك فإن العديد من لغات البرمجة لا تحتوي على نوع بيانات منطقي بالمعنى الدقيق للكلمة. في سي++ أو بيسيك، على سبيل المثال يُمثيل الخطأ بالرقم 0 ويتم تمثيل الحقيقة بالرقم 1 أو -1 ويمكن أيضاً أن تأخذ جميع المتغيرات التي يمكن أن تأخذ هذه القيم أي قيم عددية أخرى.

التعميمات

يمكن استبدال المجال المنطقي {0، 1} بفاصل الوحدة [0,1] في هذه الحالة بدلاً من أخذ القيم 0 أو 1 فقط يمكن افتراض أي قيمة بين 0 و 1 وتضمينها. جبريًا يُستبدل النفي (NOT) بـ $1-x,$ والاقتران (AND) بالضرب ($xy$)، ويُعرّف الانفصال (OR) من خلال قانون دي مورجان ليكون $1-(1-x)(1-y)$.

تفسير هذه القيم باعتبارها قيم منطقية للحقيقة ينتج عنه قالب:وإو والذي يشكل الأساس للمنطق الضبابي وقالب:وإو. في هذه التفسيرات تُفسر القيمة على أنها «درجة» الحقيقة قالب:اقتباس مضمن

انظر أيضاً

• قالب:وإو
• قالب:وإو

المراجع

قراءة معمقة

• قالب:استشهاد بكتاب [١] (455 pages) [٢] (NB. Contains extended versions of the best manuscripts from the 10th International Workshop on Boolean Problems held at the Technische Universität Bergakademie Freiberg, Germany on 2012-09-19/21.)
• قالب:استشهاد بكتاب (480 pages) [٣] (NB. Contains extended versions of the best manuscripts from the 11th International Workshop on Boolean Problems held at the Technische Universität Bergakademie Freiberg, Germany on 2014-09-17/19.)
• قالب:استشهاد بكتاب [٤] قالب:Webarchive (536 pages) [٥] (NB. Contains extended versions of the best manuscripts from the 12th International Workshop on Boolean Problems held at the Technische Universität Bergakademie Freiberg, Germany on 2016-09-22/23.)
• قالب:استشهاد بكتاب (vii+265+7 pages) [٦](NB. Contains extended versions of the best manuscripts from the 13th International Workshop on Boolean Problems (IWSBP 2018) held in Bremen, Germany on 2018-09-19/21.)
• قالب:استشهاد بكتاب (204 pages) (NB. Contains extended versions of the best manuscripts from the 14th International Workshop on Boolean Problems (IWSBP 2020) held مرض فيروس كورونا 2019 on 2020-09-24/25.)