以”所有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,同上与条件矛盾!