英文含义 LPTL的全称：Linear-Time Propositional Temporal Logic (computer science) | 中文意思：───线性时间的命题时态逻辑(计算机科学)LPTL的全称：Lithium Processing Test Loop | 中文意思：───锂处理试验回路