以”所有p都是m””所以s不是m”为大小前提,进行三段论推理,可必然推出 A所有s不是p B所有s是p C有的s是多选.

以”所有p都是m””所以s不是m”为大小前提,进行三段论推理,可必然推出 A所有s不是p B所有s是p C有的s是多选.
以”所有p都是m””所以s不是m”为大小前提,进行三段论推理,可必然推出 A所有s不是p B所有s是p C有的s是
多选.

以”所有p都是m””所以s不是m”为大小前提,进行三段论推理,可必然推出 A所有s不是p B所有s是p C有的s是多选.
答案：A
原因：
排除法
B 所有s是p
所有p都是m
推出所有s都是m 与条件所有s不是m矛盾!
C 有的S是p
p都是m
推出有的s是m,同上与条件矛盾!

必然推出的全部可能:
1：所有P都不是S
2：所有S都不是P
3：有的M是P 有的P是M
4：有的S不是M，有的不是M的是S

a
p小于等于m
s不等于m
所以p必然不等于s