要打开Tarski’s World，点击文件Tarski’s World.exe。 要打开Fitch，点击文件Fitch.exe. 要打开Boole，点击文件Boole.exe。 在一阶逻辑的语言FOL中，每个个体常项必须命名一个实际存 点我阅读全文