在Tarski’s World中，一个模块的名字可以有（ ）。Boole答案: 自己手动完成;Boole帮你完成 答案: 一元谓词;二元谓词;三元谓词个体常项A:一个 B:两个 C:三个 D:D:创建一个新的真值表的步骤有（ ）。答案: 性 点我阅读全文
四个Word 文档A:填入真值 B:建立参考列 C:指定目标语句 D:A:对 B:错 答案: 错恒等的自反性是指：（）。答案: 一个;两个;三个;答案:计算结果A:a=a B:b=c C:a¹a D:Ø(a¹a) 点我阅读全文
要删除一个世界文件的方法之一是（ ）。Add Premise命令四个步骤在Tarski’s World的模块语言中，只有（ ）个三元谓词。如果在前提是真实的任何情况下结论必须是真的，则称论证是（ ）。A:点击New按钮 B:在File菜单中 点我阅读全文
要打开Tarski’s World，点击文件Tarski’s World.exe。 要打开Fitch，点击文件Fitch.exe. 要打开Boole，点击文件Boole.exe。 在一阶逻辑的语言FOL中，每个个体常项必须命名一个实际存 点我阅读全文