来源:《思维与智慧》1983年第05期 作者:张振华
选择字号

谈谈自然推理

分享到: 分享到QQ空间

<正> 自然推理系统是二十世纪三十年代首先被波兰逻辑学家C·雅斯科夫斯基和德国的逻辑学家G·根森分别提出的。在自然推理系统中,出发点并不是公理,而是随时引进的假设前提,从这些假设前提出发,应用推理规则或推理图式,就能有效的达到推理目的。由于这种推理方法类似于自然科学尤其数学中常用的那种证明程序(如定律,定理的证明)。因此,把它称为自然推理或自然演算。为了了解自然推理的实质及特点,我们必须对构成自然推理系统的推理部分,即推理规则及推理所依据的推理图式作一简单介绍。(由于篇幅所限其它部分不在此介绍了)。(本文共计3页)       [继续阅读本文]

下载本文订阅本刊

相关文章推荐

思维与智慧杂志1983年第05期
思维与智慧
主办:河北师范大学
出版:思维与智慧杂志编辑部
出版周期:旬刊
出版地:河北省石家庄市

本期目录