设论述域是整数I，按照列于下面的集合在列于顶行的运算下是否封闭，在相应处填上是（Y)或非（N)。

设个体域为整数集,试确定两个谓词P(x,y),分别使得下列两个蕴涵式假.

给定解释I和I下的赋值σ如下。

(a)个体域为实数集R。

(b)特定元素

(c)特定函数

(d)特定谓词

(e)σ(x)=1，σ(y)=-1。

给出下列公式在I和σ下的解释，并指出它们的真值。

取个体域为整数集,给定下列公式:

上面公式中,是真命题的有(),是假命题的有().

S及其S上的运算*如下定义,问各种定义下的*运算是否满足结合律、交律,

S,*＞中是否有幺元,零元,S中哪些元素有逆元,哪些元素没有逆元.

(1)S为I(整数集),x*y=x-y

(2)S为I(整数集),x*y=x+y-xy

(3)S为Q(有理数集),x*y=x+y/2

(4)S为N(自然数集),x*y=2^xy

(5)S为N(自然数集)x*y-max(x,y)(min(x,y))

(6)S为N(自然数集),x*y=x

设是一线序集合，但不是良序集合。在论述域上找出谓词P，以证明在该域上，应用词典序则数学归纳法第二原理不是一个有效的推理规则。

整数集I上的一元运算定义如下:

(m)=m'(modk)

其中r,k为给定正整数,又定义I上的关系~:

X~y当且仅当x=y(modk)

问一是否是代数结构＜l,＞上的同余关系.

设Q为有理效集(既约分数的集合),F为n/m形分数集合,其中m,n是整数,m≠0.对分数集F证明:如下定义的F上的等价关系~是(这里,-为一元添负号运算)上的司余关系: