FitchJS FitchJS是一个用JavaScript编写的网络应用,可让用户在Fitch风格的自然演绎系统中构造证明,并以纯文本或LaTeX格式输出经过验证的证明。 它是程序的修改,并实现了适用于Fitch表示法的类似规则集。 我不再积极开发该程序。 是一个较新的版本,其量词的语法略有不同,规则的设置也有所不同(与我在《 的规则相对应)。 该程序的实时版本在。 以下是各种javascript文件内容的简要说明: script/draw.js :使用D3.js将证明绘制为svg的代码。 script/parsing.js :将公式解析为树的代码。 还包含用于将“普通”表示法中的公