出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
| 字词 | 自然推理 |
| 释义 | 自然推理 自然推理 亦称“自然推演”、“自然演绎”。不预设公理,仅规定一组推理规则,并可从假设前提出发而进行推演的演绎推理。其主要特点在于:强调推理规则的重要性,在推理中可根据某些推理规则引入假设和消去假设,并在这种假设的引入和消去的过程中获得推断和证明。与公理化的演绎相比较,自然推理可更直接地反映出演绎推理的自然进程,它也因此而得名。自然推理在现代逻辑的研究中有着重要而广泛的应用。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
|
修远网汉语字词典收录72225条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。