モーダス・ポネンス
modus ponens, MP