一个有效的三段论,如果其结论是否定命题