出处：哲学卷 • 逻 辑 学 • 现代形式逻辑
| 词条 | 自然演绎 |
| 释义 | 自然演绎 自然演绎 不预设公理,仅规定一组推演规则,并可从假设前提出发而进行推演的演绎推理,故亦称“自然推演”。其主要特点在于强调推理规则的重要性,并在推理过程中随时引入假设,并随时消去假设,而在这种假设的引入和消去的过程中获得求证公式。因此,它比命题演算和谓词演算的各种公理表述方法更接近于日常的有内容的推理方法。由于自然演绎不预设公理,而只设推演规则,可以简化推理步骤,较之公理演绎可更直接地反映演绎推理的自然进程,从而更易于理解和运用。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。