出处:哲学卷 • 逻 辑 学 • 现代形式逻辑
字词 | 自然演绎 |
释义 | 自然演绎 自然演绎 不预设公理,仅规定一组推演规则,并可从假设前提出发而进行推演的演绎推理,故亦称“自然推演”。其主要特点在于强调推理规则的重要性,并在推理过程中随时引入假设,并随时消去假设,而在这种假设的引入和消去的过程中获得求证公式。因此,它比命题演算和谓词演算的各种公理表述方法更接近于日常的有内容的推理方法。由于自然演绎不预设公理,而只设推演规则,可以简化推理步骤,较之公理演绎可更直接地反映演绎推理的自然进程,从而更易于理解和运用。 出处:哲学卷 • 逻 辑 学 • 现代形式逻辑 |
随便看 |
|
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。