一个有效的三段论,如果它的结论是否定的