公式(¬p→q)→(q→¬p)的公式类型为()
A: 矛盾式
B: 可满足式
C: 重言式
D: 不确定
A: 矛盾式
B: 可满足式
C: 重言式
D: 不确定
举一反三
- 命题公式(p∧q)→(p∨q)是( )类型的公式。 A: 矛盾式 B: 可满足式 C: 重言式 D: 不确定
- 给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.(p∨Øp) ® ((q∧Øq)∧r) A: 重言式 B: 矛盾式 C: 可满足式
- 公式Q→(P∨Q)的类型是 A: 重言式 B: 矛盾式 C: 可满足式 D: 等价式
- 公式 ┐(p↔q)↔((p∧┐q)∨(┐p∧q)) 的类型是什么？ A: 重言式 B: 矛盾式 C: 可满足式 D: 其他选项都不对
- 用等值演算法判断¬(pq)((p∧¬q)∨(¬p∧q))公式类型为: A: 重言式 B: 非重言式的可满足式 C: 矛盾式