逻辑学 定义过宽 过窄的例子