命题公式(p∧(p→q))→q是()
A: 矛盾式
B: 蕴涵式
C: 重言式
D: 等价式
A: 矛盾式
B: 蕴涵式
C: 重言式
D: 等价式
C
举一反三
内容
- 0
命题公式¬(pÙq)↔(p®¬q)的类型是() A: 重言式 B: 非重言式的可满足式 C: 矛盾式 D: 简单析取式
- 1
命题公式(p∧q)→(p∨q)是( )类型的公式。 A: 矛盾式 B: 可满足式 C: 重言式 D: 不确定
- 2
命题公式￢Q→￢(( P ∨ Q ) ∧ ┐P )是（ ）。 A: 矛盾式 B: 重言式 C: 可满足式 D: 永假式
- 3
公式¬(P→Q)∧Q∧R的类型是 A: 重言式 B: 矛盾式 C: 可满足式 D: 等价式
- 4
命题公式(P∧(P→Q))→Q是()?(5.0) A: 矛盾式 B: 可满足式 C: 重言式 D: 以上都不是