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

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

某种商品的检验检疫类别为M．P．R／Q．S，出口时，检验检疫机构对其实施的检验检疫内容有()。

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

油马达的进排油压差为p，马达油流量Q（m3/s），每转排量为q（m3/r），机械效率为ηm，容积效率为ηv，则输出扭矩为：（）.

以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。

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

以（﹁p∨﹁q）∧（r∧s）为前提进行推理，可以有效推出的结论有（）。

以p→（）和q为前提进行推理，结论是（）。

“p∧q”与“r∨s”这两个逻辑形式，它们的（）

以下程序的运行结果是______。voidswap(int**r,int**s){int*t;t=*r;*r=*s;*s=t;}voidmain(){inta=1,b=2,*p,*q;p=&a;q=&b;swap(&p,&q);printf(%d,%d\n,*p,*q);}

“如果 p ，那么 q ；如果 r ，那么 s ； p 或者 r ；所以， q 或者 s 。”是二难推理的（ ）

由前提“（p∨q）→r”，再加上前提（ ）可推出r

由前提“（p∨q）→r”，再加上前提（ ）可推出r

以“～(p∨q)←r”为前提构成演绎推理，若加上另一前提

若关系R为M列P行，关系S为N列Q行，则（）的结果为M＋N列P×Q行。A．R－SB．R×SC．R÷S

前提￢P∨Q，￢Q∨R，￢R的结论是______．

“(p→q)∧(r→s)∧(p∨r)├q∨s”这一推理式是()。

（p→r)∧（¬q→¬s)∧（p∨¬q)→r∨¬s这一推理式是二难推理的（)

设有字符序列（Q，H，C，Y，P，A，M，S，R，D，F，x)，则新序列（F，H，C，D，P，A，M，Q，R，S，Y，x)是下列（）排序算法－

推理证明下列各题的有效结论。 （） p ∨ s , p → q , r → s T p ∨ r

设P（x),Q（x),R（x),S（x)为多项式,证明:可被（x-a)⁴整除.

六、运用真值表判定命题是否为重言式（每题5分，共10分） 1. （p→q）∧（r→s）∧（p∨r）→q∨s 2. （¬A→¬B）∧A→B

当p，q的真值为0，r，s的真值为1时，求下列各命题公式的真值。

冲积扇中几乎不含动植物化石，粒度分析在CM图上，R£­S段发育，缺少P£­Q£­R段。（)