计算题 设个体域D是所有整数，令P（x，y，z）：xy=z；E（x，y）：x=y；C（x，y）：x>y。试将命题“若xy≠0，则x≠0和y≠0”符号化。

设个体域D是所有整数，令P（x，y，z）：xy=z；E（x，y）：x=y；C（x，y）：x>y。试将命题“若y...

问答题设个体域D是所有整数，令P（x，y，z）：xy=z；E（x，y）：x=y；C（x，y）：x>y。试将命题“若y=1，则对于任何x都有xy=x”符号化。

给完全图K4和K5的边着色。

问答题给完全图K₄和K₅的边着色。

设G是6阶无向简单图，证明G或它的补图中存在3个顶点彼此相邻。

问答题

设G是6阶无向简单图，证明G或它的补图中存在3个顶点彼此相邻。