← q”等值的判断是()
A: P
→ ¬q
B: q
→ P
C: P
→ q
D: q∧¬P
举一反三
- 证明以下蕴涵关系成立:﹁Q∧(P→Q) ⇒﹁P 的正确步骤顺序是： 1、即证明：﹁Q∧(P→Q)→﹁P 永真 2、⟺﹁Q∧(﹁P∨Q)→﹁P[br][/br] 3、⟺﹁Q∧(﹁P∧Q)→﹁P[br][/br] 4、⟺﹁﹁Q∧(﹁P∧Q)∧﹁P[br][/br] 5、⟺﹁（﹁Q∧(﹁P∨Q)）∨﹁P[br][/br] 6、⟺ Q∨﹁(﹁P∨Q)）∨﹁P[br][/br] 7、⟺ Q ∨ P ∨ ﹁Q ∨﹁P[br][/br] 8、⟺ Q ∨ (P ∧ ﹁Q) ∨﹁P[br][/br] 9、⟺ (Q∨﹁P) ∨ (P ∧ ﹁Q)[br][/br] 10、⟺﹁ ( P ∧ ﹁Q) ∨ ( P ∧ ﹁Q)[br][/br] 11、⟺T A: 1-2-4-7-11 B: 1-2-5-6-8-9-10-11 C: 1-3-4-7-11 D: 1-2-4-7-8-9-10-11
- 与命题公式“p<br/>→ q ”逻辑等值的有( <br/>)。 A: q∨p B: (p∧q) C: p∨q D: p→q
- 用真值表证明¬(p↔q)和 ¬p↔q逻辑等价。空顺序从左到右，从上到下 p q Øp p→q q→p Øp→q Øq→p ¬(p↔ q)≡ ¬((p→q)∧(q→p)) ¬p↔q≡ (p→q)∧(q→¬p) 1 1 [br][/br] [br][/br] [br][/br] （ 一 ） （ 二） （ ） （ ） 1 0 [br][/br] [br][/br] [br][/br] （ 五 ） （ ） （ ） （ ） 0 1 [br][/br] [br][/br] [br][/br] [br][/br] [br][/br] （ 九 ） （ ） 0 0 [br][/br] [br][/br] [br][/br] [br][/br] [br][/br] （ 十一） （ ）
- 化简下面的公式。<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
- 用真值表证明q→(¬p→(p∧q))和 ¬p→¬q逻辑等价。空顺序从左到右，从上到下 p q p∧q ¬p ¬p→(p∧q) q→(¬p→(p∧q)) ¬q ¬p→¬q 1 1 （一） [br][/br] [br][/br] （二） （三） [br][/br] 1 0 （四） [br][/br] （五） [br][/br] [br][/br] （六） 0 1 [br][/br] （七） （八） （九） [br][/br] （十） 0 0 （十一） [br][/br] [br][/br] （十二）
内容
- 0
设p:他聪明,q:他用功,命题“他虽聪明但不用功”的符号化正确的是() A: p<br/>∧ ¬q B: ¬p<br/>∧ q C: p<br/>→ ¬q D: p<br/>∨ ¬q
- 1
当p假q假时,下列判断形式为假的是(<br/>)。 A: P∨q B: p←q C: p→q D: p←→q
- 2
与┓（p←q）等值的判断是（）。 A: p∧q B: p→q C: ┓p∧q D: p∨q
- 3
{ 以下程序有错,错误原因是 。[br][/br]main()[br][/br]{int *p,i;char *q,ch;[br][/br]p=&i;[br][/br]q=&ch;[br][/br]*p=40;[br][/br]*p=*q;[br][/br]…[br][/br]}[br][/br]} A: p和q类型不一致,不能执行*p=*q;语句 B: *p中存放的是地址值,因此不能执行*p=40;语句 C: q没有指向具体的存储单元,所以*q没有实际意义 D: q虽然指向了具体的存储单元,但该单元中没有确定的值,所以不能执行*p=*q;语句
- 4
以下哪个步骤是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