重言式的否定是矛盾式，矛盾式的否定是重言式
重言式的否定是矛盾式，矛盾式的否定是重言式
P→(P∨Q∨R)是 A: 重言式 B: 矛盾式 C: 非重言式的可满足式
P→(P∨Q∨R)是 A: 重言式 B: 矛盾式 C: 非重言式的可满足式
P为任意命题公式，Q为重言式。则PVQ是( ) A: 矛盾式 B: 可满足式 C: 蕴涵式 D: 重言式
P为任意命题公式，Q为重言式。则PVQ是( ) A: 矛盾式 B: 可满足式 C: 蕴涵式 D: 重言式
若A、B等值，则下列说法正确的是 A: A、B的等价式为矛盾式 B: A、B的等价式为重言式 C: A、B的等价式为非重言式的可满足式 D: A、B的蕴含式为重言式
若A、B等值，则下列说法正确的是 A: A、B的等价式为矛盾式 B: A、B的等价式为重言式 C: A、B的等价式为非重言式的可满足式 D: A、B的蕴含式为重言式
命题公式¬(pÙq)↔(p®¬q)的类型是() A: 重言式 B: 非重言式的可满足式 C: 矛盾式 D: 简单析取式
命题公式¬(pÙq)↔(p®¬q)的类型是() A: 重言式 B: 非重言式的可满足式 C: 矛盾式 D: 简单析取式
用真值表证明拒取式推理规则的重言式形式都是重言式。[br][/br]
用真值表证明拒取式推理规则的重言式形式都是重言式。[br][/br]
给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.(p∨Øp) ® ((q∧Øq)∧r) A: 重言式 B: 矛盾式 C: 可满足式
给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.(p∨Øp) ® ((q∧Øq)∧r) A: 重言式 B: 矛盾式 C: 可满足式
K是重言式,那么K的否定是 未知类型：{'options': ['重言式', '矛盾式', '可满足式', '不能确定'], 'type': 102}
K是重言式,那么K的否定是 未知类型：{'options': ['重言式', '矛盾式', '可满足式', '不能确定'], 'type': 102}
设()A(),()B()为任意命题公式,()C()为重言式,若()A()∧()C<=>B()∧()C(),那么()A<->B()是()_________()(重言式、矛盾式或可满足式).
设()A(),()B()为任意命题公式,()C()为重言式,若()A()∧()C<=>B()∧()C(),那么()A<->B()是()_________()(重言式、矛盾式或可满足式).
下列判断正确的是（ ） A: 公式A是重言式，则A的否定一定是矛盾式。 B: 公式A是矛盾式，其否定一定是重言式。 C: 重言式一定是可满足式。 D: 可满足式的否定是矛盾式。 E: 可满足式的否定也是可满足式。
下列判断正确的是（ ） A: 公式A是重言式，则A的否定一定是矛盾式。 B: 公式A是矛盾式，其否定一定是重言式。 C: 重言式一定是可满足式。 D: 可满足式的否定是矛盾式。 E: 可满足式的否定也是可满足式。