modus ponens

نوعی قاعده استنباط منطقی است.
مخفف Modus ponendo ponens است یعنی "حالتی که با تأیید، تأیید می کند"

شیوه اثبات
استنتاج قیاسی ( البته نوعی خاص )
اگر p آنگاه q

در برخی کارنوشتها ( بویژه آلفرد تارسکی و دیگران ) به جایِ " Modus Ponens " از واژه یِ " detachment" بهره گرفته شده است.

روش تصدیق

وضع مقدم ) منطق (

وضع مقدم