实验逻辑学智慧树知到期末考试答案2024年

实验逻辑学智慧树知到期末考试答案2024年实验逻辑学所有的P都是Q蕴涵着有些P是Q。

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

A:错误B:正确答案:错误谓词符号的“元数”告诉你，它需要几个常项可以形成一个原子公式。

A:正确B:错误答案:正确恒等的传递性是指：如果a=b并且b=c，那么a=c。

A:正确B:错误答案:正确复杂的公式只能由原子语句通过量词连接而成。

A:错误B:正确答案:错误如果S是一个重言式，那么S是逻辑不可能的。

A:正确B:错误答案:错误Fitch中的合取规则有两条：合取消去和合取引入。

A:正确B:错误答案:正确在Fitch中，不能显示证明的步数。

A:正确B:错误答案:错误包含布尔联结词的各种联结词的集合都是真值函项完全的。

A:错B:对答案:对在Fitch中，目标栏不能隐藏，只能显示。

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

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

A:错误B:正确答案:错误Fitch中的量词规则有两条：存在消去和存在引入。

A:错误B:正确答案:错误系统F不具有可靠性。

A:错误B:正确答案:错误逻辑真语句都是（）必然真语句。

A:永假式B:塔斯基世界C:不可满足D:重言式答案:塔斯基世界倒推策略：从（）开始，插入那些使我们能过推导出目标语句的步骤或子证明。

A:前提B:假设C:目标语句D:子证明答案:目标语句在Boole中，建立参照列的最好方法是（）。

A:自己手动完成B:老师帮你完成C:同学帮你完成D:Boole帮你完成答案:自己手动完成在Boole中，输入目标语句时，如果该语句不是合式公式，数字呈（）。

A:红色B:蓝色C:黑色D:绿色答案:红色闭公式中没有（）。

A:约束变项B:联结词C:常项D:自由变项答案:自由变项在塔斯基世界中，BackOf(b,c）表示b在c的后面，b和c（）。

A:不必在同一列B:必须在同一列C:不必在同一行D:必须在同一行答案:不必在同一列在Fitch的一个证明中，要增加一个子证明，点击Proof菜单中的（）。

A:AddPremise命令B:AddStepBefore命令C:AddStepAfter命令D:NewSubproof命令答案:NewSubproof命令一个断言有时是真的，有时是假的，这些真和假，我们称它为（）。

A:变项B:常项C:原子D:真值答案:真值在Fitch的一个证明中，要结束一个子证明，点击Proof菜单中的（）。

A:EndSubproof命令B:AddPremise命令C:AddStepAfter命令

D:NewSubproof命令答案:EndSubproof命令在塔斯基世界中，表示二元关系的谓词有：（）。

A:BetweenB:BackOfC:RightOfD:Tet答案:BackOf;RightOf在Tarski’sWorld的模块语言中，刻画性质的谓词有（）。

A:SmallB:FrontOfC:LargeD:Medium答案:Small;Medium;Large;FrontOf在Fitch中，目标栏可以是（）

A:显示B:折叠C:隐藏D:删除答案:隐藏;显示谓词符号是用来表达对象的某个（

）的符号。

A:关系B:联系C:性质D:连接答案:性质在塔斯基世界中，模块的形状分为：（）。

A:立方体B:十二面球体C:圆D:锥体答案:锥体;十二面球体;立方体真值包括（）。

A:原子B:假C:常项D:真答案:真;假在Fitch中，有两个空白处。它们是（）。

A:证明窗口B:表窗口C:目标区域D:世界窗口答案:证明窗口;目标区域通常，称每两两不同的对象在某关系中成立，需要一个形如（）的语句。

A:B:C:D:答案:AI参考:答案为【B】通常，称每两两不同的对象在某关系中成立，需要一个形如（B:即n（n-1）/2）的语句。这是因为对于n个不同的对象，它们两两组合的总数就是n乘以（n-1），也就是n（n-1）/2。所以，每两两不同的对象在某关系中成立，需要的就是这个公式所代表的语句。'“PifandonlyifQ”可以翻译成（）。

A:B:C:D:答案:AI参考:根据题干中的信息可以知道“PifandonlyifQ”表示的是一种条件关系，即“如果P则Q，且只P则Q”，这种情况下应该翻译成“如果...则...”因此，正确答案是D。'“ifPthenQ”或者“QprovidedP”可以翻译成（）。

A:B:C:D:答案:AI参考:答案：B\n推理过程：\n根据上下文可知，“ifPthenQ”翻译成“如果P，那么Q”。所以，“或者“QprovidedP”可以翻译成“或者如果P发生，那么就出现了Q”的形式。B选项中包含这一意思，其他选项都与题目所表达的意思不符。'通常，称有两个不同的对象在某关系中成立，需要一个形如（）的语句。

A:B:C:D:答案:AI参考:正确选项是【B】。\n\n根据题目描述，需要一个形如语句来描述两个不同的对象在某关系中成立的情况。B选项符合这个描述，因为它是一个完整的语句，可以用来描述两个对象之间的关系。而其他选项A、C、D都不符合题目要求，它们要么不是完整的语句，要么不符合题目中的关系描述。'在一个公式中，项分为（）。

A:个体变项B:自由变项C:约束变项D:常项答案:"AI参考:正确选项为B，自由变项。