ProofDisplay 2.0 Beta版_ProofDisplay 2.0 Beta下载地址

一个丰富的图形界面，用于进行交互APROS

APROS正常经典句子和谓词逻辑的自然演绎证明在使用的插层的方法来搜索。该方法已适应直观，最小的逻辑，集合理论和形式化的元数学在小学进行搜索。

金琛提出的神器出山:www.shenqi73.com自然扣除结石的逻辑工具，捕捉，相当直接，通过证明人类是如何的原因。最独特的是，他们允许，推理与假设和引进以及消除规则的逻辑连接词。利用插层法的基本思想，消除规则允许的分解复杂的公式和引进规则允许建立复杂的系统。

APROS的搜索过程中实现最鲜明的特点是，证明可以分开建设的战略分为三个不同的模块：提取或目标导向使用的排除规则，倒置或向后引进规则的使用，最后，使用间接论证。

，在ProofDisplay可以查看的证明和在搜索多种格式的每一步。

自动搜索工具，经典和直观的一阶逻辑证明。使用相关APROS证明搜索引擎。

获得ProofDisplay，并给它一个尝试，看看它的所有关于