换质法
- 网络Obversion
换质法-
换质法推导一个命题的方法从基本公设推论出的命题。
Inference of the obverse of a proposition . a proposition deducible from basic postulates .
-
本文通过欧拉图我们可以证明以全称命题为前提的换质位法推理中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 .