| 对自然推理系统 PN 中假设前提销去规则(Hyp-)的理解 |
| |
| 引用本文： | 王太忠.对自然推理系统 PN 中假设前提销去规则(Hyp-)的理解[J].昆明师范高等专科学校学报,2007,29(2):41-42,49. |
| |
| 作者姓名： | 王太忠 |
| |
| 作者单位： | 昭通师范高等专科学校中文系,云南昭通657000 |
| |
| 摘 要： | 自然推理系统中假设前提销去规则是指在引入假设前提推导出结论的过程中,运用蕴涵引入规则构造一个蕴涵式,从而销去假设前提。根据充分条件假言命题为真的情况下前后件之间的关系,只要构造的蕴涵式的前后件都为真,或者前后件都为假,或者前件为假且后件为真,那么这个蕴涵式的逻辑值就是真的,这样就可以销去假设前提了。
|
| 关 键 词： | 自然推理 假设前提 蕴涵 销去规则 |
| 文章编号： | 1008-7958（2007）02-0041-02 |
| 修稿时间： | 2007-05-16 |
Understanding of Rule for Hyp-Elimination in System of Natural Deduction PN |
| |
| WANG Tai-zhong.Understanding of Rule for Hyp-Elimination in System of Natural Deduction PN[J].Journal of Kunming Teachers College,2007,29(2):41-42,49. |
| |
| Authors: | WANG Tai-zhong |
| |
| Institution: | Chinese Department, Zhaotong Teachers College, Yunnan Zhaotong 657000, China |
| |
| Abstract: | The rule of supposed premise elimination in the system of natural deduction is for eliminating the supposed premises by structuring a implication expression in the course of introducing the supposed premises to infer the conclusion. According to the relation of the antecedent and consequent of sufficient condition hypothetical proposition, if the antecedent and consequent are both true, or the antecedent and consequent are both untrue, or the antecedent is true and the consequent is untrue, the implication expression must be true, so we can eliminate the supposed premises. |
| |
| Keywords: | natural deduction supposed premise implication elimination rule |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
