离散数学期中考试（含答案）.pdfVIP

《离散数学》期中考试参考答案

一、填空题（本题共10个空，每空2分，共20分）

1.设A为任意的公式，B为重言式，则AB的公式类型为重言式。



2.设个体域为非负实数集，A(x,y)表示x+y=y，则xyA(x,y)的真值为T，



xyA(x,y)的真值为F。

3.xyA(x,y)的否定式是xyA(x,y)。



4.命题公式P→(QR)的成真赋值有000,001,010,011,110，

成假赋值有100,101,111。

5.{,}，或{,}，或{↑}或{↓}或{,→}是一个最联结词组。



6.由n个命题变元组成不等价的命题公式的个数为22n。

7.设A是含有n(n≥1)个命题变元的公式，若A为重演式，则A的主析取范式含有

2n个项。

8.设解释I为：个体域D={a,b},F(x)与G(x)为2个一元谓词，且

F(a)=0,G(b)=1,G(a)=1,G(b)=0.在I下，公式x(F(x)→G(x))的真值为F。



二、简答题（本大题共5个题，共计60分）

1.在命题逻辑中，把下列命题符号化（每个题5分，共25分）

（1）除非天下大雨，否则王不会迟到。

P:天下大雨，Q：王迟到。[2分

Q→P[3分（后面的相同）

（2）仅当走，我将留下。

P:走，Q：我留下。Q→P

（3）他一面吃饭，一面听音乐。

P:他吃饭，Q：他听音乐。PQ

（4）老王是山东人或河北人。

P:老王是山东人，Q：老王是河北人。PQ或(PQ)(PQ)或PQ



（5）一个数是素数当且仅当它只能被1和它自身整除。

P:一个数是素数，Q：一个数被1整除，R：一个数被它自身整除。

S：一个数能被除1和它自身以外的数整除

P⇄（QRS）



2.在一阶谓词逻辑中，把下列命题符号化（每个题5分，共10分）

（1）尽管有人聪明，但未必一切人都聪明.

M(x):x是人，P(x):x聪明。[2分

x(M(x)P(x))x(M(x)→P(x))或x(M(x)P(x))x(M(x)P(x))[3分



（2）没有完全相同的人。

M(x):x是人，E(x,y):x与y完全相同。[2分

xy(M(x)M(y)E(x,y))或xy(M(x)M(y)→E(x,y))[3分



3.