自然推理系统中的假设前提引入与消去规则

摘要：

形式化的自然推理系统最显著的特点就是引入假设前提.在自然推理中,可以根据需要随时引入假设前提,但是推理的结论不能依赖于假设前提,因此假设前提在其完成了使命后,必须被消去.运用假设前提消去规则进行推理就是按照“如果A1,A2,…,An├B,那么A1,A2,…,An-1├An→B”的规则进行语形变换的过程,但是理解假设前提消去规则何以能够消去假设前提这个问题,涉及到对前提与结论之间真假制约情况的讨论,属于语义解释的范围.

关键词：自然推理、假设前提、引入、消去

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

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

页码：37-41