1、要打开Fitch，点击文件Fitch.exe.
A、对
B、错
2、在Fitch中，要打开Fitch练习文件夹中的文件，可以使用File菜单中的Open命令。
A、对
B、错
3、在Fitch中，要保存一份已完成的证明，用Save As命令。
A、对
B、错
4、在Fitch的一个证明过程中，要在一行的前面增加一行，点击Proof菜单中的（ ）。
A、Add Step After命令
B、Add Step Before命令
C、Delete命令
D、 Add Premise命令
5、表示焦点滑块的符号是（ ）。
A、红色的三角形图标
B、圆圈图标
C、问号图标
D、 Ö 图标
6、在Fitch的Proof菜单中，Collapse Subproof命令表示（ ）。
A、展开子证明
B、删除子证明
C、压缩子证明
D、 保存子证明
7、Fitch中证明窗口的语句可以粘贴到（ ）中。
A、 Tarski’s World
B、 Fitch的目标窗口
C、 Boole
D、 Word 文档
8、Fitch中的联结词规则分为（ ）。
A、引理
B、引入规则
C、消去规则
D、 结论规则
9、在Fitch中，检查一个步骤是否正确，点击工具栏中的Check Step后，可能出现下面哪些符号？（ ）
A、×
B、 c
C、√
D、?
10、Fitch与Tarski’s World不同，它没有自带的练习文件夹。
A、对
B、错
