时态逻辑

拼音shí tài luó jí 注音ㄕˊ ㄊㄞˋ ㄌㄨㄛˊ ㄐㄧˊ 更新2026-07-28 19:09:06
读音信息
拼音字母
shi tai luo ji
拼音首字母
stlj
注音符号
ㄕ ㄊㄞ ㄌㄨㄛ ㄐㄧ
注音首字母
ㄕㄊㄌㄐ
百科释义

tense logic 非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。

拆字组词
相关词语