弄清查询(nqcx.com) - 免费实用便民查询工具大全网
功能直达
tense logic 非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。
【时的意思】：时（時） shí（ㄕˊ） （一）、一切事物不断发展变化所经历的过程：时间。时不我与。（二）、较长的时 详情>
【态的意思】：态（態） tài（ㄊㄞˋ） （一）、形状，样：态度。状态。姿态。形态。神态。动态。静态。事态。情态。 详情>
【逻的意思】：逻（邏） luó（ㄌㄨㄛˊ） （一）、巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。（二）、遮拦：“蛛蝥结 详情>
【辑的意思】：辑（輯） jí（ㄐ一ˊ） （一）、聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。（二）、聚集 详情>
• 将时态逻辑用于错误模式
• 用时态逻辑断言防止常见错误
• 将时态逻辑引入断言来补充测试
• 时态逻辑可以帮助产生这些断言。
• 时态逻辑可以有助于诊断此类错误。
• 通常，下列模态操作符可用于时态逻辑：
• 在离散数学和基础课程中引入时态逻辑令一些工具能处理并行。
• 我们还可以扩展时态逻辑的语言以包括数据库中值集合的量词。
