| ON THE REASONING EXPRESSIONS AND THE NATURE OF DEDUCTION RULES |
| |
| 作者姓名： | Mo Shaokui |
| |
| 作者单位： | Dedicated to |
| |
| 摘 要： | Reasoning expressions are those which express the reaasoning procedure by means ofonly deduction rules and the initial formulas(axioms or assumptions)without the helpof any intermediate results.They express the procedure systematically,completely andconcisely.The deduction rules are mappings from formulas(premises)to formula(conclusion).The elementary rules are certain propositional connectives(but notnecessarily truth functions)while the higher rules are certain quantifiers.Besides,thedetachment rule is an inverse of the connective implication,and is itself the kernel ofdeduction method;while another inverse of implication(i.e.the suggestion rule)is thekernel of induction method.
|
| 收稿时间： | 1989/4/20 0:00:00 |
On the Reasoning Expressions and the Nature of Deduction Rules |
| |
| Institution: | Department of Mathematics, Nanjing University, Nanjing, Jiangsu, China. |
| |
| Abstract: | Reasoning expressions are those which express the reaasoning procedure by means of only deduction rules and the initial formulas (axioms or assumptions) without the help of any intermediate results. They express the procedure systematically, completely and concisely. The deduction rules, are mappings from formulas (premises) to formula (conclusion). The elementary rules are. certain propositional connectives (but not necessarily truth functions) while the higher rules are certain quantifiers. Besides, the detachment rule is an inverse of the connective implication, and is itself the kernel of deduction method; while another inverse of implication (i. e. the suggestion rule) is the kernel of induction method. |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《数学年刊B辑(英文版)》浏览原始摘要信息 |
| 点击此处可从《数学年刊B辑(英文版)》下载免费的PDF全文 |
