【词语名称】时态逻辑(shitailuoji)
【词语拼音】shi tai luo ji
【词语读音】shí tài luó ji
【词语简拼】STLJ
【网络释义】 tense logic 非经典逻辑的分支学科。其研究对象是,把含有时态动词的语句形式化,并且把含有这种语句的推理系统化。
【分字组词】态字组词 时字组词 辑字组词 逻字组词
友情链接:姓名测试