一、选择题:
(每?/p>
2
?/p>
?/p>
1
、下列语句中不是命题的有?/p>
?/p>
?/p>
A
.离散数学是计算机专业的一门必修课?/p>
B
.鸡有三只脚?/p>
C
.太阳系以外的星球上有生?/p>
?/p>
D
.你打算考硕士研究生?/p>
?
2
、命题公?/p>
A
?/p>
B
是等价的,是指(
?/p>
?/p>
A
?/p>
A
?/p>
B
有相同的原子变元
B
?/p>
A
?/p>
B
都是可满足的
C
?/p>
?/p>
A
的真值为真时?/p>
B
的真值也为真
D
?/p>
A
?/p>
B
有相同的真?/p>
3
、所有使命题公式
P
?/p>
(Q
?/p>
¬
R)
为真的赋值为?/p>
?/p>
?/p>
A
?/p>
010
?/p>
100
?/p>
101
?/p>
110
?/p>
111
B
?/p>
010
?/p>
100
?/p>
101
?/p>
111
C
?/p>
全体赋?/p>
D
?/p>
不存?/p>
4
、合式公?/p>
?/p>
(P
?/p>
Q)
?/p>
R
的主析取范式中含极小项的个数为(
?/p>
?/p>
A
?/p>
2
B
?/p>
3
C
?/p>
5
D
?/p>
0
5
、一个公式在等价意义下,下面哪个写法是唯一的(
?/p>
?/p>
A
.析取范?/p>
B
.合取范?/p>
C
.主析取范式
D
.以上答案都不对
6
、下述公式中是重言式的有(
?/p>
?/p>
A
?/p>
(P
?/p>
Q)
?/p>
(P
?/p>
Q)
B
?/p>
(P
?/p>
Q)
?/p>
(( P
?/p>
Q)
?/p>
(Q
?/p>
P))
C
?/p>
?/p>
(P
?/p>
Q)
?/p>
Q
D
?/p>
P
?/p>
(P
?/p>
Q)
7
、命题公?/p>
(
?/p>
P
?/p>
Q)
?/p>
(
?/p>
Q
?/p>
P)
中极小项的个数为?/p>
?/p>
,成真赋值的个数为(
?/p>
?/p>
A
?/p>
0
B
?/p>
1
C
?/p>
2
D
?/p>
3
8
、若公式
(P
?/p>
Q)
?/p>
(
?/p>
P
?/p>
R)
的主析取范式?/p>
m
001
?/p>
m
011
?/p>
m
110
?/p>
m
111
则它的主合取范式为(
?/p>
?/p>
A
?/p>
m
001
?/p>
m
011
?/p>
m
110
?/p>
m
111
B
?/p>
M
000
?/p>
M
010
?/p>
M
100
?/p>
M
101
C
?/p>
M
001
?/p>
M
011
?/p>
M
110
?/p>
M
111
D
?/p>
m
000
?/p>
m
010
?/p>
m
100
?/p>
m
101
9
、下列公式中正确的等价式是(
?/p>
?/p>
A
?/p>
?/p>
(
?/p>
x)A(x)
?/p>
(
?/p>
x)
?/p>
A(x)
B
?/p>
(
?/p>
x) (
?/p>
y)A(x, y)
?/p>
(
?/p>
y) (
?/p>
x) A(x, y)
C
?/p>
?/p>
(
?/p>
x)A(x)
?/p>
(
?/p>
x)
?/p>
A(x)
D
?/p>
(
?/p>
x) (A(x)
?/p>
B(x))
?/p>
(
?/p>
x) A(x)
?/p>
(
?/p>
x) B(x)
10
、下列等价关系正确的是(
?/p>
?/p>
A
?/p>
?/p>
x ( P(x)
?/p>
Q(x) )
?/p>
?/p>
x P(x)
?/p>
?/p>
x Q(x)
B
?/p>
?/p>
x ( P(x)
?/p>
Q(x) )
?/p>
?/p>
x P(x)
?/p>
?/p>
x Q(x)
C
?/p>
?/p>
x ( P(x)
?/p>
Q )
?/p>
?/p>
x P(x)
?/p>
Q
D
?/p>
?/p>
x ( P(x)
?/p>
Q )
?/p>
?/p>
x P(x)
?/p>
Q
11
、设个体域为整数集,下列真值为真的公式是(
?/p>
?/p>
A
?/p>
?/p>
x
?/p>
y
?/p>
x·
y=1
?/p>
B
?/p>
?/p>
x
?/p>
y
?/p>
x·
y=0
?/p>
C
?/p>
?/p>
x
?/p>
y
?/p>
x·
y=y
?/p>
D
?/p>
?/p>
x
?/p>
y
?/p>
x+y=2y
?/p>
12
、设
S={
?/p>
,{1},{1,2}}
,则有(
?/p>
?/p>
S
?/p>
A
?/p>
{{1,2}}
B
?/p>
{1,2 }
C
?/p>
{1}
D
?/p>
{2}
13
、下列是真命题的有(
?/p>
?/p>
A
?/p>
{a}
?/p>
{{a}}
B
?/p>
{{
?/p>
}}
?/p>
{
?/p>
,{
?/p>
}}
C
?/p>
{
?/p>
,{
?/p>
}}
D
?/p>
{
?/p>
}
?/p>
{
?/p>
,{
?/p>
}}
14
、设
S={
?/p>
,{1},{1,2}}
,则
2
S
有(
)个元素?/p>
A
?/p>
3
B
?/p>
6
C
?/p>
7
D
?/p>
8