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