1、【我的问题】LTL线性时序逻辑是什么意思全称是什么【deepseek】【我的总结】LTLLinear Temporal Logic线性时序逻辑就是一种用来描述事情随时间怎么变化的数学公式