P为任意命题公式，Q为重言式。则PVQ是( )
A: 矛盾式
B: 可满足式
C: 蕴涵式
D: 重言式
A: 矛盾式
B: 可满足式
C: 蕴涵式
D: 重言式
D
举一反三
内容
- 0
命题公式￢Q→￢(( P ∨ Q ) ∧ ┐P )是（ ）。 A: 矛盾式 B: 重言式 C: 可满足式 D: 永假式
- 1
命题公式(p∧q)→(p∨q)是( )类型的公式。 A: 矛盾式 B: 可满足式 C: 重言式 D: 不确定
- 2
命题公式(P∧(P→Q))→Q是()?(5.0) A: 矛盾式 B: 可满足式 C: 重言式 D: 以上都不是
- 3
设A为含命题变项p、q、r的重言式,则公式A((pq)r)的类型为_____。(矛盾式,重言式,可满足式)
- 4
命题公式(P∧(P→Q))→Q是() A: 矛盾式 B: 蕴含式 C: 重言式 D: 等价式