离散数学作业6
数理逻辑部分概念及性质
单项选择题
1.设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为( ).
A.P
∨
P⌝
⌝Q→B.Q
P↔D.Q
P→C.Q
答 B
2.设命题公式G:)
⌝,则使公式G取真值为1的P,Q,R赋值
→
P∧
(R
Q
分别是( ).
A.0, 0, 0 B.0, 0, 1 C.0, 1, 0 D.1, 0, 0 答 D
3.命题公式(P∨Q)→R的析取范式是( ).
A.⌝(P∨Q)∨R B.(P∧Q)∨R
C.(P∨Q)∨R D.(⌝P∧⌝Q)∨R
答 D
4.命题公式(P∨Q)的合取范式是( ).
A.(P∧Q)B.(P∧Q)∨(P∨Q)
C.(P∨Q)D.⌝(⌝P∧⌝Q)
答 C
5.命题公式)
⌝的析取范式是( ).
P→
(Q
A.Q
⌝D.Q
∨
P∨
P⌝
⌝C.Q
∧B Q
P⌝
P∧
解()()
⌝→⇔⌝⌝∨
P Q P Q
⇔∧⌝
P Q
答 A
6.下列等价公式成立的为( ).
A.⌝P∧⌝Q⇔P∨Q B.P→(⌝Q→P) ⇔⌝P→(P→Q)
C.Q→(P∨Q) ⇔⌝Q∧(P∨Q) D.⌝P∨(P∧Q) ⇔Q
解A.⌝P∧⌝Q⇔⌝(P∨Q)
B.P→(⌝Q→P)⇔⌝P∨(Q∨P)⇔ P∨(⌝P∨Q)⇔⌝P→(P→Q)
C.Q→(P∨Q)⇔⌝Q∨(P∨Q)
D.⌝P∨(P∧Q)⇔(⌝P∨P)∧(⌝P∨Q)⇔1∧(⌝P∨Q)⇔⌝P∨Q
答 B
7.下列公式成立的为( ).
A .⌝P ∧⌝Q ⇔P ∨Q
B .P →⌝Q ⇔⌝P →Q
C .Q →P ⇒ P
D .⌝P ∧(P ∨Q )⇒Q
解 A .⌝P ∧⌝Q ⇔⌝(P ∨Q )
B .P →⌝Q ⇔⌝P ∨⌝Q
C .(Q →P )→P ⇔⌝(⌝Q ∨P )∨P ⇔(Q ∧⌝P )∨P ⇔(Q ∨P )∧(⌝P ∨P )
⇔(Q ∨P )∧1⇔P ∨Q (不是永真式)
D .⌝P ∧(P ∨Q )⇒Q (析取三段论,P171公式(10))
答 D
8.下列公式中 ( )为永真式.
A .⌝A ∧⌝
B ↔ ⌝A ∨⌝B B .⌝A ∧⌝B ↔ ⌝(A ∨B )
C .⌝A ∧⌝B ↔ A ∨B
D .⌝A ∧⌝B ↔ ⌝(A ∧B )
解 A .A B A B ⌝∧⌝⇔⌝∨⌝/,1A B A B ⌝∧⌝↔⌝∨⌝⇔/
B .()A B A B ⌝∧⌝⇔⌝∨,()1A B A B ⌝∧⌝↔⌝∨⇔
C .A B A B ⌝∧⌝⇔∨/,1A B A B ⌝∧⌝↔∨⇔/
D .()A B A B ⌝∧⌝⇔⌝∧/,()1A B A B ⌝∧⌝↔⌝∧⇔/
答 B
9.下列公式 ( )为重言式.
A .⌝P ∧⌝Q ↔P ∨Q
B .(Q →(P ∨Q ))↔(⌝Q ∧(P ∨Q ))
C .(P →(⌝Q →P ))↔(⌝P →(P →Q ))
D .(⌝P ∨(P ∧Q )) ↔Q
解 A .P Q P Q ⌝∧⌝⇔∨/,1P Q P Q ⌝∧⌝↔∨⇔/
B .(())1Q P Q Q P Q →∨⇔⌝∨∨⇔
(())()()()1Q P Q Q P Q Q P Q ⌝∧∨⇔⌝∧∨⌝∧⇔∧⌝⇔/
(())(())1Q P Q Q P Q →∨↔⌝∧∨⇔/
C .()()()()P Q P P Q P P P Q P P Q →⌝→⇔⌝∨∨⇔∨⌝∨⇔⌝→→
(P →(⌝Q →P ))↔(⌝P →(P →Q ))⇔1
D .()()()P P Q P P P Q P Q Q ⌝∨∧⇔⌝∨∧⌝∨⇔⌝∨⇔/
(())1P P Q Q ⌝∨∧↔⇔/
答 C
10.设A (x ):x 是人,B (x ):x 是学生,则命题“不是所有人都是学生”可符号化为( ).
A.(∀x)(A(x)∧B(x)) B.⌝(∃x)(A(x)∧B(x))
C.⌝(∀x)(A(x)→B(x)) D.⌝(∃x)(A(x)∧⌝B(x))
答C
11.设A(x):x是人,B(x):x是工人,则命题“有人是工人”可符号化为().
A.(∃x)(A(x)∧B(x)) B.(∀x)(A(x)∧B(x))
C.⌝(∀x)(A(x)→B(x)) D.⌝(∃x)(A(x)∧⌝B(x))
答A
12.设C(x):x是国家级运动员,G(x):x是健壮的,则命题“没有一个国家级运动员不是健壮的”可符号化为( ).
A.))
(x
(
)
(
C
⌝∀
→
x⌝
x
G
(x
(
)
(
G
x
∧
x⌝
C
⌝∀B.)) C.))
G
(x
(
)
x
(
∧
x⌝
C
⌝∃
G
(
)
(
(x
x
→
x⌝
C
⌝∃D.))答 D
13.表达式))
∀的辖域是( ).
y
x
Q
z
y
P
→
∀中x
∨
∃
R
x∀
∧
(
x
(
,
(
)
(
))
)
y
(z
zQ
,
(
A.P(x, y) B.P(x, y)∨Q(z) C.R(x, y) D.P(x, y)∧R(x, y) 答 B
14.在谓词公式(∀x)(A(x)→B(x)∨C(x,y))中,().
A.x,y都是约束变元B.x,y都是自由变元
C.x是约束变元,y是自由变元D.x是自由变元,y是约束变元答C
15.设个体域D={a, b, c},那么谓词公式)
xA∀
∃消去量词后的等值
x
∨
(
yB
)
(y
式为.
A.(A(a)∨A(b)∨A(c))∨(B(a)∧B(b)∧B(c))
B.(A(a)∧A(b)∧A(c))∨(B(a)∨B(b)∨B(c))
C.(A(a)∨A(b)∨A(c))∨(B(a)∨B(b)∨B(c))
D.(A(a)∧A(b)∧A(c))∨(B(a)∧B(b)∧B(c))
答 A
答案:
1.B 2.D 3.D 4.C 5.A 6.B 7.D 8.B 9.C 10.C
11.A 12.D 13.B 14.C 15.A
活动说明:本次作业主要是通过单项选择题的形式,使大家了解自己对第三单元数理逻辑的基本概念、基本公式、基本计算方法掌握的情况,更好地掌握这一部分的重点内容.
本次作业由10个单项选择题组成,每小题10分,满分100分.请大家按照题目的要求选择正确答案,正确答案是唯一的.
本次作业在关闭之前,允许大家反复多次练习,系统将保留您的最好成绩,希望大家多做练习,争取好成绩.需要提醒大家的是每次练习的作业题目可能不一样,请大家一定要认真阅读题目.
活动要求:每位同学在完成本次作业前,应该积极利用课程平台中的相关资源开展学习,或参加教学点的面授辅导课.希望大家:
1.理解了命题概念,会判别语句是不是命题;理解了五个联结词及其真值表,了解公式的概念,会将简单命题符号化;理解了永真式和永假式概念,掌握其判别方法;了解公式等价概念,知道联结词→、↔与关系符⇒、⇔之间的区别;理解了析取范式、合取范式、主析取范式和主合取范式的概念.
2.理解了谓词、量词、个体词、个体域等概念,会将简单命题符号化;了解了原子公式、谓词公式、约束变元、自由变元和辖域等概念;理解了等价式与蕴含式的概念,知道了前束范式的概念。
活动形式:在线测试.
活动时间:。