公式┐(∀xF(x) ®yG(y)）Ù yG(y)的类型是
A: 可满足式
B: 重言式
C: 矛盾式
D: 都不是
A: 可满足式
B: 重言式
C: 矛盾式
D: 都不是
C
举一反三
- 下列公式中,哪些是逻辑有效的?( ) 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)
内容
- 0
给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.(p∨Øp) ® ((q∧Øq)∧r) A: 重言式 B: 矛盾式 C: 可满足式
- 1
下列判断正确的是（ ） A: 公式A是重言式，则A的否定一定是矛盾式。 B: 公式A是矛盾式，其否定一定是重言式。 C: 重言式一定是可满足式。 D: 可满足式的否定是矛盾式。 E: 可满足式的否定也是可满足式。
- 2
公式Q→(P∨Q)的类型是 A: 重言式 B: 矛盾式 C: 可满足式 D: 等价式
- 3
命题公式[img=156x25]18032cdbcc69fe0.png[/img]是( )? A: 矛盾式； B: 可满足式； C: 重言式； D: 以上都不是
- 4
公式¬(P→Q)∧Q∧R的类型是 A: 重言式 B: 矛盾式 C: 可满足式 D: 等价式