一个有效的三段论若结论是否定的则大前提是