وضع مقدم

وضع مقدم  (که معمولاً Modus ponens خوانده می‌شود)، یکی از ساده‌ترین اشکال قیاس در حساب گزاره‌ای است.

فرض کنید  و  گزاره باشند. آنگاه قیاس استثنایی عبارت است از: 

 مثال‌ها 
چند مثال برای وضع مقدم:

اگر امروز سه‌شنبه باشد، باید به مدرسه بروم. امروز سه‌شنبه است؛ بنابراین، باید به مدرسه بروم.

اگر دانشگاه را تمام نکند، مدرک تحصیلی نمی‌گیرد. دانشگاه را تمام نکرد. پس مدرک تحصیلی نمی‌گیرد.

 برهان 
 برهان با استفاده از جدول ارزش 
 q  p ∧ (q → p) T  T  T  T  T  T  T T  T  F  F  T  T  F F  T  T  F  F  F  T F  T  F  F  F  T  F

 برهان به روش استدلال قیاسی 

 جستارهای وابسته 
 انتفای مقدم (درستی به انتفای مقدم)
 پانویس 

 منابع 


رده:عبارت‌های منطقی لاتین
رده:قضیه‌ها در حساب گزاره‌ای
رده:قواعد استنتاج
رده:منطق
رده:منطق کلاسیک