离散数学第一章重要概念及习题解答.docVIP

离散数学第一章重要概念及习题解答

一、选择题（每题3分，共15分）

1.下列语句中，（）是命题。

A.请把门关上B.地球外的星球上也有人C.x+56D.下午有会吗

2.设P：我将去打球，Q：我有时间。命题“我将去打球，仅当我有时间时”符号化为（）。

A.P→QB.Q→PC.P∧QD.┐P∨Q

3.下列命题公式中，（）是重言式。

A.(P∧Q)→PB.P→(P∨Q)C.┐(P→Q)∧QD.(P→Q)∧(Q→R)→(P→R)

4.设个体域为整数集，下列公式中真值为真的是（）。

A.?x?y(x+y=0)B.?y?x(x+y=0)C.?x?y(x+y=0)D.┐?x?y(x+y=0)

5.谓词公式?x(P(x)∨?yR(y))→Q(x)中量词?x的辖域是（）。

A.P(x)B.P(x)∨?yR(y)C.P(x)∨?yR(y)→Q(x)D.Q(x)

二、填空题（每题3分，共15分）

1.设命题P：明天天气好，Q：我就去爬山。则命题“除非明天天气不好，否则我就去爬山”可符号化为______。

2.设A、B为两个命题公式，若A→B为______，则称A蕴含B。

3.设个体域D={a,b}，公式?xP(x)∧?x