文件名称：theorem-prover, 一阶逻辑的自动定理证明器.zip
文件大小：9KB
文件格式：ZIP
更新时间：2022-10-07 08:32:40
开源
theorem-prover, 一阶逻辑的自动定理证明器 一阶逻辑的自动定理证明器。 对于任何可以证明的公式，该程序都可以以找到证明( 最终) 。 然而，由于 hilbert的否定答案，有一些unprovable公式会使这个程序永远循环。一些说明：验证步骤显示为 sequents 。实际
【文件预览】：
theorem-prover-master
----main.py(14KB)
----language.py(10KB)
----prover.py(16KB)
----.gitignore(77B)
----README.md(4KB)