2024年3月29日发(作者：丰田兰德酷路泽2700价格)
单
第一章 命题逻辑
项选择题
1．下列语句，哪一个是真命题：（ B ）
A．我正在说谎 B．如果1+1=0，那么雪是黑的
C．9+5＞18 D．存在最大的质数
2．下面哪一个命题是假命题（ A ）
A．如果2是偶数，那么一个公式的析取范式唯一
B．如果2是偶数，那么一个公式的析取范式不唯一
C．如果2是奇数，那么一个公式的析取范式唯一
D．如果2是奇数，那么一个公式的析取范式不唯一
3．下面哪个联结词运算不可交换（ B ）
A． ?； B．? C．? D．?
4．设P：天下大雨，Q：他乘公共汽车上班。命题“只有天下大雨，他才乘公共汽车上班”
符号化为（ B ）
A．P?Q B．Q?P C．P?Q D． ?P?Q
5．设P：天下钉子，Q：我去B城 。命题“除非天下钉子，否则我去B城”符号化为：（ C ）
A．P? Q B．Q? P C．?P? Q D．Q? ┐P
6．设P：我们划船，Q：我们跳舞，命题“我们不能既划船又跳舞”符号化为（ B ）
A．P
V
Q 2）┐（P∧Q） C．┐P∧┐Q D．┐P∧Q
7．令P：今天下雪了，Q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（ D ）
A．P?┐Q B．P∨┐Q C．P∧Q D．P∧┐Q
8．设P：我将去镇上，Q：我有时间，命题“我将去镇上，仅当我有时间”，符号化为（ A ）。
A．P? Q B、Q? P C、P?Q D、┐P∨┐Q
9．下面哪一个命题公式是重言式（ D ）
A．（P∨R）∧（P? Q） B．P?（Q∨R）
C．（P∨Q）?（Q∨R） D．（P?（Q? R））?（P? Q）?（P?R）
10．下面哪一组命题公式不是等价的（ C ）
A．（P?Q）
?
（Q?P），P?Q B． ?（P?Q），（P∧┐Q）∨（┐P∧Q）
C．P?（Q∨R），┐P∧（Q∨R） D． P?（Q∨R），（P∧┐Q）? R
11．下面哪个命题公式是重言式（ B ）
A．（P? Q）
?
（Q?P） B．（P?Q）?P
C．（┐P∨Q）∧┐（┐P∧Q）
D．（P?Q）?P
12．下列公式哪一个是两个命题变元P，Q的小项（ C ）
A．P∧┐P∧Q B．┐P∨Q C．┐P∧Q D．┐P∨P∨Q
13．一个公式在等价意义下，下面哪个写法是唯一的。（ C ）
A．析取范式 B．合取范式 C．主析取范式 D．以上答案都不对
14．命题公式?(P?Q)的主析取范式编码为 ( D )
A．
m
00
?m
01
?m
11
B．
m
00
∨
m
11
C．
m
01
D．
m
10
15.命题公式(P?Q)的主合取范为 ( a )
A．
M
01
?M
10
B.
M
00
?M
11
C.
M
00
?M
01
D.
M
10
?M
11
16.命题公式的任意两个不同极小项的合取式一定为( b )
A.永真式 B.永假式 C.可满足式 D.不可确定
17．
下面联结词集中，哪一个不是联结词的极小全功能集（ d ）
A．{?，?} B．{↓} C．{?} D．{?，?，?}
第二章 一阶逻辑
1．设S(x): x是三好学生, a:张三, b: 李四, 命题“张三是三好学生而李四不是”符号化
为（ ） D
A．S（a）， ?S（b） B．S（a）∨?S（b）
C．S（a）∨?S（b） D．S（a）∧?S（b）
2.令F(x):x是有理数，G(x):x是实数。将命题“所有的有理数都是实数，但有的有实数不
是有理数”符号化为 （ ） B
A.?x(F(x)∧G(x))∧?x(G(x)??F(x))
B.?x(F(x)?G(x))∧?x(G(x)∧?F(x))
C.?x(F(x)∧G(x))∧?x(G(x)∧?F(x))
D.?x(F(x)?G(x))∧?x(G(x)??F(x))
3．设F(x)：x是火车，G(x)：x是汽车，H(x,y)：x比y快。“每列火车都比某些汽车快”
符号化为（ ） C
A．
(?x)(?y)(F(x)?G(y)?H(x,y))
； B．
(?x)(?y)(F(x)?G(y)?H(x,y))
；
C．
(?x)(F(x)?(?y)(G(y)?H(x,y)))
； D．
(?x)F(x)?H(x,y)
4．设
C(x)
：
x
是国家选手，
G(x)
：
x
是健壮的。命题“没有一个国家选手不是健壮的”可
符号化为（ ） C
A．
?(?x)(C(x)??G(x))
； B．
?(?x)(C(x)??G(x))
；
C．
?(?x)(C(x)??G(x))
； D．
?(?x)(C(x)??G(x))
；
5．设个体域A={a、b}，公式
(?x)P(x)??xS(x)
在A上消去量词应为（ ） D
A．P(x)∧S(x) B．P(a)∧P(b)∧S(a)∨S(b)
C．P(a)∧S(b) D．P(a)∧P(b)∧(S(a)∨S(b))
6．一阶公式??x(P(x)∨??yR(y))→Q(x)中量词??x的辖域是 ( ) A
A. (P(x)∨??yR(y)) B. P(x)
C. ?x(P(x)∨??yR(y)) D. (P(x)∨??yR(y))→Q(x)
7、设论域为整数集，下列公式中哪个值为真（ ） A
A．
?x?y(x?y?0)
B.
?y?x(x?y?0)
C.
?x?y(x?y?0)
D．
??x?y(x?y?0)
8．下面给出的一阶逻辑等价式中，哪一个是错的。（ ） B
A．A??xB（x）??x（A?B（x））
更多推荐
命题,公式,联结词,等价
发布评论