“有些S是P”可以换位为“有些P是S”。

词性的周延性就是指主语谓语的周延性。

判断题词性的周延性就是指主语谓语的周延性。

一般三段论是一种直接的推理形式。

判断题一般三段论是一种直接的推理形式。

换位推理就是通过改变前提中直言命题的主项和谓项的位置，从而推出结论的推理方法。

判断题换位推理就是通过改变前提中直言命题的主项和谓项的位置，从而推出结论的推理方法。