定义规则逻辑学名词解