...，ND采用少数公理，多数规则，并且把人的推理手段用推理规则加以体现，因而它被称为 自然推理系统 （ Natural Deduction system ），简记为ND。 1、 ND的基本构成 自然推理系统 ND的语言与FC大同小异，主要区别是ND中使用五个真值联结词。
基于28个网页-相关网页
... 自然纹理 natural texture 自然演绎系统 natural deduction system 自然语言 natural language ...
基于22个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress