Inference of the obverse of a proposition.

英 美
  • 换质法推导一个命题的方法
目录 查词历史