下载APP
刷刷题APP > 谓词
"谓词"相关考试题目
1.
谓语一定是由谓词充当的。()
2.
下面谓词公式是永真式的是
3.
设谓词 M(x):x是人,F(x):x吃饭,则( )符号化为 x( M(x)→F(x))。
4.
谓词公式($x)(($y)Q(y) Þ P(x))的前束范式是( )。
5.
下列属于三向谓词的是
6.
谓词公式∀x（P（x）∨∃yR（y））→Q（x）中变元x是（）
7.
下列属于谓词的有
8.
不是称谓词的是?
9.
谓词可分为动词和形容词。
10.
谓词的量词主要有( )
11.
谓词公式("x)(A (x) ® B(x, y)) ÙR(x) 的自由变元为R(x)中的x和B(x, y)中的y。
12.
下列谓词公式中（）的两个公式是等值的。
13.
在SQL语句中，谓词“EXISTS”的含义是（）
14.
谓词公式 ( ∀ x)(P (x) ∨ ( ∃ y) R (y) → Q(x))中变元x是
15.
谓词公式($x)F(x) Þ ($x)G(x)的前束范式是( )。
16.
以下哪一个是谓词性短语后面的成分?
17.
下面属于谓词性短语的是（）。
18.
下列短语属于谓词性短语的是（）。
19.
下列全是谓词的一组是
20.
什么是谓词的项?什么是谓词的阶?请写出谓词的一般形式。
21.
下列短语属于谓词性短语的是( )
22.
谓词公式( xP(x) xQ(x)) ( xQ(x) xP(x))类型为( )。
23.
属于谓词性短语的是
24.
下列谓词公式是等价的有()。
25.
一元谓词
26.
谓词公式 x(P(x)∨ƎyR(y))→Q(x)中量词x的作用域是( )。
27.
中心词是谓词的偏正词组都是谓词性的短语吗?
28.
下列都属于谓词性短语的一组是
29.
设B是不含变元x的公式,谓词公式B→xA(x)等价于( )。
30.
把下列谓词公式分别化为相应的子句集： (1)( ?z)( ?y)(P(z，y)∧Q(z，y)) (2)( ?x)( ?y)(P(x，y)→Q(x，y)) (3)( ?x)( ?y)(P(x，y)∨(Q(x，y)→R(x，y))) (4)( ?x)( ?y)( ?z)(P(x，y)∨Q(x，y)∨R(x，z)) (5)( ?x)( ?y)( ?z)( ?u)( ?v)( ?w)(p(x，y，z，u，...
31.
谓词性词组
32.
下列短语中，动词带谓词性宾语的是（）。
33.
下列各项不属于谓词是（）。
34.
下面的谓词公式是有效式的是( )。
35.
是谓词公式。
36.
在一阶谓词公式中,同一变元符号不能够既约束出现又自由出现 。
37.
证明下列各式。其中：B是不含变元x的谓词公式（∀x）（A（x）↔B（x））=>（∀x）A（x）↔（∀x）B（x）
38.
当个体域为 D= { a 1 , a 2 , ...,a n } 时, 对于任意的谓词 A(x) ,都有 ∀ xA ( x ) Û A ( a 1 ) ∨ A ( a 2 ) ∨ ... ∨ A ( a n ) 。
39.
在谓词公式( x)(P(x,y)→Q(x,z))∨( x)R(x,z)中y是自由变元
40.
谓词公式∀xP(x) ∧ ∃y(¬P( y))是矛盾式。
41.
设个体域{1,2}，谓词P(1)=1，P(2)=0，Q(1)=0,Q(2)=1，则的真值是1。
42.
所有谓词公式都可判定其类别。
43.
所谓词的（），就是词的本来意义。
44.
谓词公式( x)F(x,y)→( y)G(x,y)中变元x是( )
45.
能够带谓词性宾语的动词是（）。
46.
中心词是谓词的偏正词组都是谓词性的短语吗？
47.
一元谓词
48.
下列短语中属于谓词性短语的是( )。
49.
谓词公式∀xP(x)→∀xQ(x) ∨ ∃yR( y)的前束范式为
50.
主谓词组
