| 自然演绎 natural deduction;natural inference 不预设公理，仅规定一组推演规则，并可从假设前提出发而进行推演的演绎推理，故亦称自然推理或“自然推演”。其主要特点在于强调推理规则的重要性，并在推理过程中随时引入假设，并随时消去假设，而在这种假设的引入和消去的过程中获得求证公式。因此，它比命题演算和谓词演算的各种公理表述方法更接近于日常的有内容的推理方法。它不仅可以从真前提推出真语句，也可以从假设得出推断。由于自然演绎不予设公理，而只设推演规则，可以简化推理步骤，较之公理演绎可更直接地反映演绎推理的自然进程，从而更易于理解和运用。亚里士多德的古典演绎逻辑可视为古典形式逻辑的自然演绎系统的代表，其特点是以自然语言为表述手段。现代形式逻辑的自然演绎系统则以人工语言符号为主要表述手段。自然演绎的第一个规则系统是甘岑于1934年提出的。 |