第132章 演绎规则的应用