设论述域是整数I,按照列于下面的集合在列于顶行的运算下是否封闭,在相应处填上是(Y)或非(N)。
设论述域是整数I,按照列于下面的集合在列于顶行的运算下是否封闭,在相应处填上是(Y)或非(N)。
设论述域是整数I,按照列于下面的集合在列于顶行的运算下是否封闭,在相应处填上是(Y)或非(N)。
如果论述域是整数I,确定下列命题哪些是真。题中表示“存在唯一的x使P(x)是真”,是常用的第三个量词,但它可用已有的两个量词表达出来。
设P(x,y,z)表示x*y=z,E(x,y)表示x=y,G(x,y)表示x>y,论述域是整数,将下列断言译成逻辑符。(提示:要注意数学上习惯写法和逻辑符表示的差异,例如加法交换律在数学中写成;x+y=y+x,翻译成逻辑符时,要按实际意义翻译成即要自动地加上全称量词,使整个式子成为命题。)
给定解释I和I下的赋值σ如下。
(a)个体域为实数集R。
(b)特定元素
(c)特定函数
(d)特定谓词
(e)σ(x)=1,σ(y)=-1。
给出下列公式在I和σ下的解释,并指出它们的真值。
假设以二维数组g(1...m,1...n)表示一个图像区域,g[i,j]表示该区域中点(i,j)所具颜色,其值为从0到k的整数。编写算法置换点(i0,j0)所在区域的颜色。约定和(i0,j0)同色的上、下、左、右的邻接点为同色区域的点。
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=2xy
(5)S为N(自然数集)x*y-max(x,y)(min(x,y))
(6)S为N(自然数集),x*y=x