判断下列公式的类型,等值演算法判断公式类型例题

判断下列公式的类型,等值演算法判断公式类型例题

判断公式的类型(1)q(pq) 解q(pq) q(pq)(蕴涵等值式) q(pq)(德摩根律) p(qq)(交换律，结合律) p0(矛盾律) 0(零律) 由最后一步可知，该式为矛盾式. (2)(pq)(qp) 解(pq)(qp) (pq)> >  < < p  p >  <  q  p> > 1>  > < p  q >  <  q  p> < p  q >  < p  q >1.9 用等值演算法判断下列公式的类型。

题型：判断公式类型(真值表) 分成三种公式类型：重言式：公式真值恒为1(永真式); 矛盾式：公式真值恒为0(永假式); 可满足式：非矛盾式，注意哦，重言式也算是特殊的可满足式，但是可满足用真值表判断下列公式的类型. (1)p→(p∨q∨r). (2)￢(￢q∨p)∧p. (3)(p→q)→(￢q→￢p). (4)(p∧r)￢(p∨q). 用真值表判断下列公式的类型. (1)p→(p∨q∨r)

≥ω≤ 用等值演算法判断下列公式的类型：排中律和矛盾律可以得出结果重言式或者矛盾式，如果最后得出一个单元的p或q可满足式。注意：p->q,p假则整个命题为真。例如：如（1）是一个蕴涵式的否定，等值于一个合取式：（p∧q）∧¬p。为矛盾式。（2）是一个蕴涵式，为偶然式。

一、（20分）用公式法判断下列公式的类型：1)(⌝P ∨⌝Q )→(P ↔⌝Q )(2)(P ↓Q )→(P ∧⌝(Q ∨⌝R ))解：（1）因为(⌝P ∨⌝Q )→(P ↔⌝Q )⇔⌝(⌝P ∨⌝Q )∨(P ∧⌝Q 用真值表判断下列公式的类型. (1)p→(p∨q∨r). (2)￢(￢q∨p)∧p. (3)(p→q)→(￢q→￢p). (4)(p∧r)leftrightarrow￢(p∨q). 点击查看答案第3题不同时点上的两笔不等额资金()。

5.判断下列公式的类型(1) (P∨Q)→(P∧Q) 相关知识点：试题来源：解析答案：详见解析解析：P∨Q)→(P∧Q) (PV)V(Pa)(蕴涵律)(7PN^2Q)v(PMQ) ()(同一律、分配律、排中律)(2pVQ¬(p∧s)∨q) 变成合取析取⇔ ¬p∨¬(p∨t) ∨¬(p∧s)∨q 结合律⇔ ¬p∨¬(p∧s)∨q 吸收律⇔ ¬(p∧s)∨q 吸