设A为任意的公式,B为矛盾式,则AÙB的公式类为()。
A: 重言式
B: 矛盾式
C: 可满足式
D: 以上都不对
A: 重言式
B: 矛盾式
C: 可满足式
D: 以上都不对
举一反三
- P为任意命题公式，Q为重言式。则PVQ是( ) A: 矛盾式 B: 可满足式 C: 蕴涵式 D: 重言式
- 设()A(),()B()为任意命题公式,()C()为重言式,若()A()∧()C<=>B()∧()C(),那么()A<->B()是()_________()(重言式、矛盾式或可满足式).
- A为任意命题公式，B为矛盾式，则A∧B是（ ） A: 矛盾式 B: 永真式 C: 可满足式 D: 蕴涵式
- 给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.(p∨Øp) ® ((q∧Øq)∧r) A: 重言式 B: 矛盾式 C: 可满足式
- 设A为含命题变项p、q、r的重言式,则公式A((pq)r)的类型为_____。(矛盾式,重言式,可满足式)