下载APP
实验逻辑学-2019秋冬
题数
37
考试分类
智慧树
学校
南开大学
售价
¥5
收藏
分享
去刷题
章节目录
绪论第一章测试第二章测试第三章测试第四章测试第五章测试第六章测试第七章测试第八章测试第九章测试第十章测试第十一章测试第十二章测试第十三章测试第十四章测试第十五章测试第十六章测试期末考试卷期末补考试卷简介
《实验逻辑学》，主要是将LPL逻辑学习软件引入的教学中。LPL是由美国斯坦福大学的多位编程人员研究开发并经不断改进而成的一套专门用于数理逻辑（或者一阶逻辑）学习的计算机程序软件。它主要包括：Boole，Fitch，Tarski¢s World 三个子程序文件。借助这些文件和常用的计算机命令，能使学生轻松地理解各个逻辑联结词和量词的意义、熟悉它们的用法。还能使学生快速的判断重言式、重言等值和重言后承。特别地，能使学生熟练地掌握自然推理系统中形式定理的证明方法。本课程适用于逻辑学、哲学和法学以及计算机专业的学生学习。
...更多
题目预览
【判断题】
要打开Tarski’s World，点击文件Tarski’s World.exe。
A.
对
B.
错
参考答案：
A
参考解析：
欢迎编辑补充或参与题目讨论
【判断题】
要打开Fitch，点击文件Fitch.exe.
A.
对
B.
错
参考答案：
A
参考解析：
欢迎编辑补充或参与题目讨论
【单选题】
在棋盘上放置一个模块，点击工具栏中的（ ）。
A.
New按钮
B.
Verify按钮
C.
Play Game按钮
D.
打印按钮
参考答案：
A
参考解析：
欢迎编辑补充或参与题目讨论
【判断题】
在Tarski’s World中，要保存一份世界文件，最安全的命令是Save World 。
A.
对
B.
错
参考答案：
B
参考解析：
欢迎编辑补充或参与题目讨论
【单选题】
要删除一个世界文件的方法之一是（ ）。
A.
点击New按钮
B.
在File菜单中，点击Clear命令
C.
点击Play Game按钮
D.
Verify按钮
参考答案：
B
参考解析：
欢迎编辑补充或参与题目讨论
【判断题】
在Fitch中，要打开Fitch练习文件夹中的文件，可以使用File菜单中的Open命令。
A.
对
B.
错
参考答案：
A
参考解析：
欢迎编辑补充或参与题目讨论
【单选题】
当你在语句窗口中，输入的是一个合式公式时，靠近语句标号的左边显示（ ）。
A.
F
B.
T
C.
+
D.
*
参考答案：
C
参考解析：
欢迎编辑补充或参与题目讨论
【多选题】
在Tarski’s World中，模块的大小有（ ）这几种情况。
A.
大
B.
中
C.
小
D.
较小
参考答案：
A B C
参考解析：
欢迎编辑补充或参与题目讨论
【判断题】
在Tarski’s World中，要打开事先保存的世界文件和语句文件，可以点击File菜单中的Open命令。
A.
对
B.
错
参考答案：
A
参考解析：
欢迎编辑补充或参与题目讨论