1、要打开Tarski’s World，点击文件Tarski’s World.exe。
A、对
B、错
2、在Tarski’s World中，要打开事先保存的世界文件和语句文件，可以点击File菜单中的Open命令。
A、对
B、错
3、在Tarski’s World中，要保存一份世界文件，最安全的命令是Save World 。
A、对
B、错
4、在棋盘上放置一个模块，点击工具栏中的（ ）。
A、New按钮
B、Verify按钮
C、Play Game按钮
D、打印按钮
5、要删除一个世界文件的方法之一是（ ）。
A、点击New按钮
B、在File菜单中，点击Clear命令
C、点击Play Game按钮
D、 Verify按钮
6、当你在语句窗口中，输入的是一个合式公式时，靠近语句标号的左边显示（ ）。
A、F
B、T
C、+
D、 *
7、在Tarski’s World中，模块的大小有（ ）这几种情况。
A、大
B、中
C、小
D、 较小
8、在Tarski’s World中，模块的形状有（ ）这几种情况。
A、锥体
B、立方体
C、十二面球体
D、 圆
9、在Tarski’s World中，一个模块的名字可以有（ ）。
A、一个
B、两个
C、三个
D、 四个
10、Tarski’s World不允许给一个模块命名多个名字。
A、对
B、错
