يرجى مراجعة هذه المقالة وإزالة وسم المقالات غير المراجعة، ووسمها بوسوم الصيانة المناسبة.

جدول الحقيقة

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث
N write.svg
هذه مقالة غير مراجعة. ينبغي أن يزال هذا القالب بعد أن يراجعها محرر ما عدا الذي أنشأها؛ إذا لزم الأمر فيجب أن توسم المقالة بقوالب الصيانة المناسبة. (مايو 2015)

جدول الحقيقة هو جدول رياضي مستخدم في المنطق تحديدا في الجبر البولياني، وحساب القضايا لحساب القيم الوظيفية من التعبيرات المنطقية على الحجج، على كل مجموعة من القيم التي تتخذها متغيراتها المنطقية على وجه الخصوص، ([1] Enderton, 2001) وجداول الحقيقة يمكن أن تستخدم لمعرفة ما إذا كان التعبير المعطى صحيح لجميع مدخلات القيم.

قراءة إضافية[عدل]

  • Bocheński, Józef Maria (1959), A Précis of Mathematical Logic, translated from the French and German editions by Otto Bird, Dordrecht, South Holland: D. Reidel.
  • Enderton, H. (2001). A Mathematical Introduction to Logic, second edition, New York: Harcourt Academic Press. ISBN 0-12-238452-0
  • Quine, W.V. (1982), Methods of Logic, 4th edition, Cambridge, MA: Harvard University Press.

روابط خارجية[عدل]

مراجع[عدل]

  1. ^ Enderton, H. (2001). A Mathematical Introduction to Logic, second edition, New York: Harcourt Academic Press. ISBN 0-12-238452-0