公式┐(∀xF(x) ®yG(y)）Ù yG(y)的类型是
A: 可满足式
B: 重言式
C: 矛盾式
D: 都不是
A: 可满足式
B: 重言式
C: 矛盾式
D: 都不是
举一反三
- 下列公式中,哪些是逻辑有效的?( ) A: "xF(x)®($x$yG(x,y)®"xF(x)) B: Ø("xF(x)®$yG(y))Ù$yG(y) C: "x(F(x)®G(x))
- 谓词公式┐(∀x F(x)→∃yG(y))∧∃yG(y)的类型是（ ）。
- 以下公式是∀xF(x)→∃yG(x,y)的前束范式的是
- 若公式AÛ(pÙØq)Ùq，则公式A的类型是（ ） A: 重言式 B: 非重言式的可满足式 C: 矛盾式 D: 以上都不是
- 下列公式哪些不是永真式 A: ∀xF(x) ® ∃xF(x) B: ∀xF(x) ® F(y) C: F(y) ® ∃xF(x) D: ∃yF(y) ® F(x)