以“所有A不是B”为前提进行三段论推理，要必然推出“所有C不是A”这一结论，则还需补充前提（）