构造下列推理的证明。 A: P∧S B: P→S C: S D: P→(Q∨R) E: P→(Q→R) F: S→┐Q G: S→Q H: H. R
构造下列推理的证明。 A: P∧S B: P→S C: S D: P→(Q∨R) E: P→(Q→R) F: S→┐Q G: S→Q H: H. R
由前提“(p→q)∧(r→s)”和“(p∨r)”,可得出结论( ) A: ¬q∧s B: ¬(¬q∧¬s) C: ¬(q∨s) D: q∧s
由前提“(p→q)∧(r→s)”和“(p∨r)”,可得出结论( ) A: ¬q∧s B: ¬(¬q∧¬s) C: ¬(q∨s) D: q∧s
下列推理形式中，有效的是 A: (p∨～q)∧p→～q B: (p→～q)∧q→～p C: (～p←q)∧q→～p D: (p∨～q)∧q→～p E: [(p→q)∧(r→s)∧(～p∨～r)]→(～q∨～s)
下列推理形式中，有效的是 A: (p∨～q)∧p→～q B: (p→～q)∧q→～p C: (～p←q)∧q→～p D: (p∨～q)∧q→～p E: [(p→q)∧(r→s)∧(～p∨～r)]→(～q∨～s)
以“p∨～r”、“～q→～s”和“～p∧～q”为前提，可必然推出结论（）。 A: p B: ～s C: ～r∧p D: ～r E: s→q
以“p∨～r”、“～q→～s”和“～p∧～q”为前提，可必然推出结论（）。 A: p B: ～s C: ～r∧p D: ～r E: s→q
下列演绎推理式中，无效式为______ A: B: A．p←﹁q，q├﹁q C: B．﹁p→q，﹁p├q D: C．p∨q，﹁p├q E: D． F: E．p→﹁q，q→﹁r，﹁r→s├p→s
下列演绎推理式中，无效式为______ A: B: A．p←﹁q，q├﹁q C: B．﹁p→q，﹁p├q D: C．p∨q，﹁p├q E: D． F: E．p→﹁q，q→﹁r，﹁r→s├p→s
以（﹁p∨﹁q）∧（r∧s）为前提进行推理，可以有效推出的结论有（）。 A: ﹁r∨﹁s B: r∧s C: ﹁p∧﹁q D: ﹁p∨﹁q E: r∨s
以（﹁p∨﹁q）∧（r∧s）为前提进行推理，可以有效推出的结论有（）。 A: ﹁r∨﹁s B: r∧s C: ﹁p∧﹁q D: ﹁p∨﹁q E: r∨s
下列推理形式中，无效的有（）。 A: （（p∨～q）∧q）→～p B: （（p∧q）∧r）→（p∧r） C: （（～p→q）∧q）→～p D: （（p→q）∧（r∧p））→q E: （p→q）∧（r→s）∧（q∨s））→（p∨r）
下列推理形式中，无效的有（）。 A: （（p∨～q）∧q）→～p B: （（p∧q）∧r）→（p∧r） C: （（～p→q）∧q）→～p D: （（p→q）∧（r∧p））→q E: （p→q）∧（r→s）∧（q∨s））→（p∨r）
以下计算式中（）是正确的。 A: S=P+Q B: C: P=Q×tanφ D: Q=P×tanφ E: Q÷S=cosφ
以下计算式中（）是正确的。 A: S=P+Q B: C: P=Q×tanφ D: Q=P×tanφ E: Q÷S=cosφ
下列演绎推理式中,无效式为( ) A: (p←﹁q)∧q├﹁p B: ( ﹁p→q)∧﹁p├q C: (p∨q)∧﹁p├q D: (要么﹁p要么q)∧﹁p├<br/>q E: (p→q)∧(q→﹁r)∧(﹁r→s)├(p→s)
下列演绎推理式中,无效式为( ) A: (p←﹁q)∧q├﹁p B: ( ﹁p→q)∧﹁p├q C: (p∨q)∧﹁p├q D: (要么﹁p要么q)∧﹁p├<br/>q E: (p→q)∧(q→﹁r)∧(﹁r→s)├(p→s)
下列（）关键码序列不符合堆的定义。 A: B、C、E、G、H、M、P、Q、S、Y B: B、C、M、E、H、P、Y、G、Q、S C: B、E、P、S、C、Q、Y、M、H、G D: B、E、C、M、P、G、H、Y、S、Q
下列（）关键码序列不符合堆的定义。 A: B、C、E、G、H、M、P、Q、S、Y B: B、C、M、E、H、P、Y、G、Q、S C: B、E、P、S、C、Q、Y、M、H、G D: B、E、C、M、P、G、H、Y、S、Q