【填空题】5、设谓词公式：[图]，个体域：{1, 2}，将其中的量...

【判断题】函数的定义域为 [1,2).

设解释I为：个体域D={a，b}，F(x)与G(x)为2个1元谓词，且F(a)=0，F(b)=1，G(a)=1，C(b)=0。在I下，公式的真值为( )。

设个体域为实数集R，F(x)：x＞5，求下列0元谓词的真值．

  (1)F(5)．  (2)F()．  (3)F(-2)．  (4)F()．

  (5)F()．  (6)F(7.9)．

设P是任意谓词，论述域是(1,2,3)，命题的真值等于命题的真值吗?

在有限个体域内消去量词。

(1)个体域D={1，2，3}，公式为

(2)个体域D={a，b}，公式为

【简答题】在挖去奇点的环域上或者指定的环域上将下列函数展开为洛朗级数。 (1)在;(2)在;

【单选题】函数的定义域为（）

A、(-∞,-3)∪(-3,-2)∪(2,+∞)

B、(-∞,-3)∪(-3,-2]

C、(-∞,-2)∪(2,+∞)

D、(-∞,-3)∪(-3,-2]∪[2,+∞)

设个体域为整数集Z，确定下列各公式的真值．

  (1)(x²＞0)．  (2)(x²=0)．

  (3)(x²≥x)．  (4)(x²＜y)．

  (5)(x＜y²)．  (6)(x+y=0)．

  (7)(x²+y²=6)．  (8)(z=(x+y)/2)．

给定个体域D和D上的解释I,称D上n元有序组集合D}为可定义的,如果存在含n个自由变元的谓词公式a(x₁,x₂,...,x_n),a(x₁,x₂,...,x_n)在域D和解释I下为真当且仅当对x₁,x₂,...,x_n的賦值d₁,d₂,...,d_n满足.已知n元有序组集合A,B都是可定义的,请证明:

(1)AUB是可定义的.

(2)A-B是可定义的.

(3)n-1元有序组集合存在某个d使得是可定义的.