Boole中的语句不能粘贴到Fitch中。（）在Tarski’s World中，要打开事先保存的世界文件和语句文件，可以点击File菜单中的Open命令。在Fitch中，要打开Fitch练习文件夹中的文件，可以使用File菜单中的Open