没有S是“非P”＝所有S都不是“非P”＝所有S都是P。

第七题为真。

这样的题目，要求你使用换质换位规则，不是要求你证明这些规则。

以SAP和PIS为例。根据限制换位规则，
若SAP为真，则PIS为真。
若SAP为假，则PIS真假不定。
若PIS为真，则SAP真假不定。
若PIS为假，则SAP为假。

为真，楼上波斯猫讲的很好了，实在不理解他讲的从原式子多次换质位得到，那就从这个命题本身出发进行推理。“没有和平主义者是非社会主义者”可以转换为同意义且等值的“没有和平主义者不是社会主义者”(这个过程运用了换质法)，像“没有A不是B”的这样的句式所表达的含义不就是所有A都是B吗，就像没有男不是人，不就是所有男人都是人的意思吗，所以“没有和平主义者不是社会主义者”就变成了“所有和平主义者都是社会主义者”，通过换位可得“有的社会主义者是和平主义者”，这个结论可以通过矩阵图中差等关系推理得出，即A可推I

题目的图