填空题
设u，v为无向完全图Kn中的任意两个不同的顶点，问d（u，v）等于（）。
1
问答题 在公式（x）（P（x，y）→Q（x，z））∧（y）R（x，y）中，试对约束变元进行换名，对自由变元进行代入。
问答题 设G是无向简单图，δ（G）≥2，证明G中存在长度大于或等于δ（G）+1的圈。
问答题 在公式P（x，y）∧（∀x）（Q（x，z）→（∀x）R（x，y，z））中，试对约束变元进行换名，对自由变元进行代入。
