04.逻辑lanmbda