题目内容
(请给出正确答案)
[主观题]
设个体域为整数集Z,将下列问题符号化。(1)对于任意的x和y,存在z,使得x+y=z。(2)“存在x,对于任意的y和z,均有y-z=x”是不成立的。
答案
查看答案
第4题
第5题
设解释I为:
(a)个体域为实数集R。
(b)R上特定元素
(c)R上特定函数
(d)R上特定谓词
I下的赋值σ:σ(x)=1,σ(y)=-1。
讨论下列各式在I和σ下的真值。
第6题
设论述域是整数I,按照列于下面的集合在列于顶行的运算下是否封闭,在相应处填上是(Y)或非(N)。
第7题
设谓词P(x):x是奇数;Q(x):x是偶数:谓词公式在个体域()中是可满足的.
A.自然数
B.整数
C.实数
D.以上均不成立
第8题
设个体域={1,2,3,4},F(x):x是2的倍数。G(x):x是奇数,将命题(F(x)→ㄱG(x))中的量词消去,并讨论命题的真值。
第9题
设D是z平面上介于直线x-γ=0与x-y+π/)=0之间的带形域,试求把D映为w平面上的单位圆的一个共形映射.