限制和概括的逻辑规则有哪些类型