离散数学题库
离散数学试题及答案
离散数学试题及答案一、选择题1. 设A、B、C为三个集合，下列哪个式子是成立的？A) \(A \cup (B \cap C) = (A \cup B) \cap (A \cup C)\)B) \(A \cap (B \cup C) = (A \cap B) \cup (A \cap C)\)C) \(A \cup (B \cup C) = (A \cup B) \cup (A \cup C)\)答案：B2. 对于一个有n个元素的集合S，S的幂集中包含多少个元素？A) \(n\)B) \(2^n\)C) \(2 \times n\)答案：B二、判断题1. 对于两个关系R和S，若S是自反的，则R ∩ S也是自反的。
答案：错误2. 若一个关系R是反对称的，则R一定是反自反的。
答案：正确三、填空题1. 有一个集合A，其中包含元素1、2、3、4和5，求集合A的幂集的大小。
答案：322. 设a和b是实数，若a \(\neq\) b，则a和b之间的关系是\(\__\_\)关系。
答案：不等四、解答题1. 证明：如果关系R是自反且传递的，则R一定是反自反的。
解答：假设关系R是自反的且传递的，即对于集合A中的任意元素x，都有(x, x) ∈ R，并且当(x, y) ∈ R和(y, z) ∈ R时，(x, z) ∈ R。
反证法：假设R不是反自反的，即存在一个元素a∈A，使得(a, a) ∉ R。
由于R是自反的，所以(a, a) ∈ R，与假设矛盾。
因此，R一定是反自反的。
答案完整证明了该结论。
2. 已知集合A={1, 2, 3}，集合B={2, 3, 4}，求集合A和B的笛卡尔积。
解答：集合A和B的笛卡尔积定义为{(a, b) | a∈A，b∈B}。
所以，集合A和B的笛卡尔积为{(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。
离散数学期末考试题及答案
离散数学期末考试题及答案1.选择题（每题3分，共30分）1. 下列命题中，属于复合命题的是：A. 3是一个奇数，且2是一个偶数B. 如果2是一个素数，那么4也是一个素数C. 不是所有奇数都是素数D. 存在一个整数x，使得x>5且x是一个偶数答案：D2. 已知命题p：草地是绿的，命题q：天空是蓝的。
下列表述可以表示p ∧ ¬q 的是：A. 草地是绿的，天空是蓝的B. 草地不是绿的，天空是蓝的C. 草地是绿的，天空不是蓝的D. 草地不是绿的，天空不是蓝的答案：B3. 设命题p表示“这个数是偶数”，q表示“这个数大于10”。
那么“这个数既是偶数又大于10”可以表示为：A. p ∧ qB. p ∨ qC. ¬p ∧ qD. ¬p ∨ q答案：A4. 下列以下列集合的方式描述，其中哪个是空集∅：A. {x | 0 ≤ x ≤ 1}B. {x | x是一个自然数，x > 10}C. {x | x是一个正偶数，x < 2}D. {x | x是一个负整数，x < -1}答案：C5. 设A = {a, b, c}，B = {c, d, e}，C = {a, c, e}。
则(A ∪ B) ∩ C等于：A. {a, b, c, d, e}B. {a, c, e}C. {c}D. 空集∅答案：B6. 假设U是全集，A、B、C是U的子集。
则(A ∪ B) ∩ C 的补集是：A. A ∩ B ∩ C的补集B. (A ∪ B) ∩ C的补集C. A ∪ (B ∩ C)的补集D. (A ∩ C) ∩ (B ∩ C)的补集答案：D7. 若关系R为集合A到集合B的一种映射，且|A| = 7，|B| = 4，则R包含的有序对数目为：A. 4B. 7C. 11D. 28答案：D8. 设A={1,2,3}，B={4,5,6}，则从A到B的映射总数为：A. 3B. 9C. 6D. 18答案：C9. 设A={a,b,c,d,e}，则集合A的幂集的元素个数是：A. 2B. 5C. 10D. 32答案：D10. 若f：A→B为满射且g：B→C为单射，则(g ∘ f)：A→C为：A. 双射B. 满射C. 单射D. 非单射且非满射答案：A2.简答题（每题10分，共20分）1. 请简要解释什么是关系R的自反性、对称性和传递性。
离散数学试题与参考答案
离散数学试题与参考答案(总4页)--本页仅作为文档封面，使用时请直接删除即可----内页可以根据需求调整合适字体及大小--《离散数学》试题及答案一、选择题：本题共5小题，每小题3分，共15分，在每小题给出的四个选项中，只有一项是符合题目要求的。
1. 命题公式Q Q P →∨)(为 ( )(A) 矛盾式 (B) 可满足式 (C) 重言式 (D) 合取范式2．设P 表示“天下大雨”， Q 表示“他在室内运动”，则命题“除非天下大雨，否则他不在室内运动”符号化为（ ）。
(A)． P Q →； (B)．P Q ∧； (C)．P Q ⌝→⌝； (D)．P Q ⌝∨．3.设集合A ={{1,2,3}, {4,5}, {6,7,8}}，则下式为真的是( ) (A) 1A (B) {1,2, 3}A (C) {{4,5}}A (D) A4. 设A ＝{1,2},B ={a ,b ,c },C ={c ,d }, 则A ×(B C )= ( )(A) {<1,c >,<2,c >} (B) {<c ,1>,<2,c >} (C) {<c ,1><c ,2>,} (D) {<1,c >,<c ,2>} 5. 设G 如右图：那么G 不是( ). (A)哈密顿图； (B)完全图；(C)欧拉图； (D) 平面图.二、填空题：本大题共5小题，每小题4分，共20分。
把答案填在对应题号后的横线上。
6. 设集合A ={,{a }}，则A 的幂集P (A )=7. 设集合A ={1,2,3,4 }, B ={6,8,12}, A 到B 的关系R ＝},,2,{B y A x x y y x ∈∈=><, 那么R －1＝8. 在“同学，老乡，亲戚，朋友”四个关系中_______是等价关系. 9. 写出一个不含“→”的逻辑联结词的完备集 . 10.设X ＝{a ,b ,c }，R 是X 上的二元关系，其关系矩阵为M R ＝⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001001101，那么R 的关系图为三、证明题（共30分）11. （10分）已知A 、B 、C 是三个集合，证明A ∩(B ∪C)=(A ∩B)∪(A ∩C) 12. （10分）构造证明：(P (Q S))∧(R ∨P)∧Q R S13.（10分）证明（0,1）与[0,1)，[0,1)与[0,1]等势。
离散数学期末考试题及答案
离散数学期末考试题及答案一、选择题（每题2分，共20分）1. 在集合论中，空集表示为：A. {0}B. {1}C. {}D. Ø答案：D2. 命题逻辑中，下列哪个是合取命题的真值表？A. P | Q | P ∧ QB. P | Q | P ∨ QC. P ∧ Q | P ∨ QD. P ∧ Q | ¬(P ∨ Q)答案：A3. 函数f: A → B是单射的，那么f的逆函数：A. 一定存在B. 一定不存在C. 可能存在D. 以上都不对答案：C4. 关系R是自反的，那么对于所有a∈A，以下哪个命题一定为真？A. (a, a) ∈ RB. (a, a) ∉ RC. (a, a) ∈ R或(a, a) ∉ RD. (a, a) ∈ R且(a, a) ∉ R答案：A5. 在图论中，下列哪个不是图的基本术语？A. 顶点B. 边C. 子集D. 路径答案：C6. 命题p: “如果x是偶数，则x能被4整除”的否定是：A. 如果x是偶数，则x不能被4整除B. 如果x不是偶数，则x不能被4整除C. 如果x不是偶数，则x能被4整除D. 如果x是偶数，则x不能被4整除或x不是偶数答案：A7. 有向图G中，如果存在从顶点u到顶点v的有向路径，则称v是u 的：A. 祖先B. 后代C. 邻居D. 连接点答案：B8. 在命题逻辑中，下列哪个命题是永真命题？A. (P ∧ ¬P) ∨ (P ∨ ¬P)B. (P ∧ ¬P) ∧ (P ∨ ¬P)C. (P ∨ ¬P) ∧ (¬P ∨ P)D. (P ∧ ¬P) ∧ (¬P ∧ P)答案：C9. 以下哪个选项是等价命题？A. P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R)B. P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)C. P ∨ ¬P ≡ ¬P ∧ PD. P ∧ ¬P ≡ ¬P ∨ P答案：A10. 树是无环连通图，以下哪个是树的属性？A. 至少有一个环B. 至少有两个顶点C. 至少有一个顶点D. 至少有一个边答案：B二、填空题（每空2分，共20分）11. 集合{1, 2, 3}的幂集含有__个元素。
离散数学练习题(含答案)
离散数学练习题(含答案)题目1. 对于集合 $A={1,2,3,...,10}$ 和 $B={n|n是偶数，2<n<8}$，求 $A \cap B$ 的元素。
2. 存在三个可识别的状态A,B,C。
置换群 $S_3$ 作用在状态集上。
定义四个动作：$α: A → C, β: A → B, γ: C→ A, δ: B→ C$。
确定式子，描述 $\{α,β,γ,δ\}$ 的乘法表。
3. 证明 $\forall n \in \mathbb{N}$，合数的个数不小于$n$。
4. 给定一个无向带权图，图中每个节点编号分别是$1,2,...,n$，证明下列结论：a. 如果从节点$i$到$j$只有一条权值最小的路径，则这条路径的任意子路径都是最短路径。
b. 如果从节点$i$到$j$有两条或两条以上权值相等的路径，则从$i$到$j$的最短路径可能不唯一。
答案1. $A \cap B = \{2,4,6\}$。
2. 乘法表：3. 对于任意$n$，我们可以选择$n+1$个连续的自然数$k+1,k+2,...,k+n,k+n+1$中的$n$个数，其中$k \in \mathbb{Z}$。
这$n$个数构成的$n$个正整数均为合数，因为它们都至少有一个小于它自身的因子，所以不是质数。
所以合数的个数不小于任意$n$。
4.a. 根据题意，从$i$到$j$只有一条权值最小的路径，即这条最短路径已被确定。
如果从这条路径中任意取出一段子路径，假设这段子路径不是这个节点到$j$的最短路径，那么存在其他从$i$到$j$的路径比这段子路径更优，又因为这条路径是最短路径，所以这段子路径也一定不优于最短路径，矛盾。
所以从这条路径中任意取出的子路径都是最短路径。
b. 如果从节点$i$到$j$有多条权值相等的路径，则这些路径权值都是最短路径的权值。
因为所有最短路径的权值相等，所以这些路径的权值就是最短路径的权值。
所以从$i$到$j$的最短路径可能不唯一。
(完整版)离散数学试题及答案,推荐文档
11 设 A,B,R 是三个集合，其中 R 是实数集，A = {x | -1≤x≤1, xR}, B = {x | 0≤x < 2, xR},则
A-B = __________________________ , B-A = __________________________ ,
A∩B = __________________________ , . 13. 设集合 A＝{2, 3, 4, 5, 6}，R 是 A 上的整除，则 R 以集合形式(列举法)记为___________ _______________________________________________________. 14. 设一阶逻辑公式 G = xP(x)xQ(x)，则 G 的前束范式是__________________________
二、选择题
1. C. 2. D. 3. B. 4. B.
5. D. 6. C. 7. C.
8. A. 9. D. 10. B. 11. B.
第 5 页 共 18 页
13. {(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)}.
14. x(P(x)∨Q(x)). 15. 21.
16. (R(a)∧R(b))→(S(a)∨S(b)). 17. {(1, 3),(2, 2)}; {(1, 1),(1, 2),(1, 3)}.
8. 设命题公式 G＝(P(QR))，则使公式 G 为真的解释有
__________________________，_____________________________,
__________________________.
离散数学考试题及答案
离散数学考试题及答案一、选择题1. 关于图论的基本概念，以下哪个说法是正确的？A. 无向图中的边无方向性，有向图中的边有方向性。
B. 有向图中的边无方向性，无向图中的边有方向性。
C. 无向图和有向图都是由顶点和边组成的。
D. 无向图和有向图都只由边组成。
答案：A2. “若顶点集合为V，边集合为E，那么图G可以表示为G(V, E)”是关于图的哪个基本概念的描述？A. 图的顶点B. 图的边C. 图的邻接D. 图的表示方法答案：D3. 以下哪个命题是正确的？A. 若集合A和B互相包含，则A和B相等。
B. 若集合A和B相交为空集，则A和B相等。
C. 若集合A和B相等，则A和B互相包含。
D. 若集合A和B相等，则A和B相交为空集。
答案：C二、填空题1. 有一个集合A = {1, 2, 3, 4}，则集合A的幂集的元素个数为__________。
答案：162. 设A = {a, b, c}，B = {c, d, e}，则集合A和B的笛卡尔积为__________。
答案：{(a, c), (a, d), (a, e), (b, c), (b, d), (b, e), (c, c), (c, d), (c, e)}3. 若p为真命题，q、r为假命题，则合取范式(p ∨ q ∨ r)的值为__________。
答案：真三、计算题1. 计算集合A = {1, 2, 3, 4}和集合B = {3, 4, 5, 6}的交集、并集和差集。
答案：交集：{3, 4}并集：{1, 2, 3, 4, 5, 6}差集：{1, 2}2. 计算下列命题的真值：(~p ∨ q) ∧ (p ∨ ~q)，其中p为真命题，q为假命题。
答案：真四、证明题证明：对于任意集合A和B，如果A和B互相包含，则A和B相等。
证明过程：假设A和B互相包含，即A包含于B且B包含于A。
设x为集合A中的任意元素，则x也必然存在于集合B中，即x属于B。
同理，对于集合B中的任意元素y，y也属于集合A。
《离散数学》题库及答案
《离散数学》题库及答案一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？()(1)Q=>Q→P(2)Q=>P→Q(3)P=>P→Q(4)P(PQ)=>P答：（1），（4）2、下列公式中哪些是永真式？()(1)(┐PQ)→(Q→R)(2)P→(Q→Q)(3)(PQ)→P(4)P→(PQ)答：（2），（3），（4）3、设有下列公式，请问哪几个是永真蕴涵式()(1)P=>PQ(2)PQ=>P(3)PQ=>PQ(4)P(P→Q)=>Q(5)(P→Q)=>P(6)P(PQ)=>P答：（2），（3），（4），（5），（6）4、公式某((A(某)B(y，某))zC(y，z))D(某)中，自由变元是(变元是()。
答：某,y,某,z5、判断下列语句是不是命题。
若是，给出命题的真值。
((1)北京是中华人民共和国的首都。
(2)陕西师大是一座工厂。
)，约束)(3)你喜欢唱歌吗？(4)若7+8＞18，则三角形有4条边。
(5)前进！(6)给我一杯水吧！答：（1）是，T（2）是，F（3）不是（4）是，T（5）不是（6）不是6、命题“存在一些人是大学生”的否定是()，而命题“所有的人都是要死的”的否定是()。
答：所有人都不是大学生，有些人不会死7、设P：我生病，Q：我去学校，则下列命题可符号化为()。
(1)只有在生病时，我才不去学校(2)若我生病，则我不去学校(3)当且仅当我生病时，我才不去学校(4)若我不生病，则我一定去学校答：（1）QP（2）PQ（3）PQ（4）PQ8、设个体域为整数集，则下列公式的意义是()。
(1)某y(某+y=0)(2)y某(某+y=0)答：（1）对任一整数某存在整数y满足某+y=0（2）存在整数y对任一整数某满足某+y=09、设全体域D是正整数集合，确定下列命题的真值：(1)某y(某y=y)()(2)某y(某+y=y)()(3)某y(某+y=某)()(4)某y(y=2某)()答：（1）F（2）F（3）F（4）T10、设谓词P(某)：某是奇数，Q(某)：某是偶数，谓词公式某(P(某)Q(某))在哪个个体域中为真()2(1)自然数(2)实数(3)复数(4)(1)--(3)均成立答：（1）11、命题“2是偶数或-3是负数”的否定是（）。
离散数学练习题(含答案)
离散数学练习题(含答案)离散数学试题第一部分选择题1.下列命题变元p，q的小项是(C)。
A。
p∧┐p∧qB。
┐p∨qC。
┐p∧qD。
┐p∨p∨q2.命题“虽然今天下雪了，但是路不滑”可符号化为(D)。
A。
p→┐qB。
p∨┐qC。
p∧qD。
p∧┐q3.只有语句“1+1=10”是命题(A)。
A。
1+1=10B。
x+y=10___<0D。
x mod 3=24.下列等值式不正确的是(C)。
A。
┐(x)A(x)┐AB。
(x)(B→A(x))B→(x)A(x)C。
(x)(A(x)∧B(x))(x)A(x)∧(x)B(x)D。
(x)(y)(A(x)→B(y))(x)A(x)→(y)B(y) 5.量词x的辖域是“Q(x,z)→(x)(y)R(x,y,z)”(C)。
A。
(x)Q(x,z)→(x)(y)R(x,y,z))B。
Q(x,z)→(y)R(x,y,z)C。
Q(x,z)→(x)(y)R(x,y,z)D。
Q(x,z)6.设A={a,b,c,d}，A上的等价关系R={。
}∪IA则对应于R的A的划分是(D)。
A。
{{a},{b,c},{d}}B。
{{a,b},{c},{d}}C。
{{a},{b},{c},{d}}D。
{{a,b},{c,d}}7.设A={Ø}，B=P(P(A))，以下正确的式子是(A)。
A。
{Ø,{Ø}}∈BB。
{{Ø,Ø}}∈BC。
{{Ø},{{Ø}}}∈BD。
{Ø,{{Ø}}}∈B8.集合相对补运算中，不正确的等式是(A)。
A。
(X-Y)-Z=X-(Y∩Z)B。
(X-Y)-Z=(X-Z)-YC。
(X-Y)-Z=(X-Z)-(Y-Z)D。
(X-Y)-Z=X-(Y∪Z)9.在自然数集N上，不可结合的定义的运算是(D)。
A。
a*b=min(a,b)B。
a*b=a+bC。
a*b=GCD(a,b) (a,b的最大公约数)D。
离散数学试题及答案
离散数学考试试题（A卷及答案）一、（10分）某项工作需要派A、B、C和D 4个人中的2个人去完成，按下面3个条件，有几种派法？如何派？(1)若A去，则C和D中要去1个人；(2)B和C不能都去；(3)若C去，则D留下。
解设A：A去工作；B：B去工作；C：C去工作；D：D去工作。
则根据题意应有：A→C⊕D，⌝(B ∧C)，C→⌝D必须同时成立。
因此(A→C⊕D)∧⌝(B∧C)∧(C→⌝D)⇔(⌝A∨(C∧⌝ D)∨(⌝C∧D))∧(⌝B∨⌝C)∧(⌝C∨⌝D)⇔(⌝A∨(C∧⌝ D)∨(⌝C∧D))∧((⌝B∧⌝C)∨(⌝B∧⌝D)∨⌝C∨(⌝C∧⌝D))⇔(⌝A∧⌝B∧⌝C)∨(⌝A∧⌝B∧⌝D)∨(⌝A∧⌝C)∨(⌝A∧⌝C∧⌝D)∨(C∧⌝ D∧⌝B∧⌝C)∨(C∧⌝ D∧⌝B∧⌝D)∨(C∧⌝ D∧⌝C)∨(C∧⌝ D∧⌝C∧⌝D)∨(⌝C∧D∧⌝B∧⌝C)∨(⌝C∧D∧⌝B∧⌝D)∨(⌝C∧D∧⌝C)∨(⌝C∧D∧⌝C∧⌝D)⇔F∨F∨(⌝A∧⌝C)∨F∨F∨(C∧⌝ D∧⌝B)∨F∨F∨(⌝C∧D∧⌝B)∨F∨(⌝C∧D)∨F⇔(⌝A∧⌝C)∨(⌝B∧C∧⌝ D)∨(⌝C∧D∧⌝B)∨(⌝C∧D)⇔(⌝A∧⌝C)∨(⌝B∧C∧⌝ D)∨(⌝C∧D)⇔T故有三种派法：B∧D，A∧C，A∧D。
二、（15分）在谓词逻辑中构造下面推理的证明：某学术会议的每个成员都是专家并且是工人，有些成员是青年人，所以，有些成员是青年专家。
解：论域：所有人的集合。
S(x)：x是专家；W(x)：x是工人；Y(x)：x是青年人；则推理化形式为：∀x(S(x)∧W(x))，∃x Y(x)∃x(S(x)∧Y(x))下面给出证明：(1)∃x Y(x) P(2)Y(c) T(1)，ES(3)∀x(S(x)∧W(x)) P(4)S( c)∧W( c) T(3)，US(5)S( c) T(4)，I(6)S( c)∧Y(c) T(2)(5)，I(7)∃x S((x)∧Y(x)) T(6) ，EG三、（10分）设A、B和C是三个集合，则A⊂B⇒⌝(B⊂A)。
离散数学试题及答案解析
离散数学试题及答案解析一、选择题1. 在集合{1,2,3,4}中，含有3个元素的子集有多少个？A. 4B. 8C. 16D. 32答案：B解析：含有3个元素的子集可以通过组合数公式C(n, k) = n! / [k!(n-k)!]来计算，其中n为集合的元素个数，k为子集中的元素个数。
在本题中，n=4，k=3，所以C(4, 3) = 4! / [3!(4-3)!] = 4。
2. 下列哪个命题是真命题？A. 所有偶数都是整数。
B. 所有整数都是偶数。
C. 所有整数都是奇数。
D. 所有奇数都是整数。
答案：A解析：偶数是指能被2整除的整数，因此所有偶数都是整数，选项A是真命题。
选项B、C和D都是错误的，因为并非所有整数都是偶数或奇数。
二、填空题1. 逻辑运算符“非”（NOT）的真值表是：当输入为真时，输出为______；当输入为假时，输出为真。
答案：假解析：逻辑运算符“非”（NOT）是一元运算符，它将输入的真值取反。
如果输入为真，则输出为假；如果输入为假，则输出为真。
2. 命题逻辑中，合取词“与”（AND）的真值表是：当两个命题都为真时，输出为真；否则输出为______。
答案：假解析：合取词“与”（AND）是二元运算符，只有当两个命题都为真时，输出才为真；如果其中一个或两个命题为假，则输出为假。
三、简答题1. 解释什么是等价关系，并给出一个例子。
答案：等价关系是定义在集合上的一个二元关系，它满足自反性、对称性和传递性。
例如，考虑整数集合上的“同余”关系。
对于任意整数a，b，如果a和b除以同一个正整数n后余数相同，则称a和b模n同余。
这个关系是自反的（a同余a），对称的（如果a同余b，则b同余a），并且是传递的（如果a同余b且b同余c，则a同余c）。
2. 什么是图的连通性？一个图是连通的需要满足什么条件？答案：图的连通性是指在无向图中，任意两个顶点之间都存在一条路径。
一个图是连通的需要满足以下条件：图中的任意两个顶点v和w，都可以通过图中的边相互到达。
离散数学题集
一、填空题(共20分)1．若A-B=A, 则A B= .2．若关系R具有自反性，当且仅当在关系矩阵中，主对角线上元素；若关系只具有对称性，当且仅当关系矩阵是 .3．设 f : N→N, 且令A={0,1}, B={2}, 那么有f(A) = ； f(B) = .4．A={1,2}, 则EA={<1,1>,<1,2>,<2,1>,<2,2>}IA={<1,1>,<2,2>}5．已知图G有10条边, 4个3度顶点, 其余顶点的度数均小于等于2, 问G至少有多少个顶点 .二、单项选择题(选择一个正确答案的代号，填入括号中。
共14分)1．下面关于集合的表示中，正确的是( )．A．φ＝0 B．φ∈{φ}C．φ∈φ D．φ∈{a，b}2．设R1，R2是集合A＝{1，2，3，4}上的两个关系，其中R1＝{(1，1)，(2，2)，(2，3)，(4，4)}，R2＝{(1，1)，(2，2)，(2，3)，(3，2)，(4，4)}，则R2是R1的( )闭包．A．自反 B．反对称C．对称 D．以上都不是3．设半序集(A，≤)上关系只的哈斯图如下图所示，若A的子集B＝{2，3，4，5}，则元素6为B的( )．A．下界 B．上界C．最小上界 aa D. 最大下界4．函数f : R→R, f(x)= -x2+2x-1是( )A．单射的 B．双射的C．满射的 D．以上都不对5.非平凡的无向树至少有( )片树叶．A．1B. 2C．3D．4三、计算题(共50分)1．求下列公式的前束范式：1）∃xF(x)→∀xG(x)2）∀xF(x)∃⌝∧yG(y)2．求⌝(p→q)⌝∨r 的主析取范式与主合取范式3．设偏序集<A,≼>如下图所示，求A 的极小元、最小元、极大元、最大元. 设B＝{ b, c, d }, 求B 的下界、上界、下确界、上确界.4．设 f : R →R, g : R →R2)(323)(2+=⎩⎨⎧<-≥=x x g x x x x f求 f ∘g, g ∘f. 如果 f 和 g 存在反函数, 求出它们的反函数 四、证明题1)证明 A ⊕B=A ⋃B-A ⋂B. 2)证明下列等值式:⌝ ∃x(M(x)∧F(x)) ⇔ ∀x(M(x)→ ⌝F(x))答 案一、填空题1．φ2．全为1 对称矩阵3．f(A)=f({0,1}) = { f(0), f(1) }={ 0, 2 }f(B) = { f(2) } = { 1 }4．EA={<1,1>,<1,2>,<2,1>,<2,2>}IA={<1,1>,<2,2>}5．8二、单项选择题1．B 2．C 3．B 4．D 5．B 三、计算题1．解：1) ⇔⌝∃xF(x)∨∀xG(x)⇔∀x⌝F(x)∨∀xG(x)⇔∀x⌝F(x)∨∀yG(y)⇔∀x(⌝F(x)∨∀yG(y))⇔∀x∀y (⌝F(x) ∨G(y))2) ∀xF(x)∃⌝∧yG(y)⇔∀xF(x)∧∀y⌝G(y)⇔∀x(F(x)∧∀y⌝G(y))⇔∀x∀y(F(x)⌝∧G(y))2．解：解 (1) ⌝(p→q)⌝∨r ⇔ (p⌝∧q)⌝∨rp⌝∧q ⇔ (p⌝∧q)∧1⇔ (p⌝∧q)∧(⌝r∨r)⇔ (p⌝∧q⌝∧r)∨(p⌝∧q∧r)⇔ m4∨m5⌝r ⇔ (⌝p∨p)∧(⌝q∨q)⌝∧r⇔ (⌝p⌝∧q⌝∧r)∨(⌝p∧q⌝∧r)∨(p⌝∧q⌝∧r)∨(p∧q⌝∧r)⇔ m0∨ m2∨ m4∨ m6 得⌝(p→q)⌝∨r ⇔ m0∨ m2∨ m4 ∨m5 ∨ m6可记作⇔∑(0,2,4,5,6)(2) ⌝(p→q)⌝∨r ⇔ (p⌝∨r)∧(⌝q⌝∨r)p⌝∨r ⇔ p∨0⌝∨r⇔ p∨(q⌝∧q)⌝∨r⇔ (p∨q⌝∨r)∧(p⌝∨q⌝∨r)⇔ M1∧M3⌝q⌝∨r ⇔ (p⌝∧p)⌝∨q⌝∨r⇔ (p⌝∨q⌝∨r)∧(⌝p⌝∨q⌝∨r)⇔ M3∧M7得⌝(p→q)⌝∨r ⇔ M1∧M3∧M7可记作⇔∏(1,3,7)3．解：极小元：a, b, c, g；极大元：a , f , h ； 没有最小元与最大元.B 的下界和最大下界都不存在,上界有d 和f , 最小上界为 d .4．解：⎩⎨⎧<-≥+=⎩⎨⎧<≥+=→→121)2()(332)(RR :RR :22x x x x g f x x x x f g g f f g f : R →R 不存在反函数；g : R →R 的反函数是g -1: R →R, g -1(x)=x -2四、证明题1) 证 A ⊕B=(A ⋂~B)⋃(~A ⋂B)=(A ⋃~A)⋂(A ⋃B)⋂(~B ⋃~A)⋂(~B ⋃B) =(A ⋃B)⋂(~B ⋃~A) =(A ⋃B)⋂~(A ⋂B) =A ⋃B-A ⋂B2） 证 左边 ⇔ ∀x ⌝(M(x)∧F(x))⇔ ∀x(⌝M(x)∨⌝F(x)) ⇔ ∀x(M(x)→ ⌝F(x))离散数学试卷一．选择题1. 命题公式Q Q P →∨)(为 ( )(A) 矛盾式 (B) 可满足式 (C) 重言式 (D) 合取范式2.设集合A={{1,2,3}, {4,5}, {6,7,8}}，则下式为真的是( ) (A) 1∈A (B) {1,2, 3}⊆A (C) {{4,5}}⊂A (D) ∅∈A3．设R 1，R 2是集合A ＝{1，2，3，4}上的两个关系，其中R 1＝{(1，1)，(2，2)，(2，3)，(4，4)}，R 2＝{(1，1)，(2，2)，(2，3)，(3，2)，(4，4)}，则R 2是R 1的( )闭包． A ．自反 B ．反对称 C ．对称 D ．以上都不是4．设S 1={1,2，…，8,9},S 2={2,4,6,8},S 3={1,3,5,7,9}，S 4={3,4,5},S 5={3,5}.确定在以下条件下X 可能与S 1,…, S 5中哪个集合相等。
离散数学期末考试题及答案
离散数学期末考试题及答案一、选择题（每题2分，共20分）1. 在集合论中，表示两个集合A和B的并集的符号是：A. ∩B. ∪C. ⊂D. ⊆2. 以下哪个命题逻辑表达式是真命题，当P为真，Q为假时？A. ¬PB. P ∧ QC. P ∨ QD. P → Q3. 如果函数f: A → B是一个单射，那么它不能是：A. 满射B. 双射C. 恒等函数D. 逆函数4. 在图论中，一个图G是连通的，当且仅当：A. G是无向图B. G是简单图C. G是完全图D. 对于任意两个顶点，都存在一条路径5. 以下哪个不是组合数学中的计数原理？A. 加法原理B. 乘法原理C. 排列D. 组合二、简答题（每题10分，共30分）6. 解释什么是二元关系，并给出一个例子。
7. 描述什么是有向图和无向图的区别。
8. 什么是等价关系，它有哪些性质？三、计算题（每题15分，共30分）9. 给定集合A = {1, 2, 3, 4}，B = {a, b, c}，定义函数f: A → B，其中f(1) = a, f(2) = b, f(3) = c, f(4) = a。
判断f是否是单射、满射或双射，并给出理由。
10. 计算以下命题逻辑表达式的真值表：(P ∧ Q) → (¬P ∨ R)，其中P、Q、R是命题变量。
四、证明题（每题20分，共20分）11. 证明：如果一个图G是连通的，那么它的任意子图也是连通的。
答案一、选择题1. B2. C3. A4. D5. D二、简答题6. 二元关系是定义在两个集合上的一个关系，它将第一个集合中的每个元素与第二个集合中的元素相关联。
例如，如果A是人名的集合，B是年龄的集合，关系R可以是“比...年长”，那么(Alice, 30) ∈ R表示Alice比30岁年长。
7. 有向图由顶点和有向边组成，每条边都有一个方向，表示从一个顶点指向另一个顶点。
无向图由顶点和无向边组成，边没有方向。
离散数学试题及答案
离散数学试题及答案一、选择题（每题2分，共20分）1. 集合A={x|x<5}，集合B={x|x>2}，则A∩B为：A. {x|x>2}B. {x|x<2}C. {x|2<x<5}D. {x|x≥5}2. 命题p："x>0"是命题q："x^2>0"的：A. 必要条件B. 充分条件C. 充分必要条件D. 无关条件3. 函数f(x)=x^2+3x-2的值域是：A. (-∞, -1]B. [1, +∞)C. (-∞, 4]D. (-∞, 2]4. 逻辑表达式((P∨Q)∧(¬P))的真值表中，当P为真时，表达式的值为：A. 真B. 假C. 不确定D. 无法判断5. 已知二元关系R定义在集合A上，若对于任意a,b,c∈A，若aRb且bRc，则aRc，那么R是：A. 自反的B. 对称的C. 传递的D. 完全的6. 有限状态自动机（DFA）与确定有限状态自动机（DFA）的区别在于：A. DFA可以识别非正则语言B. DFA可以有多个起始状态C. DFA可以有多个接受状态D. DFA可以有多个状态7. 命题逻辑中，若命题P的否定为P'，则P和P'的关系是：A. 互为对立B. 互为矛盾C. 互为等价D. 互为同一律8. 集合{1,2,3}的子集个数是：A. 3B. 4C. 7D. 89. 一个命题逻辑公式的真值表中，若存在一行结果为假，则该公式：A. 总是假B. 有时真，有时假C. 总是真D. 无法判断10. 布尔代数中，逻辑与（AND）操作的特点是：A. 有0则0B. 有1则1C. 非0即1D. 非1即0二、简答题（每题5分，共10分）1. 简述集合论中的幂集概念。
2. 描述图的邻接矩阵表示方法。
三、计算题（每题10分，共30分）1. 证明函数f(x)=x^3-3x^2+2x-1在R上是单调递增的。
(完整版)离散数学题库与答案
试卷二十二试题与答案一、单项选择题：（每小题1分，本大题共15分）1．设A={1，2，3，4，5}，下面（ ）集合等于A 。
A 、{1，2，3，4，5，6}；B 、}25{2≤x x x 是整数且； C 、}5{≤x x x 是正整数且； D 、}5{≤x x x 是正有理数且。
2．设A={{1，2，3}，{4，5}，{6，7，8}}，下列各式中（ ）是错的。
A 、A ⊆Φ；B 、{6，7，8}∈A ；C 、{{4，5}}⊂A ；D 、{1，2，3}⊂A 。
3．六阶群的子群的阶数可以是（ ）。
A 、1，2，5；B 、2，4；C 、3，6，7；D 、2，3 。
4．设B A S ⨯⊆，下列各式中（ ）是正确的。
A 、 domS ⊆B ； B 、domS ⊆A ；C 、ranS ⊆A ；D 、domS ⋃ ranS = S 。
5．设集合Φ≠X ，则空关系X Φ不具备的性质是（ ）。
A 、自反性；B 、反自反性；C 、对称性；D 、传递性。
6．下列函数中，（ ）是入射函数。
A 、世界上每个人与其年龄的序偶集；B 、、世界上每个人与其性别的序偶集；B 、 一个作者的专著与其作者的序偶集； D 、每个国家与其国旗的序偶集。
7．><,*G 是群，则对*（ ）。
A 、满足结合律、交换律；B 、有单位元，可结合；C 、有单位元、可交换；D 、每元有逆元，有零元。
8．下面（ ）哈斯图所描述的偏序关系构成分配格。
9．下列（ ）中的运算符都是可交换的。
A 、→∨∧,,；B 、↔→,；C 、⨯⋂⋃,,；D 、∧∨,。
10．设G 是n 个结点、m 条边和r 个面的连通平面图，则m 等于（ ）。
A 、n+r-2 ；B 、n-r+2 ；C 、n-r-2 ；D 、n+r+2 。
11．n 个结点的无向完全图n K 的边数为（ ）。
A 、)1(+n n ；B 、2)1(+n n ；C 、)1(-n n ；D 、2)1(-n n 。
离散数学试题带答案大全
离散数学试题带答案一、选择题1、G 是一棵根树，则（ ）。
A 、G 一定是连通的B 、G 一定是强连通的C 、G 只有一个顶点的出度为0D 、G 只有一个顶点的入度为12、下面哪个语句不是命题（ ）。
A 、中国将成功举办2008年奥运会B 、一亿年前地球发生了大灾难C 、我说的不是真话D 、哈密顿图是连通的3、设R 是实数集合，在上定义二元运算*：a ，b ∈R ，a*b=a+b-ab ，则下面的论断中正确的是（ ）。
A 、0是*的零元B 、1是*的幺元C 、0是*的幺元D 、*没有等幂元4、下面说法中正确的是（ ）。
A 、所有可数集合都是等势的B 、任何集合都有与其等势的真子集C 、有些无限集合没有可数子集D 、有理数集合是不可数集合5、无向完全图K 3的不同构的生成子图有（ ）个。
A. 6B.5C. 4D. 36、下面哪一种图不一定是无向树?A 、无回路的连通图B 、有n 个顶点n-1条边的连通图C 、每对顶点间都有通路的图D 、连通但删去一条边则不连通的图7、设集合A ＝{{1,2,3},{4,5},{6,7,8}}，则下列各式为真的是( )。
A.1∈AB.{{4,5}}⊂AC. {1,2,3}⊆AD.∅∈A8、在有界格中，若一个元素有补元，则补元( )。
A 、必惟一B 、不惟一C 、不一定惟一D 、可能惟一9、设集合A={1,2,3,…,10}，下面定义的哪种运算关于集合A 是不封闭的？（ ）A 、 x*y=max{x,y}B 、 x*y=min{x,y}C 、 x*y=GCD(x,y)，即x,y 的最大公约数D 、 x*y=LCM(x,y)，即x,y 的最小公倍数10、集合X 中的关系R ，其矩阵是⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡=111011101M ，则关于R 的论述中正确的是（ ）。
A 、R 是对称的B 、R 是反对称的C 、R 是反自反的D 、R 中有7个元素11. 下列各组数中，哪个可以构成无向图的度数列（ ）。
离散数学试题及答案解析
离散数学试题及答案解析一、单项选择题（每题2分，共10分）1. 集合A={1,2,3}，集合B={2,3,4}，则A∩B等于：A. {1,2,3}B. {2,3}C. {1,4}D. {3,4}答案：B2. 以下哪个命题是真命题？A. 所有天鹅都是白色的。
B. 有些天鹅不是白色的。
C. 所有天鹅都不是白色的。
D. 没有天鹅是白色的。
答案：B3. 函数f: A→B的定义域是A，值域是B，那么f是：A. 单射B. 满射C. 双射D. 既不是单射也不是满射答案：D4. 逻辑表达式(p∧q)→r的逆否命题是：A. ¬r→¬(p∧q)B. ¬r→¬p∨¬qC. r→(p∧q)D. ¬r∧¬p∨¬q答案：B5. 有限集合A={a, b, c}的子集个数为：A. 3B. 4C. 7D. 8答案：D二、填空题（每题3分，共15分）1. 如果一个关系R在集合A上是自反的，那么对于A中的每一个元素a，都有___________。
答案：(a, a)∈R2. 命题逻辑中，合取（AND）的逻辑运算符用___________表示。
答案：∧3. 在图论中，一个连通图是指图中任意两个顶点之间都存在___________。
答案：路径4. 集合{1, 2, 3}的幂集包含___________个元素。
答案：85. 如果一个函数f是单射，那么对于任意的x1, x2∈A，如果f(x1)=f(x2)，则x1___________x2。
答案：=三、解答题（每题10分，共20分）1. 证明：若p是q的充分条件，q是r的充分条件，则p是r的充分条件。
证明：假设p成立，由于p是q的充分条件，所以q成立。
又因为q是r的充分条件，所以r成立。
因此，p成立可以推出r成立，即p是r的充分条件。
2. 给定一个有向图，其中包含顶点A、B、C、D，边为(A, B)，(B, C)，(C, D)，(D, A)，(A, C)。
离散数学经典测试题及答案
离散数学经典测试题及答案第一题: 命题逻辑与真值表根据下列命题符号表示的逻辑表达式，填写真值表。
1. \(p \land q\)2. \((\lnot p \lor q) \land (p \implies q)\)答案1. \(p \land q\)2. \((\lnot p \lor q) \land (p \implies q)\)第二题: 数学归纳法证明使用数学归纳法证明下列等式对于所有\(n \geq 1\)成立。
\(\sum_{i=1}^{n}(2i-1) = n^2\)证明1. 基础步骤：当\(n=1\)时，左边等式为\(1\), 右边等式为\(1^2 = 1\), 成立。
2. 归纳假设：假设当\(n=k\)时等式成立，即\(\sum_{i=1}^{k}(2i-1) = k^2\)。
3. 归纳步骤：考虑\(n=k+1\)的情况，- 左边等式为\(\sum_{i=1}^{k+1}(2i-1) = \sum_{i=1}^{k}(2i-1) + (2(k+1)-1)\)- 右边等式为\((k+1)^2 = k^2 + 2k + 1\)现在我们可以利用归纳假设，将左边等式展开：\(\sum_{i=1}^{k}(2i-1) + (2(k+1)-1) = k^2 + 2k + 1\)然后，化简左边的部分可以得到：\(k^2 + (2k - 1) + (2(k+1) - 1) = k^2 + 2k + 1\)这个等式成立，证明完毕。
第三题: 集合论给定两个集合A和B，证明下列恒等式成立：\(A \cup (B - A) = A \cup B\)证明我们可以使用集合论的定义来证明这个恒等式。
1. 证明\(A \cup (B - A) \subseteq A \cup B\)- 对于任意\(x \in A \cup (B - A)\)，有两种情况：- 如果\(x \in A\)，则\(x \in A \cup B\)，因为\(A \subseteq A \cupB\)。
离散数学练习题(含答案)
离散数学试题第一部分选择题一、单项选择题1．下列是两个命题变元p，q的小项是（ C ）A．p∧┐p∧q B．┐p∨qC．┐p∧q D．┐p∨p∨q2．令p：今天下雪了，q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（ D ）A．p→┐q B．p∨┐qC．p∧q D．p∧┐q3．下列语句中是命题的只有（ A ）A．1+1=10 B．x+y=10C．sinx+siny<0 D．x mod 3=24．下列等值式不正确的是（ C ）A．┐(∀x)A⇔(∃x)┐AB．(∀x)(B→A(x))⇔B→(∀x)A(x)C．(∃x)(A(x)∧B(x))⇔(∃x)A(x)∧(∃x)B(x)D．(∀x)(∀y)(A(x)→B(y))⇔(∀x)A(x)→(∀y)B(y)5．谓词公式(∃x)P(x,y)∧(∀x)(Q(x,z)→(∃x)(∀y)R(x,y,z)中量词∀x的辖域是（ C ）A．(∀x)Q(x,z)→(∃x)(∀y)R(x,y,z))B．Q(x,z)→(∀y)R(x,y,z)C．Q(x,z)→(∃x)(∀y)R(x,y,z)D．Q(x,z)6．设A={a,b,c,d}，A上的等价关系R={<a,b>,<b,a>,<c,d>,<d,c>}∪I A，则对应于R的A的划分是（ D ）A．{{a},{b,c},{d}} B．{{a,b},{c},{d}}C．{{a},{b},{c},{d}} D．{{a,b},{c,d}}7．设A={Ø}，B=P(P(A))，以下正确的式子是（ A ）A．{Ø,{Ø}}∈B B．{{Ø,Ø}}∈BC．{{Ø},{{Ø}}}∈B D．{Ø,{{Ø}}}∈B8．设X，Y，Z是集合，一是集合相对补运算，下列等式不正确的是（ A ）A．(X-Y)-Z=X-(Y∩Z)B．(X-Y)-Z=(X-Z)-YC．(X-Y)-Z=(X-Z)-(Y-Z)D．(X-Y)-Z=X-(Y∪Z)9．在自然数集N上，下列定义的运算中不可结合的只有（ D ）A．a*b=min(a,b)B．a*b=a+bC．a*b=GCD(a,b)(a,b的最大公约数)02324# 离散数学试题第1 页共4页02324# 离散数学试题 第 2 页 共4页D ．a*b=a(mod b)10.设R 和S 是集合A 上的关系,R ∩S 必为反对称关系的是( A ) A ．当R 是偏序关系,S 是等价关系; B ．当R 和S 都是自反关系; C ．当R 和S 都是等价关系; D ．当R 和S 都是传递关系11.设R 是A 上的二元关系,且R ·R ⊆R,可以肯定R 应是( D ) A ．对称关系; B ．全序关系; C ．自反关系; D ．传递关系 12．设R 为实数集，函数f ：R →R ，f(x)=2x ，则f 是（ B ） A ．满射函数 B ．单射函数 C ．双射函数 D ．非单射非满射第二部分 非选择题二、填空题1．设论域是{a,b,c}，则(∀x)S(x)等价于命题公式 S(a)∧S(b)∧S(c) ；(x ∃)S(x)等价于命题公式 S(a)∨S(b) ∨S(c) 。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
试题总汇数理逻辑部分1、判断下列句子中哪些是命题（1）2是素数（2）血是黑色的（3）2+3=5（4）明年10月1日是晴天（5）3能被2整除（6）这朵花多好看呀！（7）明天下午有会吗？（8）请关上门！（9）X + y > 5（10）地球外的星球上也有人2、将下列命题符号化（1）3不是偶数（2）2是素数和偶数（3）李芳学过英语或日语（4）如果角A和角B是对顶角，则角A等于角B（5）李平虽然聪明，但不用功（6）李平不但聪明，而且用功（7）小王是游泳冠军或者百米赛跑冠军（8）小王现在在宿舍或者在图书馆（9）选小王或者小李中的一人当班长（10）如果我上街，我就去书店看看，除非我很累（11）如果明天天气好，我们去郊游。
否则，不去郊游（12）你爱我，我就嫁给你3、判断下列命题公式是否等值（1）⌝（p∨q）与⌝p∨⌝q（2）⌝（p∨q）与⌝p∧⌝q4、验证下列等值式（1）p→（q→r）⇔（ p∧q）→r（2）p⇔（ p∧q）∨（p∧⌝q）5、用等值演算法解决下面问题：A、B、C、D 4人百米竞赛。
观众甲、乙、丙预报比赛的名次为，（1）甲：C第一，B第二。
（2）乙：C第二，D第三。
（3）丙：A第二，D第四。
比赛结束后发现甲、乙、丙每人报告的情况都是给对一半。
试问，实际名次如何？6、求下面命题公式的主析取范式和主合取范式（1）（（p∨q）→r）→p7、利用真值表求主析取范式和主合取范式（1）（p∧q）∨r8、逻辑推理证明（1）前提：p→r，q→s，p∨q。
结论：r∨s。
（2）前提：p∨q，p→⌝r，s→t，⌝s→r，⌝t。
结论：q（3）前提：p→（q→r），⌝s→p，q。
结论：s→r。
（4）前提：p→（⌝（r∧s）→⌝q），p，⌝s。
结论：⌝q9、给定语句如下：（1）15是素数（2）10能被2整除，3是偶数（3）你下午有会吗？（4）2x+3> 0（5）2是素数或是合数（6）这个男孩真勇敢呀！（7）如果2+2=6，则5是奇数（8）只有4是偶数，3才能被2整除（9）明年5月1日是晴天（10）圆的面积等于半径的平方与π的乘积以上10个语句中，是简单命题的为A，是复合命题的为B，是真命题的为C，是假命题的为D，真值待定（真值客观存在，只是现在不知道）的命题为E。
A：①（1）、（4）、（8）②（4）、（6）、（9）、（10）③（1）、（9）、（10）B：①（3）、（10）②（2）、（5）、（7）、（8）③（7）、（8）C：①（2）、（5）、（9）、（10）②（7）、（8）、（10）③（2）、（9）、（10）④（5）、（7）、（8）、（10）D：①（1）、（2）、（8）②（1）、（2）③（1）、（5）E：①（4）、（9）②（9）③（7）、（8）10、判断公式类型（1）（p∧q）→（p∨q）（2）（p↔q）↔（（p→q）∧（q→p））（3）⌝（p→q）∧q（4）（p∧⌝p）↔q（5）p→（p∨q）（6）（p∨⌝p）→（（q∧⌝q）∧r）（7）（（p→q）→p）↔p（8）（p∧q）∨（p∧⌝q）（9）⌝（p∨q∨r）↔（⌝p∧⌝q∧⌝r）（10）（p∧q）∧r11、给定命题公式如下：（⌝p→q）→（p∨⌝q）该命题公式的主析取范式中含极小项的个数为A，主合取范式中含极大项的个数为B，成真赋值个数为C，成假赋值个数为D。
A、B、C、D：（1）0,（2）1,(3)2,(4)3,(5)412、一公安人员审查一件盗窃案，已知的事实如下：（1）甲或乙盗窃了录音机（2）若甲盗窃了录音机，则作案时间不能发生在午夜前（3）若乙的证词正确，则午夜时屋里灯光未灭（4）若乙的证词不正确，则作案时间发生在午夜前（5）午夜时屋里灯光灭了推理证明，谁盗窃了录音机。
13、设p=1，q=0，r=1，s=0，有下列命题公式（1）（p∧q）→（s∧⌝r）（2）（p∧⌝q∧r∧⌝s）∨(s→⌝q)（3）（p∧q∧r）↔（⌝p∨⌝s）那么，（1）的真值为；（2）的真值为；（3）的真值为；14、对于下面的语句，（1）只要4＜3，就有3＞2（2）只要4＜3，就有3≤2（3）只有4＜3，才有3＞2（4）只有4＜3，才有3≤2（5）除非4＜3，否则3＞2（6）4≥3仅当3≤2（7）4＜3当且仅当3＞2则，他们的真值是（1）（2）（3）（4）（5）（6）（7）。
15、设A是含n个命题变项的公式，下面4个结论中，哪个是错误的？（1）若A的主析取范式中含2n个极小项，则A是重言式（2）若A的主合取范式中含2n个极大项，则A是矛盾式（3）若A的主析取范式中不含任何极小项，则A的主析取范式为0（4）若A的主合取范式中不含任何极大项，则A的主合取范式为016、已知命题公式A含有3个命题变项，其成真赋值为000，010，100，110。
则A的主析取范式为，主合取范式为。
17、判断下列语句是否为命题，如是命题请指出是简单命题还是复合命题，并讨论真值（1）2是无理数（2）5能被2整除（3）现在开会吗？（4）x+5＞0（5）这朵花真好看呀！（6）2是素数当且仅当三角形有3条边（7）血是黑色的当且仅当太阳从东方升起（8）2008年10月1日天气晴朗（9）太阳系以外的星球上有生物（10）小李在宿舍里（11）全体起立（12）4是2的倍数或是3的倍数（13）4是偶数且是奇数（14）李明与王华是同学（15）蓝色和黄色可以调配成绿色18、将下列命题符号化，并讨论其真值（1）如果今天是1号，则明天是2号（2）如果今天是1号，则明天是3号19、设A、B、C为任意的命题公式（1）已知A∨C⇔B∨C，问A⇔B吗？（2）已知A∧C⇔B∧C，问A⇔B吗？（3）已知⌝A⇔⌝B，问A⇔B吗？20、设计一个符合如下要求的室内照明控制线路：在房间的门外、门内及床头分别装有控制同一个电灯F的3个开关A、B、C。
当且仅当一个开关的键向上或3个开关的键都向上时电灯亮。
则F的逻辑关系式可化简为。
（1）A∨B∨C （2）A∨B∨C∨（A∧B∧C）（3）A∨B∨（A∧C）（4）C∨（A∧B）21、将下列语句用谓词表达式符号化（1）2是素数且是偶数（2）如果2大于3，则2大于4（3）凡是有理数均可表成分数（4）有的有理数是整数（5）没有不吃饭的人（6）素数不全是奇数（7）一切人都不一样高（8）有的自然数无先驱数（9）有些人喜欢所有的花（10）任何金属都可以溶解在某种液体中（11）凡是对顶角都相等22、指出下列各合式公式中的指导变项、量词的辖域、个体变项的自由出现和约束出现（1）∀x（F（x）→∃yH（x，y））（2）∃x F（x）∧G（x，y）（3）∀x∀y（R（x，y）∨L（x，y））∧∃x H（x，y）23、给定解释I如下：1）D I={2，3}2）D I中特定元素a=23）函数f（x）为f（2）=3，f（3）=24）谓词F（x）为F（2）=0，F（3）=1；G（x，y）为G（i，j）=1，i，j=2，3；L（x，y）为L（2，2）= L（3，3）=1；L（2，3）= L（3，2）=0在解释I下，求下列各式的值。
（1）∀x（F（x）∧G（x，a））（2）∃x（F（f（x））∧G（x，f（x）））（3）∀x∃y L（x，y）24、求下列公式的前束范式（1）∀xF（x）∧⌝∃x G（x）（2）∀xF（x）∨⌝∃x G（x）（3）∀xF（x）→∃x G（x）（4）∃xF（x）→∀x G（x）25、设F（x）：x是人，G（x）：x爱吃糖。
有人给出语句“不是所有人都爱吃糖”的4种谓词表达式：（1）⌝∀x（F（x）∧G（x））（2）⌝∀x（F（x）→G（x））（3）⌝∃x（F（x）∧G（x））（4）∃x（F（x）∧⌝G（x））正确的答案是。
26、给出解释I，使下面两个公式在解释I下均为假，从而说明这两个公式都不是永真式（1）∀x（F（x）∨G（x））→（∀xF（x）∨∀x G（x））（2）（∃xF（x）∧∃x G（x））→∃x（F（x）∧G（x））27、取个体域为整数集，给定下列公式（1）∀x∃y（x*y=0）（2）∀x∃y（x*y=1）（3）∃y∃x（x*y=2）（4）∀x∀y ∃z（x – y = z）（5）x – y = - y + x（6）∀x∀y（x *y = y）（7）∀x（x*y = x）（8）∃x∀y（x + y = 2y）在上面的公式中，真命题的为A，假命题的为B。
A：①（1）、（3）、（4）、（6）；②（3）、（4）、（5）；③（1）、（3）、（4）、（5）；④（3）、（4）、（6）、（7）B：①（2）、（3）、（6）；②（2）、（6）、（8）；③（1）、（2）、（6）、（7）；④（2）、（6）、（8）、（7）集合部分1、下列命题（1）φ⊆φ；（2）φ∈φ；（3）φ⊆｛φ｝；（4）φ∈｛φ｝正确的是；错误的是。
2、计算一下幂集（1）P（φ）；（2）P（｛φ｝）；（3）P（｛φ，｛φ｝｝）；（4）P（｛1，｛2，3｝｝）3、证明（1）（A-B）∪B=A∪B；4、化简（（A∪B∪C）∩（A∪B））- （（A∪（B - C））∩A5、已知：A⊕B=A⊕C，证明：A = B6、求在1到1000之间不能被5和6，也不能被8整除的数的个数7、某班有25个学生，其中14人会打篮球，12人会打排球，6人会打篮球和排球，5人会打篮球和网球，还有2人会打这三种球。
而6个会打网球的人都会打另一种球（指篮球或排球），求不会打这三种球的人数。
8、设F表示一年级大学生的集合，S表示二年级大学生的集合，R表示计算机科学系学生的集合，M表示数学系学生的集合，T表示选修离散数学的学生的集合，L表示爱好文学的学生的集合，P表示爱好体育运动的学生的集合，则下列各句子所对应的集合表达式分别是：（1）所有计算机科学系二年级的学生都选修离散数学。
A（2）数学系的学生或者爱好文学或者爱好体育运动。
B（3）数学系一年级的学生都没有选修离散数学。
C（4）只有一、二年级的学生才爱好体育运动。
D（5）除去数学系和计算机科学系二年级的学生外都不选修离散数学。
EA、B、C、D、E：①T⊆（M∪R）∩S；②R∩S⊆T；③（M∩F）∩T =φ；④M⊆L∪P；⑤P⊆F∪S；⑥S -（M∪R）⊆P9、设S1=｛1，2，…，8，9｝，S2=｛2，4，6，8｝，S3=｛1，3，5，7，9｝，S4=｛3，4，5｝，S5=｛3，5｝。
确定在以下条件下X可能与S1,…,S5中哪个集合相等。
（1）若X∩S5 = φ，则A（2）若X⊆S4但X∩S2 = φ，则B（3）若X⊆S1但X⊄S3，则C（4）若X - S3= φ，则D⊆S3但X⊄S1，则E（5）若XA、B、C、D、E：①X=S2或者S3；②X= S4或者S5；③X=S1，S2或者S4；④X与其中任何集合都不等；⑤X=S2；⑥X=S5；⑦X=S3或者S5；⑧X=S2或者S4；10、设A、B、C为任意集合，判断下述命题是否恒真，如果恒真给出证明，否则举出反例。