PDF《1009》

五、计算题(每小题

1 2分,本题共

3 6分) 15. (l) A - B = {2. {2 }} (4 分)(2)A 门B= {l } (8 分)(3)A X B= {< (2} .1>. < (2} ?{l. 2} > ?. < 1, {1.2} >. . } (1

2 分)72 16. (1)G 的图形表示如回三.VI Vs ) V1 V4 图一 一一 (3 分)(2) 邻接矩阵:mOO.「 . O

1 . I . (6 分)1.O.(3)叭,屿, υj ,叫, υ5 结点的度数依 次为1, 2, 4, 2,

1 (9 分)(4) 扑图如图囚:VI V2 Vs V,O V4 (1

2 分)(2 分)(4 分)(6 分)(9 分)(1

2 分)图四 17. (1 )

3 '主量词的辖域为(AC:c , y ) 八'if zB(:l' ,y.z? , 'if z 量词的辖域为B(x ,y ,z) , 'if y 量词的辖域为C(y,z).(2) 自由变元7j ( A ( x , y ) 八'if zB(x 厅,z? 中的y , 以及C勺 ,z) 中的z. 约束变元为 (A(x , y) 八'if zB(x ,y ,z? 中的.1:' 与B(x ,y ,z) 中的z , 以及 C勺,z) 中的y.

六、证明题{本题共

8 分)18. 证明:设S=AU(B门.,T=' ( A U B> 门(AUC) , 若z巴S,则zεA或,r E B n C , (1分) (2 分)(3 分)(4 分)(5 分)(6 分)(7 分)(8 分)即x仨A或工巨B且I仨A或Iεc. 也即 I ε A U B 且z仨AUC,即I毛丁,所以 SC I'. 反之,若xET,贝IJ x 正AUB 且IεAUC,Nil x ε A 或zεB且工εA或Jε(飞,也即 x ξ A 或工巨B门C,即rεS,所以 T~二S. 因J1t T=S. 73