分析以下谓词公式的类型。 (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))。
举一反三
- 构造下列推理的证明。 (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))。
- 下列公式哪些不是永真式 A: ∀xF(x) ® ∃xF(x) B: ∀xF(x) ® F(y) C: F(y) ® ∃xF(x) D: ∃yF(y) ® F(x)
- 下列公式中,哪些是逻辑有效的?( ) A: "xF(x)®($x$yG(x,y)®"xF(x)) B: Ø("xF(x)®$yG(y))Ù$yG(y) C: "x(F(x)®G(x))
- 下列推导正确的是 。 A: (1) F(x)→G(x) 前提引入 (2)∃xF(x)→G(x) (1)EG B: (1)F(a)→G(x) 前提引入 (2)∃x(F(x)→G(x)) (1)EG C: (1) F(a)→G(x) 前提引入 (2)∃y(F(y)→G(x)) (1)EG D: (1) F(a)→G(x) 前提引入 (2)∃xF(x)→G(x) (1)EG
- 不定积分∫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