数理逻辑考试试题.docVIP

1.用真值表判断下列公式的类型（重言式、矛盾式还是普通式）：

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

(2)(p→╕p)→╕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)

2.求下列公式的成真赋值

(1)╕p→q

(2)p∨╕q

(3)(p∧q)→╕p

(4)╕(p∨q)→q

3.求下列公式的成假赋值

(1)╕(╕p∧q)∨╕r

(2)(╕q∨r)∧(p→q)

(3)(p→q)∧(╕(p∧r)∨p)

4.已知p→(p∨q)是重言式，╕(p→q)∧q是矛盾式，试判断(p→(p∨q))∧(╕(p→q)∧q)及(p→(p∨q))∨(╕(p→q)∧q)的类型。

5.用等值演算法证明下列等值式

(1)p=(p∧q)∨(p∧╕q)

(2)((p→q)∧(p→r))=(p→(p∧r))

(3)╕(pq)=(p∨q)∧╕(p∧q)

(4)(p∧╕q)∨(╕p∧q)=(p∨q)∧╕(p∧q)

6.求下列公式的主析取范式和主和取范式

(1)(p∧q)∨r

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

(3)(p∧q)→q

(4)(pq)→r

(5)╕(r→p)∧p∧q

7.前提：╕p∨q，╕q∨r，r→s，p

结论：s

根据前提，证明结论

8.根据以下前提：p→(q→r)，q→(r→s)，证明：(p∧r)→s

9.前提：╕(p→q)∧q，p∨q，r→s

结论1：r

结论2：s

结论3：r∨s

证明从此前提出发，推出的结论1，结论2，结论3都是正确的。

10．证明下列各推理

(1)前提：p→(q→r)，p，q

结论：r∨s

(2)前提：p→(q→r)，s→p，q

结论：s→r

(3)前提：p→╕q，╕r∨q，r∧╕s

结论：╕p

11.构造下列推理的证明

没有白色的乌鸦，北京鸭都是白色的，所以北京鸭都不是乌鸦

12.构造下列推理的证明

(1)偶数都能被2整除，6是偶数，所以6能被2整除。

(2)凡大学生都是勤奋的，王晓山不勤奋，所以王晓山不是大学生。

13.构造下列推理的证明

(1)每个有理数都是实数，有的有理数是整数，因此，有的实数是整数。

(2)有理数、无理数都是实数，虚数不是实数，因此，虚数既不是有理数，也不是无理数。

14.构造下列推理的证明（个体域为人类集合）

每个喜欢步行的人都不喜欢自行车，每个人或者喜欢骑自行车或者喜欢乘汽车，有的人不喜欢乘汽车，所以有的人不喜欢步行。

15.构造下列推理的证明（个体域为人类集合）

每个科学工作者都是刻苦钻研的，每个刻苦钻研而又聪明的人在他的事业中都将获得成功，王大海是科学工作者，并且很聪明，所以王大海在他的事业中将获得成功。