以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（

1、以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r为前提推出结论

以（1）p∨q∨﹁r、（2）（p∨q）→（s∧﹁q）、（3）r为前提推出结论p∧r，所用的推理形式有（）。A一次运用选言推理的否定肯定式B联言推理的分解式C两次运用选言推理的否定肯...

2、设有定义：char p E]={’1’，‘2’，’3’}，*q=p；，以下不

设有定义：char p E]={’1’，‘2’，’3’}，*q=p；，以下不能计算出一个char型数据所占字节数的表达式是（ ）。Asizeof（p）Bsizeof（char）Csizeof（*q）Dsizeof（p[0]）

3、以r←（p∨q）为一个前提，如果要有效地推得r，则可增加的另一个前提为（）。

以r←（p∨q）为一个前提，如果要有效地推得r，则可增加的另一个前提为（）。ApBqC﹁pD﹁qEp∨q

4、如下图，（1）阻抗Z=？（2）I=？（3）有功功率P=？（4）无功功率Q=

如下图，（1）阻抗Z=？（2）I=？（3）有功功率P=？（4）无功功率Q=？（5）视在功率S=？（6）复功率=？

5、设A是3阶矩阵，P=（α1，α2，α3）是3阶可逆矩阵，且，若矩阵Q=（α1

设A是3阶矩阵，P=（α1，α2，α3）是3阶可逆矩阵，且，若矩阵Q=（α1，α2，α3），则Q-1AQ=（）。ABCD

6、设1，2，3。是二阶线性微分方程+p（）′+q（）＝f（）的三

设1，2，3。是二阶线性微分方程+p（）′+q（）＝f（）的三个线性无关的特解，则该方程的通解为＝（）。A[C1（2-1）+C2（3-1）+1BC11+C22+3CC1（2-1）+C2（3-1）DC1（2+1）+C2（3+1）+1