数理逻辑考试题及答案
数理逻辑考试题及答案
“离散数学”数理逻辑部分考核试题答案━━━━━━━━━━━━━━━━━━★━━━━━━━━━━━━━━━━━━一、命题逻辑基本知识（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题。
逻辑及批判性思维考试分答案杨金武
一、单选题（题数：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诉诸无知是把（）作为论据来论证某个论点真。
∙A、论点∙B、错误∙C、权威∙D、无知正确答案：D 我的答案：C2一因多果和多因一果可能造成的主要问题在于（）。
∙A、容易暴露论据弱点∙B、对论点描述不够准确∙C、不容易找到适合用来反驳的点∙D、只知其一，不知其二正确答案：D 我的答案：D3充足理由律是由（）提出来的∙A、布尔∙B、康德∙C、亚里士多德∙D、莱布尼茨正确答案：D 我的答案：D4断定“这个S是P”与“这个S不是P”同真，则∙A、违反同一律∙B、违反不矛盾律∙C、违反排中律∙D、不违反普通逻辑基本规律。
正确答案：B 我的答案：D5关于因果关系的前后，说法正确的是（）。
∙A、因果关系在结果上是前后继承的∙B、因果关系在结果上是前后倒置的∙C、因果关系在时间上是前后继承的∙D、因果关系在时间上是前后倒置的正确答案：C 我的答案：A6“张三会弹钢琴并且会弹吉他。
”以下那个不能反驳这句话∙A、张三既不会钢琴，也不会吉他。
∙B、张三会钢琴但不会吉他。
∙C、张三会小提琴。
∙D、张三会吉他但不会钢琴。
正确答案：C 我的答案：C7以下哪个不是从已知条件引申出结论，需要注意的原则？∙A、整体性∙B、差异性∙C、协调性原则∙D、从弱原则正确答案：B 我的答案：B8蚂蚁是靠什么来记住路线的？∙A、生长素∙B、体液∙C、信息素∙D、触角正确答案：C 我的答案：C9张琳在超市传送带上的食品位置可以确定的是哪个？∙A、酸奶放在第一位∙B、酸奶放在第二位∙C、饼干放在第一位∙D、汽水放在最后一位正确答案：B 我的答案：B10对于削弱和反驳∙A、削弱论据是关键∙B、否定论点是关键∙C、找到他因是关键∙D、反驳因果是关键正确答案：B 我的答案：B 11以下哪项不是因果关系的特点∙A、客观性∙B、先后性∙C、确定性∙D、批判性正确答案：D 我的答案：D 12反驳论证关系∙A、只能反驳论据∙B、只能反驳论点∙C、只能反驳论证∙D、可以反驳论据、论点和论证正确答案：D 我的答案：D13某单位共有20名工作人员：(1)有人是本科学历(2)单位负责人不是本科学历(3)有人不是本科学历。
数理逻辑考试试题
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都是正确的。
离散数学之命题逻辑考试答案2
离散数学之命题逻辑考试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) 统计表有错误，其原因有两个：一个原因是数据有错误；另一个原因是计算有错误。
计算机科学中使用的数理逻辑_期末考试题2006到2014
任课教师 刘西洋
考试时间： 1 月 24 日上午 8：30－10：30 地点：西 406、407、408、409、410、411 （自然语言到谓词逻辑的翻译 10 分） 1、(逻辑公式的结构 20 分) （1）给出命题逻辑公式 ( ( ( p ) ↔ (q r)) → (r p) )的语法树（10 分） （2） 给出一阶谓词逻辑公式x ( F(b) → y(z G(y, z) H(u, x, y) ) )的语法树 （10 分） 2 （量词 20 分） 基于全称量词、存在量词 以及 等词=或，定义以下扩展的量词： （1）存在至少 2 个 （8 分） （2）存在至多 2 个 （7 分） （3）存在恰好 3 个 （5 分） 3 （有限论域上一阶谓词逻辑到命题逻辑的翻译 20 分） 4 5 （ 《面向计算机科学的数理逻辑》引理 4.4.1 结论 (i) 20 分） 6 (OBDD OBDD 论文 10 分) → ↔
p 6、 设 A∈Form （ℒ ） 含不同的原子公式 p1,…,pn, v 是真假赋值。 对于 i=1， …,n,
令
p Ai i pi
如果pi v 1 否则
证明： （1）Av=1⇒A1,…,An ⊢A （2）Av=0⇒A1,…,An ⊢¬ A （只考虑 A
为¬ B 和 B1→B2 两种形式） （20 分）
问题 1：对于图 1，我们选取变量序为 x1 、 x2 、 x3 ，请判断它是否为 OBDD。 问题 2：化简 OBDD 为 ROBDD，可以参照以下步骤： a) 合并相同的终节点：合并终节点中相同的节点，使之最多只有两个终节 点，取值为 0、1； b) 去除同构子图：对非终节点 u、v，如果满足以下三个条件，则删除其中 一个节点，将删除节点的所有入边指向保留节点。Low()/high()分别表示 取 0 取 1。
朴素逻辑题目
朴素逻辑题目
朴素逻辑题目是一种基于逻辑推理的题目，通常涉及到一些简单的问题和推理。
以下是一些朴素逻辑题目的示例：
1. 小明、小红、小刚三个人，每个人都有一个爱好，分别是唱歌、跳舞和打篮球。
现在知道以下信息：
- 小明不喜欢打篮球；
- 小红不喜欢唱歌；
- 小刚喜欢跳舞。
根据以上信息，请确定每个人的爱好。
2. 甲、乙、丙三个人分别来自北京、上海和广州。
现在知道以下信息：
- 甲不是上海人；
- 乙不是广州人；
- 丙不是北京人。
根据以上信息，请确定每个人来自的城市。
3. 甲、乙、丙三个人分别是红、绿、蓝三种颜色。
现在知道以下信息：
- 甲的颜色不是蓝色；
- 乙的颜色既不是红色也不是蓝色；
- 丙的颜色是绿色。
根据以上信息，请确定每个人所代表的颜色。
4. 一共有五个不同颜色的盒子（红、蓝、黄、绿、紫），每个盒子里都装有一种颜色的球（红、蓝、黄、绿、紫）。
现在知道以下信息：
- 第1个盒子里装的是蓝色球；
- 第2个盒子里装的不是红色球；
- 第3个盒子里装的既不是红色球也不是绿色球；
- 第4个盒子里装的既不是黄色球也不是紫色球；
- 第5个盒子里装的是黄色球。
根据以上信息，请确定每个盒子里所装的球的颜色。
数理逻辑考试题及答案
数理逻辑考试题及答案一、单项选择题（每题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. 命题逻辑中的“或”运算符可以表示为________。
2016《逻辑和批判性思维》期末考试(20)答案
13、负命题和它所否定的原命题之间具有： A 从属关系 B 反对关系 C 下反对关系 D 矛盾关系 答案：D
14、人大的“珠峰计划”是要到 2015 年全校在 AHCA 和 SHCA 发表多少篇论文？ A 100 B 200 C 300 D 400 答案：C
50、《三国演义》开头的诗是体现了我国哪一学派的哲学思想？ A 墨家 B 法家 C 道家 D 兵家 答案：C
二、判断题
1、二难推理是典型的多重复合推理 答案： √
2、解释实际上是看起来矛盾，实际上不矛盾 答案： √
3、判断一个句子是肯定句还是否定句要看句中否定概念出现的次数的奇偶性 答案： √
4、对经验规律进行研究叫枚举归纳 答案： √
27、第二次数学危机是微积分的产生，即无穷小量是零但又不是零。 答案： √
28、充分条件的逆否推理就是当否定一个充分条件的后件之后，也一定要否定它的前件 答案： √
29 单纯用演绎进行的时候，整句话一定是假的。 答案： ×
31、一个正确的三段论有且只能有三个不同的词项 答案： √
《逻辑和批判性思维》期末考试（20）
温馨提示：用搜索功能更快找到题目位置
一、单选题
1、一项时间跨度为半个世纪的专项调查研究得出肯定结论：饮用常规量的咖啡对人的身体无害。因此咖啡的 饮用者完全可以放心享用，只要不过量，就不会有碍健康。以下哪项最为恰当的指出了上述论证的漏洞？ A 咖啡的常规饮用量可能因人而异 B 心脏健康不等于身体健康 C 咖啡饮用者可能在喝咖啡时吃对心脏有害的食物 D 有的人从不喝咖啡但心脏仍然健康 答案：B
47、北京市 1990 年人均期望寿命()岁 A 72 B 73 C 83 D 84 答案：B
数理逻辑考试题及答案
③(1) ~ (5)构成的合取式为：
A= (pq)(su)((qr)(qr))((rs)(rs))(u(pq))
(pqrsu)(pqrsu)
由此可知，A的成真赋值为00110与11001，
因而派孙、李去（赵、钱、周不去），或派赵、钱、周去（孙、李不去）。
（2）求公式(p→(p∨q))∨r的主析取范式。
解：(p→(pq))rp(pq)r(ppqr)1
m0∨m1∨m2∨m3∨m4∨m5∨m6∨m7.
2、应用分析（总共2题，完成的题号为学号尾数取2的余，完成1题。共3分）
（0）某村选村委，已知赵炼玉、钱谷王、孙竹湾被选进了村委，三村民甲、乙、丙预言：
甲预言：赵炼玉为村长，钱谷王为村支书。
前提：x(F(x)→G(x))，x(G(x)H(x)→I(x))，F(a)，H(a)。
结论：I(a)
证明：①F(a)【前提引入】
②x(F(x)→G(x))【前提引入】
③F(a)→G(a)【②-】
④G(a)【①③假言推理】
证毕。
（2）若n是偶数并且大于5，则m是奇数。只有n是偶数，m才大于6。现有n大于5。所以，若m大于6，则m是奇数。
解：形式化：
p：n是偶数；q：n大于5；r：m是奇数；s：m大于6。
前提：(pq)r，sp，q
结论：sr
证明：①q【前提引入】
②sq【①附加规则】（这是证明的关键）
③sq【②置换】
④sp【前提引入】
⑤(sq）q（sp）【③④合取】
⑥s(pq)【⑤置换】
⑦(pq)r【前提引入】
⑧sr【⑥⑦假言三段论】
证毕。
四、一阶逻辑的基本概念（5分）
离散数学 数理逻辑练习题
21
6、下列陈述句中不属于排斥或的是_______。 A、李小川生于1990年或1991年 B、4是奇数或是偶数 C、章海燕去过美国或去过加拿大 D、赵远远只能选学英语或只能选学法语
22
7、证明下列公式的等价关系： ( p r ) ( q r ) ( p q) r
8、在自然推理系统中，构造下面推理的证明。 前提： ， x( F ( x) (G(a) R( x))) xF (x) 结论：
16
4. 如果王小红努力学习，她一定取得好成绩。 若王小红贪玩或不按时完成作业，她就不能 取得好成绩。所以，如果王小红努力学习， 她就能按时完成作业。 (1) 将命题中的4个简单命题依次符号化为 p,q,r,s； (2) 将命题符号化，即将命题的前提和结论符 号化； (3) 在自然推理系统P中构造命题的推理证明。
9
10
8、下列集合不是连接词极小全功能集的为_____。 A、{¬,∧,∨} B、{¬,→}
C、{↓}
D、{↑}
11
9、下列谓词公式不是命题公式P→Q的代换 实例的是______ A、F ( x) G( y) B、xF ( x, y) yG( x, y)
C、 x( F ( x) G( x)) D、xF ( x) G( x)
17
5、公安人员审查一件盗窃案，已知的事实如下： ① 甲或乙盗窃了录音机； ② 若甲盗窃了录音机，则作案时间不能发生在午夜前； ③ 若乙的证词正确，则午夜时屋里灯光未灭； ④ 若乙的证词不正确，则作案时间发生在午夜之前； ⑤ 午夜时屋里灯光灭了。 试问谁盗窃了录音机？将命题符号化，即将命题的前 提符号化；然后在自然推理系统中构造命题的推理 证明过程。
离散考试复习题题
第一部分：数理逻辑1 下列语句是命题的是( ）：A.15能被3整除，3是偶数吗？B.明年5月1日是晴天C.2X+3>0D.我在说谎.2下列叙述中有( ）个命题(1)离散数学是计算机科学系的一门必修课 (2) 地球外的星球上也有人(3) 我正在说谎. (4)请不要吸烟A.1个B.2个C. 3个D. 4个3 下列语句中不是．．命题的只有（）A．这个语句是假的。
B．1+1=1.0C．飞碟来自地球外的星球。
D．凡石头都可练成金。
4 设p：我很累，q：我去学习，命题：“除非我很累，否则我就去学习”的符号化正确的是A．┐p∧q B．┐p→qC．┐p→┐q D．p→┐q5 令p：今天下雪了，q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（）A. p∧┐q B．p∨┐qC. p∧q D．p→┐q6使用逻辑连接词将下列复合命题符合化：（1）如果天不下雪且我有时间，我就进城；（2）我进城的必要条件是我有时间；（3）天不下雪或我不进城；（4）我进城当且仅当我有时间且天不下雪。
7判断下面一段论述是否为真：“ 是无理数。
并且，如果3是无理数，则2也是无理数。
另外6能被2整除，6才能被4整除。
”11. 将下列命题符号化(1)2或3是素数.(2)4或6是素数.(3)小元元只能拿一个苹果或一个梨.(4)王晓红生于1975年或1976年.8命题公式q ∧(p ∨┐q)的成真赋值是＿＿＿＿＿＿＿＿＿＿＿＿9命题公式p ∨(┐p →(q ∨(┐q →r)))的成假赋值是＿＿＿＿＿＿＿＿10 命题公式(p →(q ∧r))∧(┐p →(┐q ∧┐r))的成真赋值是＿＿＿11 命题公式p →(p ∧(q →r))的成假赋值是＿＿＿＿＿＿＿＿＿＿＿＿12..下列命题公式中是重言式的为（ ）A.q q)p (∧→⌝B. r q p ∧∧)(C.)()(q p q p ⌝∧∨∧D.p p q p ↔→→))((13 命题公式“q p q p →⌝∧∨)(”，是__________。
MBA考试《逻辑》历年真题精选及详细解析0813-68
MBA考试《逻辑》历年真题精选及详细解析0813-681、一种检测假币的仪器在检测到假币时会亮起红灯，制造商称该仪器将真币误认为是假币的可能性只有0.1%。
因此，该仪器在一千次亮起红灯时有九百九十九次会发现假币。
上述论证的推理是错误的，因为（）。
【逻辑推理】A.忽略了在假币出现时红灯不亮的可能性B.基于一个可能有偏差的事例概括出一个普遍的结论C.忽略了仪器在检测假币时操作人员可能发生的人为错误D.在讨论百分比时偷换了数据概念E.没有说明该仪器是否对所有的假币都同样敏感答案解析:误认假币的可能性是0.1%，不等于1000次中就一定有一次错误。
题干明显在百分比的内涵上偷换了概念。
2、一项研究发现：吸过毒品（例如摇头丸）的女孩比没有这种行为的女孩患抑郁症的可能性高出2至3倍；酗酒的男孩比不喝酒的男孩患抑郁症的可能性高出5倍。
另外，抑郁会使没有不良行为的孩子减少犯错误的冲动，却会让有过上述不良行为的孩子更加行为出格。
如果上述断定为真，则以下哪项一定为真（）。
【逻辑推理】A.行为出格的孩子容易抑郁，进而加重他们的出格行为B.酗酒的男孩比食用摇头丸的女孩患抑郁症的可能性高C.抑郁会让人失去生活的乐趣并导致行为出格D.没有坏习惯的孩子大多是家庭和谐快乐的E.患有抑郁症的孩子都伴随有不良的行为出格答案解析:大前提是“行为出格更可能会使孩子抑郁”，小前提是“抑郁者更可能行为出格”，所以，两者联系起来，即正确答案选A。
3、某公司年度审计期间，审计人员发现一张发票，上面有赵义、钱仁礼、孙智、李信4个签名，签名者的身份各不相同，是经办人、复核、出纳或审批领导之中的一个，且每个签名都是本人所签。
询问4位相关人员，得到以下回答：赵义：“审批领导的签名不是钱仁礼。
”钱仁礼：“复核的签名不是李信。
”孙智：“出纳的签名不是赵义。
”李信：“复核的签名不是钱仁礼。
”已知上述每个回答中，如果提到的人是经办人，则该回答为假，如果提到的人不是经办人，则为真。
逻辑与批判性思维习题答案
课程概述1目前思维能力的考试，在国际上主要有哪些？A、GMAT ,LAST ,GCTB、GRE , GMAT ,LSATC、GRE , MPACC ,GCTD、MBA , GMAT ,GCT正确答案：B2对于大学本科生来说参加什么考试是目前最现实的能力考察方式？A、GREB、LASTC、国家公务员考试D、MBA正确答案：C3目前国内开考的思维能力的考试不包括下面哪一项A、MPAB、MPACCC、MBAD、LSAT正确答案：D4逻辑与批判性思维这门课既是一个思维学科同时是一门能力学科。
正确答案：√5国际大趋势下，逻辑思维能力考察已经不再受到人们关注。
正确答案：×什么是逻辑1福尔摩斯第一次见华生说：你既有医生的风度，又有军人的气质，显然是一名军医。
这属于（）推理A、并列B、假设C、选择D、否定正确答案：A2人们在生活中常常将逻辑和什么联系在一起？A、道德B、品行C、智慧D、仁爱正确答案：C3知识是一种力量这是谁提出的观点A、培根B、鲁迅C、福尔摩斯D、毛泽东正确答案：A4逻辑推理能力是建立在什么基础之上的？A、智力B、为人处事C、观察能力D、分析能力正确答案：C5要进行推理，首先要进行什么？A、因果分析B、假设C、逻辑演绎D、做出判断正确答案：D6生活中的逻辑包括侦探中的逻辑推理，谈判辩论中的逻辑斗智，文章写作中的逻辑艺术等等。
正确答案：√7“什么是逻辑？”与“逻辑是什么？”这两个问题没区别是一样的。
正确答案：×8聪明的人一定是有智慧的人，逻辑能力强的人正确答案：×逻辑的概念与发展（一）1强盗逻辑中逻辑的含义是指（）A、客观事物的规律B、人思维中的规律C、某种特殊的理论观点D、逻辑学正确答案：C2古代中国将逻辑这门学问称为（）A、逻辑学B、理则学C、论理学D、名辩之学正确答案：D3古代逻辑的发源在印度是（）学说A、因明学B、名辩学C、逻辑学D、论理学正确答案：A4以下哪个不是逻辑的发源地A、中国B、古巴比伦C、古印度D、古希腊正确答案：B5 逻辑的的含义中最根本的是什么？A、智慧B、核心概念C、思维的规律和规则D、特殊的理论观点正确答案：C6逻辑是关于思维规律和规则的学问。
12-13高等数理逻辑期末试卷(附答案)
2012-2013第一季度期末考试试题一、填空题（30分，每空3分）1.判断下列命题公式的类型（1）q(为___矛盾式____⌝)→p∧q（2）q→))∧((为___重言式____p→pq（3）q(为___可满足式____→)p∧q（4）))FxGx∀∀为__可满足式_____xF∨→∀∨X(()())(xG(x()x（5）))xxGxxFxF∨∨∀→∀∀为____重言式___)x()())(((XG(2.设R为非空集合A上的关系，如果R是自反的、对称的和传递的，则称R为A上等价关系。
如果R是__自反的、反对称的和传递的__，则称R为A上的偏序关系，简称偏序。
记做≤3.凡是形式推演性所反映的前提和结论之间的关系，在非形式的推理中都是成立的。
因此形式可推演性并不超出非形式推理的范围。
这称为___可靠性___定理。
4.公式A中，原子公式出现的数目为n；↔,出现的总数是m，那么n和∧,,→∨m的关系是___m=n-1_______。
5.{}∨→⌝,是联结符号完备集，这样看来，好像在联结符⌝,和{}∧⌝,，{}∨⌝,,，{}∧号的完备集中不能缺少否定符号，实际上并非如此。
在我们讨论过的8个常用联结符号中，有___2____个联结符号单独具有完备性。
6.在第1题的5个公式中，有____4___个公式是协调的。
二、计算证明题（70分）1.构造下面推理的证明。
（10分）前提：)⌝⌝，r∧p⌝(qq∨⌝，r结论：p⌝2.证明p L的公式的长度不能是2,3,或6，但其他的长度都是可能的。
（10分）3.写出公式)]→→A→↔↔的合取范式。
（10分）B⌝[((A))BC(C4.证明以下两道题目。
（10分）（1）C(C↔（5分）A↔B()A↔B↔)（2）)B→C(（5分）∨∨)A→B()(CCA→5.证明：设∑是极大协调集。
那么，对于任何A ，∑A 当且仅当∑∈A 。
（10分）6.设)(p L Form ∈∑。
证明存在唯一的真假赋值满足∑，当且仅当对于任何A ，∑A 和∑A ⌝中恰好有一个成立。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
数理逻辑考试题及答案 IMB standardization office【IMB 5AB- IMBK 08- IMB 2C】“离散数学”数理逻辑部分考核试题答案━━━━━━━━━━━━━━━━━━★━━━━━━━━━━━━━━━━━━一、命题逻辑基本知识（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：((pq)((pq) (pq))) r（1）B：(p(qp)) (rq)（2）C：(pr) (qr)（3）E：p(pqr)（4）F：(qr) 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为真。
本题推理符号化为：(pq) qp。
由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)∨m7m0∨m1∨m2∨m3∨m7.（1）求公式((p→q)) ∨(q→p)的主合取范式。
解：((p→q)) (q→p) (p→q) (p→q) (p→q)pq M2.（2）求公式(p→(p∨q)) ∨r的主析取范式。
解：(p→(pq)) r p (pq) r (ppq r) 1m0∨m1∨m2∨m3∨m4∨m5∨m6∨m7.2、应用分析（总共2题，完成的题号为学号尾数取2的余，完成1题。
共3分）（0）某村选村委，已知赵炼玉、钱谷王、孙竹湾被选进了村委，三村民甲、乙、丙预言：甲预言：赵炼玉为村长，钱谷王为村支书。
乙预言：孙竹湾为村长，赵炼玉为村支书。
丙预言：钱谷王为村长，赵炼玉为村妇女主任。
村委分工公布后发现，甲乙丙三人各预测正确一半。
赵炼玉、钱谷王、孙竹湾各担任什么职务？解：设P1：赵炼玉为村长，p2：钱谷王为村长，p3：孙竹湾为村长，q1：赵炼玉为村支书，q2: 钱谷王为村支书，r1：赵炼玉为村妇女主任。
判断公式F( (p1q2) (p1q2)) ( (p3q1) (p3q1)) ( (p2r1) (p2r1))p1q2p3q1q2r11q2p3r1，由此，钱谷王为村支书，孙竹湾为村长，赵炼玉为村妇女主任。
说明：p1、p2、p3有且仅有一个为真，q1、q2有且仅有一个为真。
一个人不能担任两职，一个职务不可由两人同时担任。
（1）某公司派赵、钱、孙、李、周五人出国学习。
选派条件是：①若赵去，钱也去。
②李、周两人必有一人去。
③钱、孙两人去且仅去一人。
④孙、李两人同去或同不去。
⑤如周去，则赵、钱也同去。
如何选派他们出国？解：①设p：派赵去，q：派钱去，r：派孙去，s：派李去，u：派周去。
② (1) (pq) (2) (su) (3) ((qr)(qr))(4) ((rs)(rs)) (5) (u(pq))③ (1) ~ (5)构成的合取式为：A= (pq)(su)((qr)(qr)) ((rs)(rs))(u(pq))(pqrsu)(pqrsu)由此可知，A的成真赋值为00110与11001，因而派孙、李去（赵、钱、周不去），或派赵、钱、周去（孙、李不去）。
三、命题逻辑推理（5分）在自然推理系统中，构造下列推理过程（总共3题，完成的题号为学号尾数取3的余，完成1题。
共5分）（0）如果张老师出国，则若李老师出国，王老师出国。
现在的情况是张老师与李老师都要出国。
所以，王老师不出国，则孙老师出国。
解：形式化：p：张老师出国；q：李老师出国；r：王老师出国；s：孙老师出国。
前提：p(qr)，pq结论：rs证明：① p(qr) 【前提引入】② p (qr) pqr 【①置换】③ pq 【前提引入】④ r 【②③假言推理】⑤ r s 【④附加规则】⑥ r∨s 【⑤置换】⑦ rs 【⑥置换】证毕。
（1）若张同学与李同学是乐山人，则王同学是雅安人，若王同学是雅安人，则他喜欢吃雅鱼，然而，王同学不喜欢吃雅鱼，张同学是乐山人。
所以，李同学不是乐山人。
解：形式化：p：张同学是乐山人；q：李同学是乐山人；r：王同学是雅安人；s：王同学喜欢吃雅鱼。
前提：(pq) r，r s，s，p结论：q证明：① (pq) r 【前提引入】② r s 【前提引入】③ (pq) s 【①②假言三段论】④ s 【前提引入】⑤ (pq) 【③④拒取式】⑥ pq 【⑤置换】⑦ p 【前提引入】⑧ q 【⑥⑦析取三段论】证毕。
（2）若n是偶数并且大于5，则m是奇数。
只有n是偶数，m才大于6。
现有n大于5。
所以，若m大于6，则m是奇数。
解：形式化：p：n是偶数；q：n大于5；r：m是奇数；s：m大于6。
前提：(pq) r，s p，q结论：s r证明：① q 【前提引入】② sq 【①附加规则】（这是证明的关键）③ s q 【②置换】④ s p 【前提引入】⑤ (s q）q（s p）【③④合取】⑥ s(pq ) 【⑤置换】⑦ (pq) r 【前提引入】⑧ sr 【⑥⑦假言三段论】证毕。
四、一阶逻辑的基本概念（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）说所有的男人比所有的女人力气大是不正确的。
解：xy (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) xA(x)Bx 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)Bx 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))) zy(F(z) →(G(x,y) H(x,y)))3、例证（总共2题，完成的题号为学号尾数取2的余，完成1题。
共2分）（0）举例说明“对无分配律”。
解：对无分配律指：不存在等价关系x(A(x) B(x))xA(x) xB(x)。