modus ponens

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

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

روش تصدیق

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

وضع مقدم