(1)p→q (2)┐q∨r (3)(┐p∨q)∧((p∧r)→p) (4)(q→r)∧(p→p) A: （1）和（2） B: （1）和（3） C: （2）和（3） D: （2）和（4）

必要条件假言推理的有效式是()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

下列命题中,P是Q的什么条件?（1）P：x=1.Q:x-1=√x-1（2）P：|x-2|≥3,Q：-1≤X≤5（3）P：x=2,Q：x-3=√3-x（4）P：三角形是等边三角形,Q：三角形是等腰三角形写出下列命题,并判断真假1：PVQ,这里P：4∈｛2,3｝,Q：2∈｛2,3｝2：P∧Q,这里P：4∈｛2,3｝,Q：2∈｛2,3｝3：PVQ,这里P：2是偶数,Q：3不是素数4：P∧Q,这里P：2是偶数,Q：3不是素数

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)

构造下列命题的真值表。 （1）¬（P→Q）∧Q。 （2）（P→¬Q）→¬Q。 （3）P→Q∨R。 （4）P↔¬Q。 （5）（（P∨Q）→R）↔S。

化简下面的公式。<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

设有下列公式,请问哪几个是永真蕴涵式?__________. (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

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

【单选题】以“p或者q”为前提。能必然推出() 1p∨q 2 『 p ∧ 『 q 3 『 p→q 4p← 『 q A. 1 B. 2 C. 3 D. 4

用真值表判断下列公式的类型 (1)p→(p∨q∨r) (2)(p→Øp)→Øq (3) Ø(q→r)∧r (4)(p→q)→(Øq→Øp) (5)(p∧r) « (Øp∧Øq) (6)((p→q)∧(q→r))→(p→r) (7)(p→q) « (r«s)