32784离散数学-1复习题.docVIP

离散数学（2）-1复习题 一、证明题 1．利用真值表证明公式 (Q→P)?(?P?Q) 为矛盾式?(?P?Q)，公式β的真值表如表所示。 公式β的真值表 P?? Q Q→P ?P?Q β 0?? 0 0?? 1 1?? 0 1?? 1 1 0 1 1 0 1 0 0 0 0 0 0 ?因为公式β的真值表的最后一列全为0，所以该公式为矛盾式。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。 2）(x,y∈I，若xRy，则x(y(mod m)，即（x-y）/m=k∈I，所以（y - x）/m=-k∈I，所以y(x(mod m)，即yRx。 3）(x,y,z∈I，若xRy，yRz，则（x-y）/m=u∈I，（y-z）/m=v∈I，于是（x-z）/m=（x-y+y-z）/m=u+v ∈I，因此xRz。 3．利用真值表证明?(P?Q)与?P??Q这两个命题公式是等值的。 解：要判断?(P?Q)与?P??Q这两个命题公式是否等值，即用真值表法判断?(P?Q)与??P???Q是否为重言式，此等价式的真值表如表所示。 公式?(P?Q) 与??P??Q的真值表 P?? Q ?(P?Q) ?P??Q ?(P?Q)?(?P??Q) 0?? 0 0?? 1 1?? 0