sion）、换位法（Conversion）和对置法（Contraposition）。
对立四边形.直言命题的四种类型的谓词逻辑表示：依据全称量词和存在量词之间的对偶关系（对立四边形中矛盾关系）可以直接得出：上面加粗表述是亚里士多德《解释篇》中採用的形式。假定了主词对应的范畴确有个体存在之后可得出蕴涵关系（又译差等关系）：在蕴涵关系和对偶关系之上可确立全称命题间不同真关系（又译反对关系）：和特称命题之间的不同假关系（又译下反对关系）：
换位法.换