下列命题能表明用全称量词可以定义存在量词的是：
A: 对任意公式A，"xA与Ø$xØA逻辑等值。
B: 对任意公式A，$xA与Ø"xØA逻辑等值。
C: 对任意公式A，Ø"xA与$xØA逻辑等值。
D: 对任意公式A，"xØA与Ø$xA逻辑等值。
A: 对任意公式A，"xA与Ø$xØA逻辑等值。
B: 对任意公式A，$xA与Ø"xØA逻辑等值。
C: 对任意公式A，Ø"xA与$xØA逻辑等值。
D: 对任意公式A，"xØA与Ø$xA逻辑等值。
举一反三
- 对任意的公式P(x)，Ø$xØP(x)逻辑等值于（ ）。 A: Ø$xP(x) B: "xP(x) C: Ø"xØP(x) D: ØØ"yP(y)
- 对任意的公式P(x)，"xØP(x)逻辑等值于（ ）。 A: "xP(x) B: Ø$xP(x) C: Ø"xØP(x) D: Ø$yP(y)
- 设论域为{1,2}，与公式∃xA(x)等值的是
- 以下谓词公式中，( )是逻辑有效式。 A: "x Q(x) Þ ($x Q(x)∨"y S(y) ) B: $x(A(x)ÞB) Û $xA(x)ÞB C: $x(A(x)∧B(x)) Û $xA(x)∧$xB(x) D: "x$y P(x,y) Þ $x"y P(x,y)
- 下列公式中等值的是().(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)