词语含义查询 · 在线释义
查询结果
shí tài luó jí · ㄕˊ ㄊㄞˋ ㄌㄨㄛˊ ㄐㄧˊ
数据更新：2026-07-11 09:27:32
tense logic 非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。