-
题名中介命题系统MP推理规则的独立性问题
- 1
-
-
作者
莫志浩
-
机构
解放军理工大学理学院
-
出处
《解放军理工大学学报(自然科学版)》
EI
2001年第5期100-102,共3页
-
文摘
对于一个形式系统而言 ,在不改变其完备性的前提下 ,形式越简洁 ,使用越方便。现在中介命题系统MP推理规则集 S的简化等价集 S1已经建立 ,其中 S1共有 1 4条推理规则 ,如果这些推理规则中有一条可以由 S1的其余推理规则推导出来 ,那么它就是不独立的 ,可以将其删去而不影响形式系统 S1的效力 ,从而得到形式上更为简洁的系统。为此目的笔者利用值模型法对形式系统 S1的每条推理规则的独立性一一进行了探讨 ,发现一条不独立的规则 。
-
关键词
中介命题系统
推理规则
独立性
值模型
形式系统
推理规则集
拟逻辑词
-
Keywords
the medium propositional system
independency of the inference rule
numerical model
-
分类号
O141.1
[理学—基础数学]
-