1
单项选择?/p>
第一章第二章
1.
下列表达式正确的?/p>
( )
A.
Q
Q
P
?/p>
?/p>
?/p>
)
(
B.
P
Q
P
?/p>
?/p>
C
.
P
Q
P
Q
P
?/p>
?/p>
?/p>
?/p>
?/p>
)
(
)
(
D.
T
Q
P
P
?/p>
?/p>
?/p>
)
(
2.
下列推理步骤错在
( )
?/p>
))
(
)
(
(
x
G
x
F
x
?/p>
?/p>
P
?/p>
)
(
)
(
y
G
y
F
?/p>
US?/p>
?/p>
)
(
x
xF
?/p>
P
?/p>
)
(
y
F
ES?/p>
?/p>
)
(
y
G
T②④I
?/p>
)
(
x
xG
?/p>
EG?/p>
A.?/p>
B.?/p>
C.?/p>
D.?/p>
3.
?/p>
P
?×2=5?/p>
Q
:雪是黑的,
R
?×4=8?/p>
S
:太阳从东方升起,下?/p>
( )
命题的真值为真?/p>
A.
R
Q
P
?/p>
?/p>
B.
S
P
R
?/p>
?/p>
C.
R
Q
S
?/p>
?/p>
D.
)
(
)
(
S
Q
R
P
?/p>
?/p>
?/p>
4.
下列公式中哪些是永真式?
( )
A.(┐P
?/p>
Q
)?Q?/p>
?/p>
R)
B.P?Q→Q)
C.(P
?/p>
Q)→P
D.P?P
?/p>
Q)
5.
下列等价关系正确的是
( )
A.
)
(
)
(
))
(
)
(
(
x
xQ
x
xP
x
Q
x
P
x
?/p>
?/p>
?/p>
?/p>
?/p>
?/p>
B
.
)
(
)
(
))
(
)
(
(
x
xQ
x
xP
x
Q
x
P
x
?/p>
?/p>
?/p>
?/p>
?/p>
?/p>
C.
Q
x
xP
Q
x
P
x
?/p>
?/p>
?/p>
?/p>
?/p>
)
(
)
)
(
(
D.
Q
x
xP
Q
x
P
x
?/p>
?/p>
?/p>
?/p>
?/p>
)
(
)
)
(
(
6.
下列推导错在
( )
?/p>
)
(
y
x
y
x
?/p>
?/p>
?/p>
P
?/p>
)
(
y
z
y
?/p>
?/p>
US?/p>
?/p>
z
z
?/p>
ES?/p>
?/p>
)
(
x
x
x
?/p>
?/p>
UG?/p>
A.?/p>
B. ?/p>
C
. ?/p>
D.
?/p>
7.
若公?/p>
)
(
)
(
R
P
Q
P
?/p>
?/p>
?/p>
?/p>
的主析取范式?/p>
111
110
011
001
m
m
m
m
?/p>
?/p>
?/p>
则它的主合取范式?/p>
( )
A.
111
110
011
001
m
m
m
m
?/p>
?/p>
?/p>
B.
101
100
010
000
M
M
M
M
?/p>
?/p>
?/p>
?/p>
C.
111
110
011
001
M
M
M
M
?/p>
?/p>
?/p>
D.
101
100
010
000
m
m
m
m
?/p>
?/p>
?/p>
?/p>
8.
在下述公式中不是重言式为
( )
A
?/p>
)
(
)
(
Q
P
Q
P
?/p>
?/p>
?/p>
B
?/p>
))
(
)
((
)
(
P
Q
Q
P
Q
P
?/p>
?/p>
?/p>
?/p>
?/p>
C
?/p>
Q
Q
P
?/p>
?/p>
?/p>
)
(
D
?/p>
)
(
Q
P
P
?/p>
?/p>
9.
下列各式中哪个不成立
( )
A.
)
(
)
(
))
(
)
(
(
x
xQ
x
xP
x
Q
x
P
x
?/p>
?/p>
?/p>
?/p>
?/p>
?/p>
B.
)
(
)
(
))
(
)
(
(
x
xQ
x
xP
x
Q
x
P
x
?/p>
?/p>
?/p>
?/p>
?/p>
?/p>