谓词公式∀x(P(x)∨∃yR(y))→Q(x)中的x是()。
A.自由变元
B.约束变元
C.既是自由变元又是约束变元
D.既不是自由变元又不是约束变元
A.自由变元
B.约束变元
C.既是自由变元又是约束变元
D.既不是自由变元又不是约束变元
第2题
量词!表示“有且仅有",!xP(x)表示有且仅有一个个体满足谓词P(x).试用量词,,等号“=”及谓词P(x)表示!P(x),即写出一个通常的谓词公式使之与!xP(x)具有相同的意义.
第3题
设谓词P(x):x是奇数;Q(x):x是偶数:谓词公式在个体域()中是可满足的.
A.自然数
B.整数
C.实数
D.以上均不成立
第5题
第8题
第9题
A.﹁Study(zhang)∧Lucky(zhang)
B.﹁(Study(zhang)∧Lucky(zhang))
C.﹁(Study(zhang)∨Lucky(zhang))
D.﹁Study(zhang)∨Lucky(zhang)
第10题
给定解释I和I下的赋值σ如下。
(a)个体域为实数集R。
(b)特定元素
(c)特定函数
(d)特定谓词
(e)σ(x)=1,σ(y)=-1。
给出下列公式在I和σ下的解释,并指出它们的真值。
第11题
A.自由变元
B.约束变元
C.既不是自由变元也不是约束安元
D.既是自由变元也是约束变元