已知P与M是全同关系，又知有S不是M为真，则下列为真的判断是（）。
第1题：
以“所有P是M”、“所有S不是M”为大小前提进行三段论推理，可必然推出（）
第2题：
以“有S是M，所有P不是M”为前提进行三段论推理，将所得结论再进行变形法直接推理，可得出的结论有（）.
第3题：
第4题：
凡S都是M，所以，凡S都是P’加上了（）才能组成三段论的有效式AAA式。
第5题：
以“所有P是M”、“所有S不是M”为大小前提，进行三段论推理，可必然推出（）。
第6题：
若“有S是P”为真，则。“有S不是P”取值为假。
第7题：
设“有S是P”和“有S不是P”均真，则S与P可能具有的关系是（）.
第8题：
若“有S是P”、“有S不是P”、“有P不是S”这三个判断均真，则S与P具有（）关系。
第9题：
以“所有P是M，有S不是M”为前提，进行三段论推理，其正确的结论是（）。
第10题：
若“有的S是P”并且“有S的不是P”，那么S与P的外延关系或者是（）关系。