التركيب الاستنتاجي للبرامج

الحل في المنطق

قاعدة استنتاج كاملة للمنطق من الدرجة الأولى، مما يسمح باستنتاج جمل جديدة تلقائيًا من مجموعات الجمل الموجودة.

← رجوع