编程基础-数学逻辑推导