由真值知命题公式的类型是:重言式 (3)┐(q→p)∧p p q q→p ┐(q→p) ┐(q→p)∧p111111 1 1此命题公式是矛盾式。 (4)(p→q) →(﹁q→﹁p) 解: 其真值表为: p q ﹁p ﹁q p→q ﹁q→﹁p (p→q)→(﹁q→﹁p)1
例题例1.25 给定命题公式如下,用等值演算判断公式类型 →解: ﹁∨ ﹁p∨﹁q∨ p∨q ∨ 1∨11所以为重言式〔2 ↔ 解: ↔ ↔ ∧ →¬ ∨¬ ∨ ∧∨> ∧1 ∧11所以此式是重言式〔3 ∧q解: ∧q∧q ∧q...
判断下列命题公式的类型.方法不限. (1)P→(P∨Q∨R); (2)(P→￢P)→￢P; (3)(P→Q)→(￢Q→￢P); (4)￢(P→Q)∧Q; (5)判断下列命题公式的类型.方法不限. 相关知识点: 试题来源: 解析 题(1)、(4)、(6)、(9)均为重言式, 题(3)、(8)为矛盾式, 题(2)、(5)、(7)、(1...
判断下列命题公式的类型,方法不限.(1)p→(p∨q∨r) (2)d<-(d<-d) (3)≠g(q→p∧p (4)(p→q)→(≠gq→-p) (5)(p∨≠gp)→(q∧≠gq)∧-p (6)((p→q)^(q→r))→(p→r)(7)(p∨q)→r)↔s (8)(p∧-p)↔q ...
【题目】判断命题公式 (P→Q)∧(∼Q→∼P)的类型(永真式、矛盾式或仅可满足式),并指出该公式的成真险赋值
((p q )1) (1 ( — q — p)) -(p q ) ( — q — p) -(p q ) — ( p q ) 1.9用等值演算法判断下列公式的类型。 (1) — ((p q) * p). 解:(1) -((p q) > p) p q) p) 蕴含等值式 二」c (paq))厂p 德•摩根律 -p q p 双重否定律 -p p q 交换律 0、反馈...
用主析取范式法判断命题公式(pq)→r的类型。 相关知识点: 试题来源: 解析 (p∧q)r¬(p∧q)∨r¬p∨¬q∨rM6. 该式为公式(p∧q)r的主合取范式,由主合取范式定义知,110为公式的成假赋值,000,001,010,011,100,101,111为公式的成真赋值,而成真赋值与公式主析取范式中的极小...
分别用真值表法和公式法判断下列命题公式的类型:(1)(P∨Q)(P∧Q)。(2)(P∧Q)(P∨Q)。(3)(P∨Q)∧(Q∨R)∧(R∨P∨Q)。(4)
判断下列命题公式的类型 (1)为___ (2)为___ (3)为___ (4)为___ (5)为___相关知识点: 试题来源: 解析 矛盾式 重言式 可满足式 可满足式 重言式 反馈 收藏