جدول الحقيقة

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
  • ويلارد فان أورمان كواين (1982), Methods of Logic, 4th edition, Cambridge, MA: Harvard University Press.
En otros idiomas