1.时间逻辑