简答题 设d₁，d₂，...，d_n为n个互不相同的正整数，证明d₁，d₂，...，d_n不可简单图化。

令谓词逻辑的解释I如下：D1是全体整数，a′是0，f′（x，y）为x-y，P′（x，y）为x=y，Q′（x，y...

问答题

令谓词逻辑的解释I如下：D₁是全体整数，a′是0，f′（x，y）为x-y，P′（x，y）为x=y，Q′（x，y）为x1的整数。
说明下列各公式在I中的意义及其真值，并求I中另一解释，使相应公式取相反真值。
①（∀x）（∀y）（Q（f（x，y），a）→Q（x，y））
②（∀x）（∀y）（P（f（x，y），a）→Q（x，y））
③（∀x）（∀y）（Q（x，y）→¬P（x，y））

证明下列式子：(x）（F(x)→G（x））,(x）(R(x)→G(x))=>(x）(R(x)→F（x）)

问答题证明下列式子：(∀x）（F(x)→G（x））,(∀x）(R(x)→¬G(x))=>(∀x）(R(x)→¬F（x）)

无向图G有8条边，1个1度顶点，2个2度顶点，1个5度顶点，其余顶点的度数均为3，求3度顶点的个数。

问答题无向图G有8条边，1个1度顶点，2个2度顶点，1个5度顶点，其余顶点的度数均为3，求3度顶点的个数。