编程入门-逻辑关系推导