7.2.2 基于逻辑的方法