式规则在三段论中，如果前提中有一个是否定命题，那么结论必定是()B•A