问答题
设个体域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=1，则对于任何x都有xy=x”符号化。
问答题 给完全图K4和K5的边着色。
问答题 设G是6阶无向简单图，证明G或它的补图中存在3个顶点彼此相邻。
