>>480
三段論法はsyllogismでmodus ponensとは別物だよ
そしてsyllogismは本来は述語論理で考えるべき代物だが命題論理でそれに相当する演繹方法がcut

だから命題論理について議論する際にcutのことを三段論法と呼ぶのは許されるが
modus ponensは全くの別物なので後者を「三段論法」呼ばわりは明確な間違い

ついでに言えば君の言ってる「同じこと」というのは古典論理では成立するHerbrandの演繹定理のことね

論理に関する用語を使う前にそれら定義をもう少しきちん勉強したまえ