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