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

[多选题] 以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。A .二难推理的简单构成式B .二难推理的复杂构成式C .选言推理的肯定否定式D . D.选言推理的否定肯定式E .联言推理的组合式

[多选题] 以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有（）。A . 选言推理的肯定否定式B . 联言推理的分解式C . 选言推理的否定肯定式D . 充分条件推理的肯定前件式E . 充分条件推理的否定后件式

[多选题] 以（﹁p∨﹁q）∧（r∧s）为前提进行推理，可以有效推出的结论有（）。A . ﹁r∨﹁sB . r∧sC . ﹁p∧﹁qD . ﹁p∨﹁qE . r∨s

[填空题] 由p∧q真能推出p∨q（），由p∨﹁q假能推出﹁p∧q（）。

[填空题] 以“如果p那么q”和“如果r那么s”为假言前提进行二难推理，则推出的结论可以是（）或（）。

[单选题]设p、q、r为性质判断，p为全称判断。若p对q有差等关系，q与r有矛盾关系，则p与r一定有（）。A . 矛盾关系B . 反对关系C . 差等关系D . 下反对关系

[多选题] 以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。A . sB . ﹁qC . ﹁q∧sD . ﹁r∧sE . （﹁q∨﹁r）∧s

[单选题]如果P，则Q，如果P则r，非q或者r，非p，这是（）结构A .简单构成式B .简单破坏式C .复杂破坏式D .复杂构成式

[单选题]下列命题公式中为重言式的是Ⅰ．((p∨q)→r┌ →((p→r)∧(q→r))Ⅱ．(p→(q∨r))→((p→q)∧(p→r))Ⅲ．((p→q)∧(P→r))→((p→r)Ⅳ．((p∨q)∧(p→r))→(p→r)A．ⅢB．Ⅰ和ⅢC．Ⅰ和ⅡD．Ⅰ、Ⅱ、Ⅲ和Ⅳ

[单选题]有以下程序 main() { int a=7，b=8，*p，*q，*r； p=&a；q=&b； r=p； p=q； q=r； printf("%d，%d，%d，%d/n",*p，*q，a，b) ； } 程序运行后输出结果是A．8，7，8，7B．7，8，7，8C．8，7，7，8D．7，8；8，7