-
一、
选择题
1
.下列四个公式正确的是
①
?
x
(
A
(
x
)
< br>?
B
(
x
))
?
?
xA
(
x
)
?
?
xB
(
x
)<
/p>
②
?
x<
/p>
(
A
(
x
)
?
B
(
x
))
?
?
xA
(
x
)
?
?
xB
(
< br>x
)
③
?
x
(
A
(
x
)
?
B
p>
(
x
))
?
?
xA
(
x
)
?
?
xB
(
x
)
④
?
xA
(
x
)
?
?
xB
(
x
)
< br>?
?
x
(
A
(
x
)
?
B
(
x
))<
/p>
A.
①③
B.
①④
C.
③④
D.
②④
2.
谓词公式
?
x
(
< br>P
(
x
)
?
?
yR
(
y
))
?
Q
(
x
)
中量词
?
x
的辖域是
(
)
(A)
?
x
(
P
(
x
)
?
?
yR<
/p>
(
y
))
(B)
P
(
x
)
(C)
P
(
x
)
?<
/p>
?
yR
(
y
p>
)
(D)
Q
(
x
)
3.
谓词公式
?
xP
(
x
)
?
(
?
x
?
Q
(<
/p>
x
)
?
??
p>
xQ
(
x
))
p>
的类型是(
)
(A)
永真式
(B)
矛盾式
(C)
非永真式的可满足式
(D)
蕴涵式
4.
设个体域为整数集,下列公式中其真值为
1
的是
(
)
(A)
?
x
?
y
(
x<
/p>
?
y
?
0
)
(B)
?
y
?
x
(
x<
/p>
?
y
?
0
)
(C)
?
x
?
y
(
p>
x
?
y
?
0
)
(D)
??
x
?
y<
/p>
(
x
?
y
?
0
)
5.
设个体域
A
?
{
a
,
b
}
,公式
?
xP
(
x
)
?
?
xS
(
x<
/p>
)
在中消去量词后应为
(
)
(A)
P
(
x
)
?
S
(
x
)
p>
(B)
P
(
a
)
?
P<
/p>
(
b
)
?
(
S
(
a
)
?
S
(
b
))
(C)
P
(
a
)
?
S
(<
/p>
b
)
(D)
P
(
a
)
p>
?
P
(
b
)
?
S
(
a
)
?
S
< br>(
b
)
6.
在谓词演算中,下列各式正确的是
(
)
(A)
?
x
?
yA
(
x
,
y
)
?
?
p>
y
?
xA
(
x
,
y
)
(B)
?
x
?
yA
(
x
,
y
)
?
?
p>
y
?
xA
(
x
,
y
)
(C)
?
x
?
yA
(
x
,
y
)
?
p>
?
x
?
yA
(
x
,
y
)
(D)
?
x
?
yA
(
x
,
y
)
?
p>
?
y
?
xA
(
x
,
y
)
7.
下列各式不正确的是
(
)
(A)
?
x
(
P
(
x
)<
/p>
?
Q
(
x
))
?
?
xP
(
x
)
?
?
xQ
(
x
)
(B)
?
x
(
P
(<
/p>
x
)
?
Q
(
x
))
?
?
xP
(
x
)
??
xQ
(
x
)
(C)
?
x
(
P
(
x
)
?
< br>Q
(
x
))
?
?
xP
(
x
)
?
?
x
Q
(
x
)
(D)
?
x
(
P
(
x
)<
/p>
?
Q
)
?
?
xP
(
x
)
?
Q
8.
设
I
是如下一个解释:
D
=
{a,b},
P
(
a
,
a
)
P(a,
b)
P(b,
a)
P(b,
b)
1
0
1
0
则在解释
I
下取真值为
1
的公式是
(
).
(A)
?
x
?
yP(x,y)
(B)
?
x
?
yP(x,y)
(C)
?
xP(x,x)
(D)
?
x
?
yP(x,y).
9.
设
个体
变元
x
,
y
,
z
的论
域都
为自
然数集
合,
P
(
x
,
y
,
z
)
:
x
?
< br>y
?
z
,
Q
(
x
,
y
,
z
)
p>
:
x
?
y
?
z
,
R
(
x
,
y
< br>)
:
x
?
y
,则以下命题中(
)是
假
命题
.
A
.
?
xP<
/p>
(
x
,
0
,
x
)
B
.
?
p>
x
?
yP
(
x
,
y
,
y
)
C
.
?
x
?
yQ
(
y
,
x
,
x
)
D
p>
.
?
xR
(
x
,
0
)
10.
下面不是命题的是(
)
p>
A
.
?
xP
(
x
)
B
p>
.
(
?
x
)
P
(
x
)
C
.
< br>(
?
x
)
P
(
x
)
?
P
(
y
)
p>
p>
D
.
(
?
x
)(
?
y
)(
P
(
x
)
?
R
(
< br>y
))
11
< br>公式
(
?
x
)
P
(
x
)
?
(
?
x<
/p>
)
Q
(
x
)
的前束范式为(
)
A
.
p>
(
?
x
)(
?
y
)(
P
(
x
)
?
Q
(
y
))
p>
B
.
(
?
x
)(
?
y
)(
P
(
x
)
?
Q
(
< br>y
))
C
.
(
?
x
)(
?
y
)(
P
(
x
)
?<
/p>
Q
(
y
))
p>
p>
D
.
(
?
x
)(
?
y
)(
P
(
x
)
?
Q
(
< br>y
))
12.
公式
(
?
x
)(
P
(
x
< br>)
?
Q
)
?
(
)
p>
A
.
((
?
x
)
P
(
x
)
?
Q
)
?
(
Q
?
(
?
x
)
P
(
x
))
p>
B
.
((
?
x
)
P
(
x
)
?
Q
)
?
(
Q
?
(
?
x
)
P
(
x
))
C
((
?<
/p>
x
)
P
(
x
)
?
Q
)
?
(
Q
?
(
?
x
)
P
(
x
))
D
p>
.
((
?
x
)
P
(
x
)
?
Q
)
?
(
Q
?
(
?
x
)
P
(
x
))
13.
(
?
x
)(
?
y<
/p>
)
P
(
x
,
y
)
的否定是(<
/p>
)
A
p>
.
(
?
x
)(
?
y
)
?
P
(
x
,
y
)
B
.
p>
(
?
x
)(
?
y
)
?
P
(
x
,
y
)
C
.
(
?
x
)(
?
y
)
?
P
(
x
,
p>
y
)
D
.
p>
(
?
x
)(
?
y
)
?
P
(
x
,
y
)
14.
下列谓词公式与
(
?
x
)(
A
(
x
)
?
B
(
x
))
等价的是(
)
p>
A
.
(
?
x
)
A
(
x
)
?
(
< br>?
x
)
B
(
x
)
B
.
(
p>
?
x
)
A
(
x
)
?
(
?
x
)
< br>B
(
x
)
C
.
(
?
x
)
A
(
p>
x
)
?
(
?
x
)
B
(
x
)
D
p>
.
(
?
x
)
A
(
x
)
?
(
?
< br>x
)
B
(
x
)
-
-
-
-
-
-
-
-
-
上一篇:仪迪MN429XA安规综合测试仪说明书
下一篇:网络环境下英语自主学习的调查研究