设A为含命题变项p、q、r的重言式,则公式A((pq)r)的类型为_____。(矛盾式,重言式,可满足式)
举一反三
- 设A为含命题变项p,q,r的矛盾式,则公式A∧((p∧q)→r)的类型为() A: 重言式 B: 矛盾式 C: 无法判断 D: 选择4
- 给定命题公式：判断公式分类：A、重言式，B、矛盾式， C、可满足式.(p∨Øp) ® ((q∧Øq)∧r) A: 重言式 B: 矛盾式 C: 可满足式
- 用等值演算法判断¬(pq)((p∧¬q)∨(¬p∧q))公式类型为: A: 重言式 B: 非重言式的可满足式 C: 矛盾式
- P为任意命题公式，Q为重言式。则PVQ是( ) A: 矛盾式 B: 可满足式 C: 蕴涵式 D: 重言式
- 公式¬(P→Q)∧Q∧R的类型是 A: 重言式 B: 矛盾式 C: 可满足式 D: 等价式