定义判断逻辑推理