在线词典

分类:语言工具
在线词典,是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义,查询效率高、结果丰富,包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等,是外语学习者必备的在线查词工具。

Natural Deduction system

查词链接:https://www.dute.org/dict/natural_deduction_system复制链接
自然演绎系统

网络释义
自然推理系统
...,ND采用少数公理,多数规则,并且把人的推理手段用推理规则加以体现,因而它被称为 自然推理系统 ( Natural Deduction system ),简记为ND。 1、 ND的基本构成 自然推理系统 ND的语言与FC大同小异,主要区别是ND中使用五个真值联结词。
自然演绎系统
... 自然纹理 natural texture 自然演绎系统 natural deduction system 自然语言 natural language ...
常用短语
* 以上查询结果来自于网络,仅供参考。
正在查询...