Logic 在学术界以外，什么是自然演绎法？

我正在大学/学院学习自然演绎，作为我正式规范与验证计算机科学课程的一部分

我觉得它很有趣，但是当我能找到一个实用的东西时，我会学得更好

有谁能向我解释一下，除了正式验证代码位之外，自然推理是否以及如何被使用

---

谢谢

自然演绎非常有趣，也有点酷，但在学术界之外很少使用。使用自然推理对程序进行校正的形式化证明非常繁琐，因此经常使用更高级的工具。

自然推理在实际的形式化方法中没有太多的使用：顺序演算通常是更好的基础，因为它更接近于构造逻辑决策过程中使用的表格方法。图表方法是计算机科学中逻辑实际应用的核心

自然演绎在构造类型理论中使用最多，这使它在编程语言设计中具有一定的优势。不过，这被认为是一种很好的了解，而不是必须知道的

自然推理的主要价值在于它是学习形式推理的最好方法，但这是一种在学术界常见的教学应用