题目内容
(请给出正确答案)
[判断题]
如果谓词公式P对个体域D上的任何一个解释都取得真值F,则称P在D上是永假的;如果P在每个非空个体域上均永假,则称P永假。()
查看答案
如果结果不匹配,请 联系老师 获取答案
设个体域D={1,2},求公式A=(x)(P(x)→Q(f(x),b))在D上的某一个解释,并指出在此解释下公式A的真值。
任意数域上的不可约多项式在复数域上无重根.
P[x]中多项式f(x)在复数域上无重根,则在P[x]中不可约?
给定解释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下,求出公式的真值.
设P是二元谓词,给定解释,如下:
D={a,b},P(a,a)=P(b,a)=T,P(a,b)=P(b,b)=F.
求下列公式的真值: