数理逻辑练习题及答案
- 格式:doc
- 大小:17.50 KB
- 文档页数:4
初中数理逻辑试题及答案一、选择题(每题2分,共10分)1. 如果一个数的平方等于它本身,那么这个数是()A. 0或1B. 0或-1C. 1或-1D. 无法确定2. 下列哪个选项是偶数()A. 2B. 3C. 4D. 53. 一个三角形的三个内角之和等于()A. 90°B. 180°C. 270°D. 360°4. 一个数的相反数是它本身,这个数是()A. 0B. 1C. -1D. 无法确定5. 一个数的绝对值是它本身,这个数是()A. 非负数B. 非正数C. 非负数或非正数D. 无法确定二、填空题(每题2分,共10分)1. 一个数的平方是25,那么这个数是_________。
2. 一个数的立方是-8,那么这个数是_________。
3. 一个数的倒数是1/2,那么这个数是_________。
4. 一个数的绝对值是5,那么这个数是_________。
5. 如果一个数的平方根是3,那么这个数是_________。
三、解答题(每题5分,共30分)1. 证明:对于任意实数a和b,(a+b)² = a² + 2ab + b²。
2. 已知一个数的平方是16,求这个数。
3. 一个等腰三角形的底角是45°,求顶角的度数。
4. 一个数的立方是27,求这个数。
5. 一个数的绝对值是3,求这个数。
四、逻辑推理题(每题5分,共10分)1. 如果一个数既是偶数又是质数,那么这个数是()A. 2B. 4C. 6D. 82. 如果一个数的绝对值是它本身,那么这个数是()A. 正数B. 负数C. 零D. 正数或零五、应用题(每题10分,共20分)1. 一个长方形的长是宽的两倍,如果宽是5cm,求长方形的周长。
2. 一个数的平方比它的立方小64,求这个数。
答案:一、选择题1. A2. A3. B4. A5. A二、填空题1. ±52. -23. 24. ±55. 9三、解答题1. 证明:(a+b)² = (a+b)(a+b) = a² + ab + ba + b² = a² + 2ab + b²。
数理逻辑练习题及答案-2命题逻辑等价演算1.设A、B、C为任意的命题公式。
(1)已知A∨CB∨C,问:AB一定成立吗?(2)已知A∧CB∧C,问:AB一定成立吗?(3)已知┐A┐B,问:AB一定成立吗?2.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值。
(1)┐(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)3.用等值演算法证明下面等值式:(1)┐(pq)(p∨q)∧┐(p∧q)(2)(p∧┐q)∨(┐p∧q)(p∨q)∧┐(p∧q)4.求下列公式的主析取范式,并求成真赋值:(1)(┐p→q)→(┐q∨p)(2)┐(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)5.求下列公式的主合取范式,并求成假赋值:(1)┐(q→┐p)∧┐p(2)(p∧q)∨(┐p∨r)(3)(p→(p∨q))∨r6.求下列公式的主析取范式,再用主析取范式求合取范式:(1)(p∧q)∨r(2)(p→q)∧(q→r)7.用主析取范式判断下列公式是否等值:(1)(p→q)→r与q→(p→r)(2)┐(p∧q)与┐(p∨q)8.用主合取范式判断下列公式是否等值:(1)p→(q→r)与┐(p∧q)∨r(2)p→(q→r)与(p→q)→r9.某电路中有一个灯泡和三个开关A,B,C。
已知在且仅在下述四种情况下灯亮:(1)C的扳键向上,A,B的扳键向下。
(2)A的扳键向上,B,C的扳键向下。
(3)B,C的扳键向上,A的扳键向下。
(4)A,B的扳键向上,C的扳键向下。
设F为1表示灯亮,p,q,r分别表示A,B,C的扳键向上。
(a)求F的主析取范式。
(b)在联结词完备集{┐,∧}上构造F.(c)在联结词完备集{┐,→,}上构造F.答案1.(1)不一定。
(2)不一定。
(3)一定。
2.(1)矛盾式。
(2)重言式。
(3)可满足式,000,001,101,111为成真赋值。
3.(1)┐(pq)┐((p→q)∧(q→p))┐((┐p∨q)∧(┐q∨p))(p∧┐q)∨(q∧┐p)(p∨q)∧(p∨┐p)∧(┐q∨q)∧(┐p∨┐q)(p∨q)∧┐(p∧q)(2)(p∧┐q)∨(┐p∧q)(p∨┐p)∧(p∨q)∧(┐q∨┐p)∧(┐q∨q)(p∨q)∧┐(p∧q)4.(1)m0∨m2∨m3,00,10,11为成真赋值。
命题逻辑的推理1.判断下面推理是否正确。
先将简单命题符号化,再写出前提、结论、推理的形式结构(以蕴涵式的形式给出)和判断过程(至少给出两种判断方法):(1)若今天是星期一,则明天是星期三;今天是星期一。
所以明天是星期三。
(2)若今天是星期一,则明天是星期二;明天是星期二。
所以今天是星期一。
(3)若今天是星期一,则明天是星期三;明天不是星期三。
所以今天不是星期一。
(4)若今天是星期一,则明天是星期二;今天不是星期一。
所以明天不是星期二。
(5)若今天是星期一,则明天是星期二或星期三。
(6)今天是星期一当且仅当明天是星期三;今天不是星期一。
所以明天不是星期三。
2.构造下面推理的证明:(1)前提:p→(q→r), p, q结论:r∨s(2)前提:p→q, ┐(q∧r), r结论:┐p(3)前提:p→q结论:p→(p∧q)(4)前提:q→p, q s, s t, t∧r结论:p∧q(5)前提:p→r, q→s, p∧q结论:r∧s(6)前提:┐p∨r, ┐q∨s, p∧q结论:t→(r∨s)3.用附加前提法证明下面各推理:(1)前提:p→(q→r), s→p, q结论:s→r(2)前提:(p∨q)→(r∧s), (s∨t)→u结论:p→u4.用归谬法证明下面推理:(1)前提:p→┐q, ┐r∨q, r∧┐s结论:┐p(2)前提:p∨q, p→r, q→s结论:r∨s5.构造下面推理的证明。
(1)如果小王是理科学生,他必学好数学;如果小王不是文科生,他必是理科生;小王没学好数学。
所以,小王是文科生。
(2)明天是晴天,或是雨天;若明天是晴天,我就去看电影;若我看电影,我就不看书。
所以,如果我看书,则明天是雨天。
答案1.设p:今天是星期一,q:明天是星期二,r:明天是星期三。
(1)推理的形式结构为(p→r)∧p→r此形式结构为重言式,即(p→r)∧p r所以推理正确。
(2)推理的形式结构为(p→q)∧q→p此形式结构不是重言式,故推理不正确。
数理逻辑课后习题答案数理逻辑课后习题答案数理逻辑是一门研究推理和思维的学科,它涉及到数学和哲学的交叉领域。
在学习数理逻辑的过程中,课后习题是巩固知识和提高能力的重要途径。
本文将为你提供一些数理逻辑课后习题的答案,希望能够帮助你更好地理解和应用这门学科。
1. 逻辑符号的运用习题:将以下自然语言句子转化为逻辑符号表示:a) 如果今天下雨,那么我就带伞。
b) 所有猫都喜欢吃鱼。
c) 除非你努力学习,否则你不会成功。
答案:a) p: 今天下雨q: 我带伞逻辑符号表示:p → qb) p: x是猫q: x喜欢吃鱼逻辑符号表示:∀x(p → q)c) p: 你努力学习q: 你成功逻辑符号表示:p → q2. 命题逻辑推理习题:使用命题逻辑进行推理,判断以下论断是否成立:a) 如果今天是周末,那么我会去看电影。
今天是周末,所以我会去看电影。
b) 如果这只猫是黑色的,那么它是一只黑猫。
这只猫是黑色的,所以它是一只黑猫。
答案:a) 论断成立。
根据前提条件,今天是周末,可以推出结论我会去看电影。
b) 论断不成立。
虽然前提条件是这只猫是黑色的,但不能推出结论它是一只黑猫,因为黑色的猫不一定全身都是黑色的。
3. 谓词逻辑推理习题:使用谓词逻辑进行推理,判断以下论断是否成立:a) 所有猫都喜欢吃鱼。
汤姆是一只猫,所以汤姆喜欢吃鱼。
b) 所有学生都喜欢音乐。
小明是学生,所以小明喜欢音乐。
答案:a) 论断成立。
根据前提条件,所有猫都喜欢吃鱼,可以推出结论汤姆喜欢吃鱼。
b) 论断成立。
根据前提条件,所有学生都喜欢音乐,可以推出结论小明喜欢音乐。
4. 范式化和归结习题:使用范式化和归结法解决以下逻辑问题:a) 给定前提条件:p → q, ¬q → r, ¬r。
证明结论:¬p。
答案:首先,根据前提条件,我们可以得到以下逻辑式:1. p → q2. ¬q → r3. ¬r然后,我们可以将逻辑式1和3应用范式化规则,得到新的逻辑式:4. ¬p → ¬q接下来,我们将逻辑式4和逻辑式2应用归结规则,得到新的逻辑式:5. ¬p → r最后,我们将逻辑式5和前提条件的逻辑式3应用归结规则,得到最终的结论:6. ¬p通过范式化和归结法,我们证明了结论¬p成立。
以下是参考答案。
对于较长的答案,只要回答出要点即可。
每题10分。
酌情评分。
1(A)、答案:300元。
源源,田田,晖晖每人拿出100元即可。
1(B)、答案:故选派方案有:(1)派A、C出差;(2)派A、D出差;(3)派A、B、D出差;(4)派C出差(5)派D出差;(6)派B出差;(7)派B、D出差由于题目要派两个人去出差,因此只有方案(1)、(2)、(7)满足要求,即:派A、C出差;派A、D出差;派B、D出差。
2(A)、答案:底下放一个1,然后2 3放在1上面,另外的4 5竖起来放在1的上面。
另外参考:要两人才能做到,先在平面上摆放一枚,再在这枚硬币的正面立着放两枚(这两枚是侧面接触的),这样,这三枚硬币之间形成一个三角形空隙。
剩下的两枚在空隙处交叉就行了,注意这两枚同样是平躺着,但可能需要翘起一定的角度。
2(B)、答案:a=a+b;b=a-b;a=a-b;3(A)、答案:根据I,每条供词都是由供词中没有提到的怀疑对象所作的。
因此,供词与怀疑对象之间的对应关系只有两种可能:A B(1)布拉德:亚当是无辜的。
(1)科尔:亚当是无辜的6(2)科尔:布拉德说的是真话。
(2)亚当:布拉德说的是真话。
(3)亚当:科尔在撒谎。
(3)布拉德:科尔在撒谎。
对于A,(2)支持(1);而(3)否定(2),进而否定(1)。
事实上,供词变成了:(1)布拉德:亚当是无辜的。
(2)科尔:亚当是无辜的。
(3)亚当:亚当有罪。
如果“亚当有罪”是真话,那么亚当说了真话而且是有罪的。
根据Ⅱ,这是不可能的。
如果“亚当是无辜的”是真话,那么布拉德和科尔说了真话,而且其中有一人是有罪的。
根据Ⅱ,这也是不可能的。
因此,A是不可能的。
对于B,(3)否定(1);而(2)支持(3),进而否定(1)。
事实上,供词变成了:(1)科尔:亚当是无辜的。
(2)亚当:亚当有罪。
(3)布拉德:亚当有罪。
如果“亚当有罪”是真话,那么亚当说了真话而且是有罪的。
根据Ⅱ。
数理逻辑考试题及答案一、单项选择题(每题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也为真。
“离散数学”数理逻辑部分考核试题答案━━━━━━━━━━━━━━━━━━★━━━━━━━━━━━━━━━━━━数理逻辑考试题及答案一、命题逻辑基本知识(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)。
数理逻辑练习题及答案-4(共4页)--本页仅作为文档封面,使用时请直接删除即可----内页可以根据需求调整合适字体及大小--一阶逻辑基本概念1.在一阶逻辑中将下面命题符号化,并分别讨论个体域限制为(a),(b)时命题的真值:(1)凡有理数都能被2整除。
(2)有的有理数能被2整除。
其中(a)个体域为有理数集合,(b)个体域为实数集合。
2.在一阶逻辑中将下面命题符号化,并分别讨论个体域限制为(a),(b)时命题的真值:(1)对于任意的x,均有x2-2= (x+)(x-)。
(2)存在x,使得x+5=9。
其中(a)个体域为自然数集合,(b)个体域为实数集合。
3.在一阶逻辑中将下列命题符号化:(1)没有不能表示成分数的有理数。
(2)在北京卖菜的人不全是外地人。
(3)乌鸦都是黑色的。
(4)有的人天天锻炼身体。
4.在一阶逻辑中将下列命题符号化:(1)火车都比轮船快。
(2)有的火车比有的汽车快。
(3)不存在比所有火车都快的汽车。
(4)“凡是汽车就比火车慢”是不对的。
5.给定解释I如下:(a)个体域D I为实数集合R。
(b)D I中特定元素=0。
(c)特定函数(x,y)=x-y,x,y∈D I。
(d)特定谓词(x,y):x=y,(x,y):x<y,x,y∈D I。
说明下列公式在I下的含义,并指出各公式的真值:(1)x y(G(x,y)→┐F(x,y))(2)x y(F(f(x,y),a)→G(x,y))(3)x y(G(x,y)→┐F(f(x,y),a))(4)x y(G(f(x,y),a)→F(x,y))6.给定解释I如下:(a)个体域D=N(N为自然数)。
(b)D中特定元素=2。
(c)D上函数(x,y)=x+y,(x,y)=x·y。
(d)D上谓词(x,y):x=y。
说明下列公式在I下的含义,并指出各公式的真值:(1)xF(g(x,a),x)(2)x y(F(f(x,a),y)→F(f(y,a),x))(3)x y z(F(f(x,y),z)(4)xF(f(x,x),g(x,x))7.证明下面公式既不是永真式也不是矛盾式:(1)x(F(x)→y(G(y)∧H(x,y)))(2)x y(F(x)∧G(y)→H(x,y))1.(1)(a)中,xF(x),其中,F(x):x能被2整除,真值为0。
数理逻辑期末考试题及答案一、选择题(每题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)时命题的真值:
(1)凡有理数都能被2整除。
(2)有的有理数能被2整除。
其中(a)个体域为有理数集合,(b)个体域为实数集合。
2.在一阶逻辑中将下面命题符号化,并分别讨论个体域限制为(a),(b)时命题的真值:(1)对于任意的x,均有x2-2= (x+)(x-)。
(2)存在x,使得x+5=9。
其中(a)个体域为自然数集合,(b)个体域为实数集合。
3.在一阶逻辑中将下列命题符号化:
(1)没有不能表示成分数的有理数。
(2)在北京卖菜的人不全是外地人。
(3)乌鸦都是黑色的。
(4)有的人天天锻炼身体。
4.在一阶逻辑中将下列命题符号化:
(1)火车都比轮船快。
(2)有的火车比有的汽车快。
(3)不存在比所有火车都快的汽车。
(4)“凡是汽车就比火车慢”是不对的。
5.给定解释I如下:
(a)个体域D I为实数集合R。
(b)D I中特定元素=0。
(c)特定函数(x,y)=x-y,x,y∈D I。
(d)特定谓词(x,y):x=y,(x,y):x<y,x,y∈D I。
说明下列公式在I下的含义,并指出各公式的真值:
(1)xy(G(x,y)→┐F(x,y))
(2)xy(F(f(x,y),a)→G(x,y))
(3)xy(G(x,y)→┐F(f(x,y),a))
(4)xy(G(f(x,y),a)→F(x,y))
6.给定解释I如下:
(a)个体域D=N(N为自然数)。
(b)D中特定元素=2。
(c)D上函数(x,y)=x+y,(x,y)=x·y。
(d)D上谓词(x,y):x=y。
说明下列公式在I下的含义,并指出各公式的真值:
(1)xF(g(x,a),x)
(2)xy(F(f(x,a),y)→F(f(y,a),x))
(3)xyz(F(f(x,y),z)
(4)xF(f(x,x),g(x,x))
7.证明下面公式既不是永真式也不是矛盾式:
(1)x(F(x)→y(G(y)∧H(x,y)))
(2)xy(F(x)∧G(y)→H(x,y))
答案
1.
(1)(a)中,xF(x),其中,F(x):x能被2整除,真值为0。
(b)中,x(G(x)∧F(x)),其中,G(x):x为有理数,F(x)同(a)中,真值为0。
(2)(a)中,xF(x),其中,F(x):x能被2整除,真值为1。
(b)中,x(G(x)∧F(x)),其中,F(x)同(a)中,G(x):x为有理数,真值为1。
2.
(1)(a)中,x(x2-2=(x+)(x-)),真值为1。
(b)中,x(F(x)→(x2-2=(x+)(x-)))),其中,F(x):x为实数,真值为1。
(2)(a)中,x(x+5=9),真值为1。
(b)中,x(F(x)∧(x+5=9)),其中,F(x):x为实数,真值为1。
3. 没指定个体域,因而使用全总个体域。
(1) ┐x(F(x)∧┐G(x))或x(F(x)→G(x)),其中,F(x):x为有理数,G(x):x能表示成分数。
(2) ┐x(F(x)→G(x))或x(F(x)∧┐G(x)),其中,F(x):x在北京卖菜,G(x):x 是外地人。
(3) x(F(x)→G(x)),其中,F(x):x是乌鸦,G(x):x是黑色的。
(4) x(F(x)∧G(x)),其中,F(x):x是人,G(x):x天天锻炼身体。
4. 因为没指明个体域,因而使用全总个体域。
(1) xy(F(x)∧G(y)→H(x,y)),其中,F(x):x是火车,G(y):y是轮船,H(x,y):x 比y快。
(2) xy(F(x)∧G(y)∧H(x,y)),其中,F(x): x是火车,G(y):y是汽车,H(x,y):x 比y快。
(3) ┐x(F(x)∧y(G(y)→H(x,y)))
或x(F(x)→y(G(y)∧┐H(x,y))),其中,F(x): x是汽车,G(y):y是火车,H(x,y):x比y快。
(4) ┐xy(F(x)∧G(y)→H(x,y))
或xy(F(x)∧G(y)∧┐H(x,y) ),其中,F(x): x是汽车,G(y):y是火车,H(x,y):x 比y慢。
5.
(1) xy(x<y→x≠y),真值为1。
(2) xy((x-y=0)→x<y),真值为0。
(3) xy((x<y)→(x-y≠0)),真值为1。
(4) xy((x-y<0)→(x=y)),真值为0。
6.
(1) x(x·2=x),真值为0。
(2) xy((x+2=y)→(y+2=x)),真值为0。
(3) xyz(x+y=z),真值为1。
(4) x(x+x=x·x),真值为1。
7.
(1) 取个体域为全总个体域。
解释I1:F(x):x为有理数,G(y):y为整数,H(x,y):x<y
在I1下:x(F(x)→y(G(y)∧H(x,y)))为真命题,所以该公式不是矛盾式。
解释I2:F(x),G(y)同I1,H(x,y):y整除x。
在I2下:x(F(x)→y(G(y)∧H(x,y)))为假命题,所以该公式不是永真式。
(2) 请读者给出不同解释,使其分别为成真和成假的命题即可。