如果有三个含有存在量词的公式,则当使用规则ES消去量词时,可以选用同一常量符号取代三个公式中的变元。（ ）A 对B 错

[填空题] 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。

消去存在量词时,当()时,用skolem函数A存在量词未出现在全称量词的辖域内时B存在量词出现在全称量词的辖域内时C以上情况都需要D以上情况都不需要消去存在量词

[填空题] 在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。

[多选题] 期望理论公式中的三个要素是（）A . 激励水平的高低B . 效价C . 期望值D . 环境

[单选题]在公式中yxP（x，y），存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（）A .依赖函数B .Skolem函数C .决定函数D .多元函数

[单选题]交流发电机的使用维护中要求夜间工作时，应将三个灯都打开，如果有一个灯不打开，将使另两个灯（）。A .变暗B .太亮C .烧坏

[主观题]三个通达信公式,请写下。选出3天股价一天比一天高 成交量一天比一天大 换手一天比一天高 并且60 120 250天均线向上选出量比大于等于2.5 换手大于等于4.5 的票票选出股价上穿20日线，收盘站上20均 并且60 120 250 均线向上

[多选题] 当p→q、q→p和﹁p∨﹁q三个公式均真时，下列公式取值为真的是（）。A . p→﹁qB . ﹁p→qC . q→﹁pD . p↔qE . ﹁p∧﹁q

[单选题]暴雨强度公式主要表征的三个要素是（　　）。A.降水量、降水历时和降水强度B.降水量、降水历时和重现期C.降水历时、降水强度和重现期D.降水量、重现期和

[多选题] 如果要对B2、B3、B4三个单元格中的数值求平均值，则公式应该为（）。A .=AVERAGE（B2：B4）B .=SUM（B2：B4）C .=AVERAGE（B2，B3，B4）D .=（B2+B3+B4）/3