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

 

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