Rules of inference for quantifiers in discrete mathematics

被引：0

作者：

He, Ziqiang ^{[1
]}

机构：

[1] Beijing Univ of Aeronautics and, Astronautics, Beijing, China

来源：

Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics | 2000年 / 26卷 / 04期

关键词：

Computation theory - Logic design - Mathematical techniques - Reliability;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

The conditions satisfied for the existential instantiation and the universal generalization in the natural deduction system are described clearly, whereas they are described rather vaguely in many textbooks on discrete mathematics. Contrasting with the fact that the existential instantiation in some textbooks is used only for formulas without free variables, according to the condition we given, it may be also used for formulas with free variables and the ability to reason has increased. Introducing the equivalence between interpretations and the equivalence between assignments with respect to a set of formulas, it is proved that the system is sound, that is, the conclusion in a proof is a logical consequence of the premises.

引用

页码：432 / 434