编程基础-逻辑关系推导