۱۳۹۶ مرداد ۳۱, سه‌شنبه

قاعده انتصاب


پروفسور دکتر ولفگانگ سگت
برگردان
شین میم شین
             
·      قاعده انتصاب به قاعده ای اطلاق می شود که انواع مجاز انتصابات را در عبارات منطقی هر تخمین منطقی موجود تعیین می کند.

·      قواعد انتصاب تعیین می کنند که چگونه با انتصابات از عبارات موجود (معتبر عام) عبارات دیگر (معتبر عام) پدید می آیند.

·      مراجعه کنید به انتصاب، قاعده نتیجه گیری های نهائی. 

پایان

هیچ نظری موجود نیست:

ارسال یک نظر