湖北文理学院大一离散数学期末考试试题及答案.docxVIP

湖北文理学院大一离散数学期末考试试题及答案 一、（10分）求命题公式?(P∧Q)??(?P?R)的主合取范式。 解：?(P∧Q)??(?P?R)?（?(P∧Q)??(?P?R)）∧（?(?P?R)??(P∧Q)）?（(P∧Q)∨(?P∧?R)）∧（(P∨R)∨(?P∨?Q)） ?(P∧Q)∨(?P∧?R) ?(P∨?R)∧（Q∨?P）∧（Q∨?R） ?(P∨Q∨?R)∧(P∨?Q∨?R)∧（?P∨Q∨R）∧（?P∨Q∨?R） ?M1∧M3∧M4∧M5 二、（8分）叙述并证明苏格拉底三段论 解：所有人都是要死的，苏格拉底是人，所以苏格拉底是要死的。 符号化：F（x）：x是一个人。G（x）：x要死的。A：苏格拉底。 命题符号化为?x（F（x）?G（x）），F（a）?G（a） 证明： （1）?x(F(x)?G(x)) P （2）F(a)?G(a) T(1),US （3）F(a) P （4）G(a) T(2)(3),I 三、（8分）已知A、B、C是三个集合，证明A∩(B∪C)=(A∩B)∪(A∩C) 证明：∵x? A∩（B∪C）? x? A∧x?（B∪C） ? x? A∧（x?B∨x?C） ?（ x? A∧x?B）∨（x? A∧x?C） ? x?（A∩B）∨x? A∩C ? x?（A∩B）∪（A∩C） ∴A∩（B∪C）=（A∩B）∪（A∩C） 四、（10分）已知R和S是非空集合A上的等价关系，试证：1）R∩S是A上的等价关系；2）对a∈A，[a]R∩S=[a]R∩[a]S。 解：?x∈A，因为R和S是自反关系，所以x,x style=box-sizing: border-box; user-select: text !important;∈R、x,x style=box-sizing: border-box; user-select: text !important;∈S，因而x,x style=box-sizing: border-box; user-select: text !important;∈R∩S，故R∩S是自反的。 ?x、y∈A，若x,y style=box-sizing: border-box; user-select: text !important;∈R∩S，则x,y style=box-sizing: border-box; user-select: text !important;∈R、x,y style=box-sizing: border-box; user-select: text !important;∈S，因为R和S是对称关系，所以因y,x style=box-sizing: border-box; user-select: text !important;∈R、y,x style=box-sizing: border-box; user-select: text !important;∈S，因而y,x style=box-sizing: border-box; user-select: text !important;∈R∩S，故R∩S是对称的。 ?x、y、z∈A，若x,y style=box-sizing: border-box; user-select: text !important;∈R∩S且y,z style=box-sizing: border-box; user-select: text !important;∈R∩S，则x,y style=box-sizing: border-box; user-select: text !important;∈R、x,y style=box-sizing: border-box; user-select: text !important;∈S且y,z style=box-sizing: border-box; user-select: text !important;∈R、y,z style=box-sizing: border-box; user-select: text !important;∈S，因为R和S是传递的，所以因x,z style=box-sizing: border-box; user-select: text !important;∈R、x,z style=box-sizing: border-box; user-select: text !important;∈S，因而x,z style=box-sizing: border-box; user-select: text !important;∈R∩S，故R∩S是传递的。 总之R∩S是等价关系。 2）因为x∈[a]R∩S?x,a style=box-sizing: borde