与有效推理形式相对应的复合命题形式一定是：
A: 重言式
B: 非重言式
C: 矛盾式
D: 可满足式
A: 重言式
B: 非重言式
C: 矛盾式
D: 可满足式
举一反三
- 下列判断正确的是（ ） A: 公式A是重言式，则A的否定一定是矛盾式。 B: 公式A是矛盾式，其否定一定是重言式。 C: 重言式一定是可满足式。 D: 可满足式的否定是矛盾式。 E: 可满足式的否定也是可满足式。
- 命题公式¬(pÙq)↔(p®¬q)的类型是() A: 重言式 B: 非重言式的可满足式 C: 矛盾式 D: 简单析取式
- 给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.(p∨Øp) ® ((q∧Øq)∧r) A: 重言式 B: 矛盾式 C: 可满足式
- P→(P∨Q∨R)是 A: 重言式 B: 矛盾式 C: 非重言式的可满足式
- 重言式的否定是矛盾式，矛盾式的否定是重言式