قاعده استنتاج: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
مائده زروندی (بحث | مشارکتها) ایجاد شده توسط ترجمهٔ صفحهٔ «Rule of inference» برچسب‌ها: عدم استفاده از یادکرد و پانویس ترجمهٔ محتوا |
مائده زروندی (بحث | مشارکتها) ایجاد شده توسط ترجمهٔ صفحهٔ «Rule of inference» |
||
خط ۱۸:
Conclusion
این عبارت بیان می کند که هر زمان که در این دوره از یک سری اشتقاق منطقی پیش فرض های داده شده به دست آمده است ، این نتیجه مشخص می تواند به خوبی برای اعطا شدن گرفته شود. زبان رسمی دقیقی که برای توصیف هر دو مقدمه و نتیجه گیری استفاده می شود بستگی به زمینه های واقعی از مشتقات دارد. در یک مورد ساده ، یکی فرد ممکن است فرمول منطقی را استفاده کند، از جمله در استفاده :
: <math>A \to B</math>
: <math>\underline{A \quad \quad \quad}\,\!</math>
: <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 به هر عنصر از جهان (و یا گاهی اوقات با کنوانسیون محدود زیر مجموعه مانند [[گزاره (منطق)|گزاره]]) به شکل یک [[مجموعه نامتناهی|مجموعه نامحدود]] از استنتاج قوانین در نظر گرفت.
== References ==
| |||