下列判断正确的是（ ）
A: 公式A是重言式，则A的否定一定是矛盾式。
B: 公式A是矛盾式，其否定一定是重言式。
C: 重言式一定是可满足式。
D: 可满足式的否定是矛盾式。
E: 可满足式的否定也是可满足式。
A: 公式A是重言式，则A的否定一定是矛盾式。
B: 公式A是矛盾式，其否定一定是重言式。
C: 重言式一定是可满足式。
D: 可满足式的否定是矛盾式。
E: 可满足式的否定也是可满足式。
举一反三
- (单选题）下列说法中不正确的是：（2分） A: 重言式的否定都是矛盾式 B: 矛盾式都是重言式的否定 C: 可满足式的否定都是矛盾式 D: 矛盾式的否定都是可满足式
- 永假式的否定一定是（ ） A: 永真式 B: 永假式 C: 可满足式 D: 矛盾式
- 给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.(p∨Øp) ® ((q∧Øq)∧r) A: 重言式 B: 矛盾式 C: 可满足式
- 与有效推理形式相对应的复合命题形式一定是： A: 重言式 B: 非重言式 C: 矛盾式 D: 可满足式
- K是重言式,那么K的否定是 未知类型：{'options': ['重言式', '矛盾式', '可满足式', '不能确定'], 'type': 102}