下列等值式不正确的是 。 A: "x(B®A(x))ÛB®"xA(x) B: "x(A(x)∧B)Û"xA(x)∧B C: "x(A(x)∨B)Û"xA(x)∨B D: "x(A(x)®B)Û"xA(x)®B

下面的等价关系成立的是（ ）。 A: ∃x[A(x)∨B(x)] ⇔ ∃xA(x) ∨ ∃xB(x) B: ∀x[A(x) → B(x)] ⇔ ﹁∃xA(x) ∨∀xB(x) C: ∀xA(x) ∨ ∀xB(x)⇔∀x[A(x) ∨B(x)] D: ∃x[A(x) ∧ B(x)]⇔∃xA(x) ∧ ∃xB(x)

谓词公式 ∀xA(x)→∃xA(x) 的类型是（ ）。

以下谓词等值式正确的是（多选）（ ）。 A: ∀x(A(x)∧B(x))⇔∀xA(x)∧∀xB(x) B: ∀x(A(x)∨B(x))⇔∀xA(x)∨∀xB(x) C: ∃x(A(x)∨B(x))⇔∃xA(x)∨∃xB(x) D: ∃x(A(x)∧B(x))⇔∃xA(x)∧∃xB(x)

用描述法表示大于-4且小于8的所有实数组成的集合，正确的是（） A: ｛x|-4<;x<;8｝ B: ｛-4<;x<;8｝ C: x|-4<;x<;8 D: -4<;x<;8

下列公式中等值的是().(5.0) A: ∀x(A(x)→ B: (x))与∀xA(x)→∀xB(x) ∀x(A(x)∨B(x))与∀xA(x)∨∀xB(x) C: ∀x(A(x)∧B(x))与∀xA(x)∧∀xB(x) D: ∃x(A(x)∧B(x))与∃xA(x)∧∀xB(x)

以下哪个选项是错误的？ A: "x"yA(x,y)Þ "y"xA(x,y) B: "x"yA(x,y)Þ $y"xA(x,y) C: "x$yA(x,y)Þ $y"xA(x,y) D: $y"xA(x,y)Þ"x $yA(x,y)

在x值处于-2～2、4～8时值为“真”，否则为“假”的表达式是______。 A: (2＞x＞-2)||(4＞x＞8) B: !(((x＜-2)||(x＞2))&&((x＜=4)||(x＞8))) C: (x＜2)&&(x＞=-2)&&(x＞4)&&(x＜8) D: (x＞-2)&&(x＞4)||(x＜8)&&(x＜2)

设B是不含变元x的公式,谓词公式∀x(A(x)→B)等价于( ) A: ∃xA(x)→B B: ∀xA(x)→B C: A(x)→B D: ∀xA(x)→∀xB

当个体域为有限集时,如D={a1,a2,...,an},对任意谓词A(x)都有()。 A: ∀xA(x)⇔A(a1)∧A(a2)∧…∧A(an) B: ∃xA(x)⇔A(a1)∧A(a2)∧…∧A(an) C: ∀xA(x)⇔A(a1)∨A(a2)∨…∨A(an) D: ∃xA(x)⇔A(a1)∨A(a2)∨…∨A(an)