本文通过欧拉图我们可以证明以全称命题为前提的换质位法推理中O命题是能够换位的。
In fact , it is possible to exert conversion on O-proposition in conversion by contraposition inference which takes the premise by the universal proposition .