编程基础-通用逻辑推导