第二章单元测试
要打开Fitch，点击文件Fitch.exe.
在Fitch中，要打开Fitch练习文件夹中的文件，可以使用File菜单中的Open命令。
在Fitch中，要保存一份已完成的证明，用Save As命令。
在Fitch的一个证明过程中，要在一行的前面增加一行，点击Proof菜单中的（ ）。
表示焦点滑块的符号是（ ）。
在Fitch的Proof菜单中，Collapse Subproof命令表示（ ）。
Fitch中证明窗口的语句可以粘贴到（ ）中。
Fitch中的联结词规则分为（ ）。
在Fitch中，检查一个步骤是否正确，点击工具栏中的Check Step后，可能出现下面哪些符号？（ ）
Fitch与Tarski’s World不同，它没有自带的练习文件夹。
A:错 B:对
答案:对
A:对 B:错
A:错 B:对
A:Delete命令 B:Add Step After命令 C:
Add Premise命令
D:Add Step Before命令A:
Ö 图标
B:圆圈图标 C:问号图标 D:红色的三角形图标A:压缩子证明 B:
保存子证明
A:
Tarski’s World
B:Word 文档
Fitch的目标窗口
D:Boole
A:引理 B:
结论规则
A:? B:× C:√ D: c
A:对 B:错
温馨提示支付 ￥3.00 元后可查看付费内容,请先翻页预览!
