32784离散数学(2)-1复习题.docxVIP

一、证明题 离散数学（2）-1 复习题 利用真值表证明公式 (Q→P)?(?P?Q) 为矛盾式。解 令β=(Q→P)?(?P?Q)，公式β的真值表如表所示。 PQ→P P Q→P Q ?P?Q β 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 1 因为公式β 的真值表的最后一列全为 0，所以该公式为矛盾式。 证明整数集I 上的模m 同余关系R={x,y|x?y(mod m)}是等价关系。其中，x?y(mod m) 的含义是x-y 可以被m 整除。 证明：1）?x∈I，因为（x-x）/m=0，所以x?x(mod m)，即xRx。 ?x,y∈I，若xRy，则x?y