LogicCalculus 1033年1月1日阿尔法_LogicCalculus 1.1.1033 Alpha下载地址

集成开发环境为谓词逻辑

LogicCalculus被设计成一个可访问的逻辑IDE（集成开发环境）的句子的逻辑和谓词逻辑。

目前，该应用程序可以对表达式求值，并填写了一个道理表。