已知p→（q∨r）为真，若要推出～p，必须加上前提（）。

以“不可能P”为前提，可推出（）、（） 已知“□p”真，则( ) 以﹁p∧﹁q为前提，若要得出结论r，则应再补上另一前提 以“只有p，才q且r”和“非P”为前提，可必然推出结论（）。 已知“P←→q”、“P∧q”、“P→q”均真，则（）. 由“s必然是p为真”，可推出 以﹁P∧﹁q为前提，若要得如结论r，则应再补上的另一前提是 以“～r→p”和“（～q∨～r）∧q”为前提，能必然推出结论（）。 由前提"p或者q"进行选言推理，加上一个前提"q"，能得出（）的结论。 以“p”和“r∨～q∨～p”为前提进行推理，能必然推出的结论是（）。 “p∨﹁q”真，“q”真，据选言推理否定肯定式可推出（） “p∨﹁q”真，“q”真，据选言推理否定肯定式可推出 若要在已知力系上加上或减去一组平衡力系，而不改变原力系的作用效果，则它们所作用的对象必须是（）。 推理只是假定前提为真，而不断定前提为真；论证则必须断定前提为真。 SQL语句嵌入在C语言程序中时，必须加上前缀标识（）和结束标志（）。 已知“float*p；p=newfloat[2]；”，若要释放p所指向的堆中的这些字节，下列语句正确的是（）。 已知SIP为真，可以推出下列为真的有（）。 以"只有P才q或r"和"非P"为前提，可必然推出的结论是（）。 以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。 “p∧q”真，据联言推理分解式可推出（）