20年3月补考《离散数学》考核作业.docxVIP

学习中心：院校学号：姓名 学习中心： 院校学号： 姓名 PAGE 1 PAGE 1 课程名称: 离散数学 东 大 学 继 续 教 育 学 院 离散数学 总分 题号 一 试 卷（作业考核 线上 二 三 四 五 2） 六 B 卷（共 七 八 5 页） 九 十 得分 一. 有两个小题（13 分） 分别说明联结词 ?、∧、∨、→和?在自然语言中表示什么含义。解：“?”表示“…不成立”，“不…”。 “∧”表示“并且”、“不但…而且...”、“既…又 ...”等。“∨”表示“或者”， 是可兼取的或。 “?”表示 如果… ，则 …；只要… ，就 …； 只有… , 才…； 仅当 … 。“?”表示“当且仅当”、“充分且必要”。 分别列出 P?Q、 P?Q、P?Q 、P?Q 的真值表(填下表)。 P P Q P?Q P?Q P?Q P?Q 解： P Q P?Q P?Q P?Q P?Q F F T F T F F T F T T F T F F T F F T T T T T T 二. （10 分）1.指出下面的命题公式中哪些是永真式(只写题号即可)。(1). (P∧(P→Q))→Q (2). P→(P∨Q) (3). (P∧Q)→Q (4). (P∨Q)→P 解:(1),(2),(3)为永真式。 然后对上面的永真式任选其中一个给予证明(方法不限)。 证明 (3). (P∧Q)→Q 设前件(P∧Q)为真，则得 Q 为真。所以(P∧Q)→Q 是永真式。 上面哪个不是永真式（找出一个即可），请说明它为什么不是永真式。解：(4). (P∨Q)→P 不是永真式。 因为如果前件 P∨Q 为真，后件 P 不一定为真。所以(P∨Q)→P 不是永真式。 三.（14 分）用谓词逻辑推理的方法证明下面推理的有效性。要求按照推理的格式书写推理过程。 ?x(B(x)??C(x)), 解：⑴ ?xA(x) ?xA(x), ?x(?A(x)?C(x)) ? ?x?B(x) P ⑵ A(a) ES ⑴ ⑶ ?x(?A(x)? C(x)) ⑷ ?A(a)?C(a) P US ⑶ ⑸ C(a) T⑵⑷ I ⑹ ? x(B(x)??C(x)) ⑺ B(a)??C(a) ⑻ ?B(a) ⑼ ?x?B((x) P US ⑹ T ⑸ ⑺ I EG ⑻ 四．（12 分）令全集 E={1,2},A={1}, P(A)表示集合 A 的幂集。 （注意：要求有计算过程，不能直接写出计算结果！） 指出 P(E)和 P(A)各有多少个元素。即求|P(E)|和|P(A)|。 解：因为 P(E)＝{Φ,{1},{2}, {1,2}} 所以 P(E)有 4 个元素。即|P(E)|＝4。P(A)＝{Φ,{1}} 所以 P(A)有 2 个元素。即|P(A)|＝2。 计算 P(E)－P(A) 解： P(E)－P(A)＝{Φ,{1},{2},{1,2}－{Φ,{1}} ＝{{2}, {1,2}} 计算～A?E 解：因为～A＝E－A={1,2}-{1}={2} ～A?E＝{2} ?{1,2}＝({2}?{1,2})－({2}?{1,2})＝{1,2}－{2}＝{1} 五.（25 分）给定集合 A={1,2,3},定义 A 上的关系如下： R= A×A( 完 全 关 系 （ 全 域 关 系 ）) S={1,2,2,3,3,1} T={1,1,1,2,2,1,2,2,3,3} M={1,1,1,2,1,3,2,2,3,3} 写出关系 S 的矩阵；再画出上述各个关系的有向图。 解：关系 S 的矩阵如下： ?010? ? ??M ? ? ? ? S ??100 ?? 下面是几个关系的有向图： 。。2。3 。 。 2 。 3 。1。 。 1 。 。 。 1 。 。 。 o 。 R2 3 R 2 3 2 3 M T S 判断各个关系性质。用“√”表示“是”，用“×”表示“否”，填下表： 自反的 反自反的 对称的 反对称的 传递的 R S T M 解： 自反的 反自反的 对称的 反对称的 传递的 R √ × √ × √ S × √ × √ × T √ × √ × √ M √ × × √ √ 上述四个关系中，哪些是等价关系？哪些是偏序关系？ 对等价关系，写出此等价关系的各个等价类。 解：T 和 R 是等价关系。 M 是偏序关系。A/T={{1,2},{3}} A/R={{1,2,3}} 求复合关系 SoT 解：SoT＝{1,1,1,2,2,3,3,1,3,2} 六. (12 分) R 是实数集合，给出 R 上的运算如下：×、+、min、max、|x-y|,分别表示乘法、加法、两个数中取最小的、两个数中取最大的、x-y 的绝对值运算。 判断各个运算性质。用“√”表示“是”，用“×”表示“否”， 填