实验逻辑学知到智慧树期末考试答案题库2025年南开大学

实验逻辑学知到智慧树期末考试答案题库2025年南开大学非形式证明和形式证明在风格上不同。

答案:对重言式都是（）语句。

答案:逻辑真逻辑上有效的论证的结论是其前提的（）。

答案:一个逻辑后承通常，称每两两不同的对象在某关系中成立，需要一个形如（）的语句。

答案:通常，称每两两不同的对象在某关系中成立，需要一个形如（）的语句。通常，称有两个不同的对象在某关系中成立，需要一个形如（）的语句。

答案:通常，称有两个不同的对象在某关系中成立，需要一个形如（）的语句。通常，称有两个不同的对象在某关系中成立，不是下面的（）的语句。

答案:通常，称有两个不同的对象在某关系中成立，不是下面的（）的语句。谓词符号的“元数”告诉你，它需要几个常项可以形成一个原子公式。

答案:对谓词符号的“元数”告诉你，它需要几个常项可以形成一个（）公式。

答案:原子谓词符号的“元数”告诉你，它需要几个（）可以形成一个原子公式。

答案:常项；变项谓词符号是用来表达对象的某个性质或者对象之间的某种（）的符号。

答案:关系谓词符号是用来表达对象的某个（

）的符号。

答案:性质；关系要打开Tarski’sWorld，点击文件Tarski’sWorld.exe。

答案:对要打开Fitch，点击文件Fitch.exe.

答案:对要打开Boole，点击文件Boole.exe。

答案:对要删除一个世界文件的方法之一是（）。

答案:在File菜单中，点击Clear命令表示焦点滑块的符号是（）。

答案:红色的三角形图标系统F不具有可靠性。（）

答案:错系统F不具有可靠性。

答案:错真值包括（）。

答案:真；假没有前提的一个证明表明它的结论是一条（）。

答案:逻辑真理没有前提的一个证明表明它是系统的一条（

）。

答案:定理每个逻辑真语句都是重言式。

答案:错每个逻辑真语句都是Tarski’sWorld必然真语句。

答案:对每个谓词符号都带有一个固定的“元数”。

答案:对每个n元谓词被解释为一个与谓词有相同元数的（）。

答案:性质；关系有些逻辑真语句是（）语句。

答案:重言式有些逻辑真语句是（）。

答案:重言式有些塔斯基世界必然真语句是（）语句。

答案:重言式有些塔斯基世界必然真语句是（）。

答案:重言式；逻辑真有些Tarskis’World必然真语句不是（）。

答案:逻辑真语句；重言式；矛盾式有一些Tarskis’World必然真语句是（）。

答案:重言式所有重言式都是（）。

答案:一阶有效的；逻辑真的；塔斯基世界必然真的所有的逻辑真语句都是重言式。

答案:错所有的P都是Q蕴涵着有些P是Q。

答案:错恒等的自反性是指：b=b。

答案:对恒等的自反性是指：（）。

答案:a=a；Ø(a¹a)恒等的对称性是指：如果b=c，那么c=b。

答案:对德摩根律是指：（）。

答案:德摩根律是指：（）。形式证明比非形式证明简单。（）

答案:错形式证明比非形式证明简单。

答案:错形式证明比非形式证明严谨。

答案:错形式证明和非形式证明在严谨性上相同。

答案:对当你在语句窗口中，输入的是一个合式公式时，靠近语句标号的左边显示（）。

答案:+建立参照列的方法有（）。

答案:自己手动完成；Boole帮你完成布尔联结词包括（）。

答案:布尔联结词包括（）。如果在前提是真实的任何情况下结论必须是真的，则称论证是（）。

答案:有效的如果S是一个重言式，那么它也是（）语句。

答案:逻辑真；Tarskis’World必然真如果S是一个重言式，那么S是逻辑不可能的。

答案:错如果S是一个重言式，那么S是逻辑（）的。

答案:真如果S是一个重言式，那么S是（）的。

答案:逻辑真；塔斯基世界必然真如果S是一个重言式，那么S是（）。

答案:逻辑真的；逻辑必然的如果S是一个逻辑真语句，那么S一定是一个重言式。

答案:错如果P和Q是FOL语句，那么（）也是。

答案:如果P和Q是FOL语句，那么（）也是。复杂的公式只能由原子语句通过量词连接而成。

答案:错复杂的公式只能由原子语句通过联结词连接而成。

答案:错在证明中,如果你遇到困难,请考虑用矛盾证明法。

答案:对在棋盘上放置一个模块，点击工具栏中的（）。

答案:New按钮在塔斯基世界中，要关闭一个世界窗口，（）。

答案:可以从标签上获取；点击标签上的关闭图标在塔斯基世界中，要保存一份语句文件，最安全的命令是SaveSentenceAs。

答案:对在塔斯基世界中，要保存一份世界文件，最安全的命令不是SaveWorldAs。

答案:错在塔斯基世界中，表示性质的谓词有：（）。

答案:Tet；Cube；Dodec在塔斯基世界中，表示二元关系的谓词有：（）。

答案:BackOf；RightOf在塔斯基世界中，模块的形状分为：（）。

答案:锥体；十二面球体；立方体在塔斯基世界中，RightOf(b,c）表示b在c的右边，b和c（）。

答案:不必在同一行在塔斯基世界中，Between(b,c,d）表示b在c和d之间，三者必须在（）。

答案:同一列在塔斯基世界中，Between(b,c,d）表示b在c和d之间，三者必须在（）

答案:同一列；同一行；一条对角线上在塔斯基世界中，BackOf(b,c）表示b在c的后面，b和c（）。

答案:不必在同一列在使用量词规则时，下面哪条规则需要引入不出现在子证明外面的常项c。

答案:全称量词引入规则；存在量词消去规则在使用存在量词消去规则时,要求引入的常项c(

)出现在引入它的子证明的外面。

答案:不能在使用全称量词引入规则时,要求引入的常项c(

)出现在引入它的子证明的外面。

答案:不能在一阶逻辑的语言FOL中，每个个体常项必须命名一个实际存在的对象。

答案:对在一个公式中，项分为（）。

答案:约束变项；自由变项在Tarski’sWorld的模块语言中，只有（）个二元谓词。

答案:12在Tarski’sWorld的模块语言中，只有（）个三元谓词。

答案:1在Tarski’sWorld的模块语言中，只有（）个一元谓词。

答案:6在Tarski’sWorld的模块语言中，刻画性质的谓词有（）。

答案:Small；Medium；Large；FrontOf在Tarski’sWorld的模块语言中，刻画性质和关系的谓词有（）。

答案:一元谓词；二元谓词；三元谓词在Tarski’sWorld的模块语言中，刻画二元关系的谓词有（）。

答案:BackOf；RightOf在Tarski’sWorld的模块语言中，个体常项是（）。

答案:a；b在Tarski’sWorld的模块语言中，个体变项是（）。

答案:x；y在Tarski’sWorld中，要打开事先保存的世界文件和语句文件，可以点击File菜单中的Open命令。

答案:对在Tarski’sWorld中，要保存一份世界文件，最安全的命令是SaveWorld。

答案:错在Tarski’sWorld中，模块的形状有（）这几种情况。

答案:锥体；立方体；十二面球体在Tarski’sWorld中，模块的大小有（）这几种情况。

答案:大；中；小在Tarski’sWorld中，一个模块的名字可以有（）。

答案:一个；两个；三个；四个在Tarski’sWorld中，（）表示个体常项。

答案:a在FOL中，项分为（）。

答案:个体常项；个体变项在Fitch的证明中，符号“：x>c”表示“”。

答案:用c替换x在Fitch的一个证明过程中，要在一行的前面增加一行，点击Proof菜单中的（）。

答案:AddStepBefore命令在Fitch的一个证明中，要增加一个子证明，点击Proof菜单中的（）。

答案:NewSubproof命令在Fitch的Proof菜单中，CollapseSubproof命令表示（）。

答案:压缩子证明在Fitch中使用存在消去和存在引入规则时，不需要引入新的常项c。

答案:错在Fitch中使用全称消去和全称引入规则时，不需要引入新的常项c。

答案:对在Fitch中，要打开Fitch练习文件夹中的文件，可以使用File菜单中的Open命令。

答案:对在Fitch中，要保存一份已完成的证明，用SaveAs命令。

答案:对在Fitch中，要保存一份已完成的证明，用SaveAsProblem命令。

答案:对在Fitch中，系统F的存在量词规则有（）。

答案:存在量词引入规则；存在量词消去规则在Fitch中，系统F的全称量词规则有（）。

答案:全称量词引入规则；全称量词消去规则在Fitch中，等值引入规则要求给出两个子证明，它们表明（）。

答案:P可以从Q推出；Q可以从P推出在Fitch中，移动焦点的方法有：（）。

答案:上下拖拽焦点滑块；在焦点区域，点击你想要的那一行；用键盘上的方向键在Fitch中，目标栏可以是（）

答案:隐藏；显示在Fitch中，目标栏不能隐藏，只能显示。

答案:错在Fitch中，检查一个步骤是否正确，点击工具栏中的CheckStep后，可能出现下面哪些符号？（）

答案:×；√；?在Fitch中，检查一个步骤是否正确，点击工具栏中的CheckStep后，出现?号，这表明（

）。

答案:Con规则不能决定这一步的有效性在Fitch中，有两个空白处。它们是（）。

答案:证明窗口；目标区域在Fitch中，全称量词消去规则规定：从()可以推出（），c是任意的个体常项。

答案:在Fitch中，全称量词消去规则规定：从()可以推出（），c是任意的个体常项。在Fitch中，允许压缩和扩展子证明。

答案:对在Fitch中，Induction规则中包含（）Induction。

答案:Peano；Strong在Fitch中，Con规则中包含（）规则。

答案:Taut；FO；Ana在Boole的文件菜单中，Open命令是打开已有的真值表。

答案:对在Boole最底部，也有一个类似Fitch的提示错误信息的状态行。

答案:对在Boole中，验证一个真值表包含：（）。

答案:三个步骤在Boole中，输入目标语句时，如果该语句是合式公式，数字呈（）。

答案:绿色在Boole中，输入目标语句时，如果该语句不是合式公式，数字呈（）。

答案:红色在Boole中，要保存一份已完成的真值表，用SaveAs命令最安全。

答案:对在Boole中，点击Assessment后，可以评价目标语句是否（）。

答案:重言式在Boole中，点击Assessment后，可以评价两个目标语句是否（）。

答案:一个是另一个的重言后承；重言等值在Boole中，手动填写参考列和Boole填写参考列的标号没有区别。

答案:错在Boole中，建立参照列的最好方法是（）。

答案:自己手动完成在Boole中，如果输入的目标语句呈绿色，那么该语句（

）。

答案:是公式；关系在Boole中，填写真值表有（）步骤。

答案:点击想要输入真值的列；输入T或F在Boole中，填写参考列的方法有（）。

答案:自己手动完成；Boole帮你完成在Boole中，创建参考列，最好让Boole帮你完成。

答案:错在Boole中，创建一个新的真值表有：（）。

答案:三个步骤在Boole中，Help菜单可以使你在使用Boole时获得帮助，还可以（）。

答案:检查是否可以更新名字的顺序对于形成原子语句不重要。

答案:错可靠性断言：在系统F中，从前提P我们可以证明的任意事情，实际上，是这个前提的一个（）。

答案:一阶后承；逻辑后承创建一个新的真值表的步骤有（）。

答案:填入真值；建立参考列；指定目标语句；计算结果函数符号的作用是可以形成更复杂的（）。

答案:项倒推策略：从（）开始，插入那些使我们能过推导出目标语句的步骤或子证明。

答案:目标语句倒推的方法在证明全称断言时不是非常有用的。

答案:错倒推的方法在证明全称断言时，对于下面哪种形式的公式有用？

答案:倒推的方法在证明全称断言时，对于下面哪种形式的公式有用？倒推的方法在证明（）。

答案:全称断言时非常有用

；在证明存在断言时没有用使用n-元函数符号可以表达的内容，都可以使用一个(n+1)-元谓词符号，再加上一个恒等谓词表达。

答案:对从P和Q可以推出（）是一个有效的推理模式。

答案:从P和Q可以推出（）是一个有效的推理模式。从P可以推出（）是一个有效的推理模式。

答案:从P可以推出（）是一个有效的推理模式。下面哪些公式是亚里士多德语句形式。

答案:下面哪些公式是亚里士多德语句形式。一阶语言FOL有无穷多个常项。

答案:错一阶语言FOL有无穷多个变项。

答案:对一组联结词是真值函项完全的，如果它允许我们表达每一个真值函项。

答案:对一元谓词符号是用来表达对象的某个（）的符号。

答案:性质一个量化语句是一个重言式当且仅当它的真值函项形式是一个（）。

答案:重言式一个语言FOL可以没有谓词。（）

答案:对一个语言FOL可以没有谓词。

答案:对一个语句逻辑等值于它的前束范式。

答案:对一个语句（闭公式）是一个没有自由变项的公式。

答案:对一个论证是可靠的，需要满足下面的哪些条件。

答案:有效的；前提和结论都真一个论证是一系列陈述，其中一个陈述称为结论，结论意味着其他陈述的后承，其他陈述称为（）。

答案:前提一个开公式是至少有一个自由变项的公式。（）

答案:对一个对象不能有多个名字。

答案:错一个好的策略是找到一个非形式的证明然后试着形式化它。

答案:对一个个体常项不能命名多个对象。

答案:对一个一阶语言FOL不可以没有常项。（）

答案:错一个一阶语言FOL不可以没有常项。

答案:错Tarski’sWorld不允许给一个模块命名多个名字。

答案:错S是一个重言式当且仅当S的真值表的每一行的真值（）。

答案:都为真MP（ModusPonens）规则就是（）。

答案:蕴涵消去规则；分离规则Fitch中证明窗口的语句可以粘贴到（）中。

答案:Tarski’sWorld；BooleFitch中的量词规则有两条：存在消去和存在引入。

答案:错Fitch中的量词规则有两条：全称消去和存在引入。

答案:错Fitch中的量词规则有两条：全称消去和全称引入。

答案:错Fitch中的联结词规则分为（）。

答案:引入规则；消去规则Fitch中的结论（Con）规则有两条：Taut和FO。

答案:错Fitch中的析取规则有两条：析取消去和析取引入。

答案:对Fitch与Tarski’sWorld不同，它没有自带的练习文件夹。

答案:错FitchExerciseFiles是Fitch的练习文件夹。

答案:对Boole中的语句不能粘贴到Fitch中。（）

答案:错Boole中没有自带的练习文件夹。

答案:对Boole与Fitch相同，也有一个自带的练习文件夹。（）

答案:错Boole与Fitch相同，也有一个自带的练习文件夹。

答案:错

答案:假

答案:

答案:

答案:假

答案:错

答案:P(c)；S(c)

答案:S(c)

答案:重言式；逻辑真

答案:对

答案:

答案:错

答案:对

答案:P为真；Q为真；P和Q都为真

答案:对

答案:对

答案:S(c)

答案:

答案:

答案:

答案:对

答案:

答案