⌉[((p→q)∧(r→s))→((p∧r)→(q∧s))]
A: 普通合式公式
B: 不是合适公式
C: 重言式
D: 矛盾式
A: 普通合式公式
B: 不是合适公式
C: 重言式
D: 矛盾式
举一反三
- 给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.(p∨Øp) ® ((q∧Øq)∧r) A: 重言式 B: 矛盾式 C: 可满足式
- 公式¬(P→Q)∧Q∧R的类型是 A: 重言式 B: 矛盾式 C: 可满足式 D: 等价式
- 公式¬(P→Q)∧Q∧R的类型是 A: 重言式 B: 矛盾式 C: 可满足式 D: 主范式
- 以下命题公式中，( )是矛盾式。 A: ~(pÞq)∧q B: rÞ((pÞq)∨~q) C: p∧(q∨r) D: p∧(q Þr)
- 下列公式满足形式A→(B→C)的有： A: p→(q→(r→s)) B: p→((q→r)→s) C: (p→(q→r))→s D: (p→q)→(r→s)