题目内容
(请给出正确答案)
[主观题]
设解释I为:(a)个体域为自然数集N。(b)N中特定元素(c)N上特定函数(d)N上特定谓词I下的赋值σ:σ(x)
设解释I为:
(a)个体域为自然数集N。
(b)N中特定元素
(c)N上特定函数
(d)N上特定谓词
I下的赋值σ:σ(x)=1,σ(y)=0。
讨论下列各式在I和σ下的真值。
查看答案
如果结果不匹配,请 联系老师 获取答案
设解释I为:
(a)个体域为自然数集N。
(b)N中特定元素
(c)N上特定函数
(d)N上特定谓词
I下的赋值σ:σ(x)=1,σ(y)=0。
讨论下列各式在I和σ下的真值。
设解释I为:
(a)个体域为实数集R。
(b)R上特定元素
(c)R上特定函数
(d)R上特定谓词
I下的赋值σ:σ(x)=1,σ(y)=-1。
讨论下列各式在I和σ下的真值。
设个体域为实数集R,F(x):x>5,求下列0元谓词的真值.
(5). (6)F(7.9).
给定个体域D和D上的解释I,称D上n元有序组集合D}为可定义的,如果存在含n个自由变元的谓词公式a(x1,x2,...,xn),a(x1,x2,...,xn)在域D和解释I下为真当且仅当对x1,x2,...,xn的賦值d1,d2,...,dn满足.已知n元有序组集合A,B都是可定义的,请证明:
(1)AUB是可定义的.
(2)A-B是可定义的.
(3)n-1元有序组集合存在某个d使得是可定义的.
设f,g∈NN,N为自然数集,且
(1)求g°f并讨论它的性质(是否为单射或满射)。
(2)设A={0,1,2},求g°f(A)。