如果一个有效的三段论的结论是全称判断的