下列公式哪些不是永真式
A: ∀xF(x) ® ∃xF(x)
B: ∀xF(x) ® F(y)
C: F(y) ® ∃xF(x)
D: ∃yF(y) ® F(x)
A: ∀xF(x) ® ∃xF(x)
B: ∀xF(x) ® F(y)
C: F(y) ® ∃xF(x)
D: ∃yF(y) ® F(x)
D
举一反三
- 下列公式中,哪些是逻辑有效的?( ) A: "xF(x)®($x$yG(x,y)®"xF(x)) B: Ø("xF(x)®$yG(y))Ù$yG(y) C: "x(F(x)®G(x))
- 分析以下谓词公式的类型。 (1)"xF(x)→$xF(x)。 (2)"x¬F(x)∧$xF(x)。[br][/br] (3)$x(F(x)∧G(x))→"xF(x)。[br][/br] (4)"x(F(y)→G(x))→(F(y)→"xG(x))。
- 设函数f（x，y）连续，则∫12dx∫x2f（x，y）dy+∫12dx∫y4—yf（x，y）dy=（ ） A: ∫12dx∫14—xf（x，y）dy B: ∫12dx∫x4—xf（x，y）dy C: ∫12dx∫14—xf（x，y）dy D: ∫12dx∫y2f（x，y）dy
- 构造下列推理的证明。 (1)前提：$xF(x)，"x((F(x)∨G(x))→H(x))；结论：$xH(x)。 (2)前提：$xF(x)∧"xG(x)；结论：$x(F(x)∧G(x))。 (3)前提：¬$xF(x)，"x($y(G(x,y)∧P(y))→$y(F(y)∧R(x,y)))；结论："x"y(G(x,y)→¬P(y))。
- 不定积分∫xf″（x）dx等于：（） A: xf′（x）-f′（x）+c B: xf′（x）-f（x）+c C: xf′（x）+f′（x）+c D: xf′（x）+f（x）+c
内容
- 0
不定积分等于（）。 A: xf＇（x）-f＇（x）+C B: xf＇（x）-f（x）+C C: xf＇（x）+f＇（x）+C D: xf＇（x）+f（x）+C
- 1
若F(x)为f(x)的一个原函数，则∫xf’(x)dx=______。 A: xF’(x)-f(x)+C B: xF’(x)-F(x)+C C: xf’(x)-F(x)+C D: xf’(x)-f(x)+C
- 2
公式“∀xF(x)→∃yG(x,y)”的前束范式是 A: ∃x∃y(F(x)→G(z,y)) B: ∀x∃y(F(x)→G(z,y)) C: ∃x∀y(F(x)→G(z,y)) D: ∀x∀y(F(x)→G(z,y))
- 3
Ø"xF(x)® $yG(y)的前束范式是（ ） A: "x$y(Ø F(x) ® G(y)) B: "x"y(Ø F(x) ® G(y)) C: $x"y(Ø F(x) ® G(y)) D: $x$y(Ø F(x) ® G(y))
- 4
已知函数f(x)是定义在R上的奇函数，则下列函数中为奇函数的是() ①y＝f(|x|)②y＝f(－x) ③y＝xf(x)④y＝f(x)＋x