[计]?自然推理系统
...，ND采用少数公理，多数规则，并且把人的推理手段用推理规则加以体现，因而它被称为 自然推理系统 （ Natural Deduction system ），简记为ND。 1、 ND的基本构成 自然推理系统 ND的语言与FC大同小异，主要区别是ND中使用五个真值联结词。
[计]?自然演绎系统
... 自然纹理 natural texture 自然演绎系统 natural deduction system 自然语言 natural language ...
标号自然演绎系统
自然推理系统
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。