是

谓词公式x(P(x)∨(yR(y))→Q(x))中变元x是（　　　）

下列式子正确的是（　　　）

下列各图中既是欧拉图，又是汉密尔顿图的是（　　　）

下列各图是无向完全图的是（　　　）

下列所示的哈斯图所对应的偏序集中能构成格的是（　　　）

强连通图一定是单向连通图。

 设〈L，≤〉是格，则格的交∧和并∨运算满足等幂律。

设A, B, C是命题公式，则AVBV﹁C 也是命题公式。

无向图G为欧拉图，则G是连通的。

“如果1+1≠3，则2+2≠4”是真命题。