用有序树表示下述命题公式：

设B为含命题变项p，q，r的矛盾式，则公式B∧((pq)→r)的类型为()。

A、达到目标可望得到的预期效价

B、为实现期望激发起的内驱力度

C、主观判断达成结果的期望概率

D、激发起来的内驱力度

举例说明集合运算不满足消去律:

其中符号“”表示左边的命题不能推出右边的命题.

设P(x,y,z)表示x*y=z,E(x,y)表示x=y,G(x,y)表示x＞y,论述域是整数，将下列断言译成逻辑符。(提示：要注意数学上习惯写法和逻辑符表示的差异，例如加法交换律在数学中写成;x+y=y+x，翻译成逻辑符时，要按实际意义翻译成即要自动地加上全称量词，使整个式子成为命题。)