モーダスポネンスを変換する場合、AがHのスコープ外であるなら、公理1A→(H→A)を適用する必要があり、さらにモーダスポネンスを適用してH→Aを得る。
在转换肯定前件的时候，如果A在H的范围之外，则必须应用公理1：A→(H→A)，和肯定前件来得到H→A。