在三段论中，第一个前提是大前提，第二个前提是小前提。

一个有效的三段论有且仅有三个不同的项。

判断题一个有效的三段论有且仅有三个不同的项。

如果“所有哺乳动物都是脊椎动物”假，则“有哺乳动物是脊椎动物”真假不定。

判断题如果“所有哺乳动物都是脊椎动物”假，则“有哺乳动物是脊椎动物”真假不定。

SAP 换位以后可以得到PAS。

判断题SAP 换位以后可以得到PAS。