قاعده استنتاج: تفاوت میان نسخه‌ها

در [[منطق صوری]] (تعداد زیادی محدوده‌های مرتبط)، قوانین استنتاج معمولاً در فرم استاندارد زیر داده شده‌اند:

 

 

 

 

'''''''''Premise#n'''

 

 

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

: <math>B\!</math>

این قانون [[حساب گزاره ای]] از [[منطق گزاره ای]] می‌باشد. قوانین استنتاج اغلب حاوی به عنوان طرحواره‌هائی که metavariablesها را به کار می‌گیرند فرموله شده‌اند.<ref name="Reynolds2009">{{یادکرد کتاب|url=https://books.google.com/books?id=2OwlTC4SOccC&pg=PA12|title=Theories of Programming Languages|publisher=Cambridge University Press|year=2009|origyear=1998|isbn=978-0-521-10697-9|page=12|author=John C. Reynolds}}</ref> در قانون (طرح) در بالا metavariables A و B را می‌توان instantiated به هر عنصر از جهان (و یا گاهی اوقات با کنوانسیون محدود زیر مجموعه مانند [[گزاره (منطق)|گزاره]]) به شکل یک [[مجموعه نامتناهی|مجموعه نامحدود]] از استنتاج قوانین در نظر گرفت.

 

== منابع ==

{{پانویس}}

[[رده:سیستم صوری]]

[[رده:استنباط]]