逻辑学中下定义的规则包括哪些