In other words: if one statement or proposition implies a second one, and the first statement or proposition is true, then the second one is also true.
قیاس استثنایی یا "وضع مقدم" (که معمولاً Modus ponens خوانده می‌شود)، یکی از ساده‌ترین اشکال قیاس در حساب گزاره‌ای است.