设u，v为无向完全图Kn中的任意两个不同的顶点，问d（u，v）等于（）。

在公式（x）（P（x，y）→Q（x，z））∧（y）R（x，y）中，试对约束变元进行换名，对自由变元进行代入。

问答题在公式（∀x）（P（x，y）→Q（x，z））∧（∀y）R（x，y）中，试对约束变元进行换名，对自由变元进行代入。

设G是无向简单图，δ（G）≥2，证明G中存在长度大于或等于δ（G）+1的圈。

问答题设G是无向简单图，δ（G）≥2，证明G中存在长度大于或等于δ（G）+1的圈。

在公式P（x，y）∧（∀x）（Q（x，z）→（∀x）R（x，y，z））中，试对约束变元进行换名，对自由变元进行...

问答题

在公式P（x，y）∧（∀x）（Q（x，z）→（∀x）R（x，y，z））中，试对约束变元进行换名，对自由变元进行代入。