离散数学习题整合

CHOI复习j


§1.2
1.命题判断(每空1分,共4分)国家公司1.1-1.3 P32-
A小李和小王是同班同学    B小猪不是鲜花 C 3-2n<0 D2+2=4,则太阳从
西方升起。
上述语句中,是简单命题,—不是命题,—是符合命题且真值为假,_是符 合命题且真值为真。(参考答案:ACDB)
2.命题符号化(每空2分,共4分)习题1.5(7)(3) P32-
P天下人雨,q他乘公共汽车去上班,命题“除非天下大雨,否则他不乘公共汽车去 上班”可符号化为o (参考答案:q-p必要条件为后件)
r天很冷,s老李来了,命题“虽然天很冷,老李还是来了”可符号化为_,(参 考答案rAs)
3.五个真值表(每空2分,共4分)习题1.6(2)(4) P32-
P的真值为0, r的真值为1, qs都是命题,则命题公式(3 o r)Jq v s)的真 值为    ,命题公式-> 3 v (q Cr人「p〉))t Cr vs)的真值为    。(参考答案:0,1)
4.用符号pq填空。(每空1分,共4分)朕本概念
p x>0 (其中x是整数),q太阳从西方升起,则_是命题,_是命题变项, 是命题常项,_不是命题。(参考答案:qp, q, p)
5.命题符号化,相容或与排斥或
r现在小李在图书馆,s现在小李在学生宿舍,则“现在小李在图书馆或学生宿舍” 可
符号化为—。(参考答案:B)
A rVs B (rA-'sJV ("YAs)    C rAs D (rA-'s)或(~yAs)
§ 1.2命题公式及分类
已知:A是含三个命题变项的命题公式,且A(001)=0, A(100)=l,A是    o (D)
A矛盾是 B可满足式 C重言式 D非重言式的可满足式
§ 1.3等值演算
用等值演算法证明等值式:p/\q)f(q-r).(演算的每一步都要写依据)
§ 1.4范式
6.(每项1分,共4分)已知命题公式A(p,q)的真值表
P
q
A(p,q)
0
0
0
0
1
1
1
0
瘘口0
1
1
1
A的永主析取范式、主合取范式、成真赋值和成假赋值。(参考答案:混凝土侧压力miVm3, M0AM2,
0111, 0010)
7. (2分)命题公式B(p,qj)=(p/\r7\q)的主析取范式是    。(参考答案:C)
A m2    B M6    C mi    D M5 E
命题公式B(pzq,r)=(-pV-qVr)W主析取范式是    。(参考答案:A)
A moVmiVm2Vm3Vm4Vm5Vm7 B IVk C mi D Mi
§1.5全功能集2分)
    不是联结词全功能集。(参考答案:D)
A{t}    B{- -*}    C{- V}    D{A,V}
    是联结词全功能集。(参考答案:A)
A{l,}    B{V,A} C{V}    D{A}
§ 1.6组合电路
(习题1.16)有一盏灯由三个开关控制,要求按任何一个开关都能使灯由黒变亮或由亮变黑, 试设计这样的一个电路。
(解题基本步骤:状态设置、设计真值表、写主析取范式、化简、绘制电路.答案不唯一)
§ 1.7推理理论
(习题1.19(1))用直接证明法或归谬法证明下面的推理.
财政部长前提:■'(pA^q),qVr, ~T.结论:~p-
证明:...
(习题海尔老总1.19⑶)用直附加前提法证明卞面的推理.
前提:P~*q.结论:P-*(pAq).
证明:...
(例题1.28)公安人员审查一件盗窃案,已知事实如下:
1    李或王盗窃了录音机
2)    若李盗窃了录音机,则作案时间不能发生在午夜前;
3)    若王的证词正确,则午夜时屋里灯光未灭;
4)    若王的证词不正确,则作案时间发生在午夜前:
5)    午夜时屋里灯光灭了.
试问盗窃录音机的是李还是王,并证明你的结论。 参考答案:王盗窃了录音机.
p李盗窃了录音机;
q王盗窃了录音机;
r作案时间发生在午夜前;
s王的证词正确;
t午夜时屋里灯光灭了.
前提:pVq, pf~T, s-*t,飞~*「,飞.结论:q. 证明:...
CH02复习题
§2.1 2.1 (3)
1将命题“若李一的成绩比王二高,王二的成绩比吴三高,那么李一的成绩比吴三高”用0 元谓词符号化。
解:设H(x,y) x成绩比y高,a李一,b王二,c:吴三
则命题可符号化为H(a,b)A H(b,c) H(a,c)
§2.1 2.4 (4)
2在一阶逻辑中将命题“素数不全是奇数”符号化。
解:设F(x)马里奥 巴尔加斯 略萨 x是素数,G(x) x是奇数
则命题可符号化为x(F(x)AG(x))
x(F(x)G(x))

本文发布于:2024-09-21 00:26:53,感谢您对本站的认可!

本文链接:https://www.17tex.com/xueshu/556339.html

版权声明:本站内容均来自互联网,仅供演示用,请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系,我们将在24小时内删除。

标签:命题   证明   等值   公式   录音机   赋值   符号化   盗窃
留言与评论(共有 0 条评论)
   
验证码:
Copyright ©2019-2024 Comsenz Inc.Powered by © 易纺专利技术学习网 豫ICP备2022007602号 豫公网安备41160202000603 站长QQ:729038198 关于我们 投诉建议