出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
| 词条 | 自然推理 |
| 释义 | 自然推理 自然推理 亦称“自然推演”、“自然演绎”。不预设公理,仅规定一组推理规则,并可从假设前提出发而进行推演的演绎推理。其主要特点在于:强调推理规则的重要性,在推理中可根据某些推理规则引入假设和消去假设,并在这种假设的引入和消去的过程中获得推断和证明。与公理化的演绎相比较,自然推理可更直接地反映出演绎推理的自然进程,它也因此而得名。自然推理在现代逻辑的研究中有着重要而广泛的应用。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。