对自然推理系统 PN 中假设前提销去规则(Hyp-)的理解

摘要：

自然推理系统中假设前提销去规则是指在引入假设前提推导出结论的过程中,运用蕴涵引入规则构造一个蕴涵式,从而销去假设前提.根据充分条件假言命题为真的情况下前后件之间的关系,只要构造的蕴涵式的前后件都为真,或者前后件都为假,或者前件为假且后件为真,那么这个蕴涵式的逻辑值就是真的,这样就可以销去假设前提了.

关键词：自然推理、假设前提、蕴涵、销去规则

所属期刊栏目：29

分类号：O141.1(数理逻辑、数学基础)

在线出版日期：2007-08-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：41-42,49