离散+复习.docVIP

1．3．(附加前提) ⑵p∨q T⑴附加律 ⑶p∨q→r∧s P ⑷r∧s T⑵⑶假言推理 ⑸s T⑷化简律 ⑹s∨t T⑸附加律 ⑺s∨t→u P ⑻u T⑹⑺假言推理 ⑼p→u CP规则 4．5． ((x)(F(x)→(G(y)∧R(x)))，((x)F(x)(((x)(F(x)∧R(x)) 证明： ⑴ ((x)F(x) P ⑵ F(c) ES⑴ ⑶ ((x)(F(x)→(G(y)∧R(x))) P ⑷ F(c)→(G(y)∧R(c)) US⑶ ⑸ G(y)∧R(c) T⑵⑷假言推理 ⑹ R(c) T⑸化简律 ⑺ F(c)∧R(c) T⑵⑹合取引入 ⑻ ((x)(F(x)∧R(x)) EG⑺ 6. 设A=(a,b(，B=(1,2,3(，求：A×B，B×A，A×A，B×B和(A×B)∩( B×A)。 解：A×B=((a,1(,(a,2(,(a,3(,(b,1(,(b,2(,(b,3(( B×A=((1,a(,(1,b(,(2,a(,(2,b(,(3,a(,(3,b(( A×A=((a,a(,(a,b(,(b,a(,(b,b(( B×B=((1,1(,(1,2(,(1,3(,(2,1(,(2,2(,(2,3(,(3,1(,(3,2(,(3,3(( (A×B)∩(B×A)=? 7.设G=(V,E(是一个简单有向图，V=(v1, v2, v3, v4(，邻接矩阵如下： A(G)= ⑴ 求v1的出度deg＋(v1)。 ⑵ 求v4的入度deg－(v4)。⑶ 由v1到v4长度为2的路有几条？ 解：⑴ deg＋(v1)=1 ⑵ deg－(v4)=2 ⑶ A2= AA== 由于=1，所以由v1到v4长为2的路有1条。 8．．(附加前提) ⑵p T⑴双重否定律 ⑶p→q P ⑷q T⑵⑶假言推理 ⑸r→(q P ⑹(r T⑷⑸拒取式 ⑺r∨s P ⑻s T⑹⑺析取三段论 ⑼s→(q P ⑽(q T⑻⑼假言推理 ⑾q∧(q（矛盾） T⑷⑽合取引入 11． 每个有理数都是实数。有的有理数是整数。因此，有的实数是整数。 解：首先将命题符号化： Q(x)：x是有理数。 R(x)：x是实数。 Z(x)：x是整数。 本题要证明：((x)(Q(x)→R(x)), ((x)(Q(x)∧Z(x))(((x)(R(x)∧Z(x)) 证明： ⑴ ((x)(Q(x)∧Z(x)) P ⑵ Q(c)∧Z(c) ES⑴ ⑶ Q(c) T⑵化简律 ⑷ Z(c) T⑵化简律 ⑸ ((x)(Q(x)→R(x)) P ⑹ Q(c)→R(c) US⑸ ⑺ R(c) T⑶⑹假言推理 ⑻ R(c)∧Z(c) T⑷⑺合取引入 ⑼ ((x)(R(x)∧Z(x)) EG⑻ 12． ((x)(F(x)→(G(y)∧R(x)))，((x)F(x)(((x)(F(x)∧R(x)) 证明： ⑴ ((x)F(x) P ⑵ F(c) ES⑴ ⑶ ((x)(F(x)→(G(y)∧R(x))) P ⑷ F(c)→(G(y)∧R(c)) US⑶ ⑸ G(y)∧R(c) T⑵⑷假言推理 ⑹ R(c) T⑸化简律 ⑺ F(c)∧R(c) T⑵⑹合取引入 ⑻ ((x)(F(x)∧R(x)) EG⑺ 13. 设上的整除关系 R是否为A上的偏序关系？若是，则： (1)、画出的哈斯图； (2)、求它的极小元，极大元，极大元，最大元。 解答：（1）R 是A上的偏序关系。 （2）极小元、最小元是1,极大元、 最大元是24。 14. 有向图G如图所示。 ⑴ 写出G的邻接矩阵。 ⑵ 根据邻接矩阵求各结点的出度和入度。 ⑶ 求G中长度为3的路的总数，其中有多少条回路。 解：⑴MR= ⑵deg＋(v1)=2，deg－(v1)=1， deg＋(v2)=1，deg－(v2)=2， deg＋(v3)=2，deg－(v3)=1， deg＋(v4)=0，deg－(v4)=1。 ⑶ A2= ，A3= 长度为3的路有8条，其中回路3条。 15．P→Q, R→S, P∨R蕴涵Q∨S。 证明：(1) P∨R P (2) (R→P T(1) (3) P→Q P (4) (R→Q T(2)(3) (5) (Q→R T(4) (6) R→S P (7) (Q→S T(5)(6) (8) Q∨S T(7) 16. 设命题公式G = ((P→Q)∨(Q∧((P→R)), 求G的主析取范式。 证明：G = ((P→