题目
设解释I为:个体域D={a,b},F(x)与G(x)为2个1元谓词,且F(a)=0,F(b)=1,G(a)=1,C(b)=0。在I下,公式的真值为()。
第1题
设解释I为:
(a)个体域为自然数集N。
(b)N中特定元素
(c)N上特定函数
(d)N上特定谓词
I下的赋值σ:σ(x)=1,σ(y)=0。
讨论下列各式在I和σ下的真值。
第2题
设解释I为:
(a)个体域为实数集R。
(b)R上特定元素
(c)R上特定函数
(d)R上特定谓词
I下的赋值σ:σ(x)=1,σ(y)=-1。
讨论下列各式在I和σ下的真值。
第3题
给定解释I和I下的赋值σ如下。
(a)个体域为实数集R。
(b)特定元素
(c)特定函数
(d)特定谓词
(e)σ(x)=1,σ(y)=-1。
给出下列公式在I和σ下的解释,并指出它们的真值。
第4题
给定解释I如下:
(a)个体域D={3,4}.
试求下列公式在I下的真值.
第6题
给定解释I如下:
(1)个体域为D={-2,3,6};
(2)F(x):x≤3,G(x):x>5,R(x):x≤7.
在解释I下,求下列各式的真值:
第7题
给定解释I如下:
(a)个体域DI为实数集R.
(b)DI中特定元素=0.
(c)特定函数f(x,y)=x-y,x,y∈DI.
(d)特定谓词F(x,y):x=y,(x,y):x<y,x,y∈DI.
说明下列公式在I下的含义,并指出各公式的真值.
第8题
给定解释I和I下的赋值σ如下。
(a)个体域D=N。
(b)特定元素
(c)N上函数
(d)N上谓词
(e)σ(x)=2,σ(y)=3,σ(z)=4。
给出下列各式在I和σ下的解释,并讨论它们的真值。
第10题
给定公式
(1)在解释I1中,个体域D={a},证明公式A在I1下的真值为1。
(2)在解释I2中,个体域D={a1,a2,…,an},n≥2,A在I2下的真值还一定是1吗?为什么?
第11题
给定个体域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使得是可定义的.
为了保护您的账号安全,请在“赏学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!