وضع مقدم: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
علی~fawiki (بحث | مشارکتها) اشاره به "وضع مقدم" |
علی~fawiki (بحث | مشارکتها) جزبدون خلاصۀ ویرایش |
||
خط ۱:
'''وضع مقدم''' یا '''قیاس استثنایی'''{{منبع}} {{لاتین|Modus ponendo ponens}} (که معمولاً Modus ponens خوانده می‌شود)، یکی از ساده‌ترین اشکال [[قیاس (منطق)|قیاس]] در [[حساب گزاره‌ای]] است.
فرض کنید <math>p</math> و <math>q</math> گزاره باشند. آنگاه قیاس استثنایی عبارت است از: <math> \left ( \left ( p \to q \right ) \land p \right ) \Rightarrow q </math> <ref>{{پک|لین|لین|۱۳۸۲|ف=منطق مقدماتی|ک=نظریهٔ مجموعه‌ها و کاربردهای آن|ص=۱۸}}</ref>
| |||