إعداد: حسن ارشافي، د. كمال بكور

الملخص:
تناول البحث دراسة بعض الصيغ من أنساق هيتنك وذلك في حساب بعض دلالات المنطق الحدسي حيث تم الاعتماد على بديهيات نسق هيتنك واستخدام قواعد الاشتقاق الثلاث العطف والاستبدال والوضع والاستفادة من المبرهنات الموجودة في نسق هيتنك لإيجاد صيغ جديدة مشتقة من صيغ سابقة، وتوصلنا لبعض أشكال الصيغ المتممة في المنطق الحدسي، أهمها:

K ,K⊃L ,K⊃( L⊃M) ⊢L∨M
L⊃M ,K⊃L ,K⊃M ⊢(L∨K)⊃(L∧M)
L⊃K ,M⊃K ,L∧M ⊢K∧L

كما تم استخدام طريقة أشجار الصدق لإثبات صيغة من نسق هبتنك.

كلمات مفتاحية: المنطق الحدسي (Intuitionistic logic)، نسق هيتنك (Hyting’s system)، قواعد الاشتقاق (derivation rules)، أشجار الصدق (truth trees)، مسألة التتميم (the problem of completion)

شارك هذا البحث!

عن المجلة

مجلة علمية ربعية مُحكّمة، تصدر باللغة العربية عن جامعة حلب في المناطق المحررة، تختص بنشر البحوث العلمية والدراسات الأكاديمية في مختلف التخصصات، تتوافر فيها شروط البحث العلمي في الإحاطة والاستقصاء ومنهج البحث العلمي وخطواته.

أحدث المقالات

اقرأ المزيد