数理逻辑考试题及答案
数理逻辑考试题及答案
“离散数学”数理逻辑部分考核试题答案--------------------------- ★-----------------------------一、命题逻辑基本知识（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 一9一；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也是素数。
逻辑及批判性思维考试分答案杨金武
一、单选题（题数：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都是正确的。
离散数学之命题逻辑考试答案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也为真。
《数理逻辑》期中考试试题
《数理逻辑》期中考试试题（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. 命题逻辑中的“或”运算符可以表示为________。
逻辑学试题
警用逻辑学练习（参考答案）概念部分三、单选择答1、单独概念与普遍概念的区别是：（）。
A、外延中分子的数量是一个还是至少两个B、外延中的分子是集合体还是并未构成集合体的个体C、是反映具有某种属性的对象，还是反映不具有某种属性的对象D、是反映独立存在的具体事物，还是反映依附于事物的某种属性参考答案：A２、以下不是空概念的概念是（）A、职业律师警官B、非公务员警察C、少年警察D、道德警察参考答案：B3、“人民警察是国家和人民的忠诚卫士”和“他是一位优秀的人民警察”这两个句子中的“人民警察”（）。
A、都是集合概念B、都是非集合概念C、前者是集合概念，后者是非集合概念D、前者是非集合概念，后者是集合概念参考答案：C4、下列概念可以确切判定为单独概念是（）。
A、凶杀案件的主谋B、斧头帮所犯的特大案件C、最早采用指纹证据判决的杀人案D、相当经典的案件参考答案：C5、下列概念属于负概念的普遍概念为（）。
A、无线电管理局B、未破案件C、非洲风情D、不管部部长参考答案：B6、一个概念所反映的全部对象与另一个概念所反映的全部对象相同，二者的关系是（）。
A、全同关系B、真包含于关系C、真包含关系D、交叉关系参考答案：A7、“亚洲的国家”与“亚洲”这两个概念的外延之间是（）。
A、全同关系B、交叉关系C、真包含关系D、全异关系参考答案：D8、以“整数”作为属概念，则“正整数”与“负整数”这两个概念的外延之间就是（）。
A、交叉关系B、真包含关系C、矛盾关系D、反对关系参考答案：D9、“概念”与“单独概念”这两个概念之间的关系是（）。
A、全同关系B、属种关系C、反对关系D、矛盾关系参考答案：B10、下列各组概念间具有全同关系的是（）。
A、国家、阶级B、人民法院、中级人民法院C、警察、人民警察D、法院、审判机关参考答案：C11、下列各组概念具有种属关系的是（）。
A、文学作品与诗歌B、诗歌与文学作品C、散文与小说D、报告文学与通讯报道参考答案：B12、对概念进行概括与限制的理论依据是（）。
数理逻辑考试题及答案
③(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分）
离散考试复习题题
第一部分：数理逻辑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 →⌝∧∨)(”，是__________。
逻辑思维能力考题
逻辑思维能力考题
考题一：
假设有三个人参加一场比赛，比赛规则如下：
- 每个人只能猜一个数字。
- 只能猜整数。
- 猜中的人将获胜。
现有以下线索：
1. 猜测的数字在1-100之间。
2. A说她猜的数字是偶数。
3. B说他猜的数字是质数。
4. C说他猜的数字是一个小于50的素数。
请问，每个人猜的数字是多少？
答案：
根据A说她猜的数字是偶数，可以推断出她的数字只可能是2、4、6、8、...、98、100。
根据B说他猜的数字是质数，可以推断出他的数字只可能是2、3、5、7、11、13、17、19、 (97)
根据C说他猜的数字是小于50的素数，可以推断出他的数字
只可能是2、3、5、7、11、13、17、19、23、29、31、37、41、43、47。
综合上述线索，我们得到以下结论：
- A的数字是偶数且小于50。
因此A的数字只可能是2、4、6、8、 (48)
- B的数字是质数且小于50。
因此B的数字只可能是2、3、5、7、11、13、17、19、23、29、31、37、41、43、47。
- C的数字是小于50的素数。
因此C的数字只可能是2、3、5、7、11、13、17、19、23、29、31、37、41、43、47。
根据题目中规定，每个人只能猜一个数字且每个数字只能被一个人猜中。
因此，A的数字是48，B的数字是2，C的数字是43。
因此，A猜的数字是48，B猜的数字是2，C猜的数字是43。
幼儿园入学考试题
幼儿园入学考试题随着社会的发展和家长们对早期教育的重视，幼儿园入学考试也逐渐成为了众多家庭关注的焦点。
为了帮助家长了解幼儿园入学考试的内容和要求，本文将详细介绍幼儿园入学考试题目及其相应的参考答案。
第一部分：语言表达能力问题一：用自己的话简单描述一下你的家庭。
参考答案：（此处请参考自己实际家庭情况进行回答）问题二：请你说出五种颜色的名称，并描述一下你最喜欢的颜色是什么样的。
参考答案：红色、蓝色、黄色、绿色、紫色。
我最喜欢的颜色是蓝色，因为它让我感到宁静和平静。
第二部分：数理逻辑能力问题三：请你数一数你的十个手指头，然后说出你数的结果。
参考答案：（此处请填写数的结果）问题四：请你说出一到十这十个数字的顺序。
参考答案：一、二、三、四、五、六、七、八、九、十。
第三部分：常识知识与判断能力问题五：请你说出你每天早上起床后应该做的第一件事是什么？参考答案：（此处请填写个人做的第一件事情）问题六：请你说出夏天的天气特点有哪些？参考答案：夏天的天气通常炎热，阳光明媚，有时会有大风、雷暴和暴雨。
第四部分：身体协调能力问题七：请你模仿一只猫的走路姿势，并走上几步。
参考答案：（此处请实际模仿猫的走路姿势，并走上几步）问题八：请你拿一只手摸一摸自己的头，再拿一只手摸一摸自己的脚。
参考答案：（此处请按照题目要求进行实际操作）根据幼儿园的培养目标和入学要求，以上题目涵盖了语言表达、数理逻辑、常识知识以及身体协调能力等方面的考核内容。
通过这些问题，幼儿园可以对孩子们的基本素养和潜力进行初步评估，以便后续更好地开展教育教学工作。
请家长们根据以上给出的问题，帮助孩子在考前适当练习，帮助他们适应这种考试形式。
同时也要注意，幼儿园入学考试并不是唯一决定孩子将来发展的关键，更重要的是培养孩子的兴趣爱好和良好的品德素养。
希望家长们能够关注孩子的全面发展，为他们提供一个快乐、健康成长的环境。
文章将幼儿园入学考试题目分为语言表达能力、数理逻辑能力、常识知识与判断能力、身体协调能力四部分进行介绍，并给出了相应的参考答案。
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位相关人员，得到以下回答：赵义：“审批领导的签名不是钱仁礼。
”钱仁礼：“复核的签名不是李信。
”孙智：“出纳的签名不是赵义。
”李信：“复核的签名不是钱仁礼。
”已知上述每个回答中，如果提到的人是经办人，则该回答为假，如果提到的人不是经办人，则为真。
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. 填空题1. 小明有5个相同的红球和3个相同的蓝球，请问他最多可以从这些球中选出多少个不完全一样的组合?2. 如果一个长方体的体积是32立方米，它的两个相邻边长之比为5:2, 这个长方体的表面积是多少平方米?3. 小华在一家书店看到一本原价10元的书，打折后只要6元。
请问折扣是多少？4. 请将下列数字按从小到大的顺序排列：9, 6, 3, 7, 15. 如果一个三位数的个位数字是3，百位数字比十位数字大2，那么这个三位数是多少？2. 选择题1. 有一条绳子长12米，小明需要把它剪成两段，一段长度是5米，那么另一段的长度是：A. 6米B. 7米C. 8米D. 9米2. 一个车间有45个工人，其中男工和女工的比例是7:2，那么男工有多少人？A. 35人B. 30人C. 25人D. 20人3. 小华家有16只小鸡，小猫把其中的4只吃掉了，这时小华家还剩下了：A. 14只小鸡B. 12只小鸡C. 10只小鸡D. 8只小鸡4. 下列哪个数是4的倍数？A. 15B. 20C. 25D. 305. 请计算12 + 23 + 34 + 45的结果：B. 114C. 122D. 1543. 判断题1. 48是6的倍数。
A. 对B. 错2. 如果两个数的积是0，那么这两个数中至少有一个数是0。
A. 对B. 错3. 连个数的和是2，其中一个数是1。
A. 对B. 错4. 如果一个正方形的边长为5cm，那么它的周长是15cm。
A. 对B. 错5. 一个合数一定有奇数个因数。
B. 错4. 解答题1. 请你用罗马数字表示2021年。
2. 有2个相同的数，它们之和是18，那么这两个数是多少？3. 如果甲的年龄是乙的2倍，而丙的年龄是甲的1.5倍。
如果甲、乙、丙三人年龄总和是72岁，那么丙的年龄是多少岁？4. 请你用4张2元的纸币能凑出多少元？5. 请你写出一个质数。
以上是小学数学逻辑思维训练考试试题的内容，希望能对你的数学能力有所提升！。
数理逻辑考试题及答案
〃离散数学”数理逻辑部分考核试题答案-------------------------------------------------------- ★ --------------------------------------------------------- 一r命题逻辑基本知识(5分)1、将丁列命题符号化(总共4題完成的题号为学号尾数取4的余，完,如题。
共2分)(0)小刘既不伯吃苦，又爱钻研。
解：「p/\q,其中，P：小刘怕吃苦：q:小刘爱钻研-(1) 只有不怕敌人才能战胜敌人，解：q-「p,其中，P：怕敌人;q：战胜敌人。
(2) 只要别人有困难，老张就帮肋别人，除非困难已经解决了。
解：「r-(pfp),其中.P：别人有困难;q：老张帮助别人；「:困难解决了。
(3) 小王与小张是亲咸。
解：p,其中,P：小王与小张是亲戚。
2、判断丁列公式的类型(总共5题，完成的题号为学号尾数取5的余，完成1题。
共1分)(0 ) A：(「(p<》q)T((p/\-q)心p Aq)))vr(1 ) B ：(pA-(qH>p)| A("q)(2) |c: ( p —(q<->r)(3) E:p-^(pvqvr)(4) F:「(q-^r)Ar解，用真值表判断月为重言武，B尢矛盾式C为可満足武，E为重言武，F为矛盾武。
3、判断推理是否正确(总共2题，完成的题号为学号尾数取2的余，完成仁题。
共2分)(0)设y=2 x|, x为实数。
推理如下：如y在x = 0处可导，则y在x=0处连续。
发现y在x=0 处连续，所以，y在x=0处可导。
解：设y=2 I x|, 乂为丈数。
令P：y在x=O处可导，q： y在x=0处连续。
由此，p为假，q为真。
本题推理符号化为：(p->q)Aq由P、q的真值，计算推理公式真值为假，由此，不题推理不正确。
(1 )若2和3都是素数，则6是奇数"2是素数,3也是素数。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
“离散数学”数理逻辑部分考核试题答案━━━━━━━━━━━━━━━━━━★━━━━━━━━━━━━━━━━━━一、命题逻辑基本知识（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)∨m7m0∨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) 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) (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)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))) z y(F(z) →(G(x,y) H(x,y)))3、例证（总共2题，完成的题号为学号尾数取2的余，完成1题。
共2分）（0）举例说明“对无分配律”。
解：对无分配律指：不存在等价关系x(A(x) B(x))xA(x) xB(x)。