谓词公式∃x∃yF(x,y)→∀zG(x,y,z)的前束范式为_________。

公式∃xP(x)→∀xQ(x)对应的前束范式为_____________。

在谓词推理过程中,由(∀x)P(x)得到P(a),其中a为论域中的某个个体,用的是_____________规则,记为_____________规则。

设A={4,6,8},下列选项中A的真子集是______。

下列选项中,包含元素2的集合是______。

下列选项中,能够成为某集合的幂集的是______。

下列选项正确的是______。

设A={1,2,4},B={1,3,{2}},下列选项正确的是______。

设A={∅},B=(A),下列选项正确的是______。

设A={a,{b}},下列选项正确的是______。