除了用公理可以推导出三段论其他有效的推理形式之外，( )也是判定一个三段论是否有效的基本标准。一个三段论如果符合这些一般规则，那么它就是一个有效的三段论；反之，一个三段论如果违反了一般规则，那么它就是一个无效的三段论。