پروفسور دکتر ولفگانگ
سگت
برگردان
شین میم شین
·
قاعده انتصاب به قاعده ای اطلاق می شود که انواع
مجاز انتصابات را در عبارات منطقی هر تخمین منطقی موجود تعیین می کند.
·
قواعد انتصاب تعیین می کنند که چگونه با انتصابات از عبارات
موجود (معتبر عام) عبارات دیگر (معتبر عام) پدید می آیند.
·
مراجعه کنید به انتصاب، قاعده
نتیجه گیری های نهائی.
پایان
هیچ نظری موجود نیست:
ارسال یک نظر