实现一个简单的命题逻辑定理证明器 Posted on 2020-04-07 | In Programming Language 概述:本文将介绍如何实现一个非常简单的命题逻辑定理证明器。这个定理证明器用 Haskell 编写,以交互式的方式进行使用,输出 Hilbert Style System 下原命题的一个证明。用这个小工具,我们可以生成许多难以直接证明的定理(如析取、合取的结合律)的证明。 Read more »