《2020智慧树知道网课《实验逻辑学》课后章节测试满分答案.doc》由会员分享，可在线阅读，更多相关《2020智慧树知道网课《实验逻辑学》课后章节测试满分答案.doc（5页珍藏版）》请在三一文库上搜索。
绪论单元测试【判断题】（10分）fP和P有相同的真值。（）A.对B.错卷考答案A2【判断题】（10分）Boole中的语句不能粘贴到Fitch中。（）A.对B.错畚考答案B第一章测试【判断题】（10分）要打开 Tarski sWorld，点击文件 Tarski sWorld.exe。A.对B.错2【判断题】（10分）在Tarski sWorld中，要打开事先保存的世界文件和语句文件，可以点击File菜单中的Open命令。A.错B.对畚考答案B3【判断题】（10分）在Tarski sWorld中，要保存一份世界文件，最安全的命令是SaveWorld。A.对B.错参考答案B【单选题】（10分）在棋盘上放置一个模块，点击工具栏中的（）。A.PlayGame按钮B.Verify按钮C.New按 钮D.打印按钮稼考答案C5【单选题】（10分）要删除一个世界文件的方法之一是（）。A.在File菜单中，点击Clear命令B.Verify按钮C.点击PlayGame按钮D.点击New按钮ri 弋.A6【单选题】（10分）当你在语句窗口中，输入的是一个合式公式时，靠近语句标号的左边显示（）。舂考答案B7【多选题】（10分）在Tarski sWorld中，模块的大小有（）这几种情况。A.较小B.中C.小D.