离散数学习题整合 .pdfVIP

CHOI复习

j

§1.2

命题判断（每空分，共分）

1.141.1-1.3P32-

A小李和小王是同班同学B小猪不是鲜花C3-2n0D若2+2=4,则太阳从

西方升起。

上述语句中，—是简单命题，—不是命题，—是符合命题且真值为假，_是符合命题且真

值为真。（参考答案：

ACDB）

命题符号化（每空分，共分）习题

2.241.5（7）（3）P32-

P：天下人雨，q：他乘公共汽车去上班，命题“除非天下大雨，否则他不乘公共汽车去上

班”可符号化为—（参考答案：必要条件为后件）

oq-p

r：天很冷，s：老李来了，命题“虽然天很冷，老李还是来了”可符号化为_,（参考答案

rAs）

五个真值表（每空分，共分）习题

3.241.6（2）（4）P32-

设的真值为的真值为、都是命题，则命题公式（3人Jq的真值为

P0,r1,qsor）vs）

_______,命题公式-人「〉））「的真值为______。（参考答案：

3v（qCrptCrvs）0,1）

用符号、填空。（每空分，共分）朕本概念

4.pq14

设：其中是整数），：太阳从西方升起，则_是命题，_是命题变项，是命题

px0（xq

常项，_不是命题。（参考答案：，

qp,q,p）

5.命题符号化，相容或与排斥或

设r：现在小李在图书馆，s：现在小李在学生宿舍，则“现在小李在图书馆或学生宿舍”

可符号化为—。（参考答案：

B）

ArVsB（rA-sJV（YAs）CrAsD（rA-s）或（~A）

YS

§1.2命题公式及分类

已知：是含三个命题变项的命题公式，且则是______

AA（001）=0,A（100）=l,Ao（D）

A矛盾是B可满足式C重言式D非重言式的可满足式

§1.3等值演算

用等值演算法证明等值式：（中（演算的每一步都要写依据）

p/\q）f〜（q-r）.

§1.4范式

（每项分，共分）已知命题公式的真值表

6.14A（p,q）

PqA(p,q)

000

011

100

11