鲁道夫:卡尔纳普的真相树小工具 源码

自述文件 该项目是与框架一起使用的,用于教授形式逻辑。 用法 要在html页面中使用此脚本,您必须已经包含Carnap脚本,该脚本全局定义了Carnap和Carnap.checkIchikawaJenkinsSLTableau 。 然后,在导入Carnap的脚本标签下方的某处,添加此项目的javascript捆绑包和样式表的导入。 本示例使用unpkg上可用的文件。 < script crossorigin src =" https://unpkg.com/truth-tree/dist/lib.js " type =" application/javascript "