In a temporal logic, statements can have a truth value which can vary in time.
在时序逻辑，报表可以有真值，可以在不同的时间。
youdao
Please value oen's temporal existence!
请珍视在尘世间短暂的存在！
应用推荐
模块上移
模块下移
不移动