以“如果所有A是B,那么所有A是C”和“有A不是C”为前提进行推理,能必然推出结论()。
A:“所有A是B”
B:“所有A不是B”
C:“有A是B”
D:“有A不是B”
出自:哲学