|
|
| |
| On the Reasoning Expressions and the Nature of Deduction Rules |
| |
Citation： |
Mo Shaokui(莫绍揆）.On the Reasoning Expressions and the Nature of Deduction Rules[J].Chinese Annals of Mathematics B,1990,11(1):118~126 |
| Page view： 846
Net amount： 914 |
Authors： |
Mo Shaokui(莫绍揆）; |
|
|
| 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： |
|
Classification： |
|
|
|
Download PDF Full-Text
|
|
|
|
