百 达洛米词典·汉语词语大全 作者 2026-07-15 21:37:23 时态逻辑 拼音 shí tài luó jí · 注音 ㄕˊ ㄊㄞˋ ㄌㄨㄛˊ ㄐㄧˊ 基本属性 拼音字母shi tai luo ji 拼音首字母stlj 注音符号ㄕ ㄊㄞ ㄌㄨㄛ ㄐㄧ 扩展释义 tense logic 非经典逻辑的分支学科。其研究对象是,把含有时态动词的语句形式化,并且把含有这种语句的推理系统化。