以下哪个步骤是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∨P)]∧[Q∨(﹁Q∨P)] 6、⇔[﹁P∧(﹁Q∨P)]∨[Q∧(﹁Q∨P)] 7、⇔[(﹁P∧﹁Q)∨(﹁P∧P)]∨ [(Q∧﹁Q)∨(Q∧P)] 8、⇔[(﹁P∧﹁Q)∧T]∨[T∧(Q∧P)] 9、⇔[(﹁P∧﹁Q)∨ F]∨[F∨(Q∧P)][br][/br] 10、⇔ (﹁P∧﹁Q )∨(Q∧P) A: 1-4-6-9-10 B: 2-4-5-7-9-10 C: 1-3-6-7-9-10 D: 2-4-6-7-9-10

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:x>2,y>3，q:x+y>5 B: p:xy>6，q:x>2,y>3 C: p:x=3，q:x>2 D: p:x=y，q:(x-y)²=0

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

用真值表判断下列公式的类型 (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)

"p∨q"为真的情况有: A: p=1,q=0 B: p=0,q=0 C: p=1,q=1 D: p=0,q=1

满足命题公式(p∧q)→¬p的解释为 A: p=0,q=0 B: p=0,q=1 C: p=1,q=0 D: p=1,q=1

(p∧q)→¬p命题公式的成真赋值为( ) A: p=0,q=0 B: p=0,q=1 C: p=1,q=0 D: p=1,q=1

p → q为假当且仅当（ ） A: p=0，q=0 B: p=0，q=1 C: p=1，q=0 D: p=1，q=1