定义 P↑Q = (P∧Q)，试仅用与非联结词↑分别表示出 （1）P （2）P∧Q （3）PQ 均要求结果简洁。______
见解析
举一反三
- 设 P↓Q = (P∨Q)，仅用联结词↓分别表示出P，P∧Q，P∨Q。______
- 6、以下哪个步骤是P⟷Q⇔(﹁P∨Q)∧(﹁Q∨P)等价证明的正确步骤 P⟷Q 1、⇔( P→Q)∧( Q→P) 2、⇔(﹁P∨Q)∧( Q→P) 3、⇔(﹁P∧Q)∨( Q→P) 4、⇔(﹁P∨Q)∨( Q→P) 5、⇔(﹁P∨Q)∧(﹁Q∨P)
- {↑}是联结词完备集,则p∨q可表示为: A: (p↓p)↓(q↓q) B: p↑q C: (p↑q)↑(p↑q) D: (p↑p)↑(q↑q)
- 必要条件假言推理的有效式是()1【(p←q)∧『p】→『q2(p←q)∧(q→p)3(p←q)∧(p→q)4【(p←q)∧『p】→『p A: 1 B: 2 C: 3 D: 4
- 设有下列公式,请问哪几个是永真蕴涵式?__________. (1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q (4)P∧(P→Q)=>Q (5) ¬(P→Q)=>P (6) ¬P∧(P∨Q)=>¬P
内容
- 0
构造下列命题公式的真值表。(1)q∧(p→q)→p(2)p→(q∨r)(3)(p∨q)↔(q∨p)
- 1
n4.用等值演算法证明下面等值式: (1)p⇔(p∧q)∨(p∧￢q) (2)￢(p↔q)⇔(p∨q)∧￢(p∧q) (3)(p∧￢q)∨(￢p∧q)⇔(p∨q)∧￢(p∧q)
- 2
6、以下哪个步骤是P⟷Q⇔(﹁P∨Q)∧(﹁Q∨P)等价证明的正确步骤 P⟷Q 1、⇔( P→Q) ∧( Q→P) 2、⇔(﹁P∨Q)∧( Q→P) 3、⇔(﹁P∧Q)∨( Q→P) 4、⇔(﹁P∨Q)∨( Q→P) 5、⇔(﹁P∨Q)∧(﹁Q∨P) A: 1-2-3-5 B: 1-2-5 C: 1-3-4-5 D: 1-3-5
- 3
化简下面的公式。<br/>（1）P∨（﹁P∨（Q∧﹁Q））<br/>（2）（P∧Q∧R）∨（﹁P∧Q∧R）<br/>（3）（（P→Q）↔（﹁Q→﹁P））∧R<br/>（4）（（P→Q）↔（﹁Q→﹁P））∨R
- 4
求下列公式的成真赋值(1)(¬p→q)→(¬q∨p)(2)(¬p→q)∧(q∧r)(3)(p∨(q∧r))→(p∨q∨r)