题目内容
(请给出正确答案)
[主观题]
指定整数集的一个尽可能大的子集为个体域,使得下列公式为真.
请帮忙给出正确答案和分析,谢谢!
答案
查看答案
请帮忙给出正确答案和分析,谢谢!
第4题
第6题
给定解释I如下:个体域为整数集合DI;DI中特定元素a0=0,a1=1;DI上特定函数f(x,y)=x-y,g(x,y)=x+y;DI上特定谓词F(x,y)为x<y.
给定以下公式,并在解释I下,求出公式的真值.
第10题
设解释I为:
(a)个体域为实数集R。
(b)R上特定元素
(c)R上特定函数
(d)R上特定谓词
I下的赋值σ:σ(x)=1,σ(y)=-1。
讨论下列各式在I和σ下的真值。