离散数学数理逻辑复习题.pdfVIP

老当益壮，宁移白首之心；穷且益坚，不坠青云之志。——唐·王勃

数理逻辑复习题

将下列命题符号化

1.

(1)刘晓月跑得快，跳得高。

p∧q，其中，p：刘晓月跑得快，q：刘晓月跳得高。

(2)老王是山东人或河北人。

p∨q，其中，p：老王是山东人，q：老王是河北人。

(3)因为天气冷，所以我穿了羽绒服。

p→q，其中，p：天气冷，q：我穿了羽绒服。

(4)王欢与李乐组成一个小组。

p，其中，p：王欢与李乐组成一个小组，是简单命题。

(5)如果天下大雨，他就乘班车上班。

p→q，其中，p：天下大雨，q：他乘班车上班。

(6)只有天下大雨，他才乘班车上班。

p→q，其中，p：他乘班车上班，q：天下大雨。

(7)除非天下大雨，他才乘班车上班。

p→q，其中，p：他乘班车上班，q：天下大雨。

老当益壮，宁移白首之心；穷且益坚，不坠青云之志。——唐·王勃

判断下列公式的类型：

2.

（1）p→(p∨q∨r)

（2）(p→┐q)→┐q

（3）┐(q→r)∧r

（4）(p→q)→(┐q→┐p)

（5）(p∧r)(┐p∧┐q)

（6）((p→q)∧(q→r))→(p→r)

（7）(p→q)(rs)

答案：(1)、(4)、(6)为重言式。

(3)为矛盾式。

(2)、(5)、(7)为可满足式。

用等值演算法证明下面等值式：

3.

（1）¬(pq)(p∨q)∧¬(p∧q)

（2）(p∧¬q)∨(¬p∧q)(p∨q)∧¬(p∧q)

答案：（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）(p∧q)∨r

（2）(p→q)∧(q→r)

答案：（1）m∨m∨m∨m∨mM∧M∧M

13567024

（2）m∨m∨m∨mM∧M∧M∧M

01372456

用附加前提法证明下面各推理：

5.

（1）前提：p→(q→r),s→p,q

老当益壮，宁移白首之心；穷且益坚，不坠青云之志。——唐·王勃

结论：s→r

证明：

①s附加前提引入

②s→p前提引入

③p①②假言推理

④p→(q→r)前提引入

⑤q→r③④假言推理

⑥q前提引入

⑦r