双折射

概念S与概念P的外延具有交叉关系。试问，以S为主项、P为谓项的四个直言命题中，哪几个取值为真？在这些取值为真的命题中，哪几个可以进行有效的换位法推理？用公式表示这些换位法推理。