【单选题】【消耗次数：1】
（ ）表示动作的量。
①
名量词
②
动量词
③
时量词
④
形量词
参考答案：
复制
纠错
相关题目
【简答题】
紧接于量词之后最小的子公式叫量词的[填空1]
【单选题】
在公式中yxp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（ ）
①
依赖函数
②
Skolem函数
③
决定函数
④
多元函数
【多选题】
设个体域 D={a,b,c}, 消去谓词“xF(x) ?yG(y)”中的量词后的形式，下面不正确的有：
①
(F(a) ùF(b)) ùF(c)) ù (G(a) úG(b) úG(c))；
②
(F(a) ùF(b) ùF(c)) ú (G(a) ùG(b) ùG(c))
③
(F(a) ùF(b) ùF(c)) ? (G(a) ùG(b) ùG(c))；
④
(F(a) ùF(b) ùF(c)) ù (G(a) ùG(b) ùG(c)).
【多选题】
设个体域 D={a,b,c}, 消去谓词“xy(F(x) úG(y))”中的量词后的形式，下面不正确的有：
①
(F(a) ùF(b)) ùF(c)) ù (G(a) úG(b) úG(c))；
②
(F(a) ùF(b) ùF(c)) ú (G(a) ùG(b) ùG(c))
③
(F(a) ùF(b) ùF(c)) ? (G(a) ùG(b) ùG(c))；
④
(F(a) ùF(b) ùF(c)) ù (G(a) ùG(b) ùG(c)).
随机题目
【单选题】
The size of the window seems out ofwith the height of the wall.
①
fashion
②
consideration
③
proportion
④
production
【单选题】
The plotaround early American settlers and the Indians and a conflict between good and evil.
①
revolves
②
involves
③
evolve
④
dissolves
【单选题】
The company has consistentlythe products it offers and is likely to continue to move into new services and countries.
①
diversified
②
exemplified
③
identified
④
simplified
【单选题】
Some creatures are masters of disguise; they can easilytheir environment.
①
weaveinto
②
blend into
③
break into
④
step into
【单选题】
Fulfilling one’s true potential requires setting appropriate goals and exerting theto accomplish them.
①
self-criticism
②
self-doubt
③
self-discipline
④
self-employment
【单选题】
The comedian left behind an impressive andbody of work, making himself a cultural icon.
①
timeless
②
tasteless
③
tireless
④
thoughtless
【单选题】
Scientists are hoping for ain the search for a cure for cancer.
①
breakthrough
②
breakdown
③
breakup
④
breakout
【单选题】
Ia toast to the friendship between the peoples of the two countries.
①
compose
②
impose
③
propose
④
oppose
【单选题】
When we returned, the party wasand the dance floor was crowded.
①
in full swing
②
in full view
③
in full cry
④
in full bloom
【单选题】
Mr. Kent is one of those happy people whopleasure from helping others.
①
deceive
②
deprive
③
devise
④
derive