K是重言式,那么K的否定是
未知类型：{'options': ['重言式', '矛盾式', '可满足式', '不能确定'], 'type': 102}
未知类型：{'options': ['重言式', '矛盾式', '可满足式', '不能确定'], 'type': 102}
举一反三
- 命题公式[tex=7.571x1.357]Cp6k0MCxWX6Js//RLUdZX5S20ytXpGY2I9o9P54eh24uBCHGrDlBQv44FXin3v0J[/tex]是 未知类型：{'options': ['矛盾式', '可满足式', '重言式', '不能确定'], 'type': 102}
- 下列判断正确的是（ ） A: 公式A是重言式，则A的否定一定是矛盾式。 B: 公式A是矛盾式，其否定一定是重言式。 C: 重言式一定是可满足式。 D: 可满足式的否定是矛盾式。 E: 可满足式的否定也是可满足式。
- (单选题）下列说法中不正确的是：（2分） A: 重言式的否定都是矛盾式 B: 矛盾式都是重言式的否定 C: 可满足式的否定都是矛盾式 D: 矛盾式的否定都是可满足式
- 重言式的否定是矛盾式，矛盾式的否定是重言式
- P→(P∨Q∨R)是 A: 重言式 B: 矛盾式 C: 非重言式的可满足式