单项选择题 以PIM为大前提、MAS为小前提构成三段论，则（）。

单项选择题 “逻辑是证明的工具，直觉不是逻辑，因此，直觉不是证明的工具。”这个三段论（）。

单项选择题 “凡大师都不拘小节，凡潇洒的人都不拘小节，可见，潇洒的人都是大师”，这个三段论（）。