下载文档原格式
1.1课程概述1目前思维能力的考试，在国际上主要有哪些？A、B、C、D、正确答案：B?我的答案：B得分：?20.0分2对于大学本科生来说参加什么考试是目前最现实的能力考察方式？A、B、C、D、正确答案：C?我的答案：C得分：?20.0分3目前国内开考的思维能力的考试不包括下面哪一项A、B、C、D、正确答案：D?我的答案：D得分：?20.0分4逻辑与批判性思维这门课既是一个思维学科同时是一门能力学科。
正确答案：√?我的答案：√得分：?20.0分5国际大趋势下，逻辑思维能力考察已经不再受到人们关注。
正确答案：×?我的答案：×得分：?20.0分1.2什么是逻辑1人们在生活中常常将逻辑和什么联系在一起？A、B、C、D、正确答案：C?我的答案：C得分：?12.5分2知识是一种力量这是谁提出的观点A、B、C、D、正确答案：A?我的答案：A得分：?12.5分要进行推理，首先要进行什么？A、B、C、D、正确答案：D?我的答案：C得分：?0.0分4福尔摩斯第一次见华生说：你既有医生的风度，又有军人的气质，显然是一名军医。
这属于（）推理A、B、C、D、正确答案：A?我的答案：A得分：?12.5分5逻辑推理能力是建立在什么基础之上的？A、B、C、D、正确答案：C?我的答案：D得分：?0.0分生活中的逻辑包括侦探中的逻辑推理，谈判辩论中的逻辑斗智，文章写作中的逻辑艺术等等。
正确答案：√?我的答案：√得分：?12.5分7聪明的人一定是有智慧的人，逻辑能力强的人正确答案：×?我的答案：×得分：?12.5分8“什么是逻辑？”与“逻辑是什么？”这两个问题没区别是一样的。
正确答案：×?我的答案：×得分：?12.5分1.3逻辑的概念与发展（一）1古代中国将逻辑这门学问称为（）A、B、C、D、正确答案：D?我的答案：D得分：?12.5分2逻辑的的含义中最根本的是什么？A、B、D、正确答案：C?我的答案：C得分：?12.5分3以下哪个不是逻辑的发源地A、B、C、D、正确答案：B?我的答案：B得分：?12.5分4强盗逻辑中逻辑的含义是指（）A、B、C、D、正确答案：C?我的答案：C得分：?12.5分5古代逻辑的发源在印度是（）学说A、B、C、正确答案：A?我的答案：A得分：?12.5分6逻辑这个名词是在章士钊之后才在中国推广普及的。
一、单选题（题数：50，共50.0 分）1使“有些导演留大胡子，因此有些留大胡子的人是大嗓门”成立的前提是哪个？0.0 分•A、所有的导演都是大嗓门••B、有些导演是大嗓门••C、所有大嗓门的人都是导演••D、有些大嗓门不是导演•我的答案：A2用来确定论题真实性的命题叫做（）1.0 分•A、论点••B、论断••C、论调••D、论据•我的答案：D3创立了数理逻辑的是谁？1.0 分•A、莱布尼茨••B、牛顿••C、弗雷格和罗素••D、布尔•我的答案：C4人们的思维活动主要是什么？1.0 分•A、联想活动••B、计算活动••C、推理活动••D、控制活动•我的答案：C5有之必然，无之未必不然指的是（）命题1.0 分•A、必要条件命题••B、充要条件命题••C、充分条件命题••D、负命题•我的答案：C6为了避免出现以偏概全的归纳，我们在归纳时应该（）1.0 分•A、考察的数量尽可能少••B、选取特殊样本••C、不进行调查••D、考察数量尽可能多•我的答案：D7根据离赤道越近，白天能见度越高的原则，下面哪个国家白天能见度最高1.0 分•A、俄罗斯••B、英国••C、德国••D、中国•我的答案：D8以下哪个不是逻辑的发源地1.0 分•A、中国••B、古巴比伦••C、古印度••D、古希腊•我的答案：B9关联词”只要……就……”表现的关系是1.0 分•A、论证关系••B、矛盾关系••C、反对关系••D、因果关系•我的答案：D10在大小项不扩展是指大项小项在（）和结论中都不能扩展周延1.0 分•A、前提••B、后件••C、主项••D、谓项•我的答案：A11从“这架飞机上所有乘客都是阿拉伯人”可推出以下结论，除了1.0 分•A、有阿拉伯人是这架飞机上的乘客••B、并非这架飞机上有乘客不是阿拉伯人••C、这架飞机上所有乘客都是阿拉伯人••D、有阿拉伯人不是这架飞机上的乘客•我的答案：D12逻辑最大的用处是什么？1.0 分•A、怎么构造完美结构••B、怎么构造假说••C、怎么把推理运用于论证••D、怎么推理出正确结论•我的答案：C13一项时间跨度为半个世纪的专项调查研究得出肯定结论：饮用常规量的咖啡对人的身体无害。
1.1.用真值表判断下列公式的类型（重言式、矛盾式还是普通式）用真值表判断下列公式的类型（重言式、矛盾式还是普通式）： (1)p (1)p→→(p (p∨∨q ∨r)(2)(p (2)(p→╕→╕→╕p)p)p)→╕→╕→╕q q(3)(3)╕╕(q (q→→r)r)∧∧r(4)(p (4)(p→→q)q)→→(╕q →╕→╕p) p)(5)(p (5)(p∧∧r) (r) (╕╕p ∧╕∧╕q) q)(6)((p (6)((p→→q)q)∧∧(q (q→→r))r))→→(p (p→→r)(7)(p (7)(p→→q) (r s)2.2.求下列公式的成真赋值求下列公式的成真赋值求下列公式的成真赋值(1)(1)╕╕p →q(2)p (2)p∨╕∨╕∨╕q q(3)(p (3)(p∧∧q)q)→╕→╕→╕p p(4)(4)╕╕(p (p∨∨q)q)→→q3.3.求下列公式的成假赋值求下列公式的成假赋值求下列公式的成假赋值(1)(1)╕╕(╕p ∧q)q)∨╕∨╕∨╕r r(2)((2)(╕╕q ∨r)r)∧∧(p (p→→q)(3)(p (3)(p→→q)q)∧∧(╕(p (p∧∧r)r)∨∨p)4.4.已知已知p →(p (p∨∨q)q)是重言式，╕是重言式，╕是重言式，╕(p (p (p→→q)q)∧∧q 是矛盾式，试判断是矛盾式，试判断(p (p (p→→(p ∨q))q))∧∧(╕(p (p→→q)q)∧∧q)q)及及(p (p→→(p (p∨∨q)) q)) ∨∨(╕(p (p→→q)q)∧∧q)q)的类型。
的类型。
的类型。
5.5.用等值演算法证明下列等值式用等值演算法证明下列等值式用等值演算法证明下列等值式(1)p<=>(p (1)p<=>(p∧∧q)q)∨∨(p (p∧╕∧╕∧╕q) q)(2)((p (2)((p→→q)q)∧∧(p (p→→r))<=>(p r))<=>(p→→(p (p∧∧r))(3)(3)╕╕(p q)<=>(p (p q)<=>(p∨∨q)q)∧╕∧╕∧╕(p (p (p∧∧q)(4)(p (4)(p∧╕∧╕∧╕q)q)q)∨∨(╕p ∧q)<=>(p q)<=>(p∨∨q)q)∧╕∧╕∧╕(p (p (p∧∧q)6.6.求下列公式的主析取范式和主和取范式求下列公式的主析取范式和主和取范式求下列公式的主析取范式和主和取范式(1)(p (1)(p∧∧q)q)∨∨r(2)(p (2)(p→→q)q)∧∧(q (q→→r)(3)(p (3)(p∧∧q)q)→→q(4)(p q)(4)(p q)→→r(5)(5)╕╕(r (r→→p)p)∧∧p ∧q7.7.前提：╕前提：╕前提：╕p p ∨q ，╕，╕q q ∨r ，r →s ，p结论：结论：结论：s s根据前提，证明结论根据前提，证明结论根据前提，证明结论8.8.根据以下前提：根据以下前提：根据以下前提：p p →(q (q→→r)r)，，q →(r (r→→s)s)，证明：，证明：，证明：(p (p(p∧∧r)r)→→s9.9.前提：╕前提：╕前提：╕(p (p (p→→q)q)∧∧q ，p ∨q ，r →s结论结论1：r结论结论2：s结论结论3：r ∨s证明从此前提出发，推出的结论证明从此前提出发，推出的结论1，结论2，结论3都是正确的。
离散数学之命题逻辑考试1、分析下列语句那些是命题，哪些不是命题。
（每小题1分，正确 “T ”错误写 “F ”，共10分） (1)、北京是中国首都。
(2)、大连是多么美丽啊！ (3)、素数只有有限个。
(4)、请勿吸烟！ (5)、6+8≥14。
(6)、明天有离散数学课吗？ (7)、不存在最大素数。
(8)、9<+Y X 。
(9)、所有素数都是奇数。
(10)实践出真理。
2、设P 表示命题“我学习努力”。
Q 表示命题“我考试通过”。
R 表示命题“我很快乐”。
（每小题2分，共6分） 试用符号表示下列命题：1) 我考试没通过，但我很快乐。
2) 如果我努力学习，那么我考试通过。
3) 如果我学习努力并且考试通过，那么我很快乐。
3、将下列命题符号化：（每小题2分，共14分）1) 我美丽而又快乐。
2) 如果我快乐，那么天就下雨。
3) 电灯不亮，当且仅当灯泡或开关发生故障。
4) 仅当你去，我将留下。
5) 如果老张和老李都不去，他就去。
6) 你不能既吃饭又看电视。
7) 张刚总是在图书馆看书，除非图书馆不开门或张刚生病。
4、给出下列公式的真值表 （每小题5分，共10分）⑴ )(R Q P ∨→⑵ )(Q P ∨⌝⇄)(Q P ⌝∧⌝5、证明下列等价式。
（每小题3分，共12分） 1) P Q P Q P ⇔⌝∧∨∧)()( 2) P Q Q P P ⌝→⌝⇔→→)(3) C B A C B A →⌝∧⇔∨→)()(4) C A D B C D B C B A →→∧⇔∨→∧→∧))(())(())((6、求下列命题公式的主析取范式和主合取范式。
（每小题10分，共20分） 1) )()(Q R Q P →∧→ 2) R Q P →∨⌝)(7、对于下列一组前提，请给出它们的有效结论并证明。
（每小题4分，共8分）a) 如果我努力学习，那么我能通过考试，但我没有通过考试。
b) 统计表有错误，其原因有两个：一个原因是数据有错误；另一个原因是计算有错误。
数理逻辑考试题及答案一、单项选择题（每题2分，共20分）1. 以下哪个选项不是命题逻辑中的联结词？A. 与B. 或C. 非D. 存在答案：D2. 在布尔代数中，以下哪个表达式是正确的？A. ¬(A∧B) = ¬A∨¬ BB. A∧¬ A = AC. A∨¬ A = 1D. A∧(A∨B) = A答案：C3. 以下哪个命题是真命题？A. 如果今天是星期一，那么明天是星期二。
B. 所有的鸟都会飞。
C. 所有的人都是哲学家。
D. 2+2=5答案：A4. 在命题逻辑中，以下哪个命题的否定是正确的？A. 如果A，则B。
B. A且B。
C. A或B。
D. A当且仅当B。
答案：A5. 以下哪个选项是谓词逻辑中的量词？A. 与B. 或C. 存在D. 非答案：C6. 在谓词逻辑中，以下哪个表达式表示“存在一个x，使得x是学生”？A. ∀x (x 是学生)B. ∃x (x 是学生)C. ¬∃x (x 是学生)D. ¬∀x (x 是学生)答案：B7. 以下哪个选项是模态逻辑中的模态词？A. 与B. 或C. 可能D. 非答案：C8. 在模态逻辑中，以下哪个命题表示“必然P”？A. PB. ¬PC. ◊PD. □P答案：D9. 以下哪个命题是逻辑等价的？A. A∧BB. A∨BC. ¬A∧¬ BD. ¬(A∧¬B)答案：C10. 在逻辑推理中，以下哪个选项是演绎推理？A. 归纳推理B. 演绎推理C. 溯因推理D. 类比推理答案：B二、多项选择题（每题3分，共15分）1. 以下哪些选项是命题逻辑中的有效推理形式？A. 从A∧B，可以推出A。
B. 从A∨B，可以推出A。
C. 从A，可以推出A∨B。
D. 从A∧B，可以推出B。
答案：A, C, D2. 在布尔代数中，以下哪些表达式是等价的？A. A∧(B∨¬A)B. A∨(B∧¬A)C. A∧¬ BD. A∨¬ B答案：A, C3. 以下哪些命题是真命题？A. 如果A则B，且A为真，那么B也为真。
幼儿园小班数理逻辑考试试题一、数学1. 请选出下列物品中数量最多的一个：A. 毛笔B. 铅笔C. 红颜色的绳子D. 星星2. 妈妈给小明买了5个苹果和3个橙子，一共买了多少个水果？A. 7个B. 8个C. 5个D. 3个3. 下列哪个图形是一个正方形？A. 三角形B. 四边形C. 圆形D. 方形4. 小明有3个苹果，小光有2个苹果，他们一共有多少个苹果？A. 2个B. 3个C. 5个D. 6个5. 请选出下列哪个数字是最大的？A. 5B. 9C. 3D. 7二、逻辑推理1. 小红比小李年纪大，小李比小明年纪大，那么小红比小明年纪大吗？A. 是的B. 不是2. 下列物品中，哪个不属于自然界？A. 水B. 树木C. 电视机D. 石头3. 请根据以下数字继续数列：1，4，7，10，13，...A. 15B. 16C. 18D. 194. 今天是星期一，后天是星期几？A. 星期一B. 星期三C. 星期四D. 星期日5. 小明喜欢吃苹果，小李喜欢吃香蕉，小红喜欢吃什么水果？A. 苹果B. 香蕉C. 草莓D. 橙子三、综合题1. 请从下列图案中选出与原图最相似的一个：A. 图案1B. 图案2C. 图案3D. 图案42. 婆婆给小明5块钱，妈妈给了他3块钱，爸爸给了他2块钱，小明一共有多少钱？A. 8块钱B. 10块钱C. 5块钱D. 2块钱3. 如果今天是星期五，那么十天后是星期几？A. 星期一B. 星期二C. 星期四D. 星期六4. 请选出下列水果中含有酸味的一个：A. 苹果B. 香蕉C. 葡萄D. 西瓜5. 下列哪个关系是不正确的？A. 苹果-水果B. 小说-书籍C. 猫-动物D. 鱼-汽车。
《数理逻辑》期中考试试题（2009年5月）(请将所有答案写在答题纸上，注意写清题号)年级：2008级班级：B,C班专业：计算机科学与技术任课教师：周晓聪一、判断下列语句那哪些是命题，哪些不是命题？（每题2分，共10分）(1)数理逻辑是计算机专业学生的一门必修课程；(2)计算机能思考吗？(3)考试不要东张西望！(4)2是质数当且仅当三角形有三条边。
(5)x加y大于10。
二、符号化下面的句子（每题4分，共20分）：(1)如果我吃饭前完成家庭作业，而且天不下雨的话，那么我们就去看球赛。
(2)如果公用事业费用增加或增加基金的要求被否定，那么当且仅当现有计算机设备不使用的时候，才需购买一台新的计算机。
(3)小李一边吃饭，一边看电视。
(4)停机的原因在于语法错误或程序错误。
(5)只有德智体全面发展的学生才能被评为好学生。
三、列出下列公式的真值表，并判断公式的类型（每题4分，共12分）：(1)((p→q)∧(q→r))→(p→r)(2)((p∨q)→r)↔q(3)(p→p)∨(p→¬p)四、使用等值演算方法求解下列题目（每题4分，共12分）：1.证明等值式(p∧q)∨(¬p∧r)∨(q∧r)⇔(p∧q)∨(¬p∧r)；2.将公式(p↔q)∨r化成与之等值的且仅含联结词¬和→的公式；3.将公式(p↔q)∨r化成与之等值的且仅含联结词¬和∧的公式。
五、求解下面与范式及主范式有关的题目（每题5分，共15分）：(1)使用等值演算方法求公式p→((q∧r)→s)的析取范式；(2)使用等值演算方法求公式(p∧¬r)∨(s∧p)的主析取范式和主合取范式；(3)使用列真值表的方法求公式p→(p∧(q→r))的主析取范式和主合取范式。
六、某勘探队有3名队员，有一天取得一块矿样，三人的判断如下：(1)甲说：这不是铁，也不是铜；(2)乙说：这不是铁，是锡；(3)丙说：这不是锡，是铁。
公务员智力试题大全及答案一、数理逻辑类1. 若10个人围成一圈，第一个人说"我周围的人中至少有两个高个子"，第二个人说"我周围的人中至少有两个低个子"，第三个人说"我周围的人中至少有两个高个子"，依此类推，问第十个人说的是什么？答案：第十个人应该说"我周围的人中至少有两个低个子"。
2. 有8个小球，其中7个重量相等，一个小球质量比较轻，用天平称三次，如何找出轻的那个小球？答案：首先将8个小球分为三组，每组三个，剩下两个。
将其中任意一组放在天平左侧，另一组放在右侧。
如果两边重量相等，说明质量轻的小球在剩下的那组中。
然后将这组分为三个单独放置在天平的左右两边，再比较。
如果两边重量相等，剩下的那个小球就是质量较轻的。
如果左右两边不相等，说明质量轻的小球就在较轻的那一边。
二、常识判断类1. 请问，一年有多少个星期？答案：一年有52个星期。
2. 下列哪个城市是中国的首都？a) 上海b) 广州答案：c) 北京三、言语理解与表达类1. 下面哪个词与其他词不属于同一类别？a) 苹果b) 香蕉c) 橙子d) 西瓜答案：a) 苹果。
其他三个词都是水果，而苹果是一种电子产品。
2. "水中的鱼儿"这句话中的"鱼儿"应该填入下列哪个字？a) 子b) 们c) 鱼d) 儿答案：c) 鱼。
这里指的是多条鱼，因此需要使用复数形式。
四、判断推理类1. 向左移动的箭头指向哪个方向？答案：→。
箭头指向左边，表示向左移动。
2. 请问下图中字母序列的下一个字母应该是什么？A B C D E F G ?答案：H。
字母序列按顺序递增，下一个字母是H。
五、判断与分析推理类1. 请问下列数字序列中的规律是什么？2 4 6 8 10 ?答案：数字序列的规律是每个数字加2。
因此，下一个数字应该是12。
2. 请问下列图形中的黑色正方形最适合放在哪个空格中？⬛⬜⬛⬜⬛⬜答案：下图。
数理逻辑期末考试题及答案一、选择题（每题2分，共20分）1. 以下哪个命题与“所有猫都怕水”是等价的？A. 没有猫不怕水B. 所有不怕水的都不是猫C. 有些猫不怕水D. 有些猫怕水2. 如果命题P：x > 0，命题Q：x^2 > 0，那么P是Q的什么条件？A. 充分条件B. 必要条件C. 充分必要条件D. 既不充分也不必要条件3. 逻辑运算符“与”（AND）的真值表中，当两个输入都为真时，输出是什么？A. 假B. 真C. 随机D. 无定义4. 以下哪个是命题逻辑中的有效论证？A. 如果今天是星期一，那么明天是星期二B. 如果今天是星期一，那么明天是星期三C. 如果今天是星期一，那么明天是星期五D. 如果今天是星期一，那么今天是星期二5. 以下哪个命题是真命题？A. 2 + 2 = 5B. 2 + 2 = 4C. 2 + 2 > 4D. 2 + 2 < 46. 以下哪个命题与“如果今天是星期五，那么明天是星期六”是逆命题？A. 如果明天是星期六，那么今天是星期五B. 如果明天不是星期六，那么今天不是星期五C. 如果今天是星期五，那么明天是星期六D. 如果明天是星期六，那么今天是星期六7. 以下哪个命题与“所有的狗都是哺乳动物”是矛盾命题？A. 有些狗不是哺乳动物B. 所有的狗都是哺乳动物C. 所有的哺乳动物都是狗D. 有些哺乳动物不是狗8. 以下哪个命题是假命题？A. 0是自然数B. 1是最小的正整数C. 0是最小的自然数D. 1是最小的正整数且0是最小的自然数9. 以下哪个命题是真命题？A. 所有的偶数都是整数B. 所有的整数都是偶数C. 所有的奇数都是整数D. 所有的整数都是奇数10. 以下哪个命题与“如果今天是星期三，那么明天是星期四”是同一律命题？A. 如果今天是星期三，那么明天是星期四B. 如果明天是星期四，那么今天是星期三C. 如果今天是星期四，那么明天是星期三D. 如果明天不是星期四，那么今天不是星期三答案：1. A2. B3. B4. A5. B6. A7. A8. D9. A10. A二、填空题（每空2分，共20分）1. 命题逻辑中的“或”运算符可以表示为________。
“离散数学”数理逻辑部分考核试题答案━━━━━━━━━━━━━━━━━━★━━━━━━━━━━━━━━━━━━一、命题逻辑基本知识（5分）1、将下列命题符号化（总共4题，完成的题号为学号尾数取4的余，完成1题。
共2分）（0）小刘既不怕吃苦，又爱钻研。
解：?p∧q，其中，P：小刘怕吃苦；q：小刘爱钻研。
（1）只有不怕敌人，才能战胜敌人。
解：q→?p，其中，P：怕敌人；q：战胜敌人。
（2）只要别人有困难，老张就帮助别人，除非困难已经解决了。
解：?r→(p→p)，其中，P：别人有困难；q：老张帮助别人；r：困难解决了。
（3）小王与小张是亲戚。
解：p，其中，P：小王与小张是亲戚。
2、判断下列公式的类型（总共5题，完成的题号为学号尾数取5的余，完成1题。
共1分）（0）A：(?(p?q)?((p??q) ?(?p?q)))? r（1）B：(p??(q?p)) ?(r?q)（2）C：(p??r) ?(q?r)（3）E：p?(p?q?r)（4）F：?(q?r) ?r解：用真值表判断，A为重言式，B为矛盾式，C为可满足式，E为重言式，F为矛盾式。
3、判断推理是否正确（总共2题，完成的题号为学号尾数取2的余，完成1题。
共2分）（0）设y=2|x|，x为实数。
推理如下：如y在x=0处可导，则y在x=0处连续。
发现y在x=0处连续，所以，y在x=0处可导。
解：设y=2|x|，x为实数。
令P：y在x=0处可导，q：y在x=0处连续。
由此，p为假，q为真。
本题推理符号化为：(p?q) ?q?p。
由p、q的真值，计算推理公式真值为假，由此，本题推理不正确。
（1）若2和3都是素数，则6是奇数。
2是素数，3也是素数。
所以，5或6是奇数。
解：令p:2是素数，q:3是素数，r:5是奇数，s:6是奇数。
由此，p=1，q=1，r=1，s=0。
本题推理符号化为：((p ? q) →s) ?p ?q) →(r ? s)。
计算推理公式真值为真，由此，本题推理正确。
二、命题逻辑等值演算（5分）1、用等值演算法求下列公式的主析取范式或主合取范式（总共3题，完成的题号为学号尾数取3的余，完成1题。
共2分）（0）求公式p→((q∧r) ∧(p∨(?q∧?r)))的主析取范式。
解：p→((q∧r) ∧(p∨(?q∧?r)))??p∨(q∧r∧p) ∨(q∧r∧?q∧?r)??p∨(q∧r∧p) ∨0 ? (p∧q∧r) ∨? (?p∧1∧1) ∨(q∧r∧p)? (?p∧(q∨?q)∧(r∨?r)) ∨(q∧r∧p) ? (?p∧(q∨?q)∧(r∨?r)) ∨m7? (?p∧?q∧?r)∨(?p∧?q∧r)∨(?p∧q∧?r)∨(?p∧q∧r)∨m7?m0∨m1∨m2∨m3∨m7.（1）求公式?(?(p→q)) ∨(?q→?p)的主合取范式。
解：?(?(p→q)) ? (?q→?p)?(p→q) ? (p→q) ? (p→q)??p?q ? M2.（2）求公式(p→(p∨q)) ∨r的主析取范式。
解：(p→(p?q)) ?r ??p? (p?q) ?r ? (?p?p?q? r) ?1?m0∨m1∨m2∨m3∨m4∨m5∨m6∨m7.2、应用分析（总共2题，完成的题号为学号尾数取2的余，完成1题。
共3分）（0）某村选村委，已知赵炼玉、钱谷王、孙竹湾被选进了村委，三村民甲、乙、丙预言：甲预言：赵炼玉为村长，钱谷王为村支书。
乙预言：孙竹湾为村长，赵炼玉为村支书。
丙预言：钱谷王为村长，赵炼玉为村妇女主任。
村委分工公布后发现，甲乙丙三人各预测正确一半。
赵炼玉、钱谷王、孙竹湾各担任什么职务？解：设P1：赵炼玉为村长，p2：钱谷王为村长，p3：孙竹湾为村长，q1：赵炼玉为村支书，q2: 钱谷王为村支书，r1：赵炼玉为村妇女主任。
判断公式F?( (p1??q2) ? (?p1?q2)) ? ( (p3??q1) ? (?p3?q1)) ? ( (p2??r1) ? (?p2?r1))??p1?q2?p3??q1??q2?r1?1?q2?p3??r1，由此，钱谷王为村支书，孙竹湾为村长，赵炼玉为村妇女主任。
说明：p1、p2、p3有且仅有一个为真，q1、q2有且仅有一个为真。
一个人不能担任两职，一个职务不可由两人同时担任。
（1）某公司派赵、钱、孙、李、周五人出国学习。
选派条件是：①若赵去，钱也去。
②李、周两人必有一人去。
③钱、孙两人去且仅去一人。
④孙、李两人同去或同不去。
⑤如周去，则赵、钱也同去。
如何选派他们出国？解：①设p：派赵去，q：派钱去，r：派孙去，s：派李去，u：派周去。
②(1) (p?q) (2) (s?u) (3) ((q??r)?(?q?r))(4) ((r?s)?(?r??s)) (5) (u?(p?q))③(1) ~ (5)构成的合取式为：A= (p?q)?(s?u)?((q??r)?(?q?r))? ((r?s)?(?r??s))?(u?(p?q))? (?p??q?r?s??u)?(p?q??r??s?u)由此可知，A的成真赋值为00110与11001，因而派孙、李去（赵、钱、周不去），或派赵、钱、周去（孙、李不去）。
三、命题逻辑推理（5分）在自然推理系统中，构造下列推理过程（总共3题，完成的题号为学号尾数取3的余，完成1题。
共5分）（0）如果张老师出国，则若李老师出国，王老师出国。
现在的情况是张老师与李老师都要出国。
所以，王老师不出国，则孙老师出国。
解：形式化：p：张老师出国；q：李老师出国；r：王老师出国；s：孙老师出国。
前提：p?(q?r)，p?q结论：?r?s证明：①p?(q?r) 【前提引入】②?p? (?q?r) ? p?q?r 【①置换】③p?q 【前提引入】④r 【②③假言推理】⑤r ?s 【④附加规则】⑥?? r∨s 【⑤置换】⑦?r?s 【⑥置换】证毕。
（1）若张同学与李同学是乐山人，则王同学是雅安人，若王同学是雅安人，则他喜欢吃雅鱼，然而，王同学不喜欢吃雅鱼，张同学是乐山人。
所以，李同学不是乐山人。
解：形式化：p：张同学是乐山人；q：李同学是乐山人；r：王同学是雅安人；s：王同学喜欢吃雅鱼。
前提：(p?q)? r，r? s，?s，p结论：?q证明：①(p?q)? r 【前提引入】②r? s 【前提引入】③(p?q)? s 【①②假言三段论】④?s 【前提引入】⑤?(p?q) 【③④拒取式】⑥?p??q 【⑤置换】⑦p 【前提引入】⑧?q 【⑥⑦析取三段论】证毕。
（2）若n是偶数并且大于5，则m是奇数。
只有n是偶数，m才大于6。
现有n大于5。
所以，若m 大于6，则m是奇数。
解：形式化：p：n是偶数；q：n大于5；r：m是奇数；s：m大于6。
前提：(p?q)? r，s? p，q结论：s? r证明：①q 【前提引入】②?s?q 【①附加规则】（这是证明的关键）③s? q 【②置换】④s? p 【前提引入】⑤(s? q）?q（s? p）【③④合取】⑥s?(p?q ) 【⑤置换】⑦(p?q)? r 【前提引入】⑧s?r 【⑥⑦假言三段论】证毕。
四、一阶逻辑的基本概念（5分）1、一阶逻辑命题形式化（总共6题，完成的题号为学号尾数取6的余，完成1题。
共2分）（0）人人都生活在地球上。
解：?x(F(x) →G(x))，其中，F(x)：x是人，G(x)：x生活在地球上。
（1）有的人长着金色的头发。
解：?x (F(x) ?G(x))，其中，F(x)：x是人，G(x)：x长着金色的头发。
（2）没有能表示成分数的无理数。
解：??x (F(x) ?G(x))，其中，F(x)：x是无理数，G(x)：x能表示成分数。
（3）说所有的男人比所有的女人力气大是不正确的。
解：??x?y (F(x) ? G(y)→S(x,y))，其中，F(x)：x是男人，G(x)：x是女人，S(x,y)：x比y力气大。
（4）有的学生不住在校内。
解：?x (F(x) ??G(x))，其中，F(x)：x是学生，G(x)：x住在校内。
（5）说有的男人比所有的女人力气大是正确的。
解：?x (F(x) ??y(G(x)→S(x,y)))，其中，F(x)：x是男人，G(x)：x是女人，S(x,y)：x比y力气大。
2、给出下列公式的一个成真解释和一个成假解释（总共3题，完成的题号为学号尾数取3的余，完成1题。
共3分）（0）?x(F(x) ? G(x))解：取解释I1：个体域为人的集合，F(x)：x是男人，G(x)：x是女人。
则在I1解释下，?x(F(x) ? G(x))为真命题。
取解释I2：个体域为人的集合，F(x)：x是中国人，G(x)：x是美国人。
则在I2解释下，?x(F(x) ? G(x))为假命题。
（1）?x(F(x) ? G(x) ? H(x))解：取解释I1：个体域为人的集合，F(x)：x是教师，G(x)：x是党员，H(x)：x是班主任。
则在I1解释下，?x(F(x) ? G(x) ? H(x))为真命题。
取解释I2：个体域为人的集合，F(x)：x是男人，G(x)：x是女人，H(x)：x是班主任。
则在I2解释下，?x(F(x) ? G(x) ? H(x))为假命题。
（2）?x(F(x) ??y( G(y) ? H(x,y)))解：取解释I1：个体域为整数集合，F(x)：x是正整数，G(x)：x是负整数，H(x,y)：x比y大。
则在I1解释下，?x(F(x) ??y( G(y) ? H(x,y)))为真命题。
取解释I2：个体域为自然数集合，F(x)：x是奇数，G(x)：x是偶数，H(x,y)：x比y大。
则在I2解释下，?x(F(x) ??y( G(y) ? H(x,y)))为假命题。
五、一阶逻辑等值演算（5分）1、证明等值式（总共2题，完成的题号为学号尾数取2的余，完成1题。
共1分）（0）证明等值式：?x(A(x)?B)??x A(x)?B。
证明：?x(A(x)?B) ??x(?A(x)??B) ??x?A(x)??B???x A(x)??B ??x A(x)?→B。
（1）证明等值式：?x(A(x)?B)??xA(x)?B。
解：?x(A(x)?B) ??x (?A(x)??B) ??x?A(x)??B???x A(x)??B ??x A(x)?→B2、给出下列公式的前束范式（总共4题，完成的题号为学号尾数取4的余，完成1题。
共2分）（0）??x(F(x) →G(x))解：??x(F(x) →G(x)) ??x?(?F(x) ?G(x)) ??x (F(x) ??G(x))（1）??x(F(x) ? G(x))解：??x(F(x) ? G(x)) ??x ?(F(x) ?G(x)) ??x (?F(x) ??G(x)) ??x (F(x) →?G(x))（2）?yF(x,y) ??xG(x,y,z)解：?yF(x,y) ??xG(x,y,z) ??yF(u,y) ??xG(x,v,z) ??y ?x (F(u,y) ?G(x,v,z))（3）?xF(x) →?y (G(x,y) ?H(x,y))解：?xF(x) →?y (G(x,y) ?H(x,y)) ??zF(z) →?y (G(x,y) ?H(x,y))??z(F(z) →?y (G(x,y) ?H(x,y))) ??z?y(F(z) →(G(x,y) ?H(x,y)))3、例证（总共2题，完成的题号为学号尾数取2的余，完成1题。
