قاعده انتصاب

پروفسور دکتر ولفگانگ سگت

برگردان

شین میم شین

             

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

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

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

پایان