1、学堂云逻辑学概论 章节测试【章节名称开头】第一章作业【章节名称结束】【题目】1.“经济发展有其内在的逻辑，一旦违背其内在逻辑，经济就要出大问题。改革开放以来的三十多年，中国经济发展的逻辑是投资驱动、资源消耗和廉价劳动力，从而创造了经济高速增长的奇迹。但这是不可持续的经济发展逻辑。现在的中国是一个多元、复杂而庞大的经济体，必须找准其未来经济发展的新逻辑，积极适应，才能够让中国经济保持平稳而健康的发展。 ”以上这段文字中的“逻辑”与逻辑学中的“逻辑” ：完全一致有密切关系没什么关系【答案】没什么关系【题目】2.“逻辑”一词其语源最初来自：英语法语拉丁语希腊语【答案】希腊语【题目】3.逻辑学对推理的
2、研究在于：研究每个具体的推理研究不同领域中用到的推理的共同结构研究各种推理背后的哲学道理研究各种推理所涉及的语法规则【答案】研究不同领域中用到的推理的共同结构【题目】4.下列说法是否正确： “正确的推理可以保证结论的真实性。 ”正确不正确【答案】不正确【题目】5.下列说法是否正确： “要保证结论是真命题，就必须同时保证： （1）推理所用的是有效推理形式， （2）前提是真命题。 ”正确不正确【答案】正确【题目】6.通过有效推理形式，以下哪种情况不可能出现：从真前提到真结论从真前提到假结论从假前提到真结论从假前提到假结论【答案】从真前提到假结论【题目】7.“所有鸟都会飞，鸵鸟是鸟，所以鸵鸟会飞。
3、”这一推理在形式上是否有错误？有错误没有错误【答案】没有错误【题目】8.“所有金属都是导体，玻璃不是导体，所以玻璃不是金属。 ”这一推理在形式上是否有错误？有错误没有错误【答案】没有错误【题目】9.“这场比赛输了，却是一个胜利。因为我们虽然输了比分，却总算打出了自己的风格和信心。 ”以上这段话：违反了同一律违反了不矛盾律同时违反了同一律和不矛盾律不违反同一律和不矛盾律【答案】不违反同一律和不矛盾律【题目】10.“法无禁止即为允许”这一原则同逻辑学中哪项基本准则有关：同一律不矛盾律排中律【答案】排中律【章节结束】【章节名称开头】第二章作业【章节名称结束】【题目】1.一般认为，中国先秦时代在逻辑学
4、方面作出最高成就的是儒家法家道家名家墨家【答案】墨家【题目】2.中国先秦时代文献中与逻辑学关系较为密切的是：中庸正名兼爱无为【答案】正名【题目】3.“正理”和“因明”是古代世界哪里的逻辑理论？中国印度巴比伦埃及希腊【答案】印度【题目】4.西方传统逻辑最重要的代表人物是：苏格拉底柏拉图亚里士多德欧几里得莱布尼茨【答案】亚里士多德【题目】5.在新工具中强调归纳逻辑的是：罗吉尔培根弗兰西斯培根密尔（穆勒）康德黑格尔【答案】弗兰西斯培根【题目】6.从各种具体事例中得出一般性结论的逻辑方法是：演绎归纳类比【答案】归纳【题目】7.开创数理逻辑的先驱者是：莱布尼茨布尔德摩根弗雷格罗素和怀特海【答案】莱布尼茨
5、【题目】8.布尔代数实现了数理逻辑中的：命题演算谓词演算归纳演算【答案】命题演算【题目】9.在关系逻辑方面作出开创性工作的是：莱布尼茨布尔德摩根弗雷格罗素和怀特海【答案】德摩根【题目】 10.作出经典逻辑命题演算和谓词演算代表性工作的是：莱布尼茨布尔德摩根弗雷格罗素和怀特海【答案】罗素和怀特海【章节结束】【章节名称开头】第三章作业【章节名称结束】【题目】1.命题可用语句表达，但语句不一定表达命题。以下哪种语句通常不能直接表达命题：陈述句感叹句疑问句反问句【答案】疑问句【题目】2.“只要是命题，客观上就一定有真假，而不论陈述者是否知道其真假” 。这一说法是否正确？正确不正确【答案】正确【题目】3
6、.关于“真值” ，以下哪项是错误的？真值反映命题的真假情况真值指命题是真的凡是命题均有真值真值可用不同的符号表达【答案】真值指命题是真的【题目】4.在复合命题中：至少包含一个基本命题至少包含两个基本命题与基本命题没有关系【答案】至少包含一个基本命题【题目】5.逻辑学本身可以独立判定其真值的命题是：部分基本命题所有基本命题部分复合命题所有复合命题【答案】部分复合命题【题目】6.逻辑学的推理中：必须保证前提为真不能保证前提为真具备有效的方法判定前提的真假【答案】不能保证前提为真【题目】7.在逻辑中，一个命题与对它作了双重否定所得到的命题，二者在真值上：完全相同完全不相同不完全相同【答案】完全相同【
7、题目】 8.数理逻辑文献中通常不出现命题联接词 “不相容析取” ，其理由是：“不相容析取”的情况极少出现“不相容析取”意义不明确“不相容析取”在自然语言中没有对应的连接词它的符号不便打印“不相容析取”可以用其他命题联接词以一定方式代替【答案】 “不相容析取”可以用其他命题联接词以一定方式代替【题目】9.逻辑中的“蕴涵”与日常所谓“充分条件”二者之间：完全等同毫无关系有一定联系，但并不等同【答案】有一定联系，但并不等同【题目】10.以下命题联接词中可以推广到二元以上的是：否定蕴涵反蕴涵合取【答案】合取【章节结束】【章节名称开头】第四章作业【章节名称结束】【题目】1.把复合命题的推理形式转化为复合
8、命题形式时，需要用到的命题联接词是： （多选题）否定合取析取蕴涵等值【答案】合取蕴涵【题目】2.重言式”得名于：重要的言语同语反复音译【答案】同语反复【题目】3.逻辑学不能确定孤立的基本命题的真假，是因为孤立的基本命题：都是重言式都是矛盾式都是可满足式重言式矛盾式可满足式都有可能【答案】都是可满足式【题目】4.前提对于结论，二者之间的关系相当于：合取析取蕴涵反蕴涵等值【答案】蕴涵【题目】5.出现下列那种情况就说明不是有效推理形式：前提和结论都真前提和结论都假前提真而结论假前提假而结论真【答案】前提真而结论假【题目】6.与有效推理形式相对应的复合命题形式一定是：重言式非重言式矛盾式可满足式【答案
9、】重言式【题目】7.“在运用归谬赋值法判定重言式的过程中，凡出现矛盾的就是永真式（重言式） ，不出现矛盾的就是永假式（矛盾式） ” 。这一说法是否正确：正确不正确【答案】不正确【题目】8.归谬赋值法通过证明一个命题形式不是非重言式，从而证明它是重言式，所依据的是：同一律不矛盾律排中律【答案】排中律【题目】9.判定下列复合命题形式是否为重言式： （ （pq） ）（ （ p）（ q） ）是不是【答案】是【题目】10.判定下列推理形式是否为有效推理形式：( p q )( p r )( q r )r是不是【答案】是【章节结束】【章节名称开头】第五章作业【章节名称结束】【题目】4.析取范式和合取范式中不
10、出现的命题联接词是：否定合取析取蕴涵【答案】蕴涵【题目】5.通过真值表作析取范式或合取范式的方法：是能行的方法不是能行的方法【答案】是能行的方法【题目】6.在二值逻辑中，不同的二元命题联接词的个数是：有限的无限的【答案】有限的【题目】7.若不限制命题联接词的元数，不同的命题联接词的个数是：有限的无限的【答案】无限的【题目】8.“作为命题联接词的充足集，否定（）是其中必不可少的元素” 。这一说法是否正确：正确不正确【答案】不正确【题目】9.可单独作为命题联接词的充足集的是：否定合取析取蕴涵与非【答案】与非【题目】10.理论上，数字电路中的“或非门”经有限次的重复和组合，可代替“非门” 、 “与门
11、” 、 “或门”等所有其他“门”的功能，这一说法是否正确？正确不正确【答案】正确【题目】1.“单独一个命题变元可作为合取范式的特例” 。这一说法是否正确：正确不正确【答案】正确【题目】2，命题联接词“合取”在数字电路中对应的是：非门与门或门与非门或非门【答案】与门【题目】3.“每一个析取范式都存在与之等值的合取范式” ，这一说法是否正确：正确不正确【答案】不正确【章节结束】【章节名称开头】第六章作业【章节名称结束】【题目】6.下列各项中那些是命题演算公理系统 L 的合式公式：（可多选）p2p1 p2( ( p111) )(p1 p2)( A ( B A )【答案】p2( ( p111) )【题
12、目】7.( p1) ( p2)( p1 p3)( p1)(p2)是：L 中符合 L1 的公理L 中符合 L2 的公理L 中符合 L3 的公理不是 L 的公理【答案】L 中符合 L1 的公理【题目】8. L 的每个证明的第一步一定是： （可多选）L 的合式公式L 的公理通过分离规则得到【答案】L 的合式公式L 的公理【题目】9.“L 的公理都是 L 的定理。 ”这一说法是否正确？正确不正确【答案】正确【题目】10.“L 中的证明可以看作 L 中从空集的推演。 ”这一说法是否正确？正确不正确【答案】正确【题目】1.构建公理系统可用于判定有效推理形式生成有效推理形式【答案】生成有效推理形式【题目】2
13、.构建公理系统通常需要使用：日常语言自然语言人工语言【答案】人工语言【题目】3.逻辑中“合式公式”等处的“公式”是指：表达式恒等式蕴涵式【答案】表达式【题目】4.以下说法是否正确： “按照形成规则，命题演算公理系统 L 中每使用一次 或 ，都要相应使用括号” ：正确不正确【答案】正确【题目】5.上一讲中出现的有效推理形式，在命题演算公理系统L 中：可以直接应用不能直接应用【答案】不能直接应用【章节结束】【章节名称开头】第七章作业【章节名称结束】【题目】1.命题演算的公理系统 L 包含 L1、L2、L3、MP 。已知L 具有可靠性、 完全性、 公理独立性。 从 L 中去掉 L3 得到公理系统 L
14、在 L 中加上（ A A ）作为 L4 得到公理系统 L”在这三个公理系统中，具有可靠性的是：LL 和 LL 和 L”L，L和 L”【答案】L，L和 L”【题目】2.同上，在这三个公理系统中，具有完全性的是：LL 和 LL 和 L”L，L和 L”【答案】L 和 L”【题目】3.同上，在这三个公理系统中，具有公理独立性的是：LL 和 LL 和 L”L，L和 L”【答案】L 和 L【题目】4.作为公理系统，其必须具备的性质是：可靠性完全性公理独立性【答案】可靠性【题目】5.“L 系统是具有可靠性、完全性、公理独立性的唯一可能的命题演算系统。 ”这一说法是否正确？正确不正确【答案】不正确【题目】6.
15、“L 系统的初始符号不包括和，但可以通过定义引入。 ”这一说法是否正确？正确不正确【答案】正确【题目】7.“或非、与非都不能作为命题演算公理系统的初始符号。 ”这一说法是否正确？正确不正确【答案】不正确【题目】8.“命题演算的公理系统 L 所生成的定理，与用真值表法所判定的重言式完全一致。 ”这一说法是否正确？正确不正确【答案】正确【题目】9 “自然演绎系统从假设出发，因此不能得出纯逻辑的定理，只能得到依赖于假设的推论。 ”这一说法是否正确？正确不正确【答案】不正确【题目】10.命题演算的公理系统 L 与命题演算的自然演绎系统C 相比：L 系统的定理集更大C 系统的定理集更大二者的定理集相同二
16、者的定理集互不相干【答案】二者的定理集相同【章节结束】【章节名称开头】第八章作业【章节名称结束】【题目】1.“词项”包括：主词主词谓词主词谓词量词主词谓词量词命题联接词【答案】主词谓词【题目】2.词项内涵和外延的关系是：外延随内涵增加而增加，随内涵减少而减少外延随内涵增加而减少随内涵减少而增加外延和内涵二者的增减没有相互关系【答案】外延随内涵增加而减少随内涵减少而增加【题目】3.所谓“空词项” ：内涵和外延都是空的内涵是空的，外延不是空的外延是空的，内涵不是空的外延和内涵都不是空的【答案】外延是空的，内涵不是空的【题目】4.具有全同关系的词项之间：内涵和外延都相同内涵相同而外延不相同外延相同而
17、内涵不相同外延和内涵都不相同【答案】外延相同而内涵不相同【题目】5.“命题演算的公理系统 L 的定理集”和“自然演绎系统 C 的定理集”之间是：全同关系包含关系交叉关系矛盾关系反对关系【答案】全同关系【题目】6.实数中,“正数”和“负数”之间是：全同关系包含关系交叉关系矛盾关系反对关系【答案】反对关系【题目】7.有词项 A 和 B，A 的外延都是 B 的外延，而 B 的外延不一定是 A 的外延。A 对于 B 是：全同关系包含关系包含于关系交叉关系全异关系【答案】包含于关系【题目】8.在特称（存在）量词的意义下，我们是否可以说“有金属是导体” 、 “有正数大于零”？是否【答案】是【题目】9.“定
18、义”通常用来：说明词项的内涵说明词项的外延说明词项的内涵和外延【答案】说明词项的内涵【题目】10.以下不属于划分的是：实数可分为有理数无理数句子可分为陈述句感叹句疑问句祈使句等句子成分可分为主语谓语宾语定语状语等基本命题可分为谓词主词量词国家可分为发达国家发展中国家等【答案】基本命题可分为谓词主词量词【章节结束】【章节名称开头】第九章作业【章节名称结束】【题目】1.一个词项如果在前提中出现时周延，那么它在结论中出现时：必须周延必须不周延周延或不周延都可以【答案】周延或不周延都可以【题目】2.一个词项如果在结论中出现时周延，那么它在前提中出现时：必须周延必须不周延周延或不周延都可以【答案】必须周
19、延【题目】3.当我们说“常温下有的金属不是固态”时，是否涉及了“固态”的所有外延？是不是不一定【答案】是【题目】4.作为演绎推理的有效推理形式，它的结论所涉及的范围相对于前提来说：必须超出前提范围可以超出前提范围不能超出前提范围必须和前提范围一致【答案】不能超出前提范围【题目】5.以下推理形式，无效的是：SEP 推出 PESSIP 推出 PISSOP 推出 POSSAP 推出 PIS【答案】SOP 推出 POS【题目】6.以下各对命题形式中，互为等值的一对是：SEP 和 SAPSEP 和 SIPSEP 和 SOPSEP 和（SAP） ）SEP 和（SIP） ）SEP 和（SOP） ）【答案】S
20、EP 和（SIP） ）【题目】7.从“所有行星都不自行发光”推出“所有自行发光的都不是行星”是否有效？有效无效不一定【答案】有效【题目】8.从“有人会游泳”可以推出的是：所有人会游泳不是所有人都会游泳不是所有人都不会游泳有人不会游泳【答案】不是所有人都不会游泳【题目】9.“三段论”的每个前提和结论：都是基本命题都是复合命题包括基本命题和复合命题【答案】都是基本命题【题目】10.一个全称肯定命题和一个特称否定命题作为三段论的前提（顺序不论） ，所得到的有效结论是：全称肯定命题全称否定命题特称肯定命题特称否定命题【答案】特称否定命题【章节结束】【章节名称开头】第十章作业【章节名称结束】【题目】8.
21、二元谓词“大于等于”具有：自返性反自返性非自返性【答案】非自返性【题目】 9.以下关系中， 同时具有自返性、 对称性、 传递性的是：平行不等于大于大于等于小于【答案】平行【题目】10.“一阶语言” 、 “一阶谓词演算”中“一阶”是指，量词只能用于：命题变元个体变元谓词变元【答案】个体变元【题目】1.在每个基本命题中的成分中，必然有一个且只能有一个的是：主词谓词量词命题联接词【答案】谓词【题目】2.“全称量词和存在量词$可以借助于命题联接词互相表示，因此在谓词逻辑中可以只用其中一个量词” 。这一说法是否正确？正确不正确【答案】正确【题目】3.对从未借贷的张三来说， “张三已经还清了贷款”这句话：
22、必然真必然假可真可假没有意义【答案】没有意义【题目】4.从数理逻辑的眼光看来，三段论的弱式：普遍有效无效在一定条件下有效【答案】在一定条件下有效【题目】5.“至少有一个选民投了所有候选人的赞成票”和“所有候选人都至少得了一张赞成票”这两句话：可以互相推出只有前者可以推出后者只有后者可以推出前者二者彼此都不能推出【答案】只有前者可以推出后者【题目】6.从($y)(x)R(x,y)不能推出的是：(x)($y)R(x,y)(y)($x)R(x,y)($x)($y)R(x,y)($y)($x)R(x,y)【答案】(y)($x)R(x,y)【题目】7.从“武汉在郑州以南”和“长沙在武汉以南”可推出“长沙
23、在郑州以南” ，所依据的是二元谓词“A 在 B 以南”的：自返性对称性传递性【答案】传递性【章节结束】【章节名称开头】第十一章作业【章节名称结束】【题目】1.经典逻辑的代表性著作是：亚里士多德工具论弗兰西斯培根新工具黑格尔逻辑学穆勒逻辑体系罗素和怀特海数学原理【答案】罗素和怀特海数学原理【题目】 2. “在所有逻辑系统中， 对真值的处理只限真、 假二值” ，这一说法是否正确？正确不正确【答案】不正确【题目】3.最早提出多值逻辑思想的是：亚里士多德莱布尼茨罗素卢卡西维茨【答案】亚里士多德【题目】4.在卢卡西维茨的三值逻辑中，若 p 的真值为 1，q 的真值为 2，那么（ （ p） q ）的真值是
24、：123【答案】1【题目】5.模糊逻辑的思路是：将精确对象模糊化将模糊对象精确化【答案】将模糊对象精确化【题目】6.从“他今天一定来”不能推出的是：他今天不一定不来他今天可能来他今天不可能不来他今天可能不来他今天来【答案】他今天可能不来【题目】7.从“今天可能下雨”能推出的是：今天下雨今天一定下雨并非今天一定不下雨并非今天不下雨今天可能不下雨【答案】并非今天一定不下雨【题目】8.从“禁止闯红灯”不能推出的是：不是必须闯红灯必须不闯红灯不允许闯红灯允许不闯红灯没有人闯红灯【答案】没有人闯红灯【题目】9.从“并非这里有时候下雪”不能推出的是：这里永远不下雪这里去年没下雪这里去年下过雪这里至少有的时
25、候不下雪【答案】这里去年下过雪【题目】10.“在经典逻辑中，如果存在一对矛盾，那么任何合式公式都能成为定理” ，这一说法是否正确？正确不正确【答案】正确【章节结束】【章节名称开头】第十二章作业【章节名称结束】【题目】1.现代逻辑区分归纳于演绎的标准是推理的方向，即一般到个别或个别到一般推理的可靠性，即必然还是或然【答案】推理的可靠性，即必然还是或然【题目】2.以现代逻辑的标准， “完全归纳推理”属于：演绎归纳【答案】演绎【题目】3.提出“归纳疑难”的是：亚里士多德培根密尔休谟赖辛巴哈【答案】休谟【题目】 4. “真前提通过有效推理形式所得到的结论一定是真的，不会有反例” ，这一说法适用于：演绎
26、和归纳只适用于演绎只适用于归纳演绎和归纳都不适用【答案】只适用于演绎【题目】5.通过大量实例找出共同规律的方法属于：演绎归纳类比【答案】归纳【题目】6.论证中的“论据” ，相当于推理中的：前提结论推理形式【答案】前提【题目】7.“正确的论证和有效推理形式，这两者都要求前提必须是真的” 。这一说法是否正确？正确不正确【答案】不正确【题目】8.“正确的论证方式必须是有效推理形式” 。这一说法是否正确？正确不正确【答案】正确【题目】9.“逻辑上所谓悖论，就是指自相矛盾” 。这一说法是否正确？正确不正确【答案】不正确【题目】10.日常所谓“文不对题” ，它违反了逻辑学的哪条基本准则？同一律矛盾律不矛盾律排中律【答案】同一律
