离散数学中与量词有关的推理规则
| 外文标题 | Rules of Inference for Quantifiers in Discrete Mathematics |
| 文献类型 | 期刊 |
| 作者 | 何自强[1] |
| 机构 | [1]北京航空航天大学计算机科学与工程系 ↓ |
| 通讯作者 | He, Ziqiang |
| 来源信息 | 年:2000卷:26期:4页码范围:432-434 |
| 期刊信息 | 北京航空航天大学学报ISSN:1001-5965 |
| 关键词 | 谓词逻辑;逻辑系统;离散数学;可靠性;量词 |
| 摘要 | 清楚地叙述了自然推理系统中的存在量词消去规则和全称量词引入规则满足的条件,而这些条件在许多离散数学教科书中叙述得相当含糊.与某些教科书中存在量词消去规则只能用于无自由变元的公式不同,按照本文给出的条件,存在量词消去规则也可以用于有自由变元的公式,因而增强了系统的推理能力.引进了解释之间和赋值之间关于公式集的等价性,从而证明了系统是可靠的,即一个证明中的结论是其前提的逻辑推论. |
| 收录情况 | EI(2001115501998) |
| 所属部门 | 计算机学院 |
| 链接地址 | http://d.g.wanfangdata.com.cn/Periodical_bjhkhtdxxb200004016.aspx |
| DOI | 10.3969/j.issn.1001-5965.2000.04.016 |
影响因子：
dc:title:离散数学中与量词有关的推理规则
dc:creator:何自强
dc:date: publishDate:2000-08-01
dc:type:期刊
dc:format: Media：北京航空航天大学学报
dc:identifier: LnterrelatedLiterature：北京航空航天大学学报.2000,26(4),432-434.
dc:identifier:DOI：10.3969/j.issn.1001-5965.2000.04.016
dc: identifier:ISBN:1001-5965
