什么是换位法推理

改换一个性质判断的主项和谓项的位置以推出一个新判断的直接推理。其规则是：(1)联项不变。(2)前提中不周延的概念，在结论中不得周延。如由“所有的金属都是元素”推出“有些元素是金属”。
直接推理是日常语言和亚里士多德的词项逻辑中常见的基本推理形式。不同于从两个直言命题得出一个直言命题的直言三段论，它从一个直言命题得出另一个直言命题，所以被称为是直接的。在传统逻辑中主要有换质法(Obversion)、换位法(Conversion)和对置法(Contraposition)。

直言命题的四种类型的谓词逻辑表示：

全称肯定命题(A)：，所有S都是P
全称否定命题(E)：，所有S都不是P
特称肯定命题(I)：，有些S是P
特称否定命题(O)：，有些S不是P
依据全称量词和存在量词之间的对偶关系(对立四边形中矛盾关系)可以直接得出：

全称肯定命题(A)：，没有S不是P
全称否定命题(E)：，没有S是P
特称肯定命题(I)：，并非所有S都不是P
特称否定命题(O)：，并非所有S都是P
假定了主词对应的范畴确有个体存在之后(从对立四边形中的反对关系)可得出：

全称肯定命题(A)蕴涵否定全称否定命题(I)：，并非所有S都不是P(假定某个S的存在性)
全称否定命题(E)蕴涵否定全称肯定命题(O)：，并非所有S都是P(假定某个S的存在性)
换位法对调主词和谓词的位置(采用谓词逻辑就没有了传统的主词谓词差别)：

全称肯定命题(A)蕴涵特称肯定命题(I)：，有些P是S(假定某个S的存在性)
全称否定命题(E)：，所有P都不是S
特称肯定命题(I)：，有些P是S
换质法否定谓词本身而改变命题的性质，这里有 ACC = A：

全称肯定命题(A)变为全称否定命题(E)：，所有S都不是非P
全称否定命题(E)变为全称肯定命题(A)：，所有S都是非P
特称肯定命题(I)变为特称否定命题(O)：，有些S不是非P
特称否定命题(O)变为特称肯定命题(I)：，有些S是非P <