前提之一为特称命题的三段论不能借助欧拉图来检验其有效性