定义如下
SxyxyR且是
证明S是R上的等价关系
xy是整数，3
xx0是整数，所以xxS，即S是R上的自反关系3xyyxxy2对于任意xyR若xyS，则是整数，而也是整数，于是y333
证1对于任意xR因为xS
f3对于任意xyzR若xyS且yzS，则
xzxyyz是整数，由此得出xzS333
综上所述，知S是R上的等价关系
xyyz是整数且是整数由于33
五、求谓词公式xAxByyCyxDx的前束范式
解xAxByyCyxDxxAxByyCyxDxxAxByyCyxDxxAxByyCyxDxxAxByyCyxDxxAxByyCyxDxxAxBtyCyzDzxAxBtyCyzDzxyAxBtCyzDzxyzAxBtCyDz
六、若
个人，每个人恰有3个朋友，则
必为偶数，试证明之
证用
个节点代表
个人，两个人是朋友则在相应的两个节点之间连一条无向边，于是得到一个
阶图其中每个节点的度数均为3由于每个节点度数为3根据握手定理知是
必为偶数证毕
degv3
2m其中m为G的边数于
vV
fr