https://proto.gradegrinder.net/Products/lpl-index.html
截图如下：
可惜注册用户才能下载。
还好有个Fith风格的web在线版本，http://mrieppel.github.io/fitchjs/
该工具帮你验证每一步推理是否正确
基于js的开源，牛皮。
https://proto.gradegrinder.net/Products/lpl-index.html
截图如下：
可惜注册用户才能下载。
还好有个Fith风格的web在线版本，http://mrieppel.github.io/fitchjs/
该工具帮你验证每一步推理是否正确
基于js的开源，牛皮。
本文标题：学数理逻辑的，这个推理工具不错：Fitch
本文链接：https://www.haomeiwen.com/subject/kktkxqtx.html
网友评论