离散数学答案
离散数学期末考试题及详细答案
离散数学期末考试题及详细答案一、选择题(每题5分,共20分)1. 在离散数学中,下列哪个概念用来描述元素与集合之间的关系?A. 并集B. 交集C. 子集D. 元素答案:D2. 布尔代数中,下列哪个运算符表示逻辑“与”?A. ∨B. ∧C. ¬D. →答案:B3. 下列哪个命题的否定是正确的?A. 如果今天是周一,则明天是周二。
B. 如果今天是周一,则明天不是周二。
答案:B4. 在图论中,一个图的顶点数为n,边数为m,下列哪个条件可以保证该图是连通的?A. m > nB. m ≥ nC. m = nD. m > n-1答案:D二、填空题(每题5分,共20分)1. 在集合论中,一个集合的幂集包含该集合的所有______。
答案:子集2. 如果一个函数f: A → B是单射的,那么对于任意的a1, a2 ∈ A,如果a1 ≠ a2,则f(a1) ≠ f(a2)。
这种性质称为函数的______。
答案:单射性3. 在图论中,一个图的直径是指图中任意两个顶点之间的最短路径的最大值。
如果一个图的直径为1,则该图被称为______。
答案:完全图4. 一个布尔表达式可以表示为一系列逻辑运算符和变量的组合。
布尔表达式(A ∧ B) ∨ (¬ A ∧ C)的真值表中,当A为真,B为假,C为真时,整个表达式的值为______。
答案:真三、简答题(每题10分,共30分)1. 请简述什么是图的哈密顿回路,并给出一个例子。
答案:哈密顿回路是图中的一个回路,它恰好访问每个顶点一次。
例如,在一个完全图中,任意一个顶点出发,依次访问其他顶点,最后回到出发点的路径就是一个哈密顿回路。
2. 请解释什么是二元关系,并给出一个二元关系的例子。
答案:二元关系是定义在两个集合上的一个关系,它关联了第一个集合中的元素和第二个集合中的元素。
例如,小于关系是实数集合上的一个二元关系,它关联了每一对实数,如果第一个数小于第二个数。
离散数学试题及答案
离散数学试题及答案一、选择题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、下列哪些公式为永真蕴含式?( )(1)?Q=>Q→P (2)?Q=>P→Q (3)P=>P→Q (4)?P∧(P∨Q)=>?P答:在第三章里面有公式(1)是附加律,(4)可以由第二章的蕴含等值式求出(注意与吸收律区别)2、下列公式中哪些是永真式?( )(1)(┐P∧Q)→(Q→?R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答:(2),(3),(4)可用蕴含等值式证明3、设有下列公式,请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ?(P→Q)=>P (6) ?P∧(P∨Q)=>?P答:(2)是第三章的化简律,(3)类似附加律,(4)是假言推理,(3),(5),(6)都可以用蕴含等值式来证明出是永真蕴含式4、公式?x((A(x)→B(y,x))∧?z C(y,z))→D(x)中,自由变元是( ),约束变元是( )。
答:x,y, x,z(考察定义在公式?x A和?x A中,称x为指导变元,A为量词的辖域。
在?x A和?x A的辖域中,x的所有出现都称为约束出现,即称x为约束变元,A中不是约束出现的其他变项则称为自由变元。
于是A(x)、B(y,x)和?z C(y,z)中y为自由变元,x和z为约束变元,在D(x)中x为自由变元)5、判断下列语句是不是命题。
若是,给出命题的真值。
( )(1)北京是中华人民共和国的首都。
(2) 陕西师大是一座工厂。
(3) 你喜欢唱歌吗? (4) 若7+8>18,则三角形有4条边。
离散数学习题一,二参考答案
《离散数学》习题一参考答案第一节 集合的基数1.证明两个可数集的并是可数集。
证明:设A ,B 是两可数集,},,,,,{321 n a a a a A =,},,,,,{321 n b b b b B = ⎪⎩⎪⎨⎧-→j b i a N B A f j i 212: ,f 是一一对应关系,所以|A ∪B|=|N|=0ℵ。
2.证明有限可数集的并是可数集证:设k A A A A 321,,是有限个可数集,k i a a a a A in i i i i ,,3,2,1),,,,,(321 ==⎪⎩⎪⎨⎧+-→==i k j a N A A f ij k i i )1(:1,f 是一一对应关系,所以|A|=| k i i A 1=|=|N|=0ℵ。
3.证明可数个可数集的并是可数集。
证:设 k A A A A 321,,是无限个可数集, ,3,2,1),,,,,(321==i a a a a A in i i i i⎪⎪⎩⎪⎪⎨⎧+-+-+→=∞=i j i j i a N A A f ij i i )2)(1(21:1 , 所以f 是一一对应关系,所以|A|=| ∞=1i i A |=|N|=0ℵ。
4.证明整系数多项式所构成的集合是可数集。
证明:设整系数n 次多项式的全体记为}|{1110Z a a x a x a x a A i n n n n n ∈++++=--则整系数多项式所构成的集合 ∞==1N n A A ;由于k x 的系数k a 是整数,那么所有k x 的系数的全体所构成的集合是可数集,由习题2“有限个可数集的并是可数集”可得n A 是可数集,再又习题4“可数个可数集的并是可数集”得出整系数多项式所构成的集合 ∞==1N n A A 也是可数集。
5.证明不存在与自己的真子集等势的有限集合.证明:设集合A 是有限集,则|A|=n ,若B 是A 的真子集,则|B|≤|A|=n ,A-B ≠φ,即|A-B|=|A|-|AB|>0;又A=(A-B )∪B ,(A-B )B=φ,所以,,就是|A|>|B|,即得结论。
(完整版)离散数学试题及答案,推荐文档
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 为真的解释有
__________________________,_____________________________,
__________________________.
离散数学考试题及答案
离散数学考试题及答案一、选择题(每题5分,共20分)1. 下列哪个选项不是离散数学的研究对象?A. 图论B. 组合数学C. 微积分D. 逻辑学答案:C2. 在逻辑学中,下列哪个命题是真命题?A. 如果今天是周一,那么明天是周二。
B. 如果今天是周一,那么明天是周三。
C. 如果今天是周一,那么明天是周四。
D. 如果今天是周一,那么明天是周五。
答案:A3. 在集合论中,下列哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 在图论中,下列哪个术语描述的是图中的顶点集合?A. 边B. 路径C. 子图D. 顶点答案:D二、填空题(每题5分,共20分)1. 如果一个集合A包含5个元素,那么它的子集个数是______。
答案:322. 在逻辑学中,如果命题P和命题Q都是真命题,那么复合命题“P且Q”的真值是______。
答案:真3. 在图论中,如果一个图的顶点数为n,那么它的最大边数是______。
答案:n(n-1)/24. 如果一个二叉树的深度为3,那么它最多包含______个节点。
答案:7三、简答题(每题10分,共30分)1. 请简述什么是图的连通性,并给出一个例子。
答案:图的连通性是指在图中任意两个顶点之间都存在一条路径。
例如,在一个完全图K3中,任意两个顶点之间都可以通过一条边直接连接,因此它是连通的。
2. 解释什么是逻辑蕴含,并给出一个例子。
答案:逻辑蕴含是指如果一个命题P为真,则另一个命题Q也必须为真。
例如,命题P:“如果今天是周一”,命题Q:“明天是周二”。
如果今天是周一,那么根据逻辑蕴含,明天必须是周二。
3. 请描述什么是二叉搜索树,并给出它的一个性质。
答案:二叉搜索树是一种特殊的二叉树,其中每个节点的左子树只包含小于当前节点的数,右子树只包含大于当前节点的数。
它的一个性质是中序遍历可以得到一个有序序列。
四、计算题(每题15分,共30分)1. 给定一个集合A={1, 2, 3, 4, 5},请计算它的幂集,并列出所有元素。
自考离散数学试题及答案
自考离散数学试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个符号表示“属于”关系?A. ∈B. ∉C. ⊆D. ⊂答案:A2. 命题逻辑中,下列哪个表达式表示“非”操作?A. ∧B. ∨C. ¬D. →答案:C3. 在下列哪个图论的术语中,表示图中任意两个顶点都相连?A. 无向图B. 有向图C. 完全图D. 二分图答案:C4. 布尔代数中,下列哪个操作是“或”?A. ∧C. ¬D. →答案:B5. 以下哪个是等价关系的属性?A. 自反性B. 对称性C. 反对称性D. 传递性答案:A6. 有限自动机中,状态可以被分为哪两种类型?A. 初始状态和终止状态B. 接受状态和拒绝状态C. 确定状态和非确定状态D. 静态状态和动态状态答案:B7. 在关系数据库中,下列哪个操作用于删除表中的行?A. INSERTB. DELETEC. UPDATED. SELECT答案:B8. 以下哪个是谓词逻辑中的量词?B. ∃C. ∧D. ∨答案:A9. 在命题逻辑中,德摩根定律描述了哪些逻辑运算的对偶性?A. ∧ 和∨B. ¬和→C. ¬和↔D. → 和↔答案:A10. 树的深度优先搜索(DFS)算法通常使用哪种数据结构来实现?A. 队列B. 栈C. 链表D. 哈希表答案:B二、填空题(每题3分,共30分)11. 在集合{1, 2, 3, 4, 5}中,子集的总数是_________。
答案:3212. 如果命题P为真,则命题P → Q的真值表中,Q的值必须为_________。
答案:真13. 在有向图中,一个顶点的入度是指_________。
答案:指向该顶点的边的数量14. 一个关系R(A, B, C)中,如果对于任意两个元组,当它们在属性A上的值相等时,它们在属性B和C上的值也相等,则称R具有_________。
答案:候选键15. 在布尔代数中,表达式(A ∧ B) ∨ (A ∧ ¬B)的结果是_________。
《离散数学》课后习题答案
1-1,1-2(1)解:a)是命题,真值为T。
b)不是命题。
c)是命题,真值要根据具体情况确定。
d)不是命题。
e)是命题,真值为T。
f)是命题,真值为T。
g)是命题,真值为F。
h)不是命题。
i)不是命题。
(2)解:原子命题:我爱北京天安门。
复合命题:如果不是练健美操,我就出外旅游拉。
(3)解:a)(┓P ∧R)→Qb)Q→Rc)┓Pd)P→┓Q(4)解:a)设Q:我将去参加舞会。
R:我有时间。
P:天下雨。
Q (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。
b)设R:我在看电视。
Q:我在吃苹果。
R∧Q:我在看电视边吃苹果。
c) 设Q:一个数是奇数。
R:一个数不能被2除。
(Q→R)∧(R→Q):一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。
(5) 解:a)设P:王强身体很好。
Q:王强成绩很好。
P∧Qb)设P:小李看书。
Q:小李听音乐。
P∧Qc)设P:气候很好。
Q:气候很热。
P∨Qd)设P: a和b是偶数。
Q:a+b是偶数。
P→Qe)设P:四边形ABCD是平行四边形。
Q :四边形ABCD的对边平行。
P Qf)设P:语法错误。
Q:程序错误。
R:停机。
(P∨ Q)→ R(6) 解:a)P:天气炎热。
Q:正在下雨。
P∧Qb)P:天气炎热。
R:湿度较低。
P∧Rc)R:天正在下雨。
S:湿度很高。
R∨Sd)A:刘英上山。
B:李进上山。
A∧Be)M:老王是革新者。
N:小李是革新者。
M∨Nf)L:你看电影。
M:我看电影。
┓L→┓Mg)P:我不看电视。
Q:我不外出。
R:我在睡觉。
P∧Q∧Rh)P:控制台打字机作输入设备。
Q:控制台打字机作输出设备。
P∧Q1-3(1)解:a)不是合式公式,没有规定运算符次序(若规定运算符次序后亦可作为合式公式)b)是合式公式c)不是合式公式(括弧不配对)d)不是合式公式(R和S之间缺少联结词)e)是合式公式。
(2)解:a)A是合式公式,(A∨B)是合式公式,(A→(A∨B))是合式公式。
离散数学试题及答案解析
离散数学试题及答案解析一、选择题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,都可以通过图中的边相互到达。
(完整版)离散数学题目及答案
数理逻辑习题判断题1.任何命题公式存在惟一的特异析取范式 ( √ ) 2. 公式)(q p p →⌝→是永真式 ( √ ) 3.命题公式p q p →∧)(是永真式 ( √ ) 4.命题公式r q p ∧⌝∧的成真赋值为010 ( × ) 5.))(()(B x A x B x xA →∃=→∀ ( √ )6.命题“如果1+2=3,则雪是黑的”是真命题 ( × ) 7.p q p p =∧∨)( ( √ )8.))()((x G x F x →∀是永真式 ( × ) 9.“我正在撒谎”是命题 ( × ) 10. )()(x xG x xF ∃→∀是永真式( √ )11.命题“如果1+2=0,则雪是黑的”是假命题 ( × ) 12.p q p p =∨∧)( ( √ )13.))()((x G x F x →∀是永假式 ( × )14.每个命题公式都有唯一的特异(主)合取范式 ( √ ) 15.若雪是黑色的:p ,则q →p 公式是永真式 ( √ ) 16.每个逻辑公式都有唯一的前束范式 ( × ) 17.q →p 公式的特异(主)析取式为q p ∨⌝ ( × ) 18.命题公式 )(r q p →∨⌝的成假赋值是110 ( √ ) 19.一阶逻辑公式)),()((y x G x F x →∀是闭式( × )单项选择题1. 下述不是命题的是( A )A.花儿真美啊! B.明天是阴天。
C.2是偶数。
D.铅球是方的。
2.谓词公式(∀y)(∀x)(P(x)→R(x,y))∧∃yQ(x,y)中变元y (B)A.是自由变元但不是约束变元B.是约束变元但不是自由变元C.既是自由变元又是约束变元D.既不是自由变元又不是约束变元3.下列命题公式为重言式的是( A )A.p→ (p∨q)B.(p∨┐p)→qC.q∧┐q D.p→┐q4.下列语句中不是..命题的只有(A )A.花儿为什么这样红?B.2+2=0C.飞碟来自地球外的星球。
离散数学考试题及答案
离散数学考试题及答案一、选择题(每题2分,共20分)1. 在集合论中,下列哪个符号表示属于关系?A. ∈B. ∉C. ⊆D. ∩答案:A2. 对于命题逻辑,下列哪个是真值表的表示方法?A. 真值表B. 逻辑图C. 布尔代数D. 集合论答案:A3. 以下哪个是图论中的基本单位?A. 点B. 线C. 面D. 体答案:A4. 函数f(x) = x^2 + 3x + 2在x=-1处的值是:A. 0C. 4D. 6答案:C5. 在关系数据库中,以下哪个操作用于删除表中的记录?A. SELECTB. INSERTC. UPDATED. DELETE答案:D6. 以下哪个是离散数学中的归纳法证明方法?A. 直接证明法B. 反证法C. 归纳法D. 构造性证明法答案:C7. 在逻辑中,以下哪个是析取命题?A. P ∧ QB. P ∨ QC. ¬PD. P → Q答案:B8. 以下哪个是图的遍历算法?B. BFSC. Dijkstra算法D. Floyd算法答案:B9. 在集合{1, 2, 3}上,以下哪个是幂集?A. {∅, {1}}B. {1, 2}C. {1, 2, 3}D. 所有选项答案:D10. 以下哪个是递归算法的特点?A. 不能自我调用B. 必须有一个终止条件C. 必须有一个基本情况D. 所有选项答案:D二、填空题(每空2分,共20分)1. 在离散数学中,_________ 表示一个命题的否定。
答案:¬P2. 如果集合A和集合B的交集为空集,那么A和B被称为_________。
答案:不相交3. 一个函数f: A → B是_________,如果对于集合B中的每个元素b,集合A中至少有一个元素a与之对应。
答案:满射4. 在图论中,一个没有环的连通图被称为_________。
答案:树5. 一个命题逻辑公式是_________,如果它在所有可能的真值分配下都是真的。
答案:重言式6. 一个关系R在集合A上是_________,如果对于A中的任意两个元素a和b,如果(a, b)属于R,则(b, a)也属于R。
离散数学习题答案精选全文完整版
可编辑修改精选全文完整版离散数学习题答案习题一:P121.判断下列句子哪些是命题?在是命题的句子中,哪些是简单命题?哪些是真命题?哪些命题的真值现在还不知道?(1)中国有四大发明。
(2)5是无理数。
(3)3是素数或4是素数。
(4)x2+3<5,其中x是任意实数。
(5)你去图书馆吗?(6)2与3都是偶数。
(7)刘红与魏新是同学。
(8)这朵玫瑰花多美丽呀!(9)吸烟请到吸烟室去!(10)圆的面积等于半径的平方乘π。
(11)只有6是偶数,3才能是2的倍数。
(12)8是偶数的充分必要条件是8能被3整除。
(13)2025年元旦下大雪。
1、2、3、6、7、10、11、12、13是命题。
在上面的命题中,1、2、7、10、13是简单命题;1、2、10是真命题;7的真值现在还不知道。
2.将上题中是简单命题的命题符号化。
(1)p:中国有四大发明。
(2)q:5是无理数。
(7)r:刘红与魏新是同学。
(10)s:圆的面积等于半径的平方乘π。
(1)t:2025年元旦下大雪。
3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值。
“5是有理数”的否定式是“5不是有理数”。
解:原命题可符号化为:p:5是有理数。
其否定式为:非p。
非p的真值为1。
4.将下列命题符号化,并指出真值。
(1)2与5都是素数。
(2)不但π是无理数,而且自然对数的底e也是无理数。
(3)虽然2是最小的素数,但2不是最小的自然数。
(4)3是偶素数。
(5)4既不是素数,也不是偶数。
a:2是素数。
b:5是素数。
c:π是无理数。
d:e是无理数。
f:2是最小的素数。
g:2是最小的自然数。
h:3是偶数。
i:3是素数。
j:4是素数。
k:4是偶数。
解:(1)到(5)的符号化形式分别为a∧b,c∧d,f∧非g,h∧i,非j∧非k。
这五个复合命题的真值分别为1,1,1,0,0。
5.将下列命题符号化,并指出真值。
a:2是偶数。
b:3是偶数。
c:4是偶数。
离散数学课后习题答案
离散数学课后习题答案离散数学课后习题答案离散数学是计算机科学中的一门重要课程,它涵盖了诸多数学概念与技巧,为计算机科学的理论基础打下了坚实的基础。
在学习离散数学的过程中,课后习题是巩固知识、提高能力的重要途径。
然而,有时候我们会遇到一些难以解答的问题,需要参考一些答案来进行思考与学习。
本文将为大家提供一些离散数学课后习题的答案,希望能对大家的学习有所帮助。
一、集合论1. 设A={1,2,3},B={2,3,4},求A∪B和A∩B的结果。
答案:A∪B={1,2,3,4},A∩B={2,3}。
2. 证明:任意集合A和B,有(A-B)∪(B-A)=(A∪B)-(A∩B)。
答案:首先,对于任意元素x,如果x属于(A-B)∪(B-A),那么x属于A-B或者x属于B-A。
如果x属于A-B,那么x属于A∪B,但x不属于A∩B;如果x属于B-A,同样有x属于A∪B,但x不属于A∩B。
所以(A-B)∪(B-A)属于(A∪B)-(A∩B)。
另一方面,对于任意元素x,如果x属于(A∪B)-(A∩B),那么x属于A∪B,但x不属于A∩B。
所以x属于A或者x属于B。
如果x属于A,但x不属于B,那么x属于A-B;如果x属于B,但x不属于A,那么x属于B-A。
所以x属于(A-B)∪(B-A)。
所以(A∪B)-(A∩B)属于(A-B)∪(B-A)。
综上所述,(A-B)∪(B-A)=(A∪B)-(A∩B)。
证毕。
二、逻辑与证明1. 证明:如果p为真命题,那么¬p为假命题。
答案:根据命题的定义,命题要么为真,要么为假,不存在其他情况。
所以如果p为真命题,那么¬p为假命题。
2. 证明:对于任意整数n,如果n^2为偶数,则n为偶数。
答案:假设n为奇数,即n=2k+1(k为整数)。
那么n^2=(2k+1)^2=4k^2+4k+1=2(2k^2+2k)+1。
根据偶数的定义,2(2k^2+2k)为偶数,所以n^2为奇数。
(完整版)哈工大《离散数学》教科书习题答案
教材习题解答第一章 集合及其运算8P 习题3. 写出方程2210x x ++=的根所构成的集合。
解:2210x x ++=的根为1x =-,故所求集合为{1}- 4.下列命题中哪些是真的,哪些为假a)对每个集A ,A φ∈;b)对每个集A ,A φ⊆; c)对每个集A ,{}A A ∈;d)对每个集A ,A A ∈; e)对每个集A ,A A ⊆;f)对每个集A ,{}A A ⊆; g)对每个集A ,2A A ∈;h)对每个集A ,2A A ⊆; i)对每个集A ,{}2A A ⊆;j)对每个集A ,{}2A A ∈; k)对每个集A ,2A φ∈;l)对每个集A ,2A φ⊆; m)对每个集A ,{}A A =;n){}φφ=;o){}φ中没有任何元素;p)若A B ⊆,则22A B ⊆q)对任何集A ,{|}A x x A =∈;r)对任何集A ,{|}{|}x x A y y A ∈=∈; s)对任何集A ,{|}y A y x x A ∈⇔∈∈;t)对任何集A ,{|}{|}x x A A A A ∈≠∈; 答案:假真真假真假真假真假真真假假假真真真真真 5.设有n 个集合12,,,n A A A 且121n A A A A ⊆⊆⊆⊆,试证: 12n A A A ===证明:由1241n A A A A A ⊆⊆⊆⊆⊆,可得12A A ⊆且21A A ⊆,故12A A =。
同理可得:134n A A A A ====因此123n A A A A ====6.设{,{}}S φφ=,试求2S ?解:2{,{},{{}},{,{}}}S φφφφφ=7.设S 恰有n 个元素,证明2S 有2n 个元素。
证明:(1)当n =0时,0,2{},212S S S φφ====,命题成立。
(2)假设当(0,)n k k k N =≥∈时命题成立,即22S k =(S k =时)。
那么对于1S ∀(11S k =+),12S 中的元素可分为两类,一类为不包含1S 中某一元素x 的集合,另一类为包含x 的集合。
离散数学课后习题答案
第一章命题逻辑基本概念课后练习题答案1.将下列命题符号化,并指出真值:(1)p∧q,其中,p:2是素数,q:5是素数,真值为1;(2)p∧q,其中,p:是无理数,q:自然对数的底e是无理数,真值为1;(3)p∧┐q,其中,p:2是最小的素数,q:2是最小的自然数,真值为1;(4)p∧q,其中,p:3是素数,q:3是偶数,真值为0;(5)┐p∧┐q,其中,p:4是素数,q:4是偶数,真值为0.2.将下列命题符号化,并指出真值:(1)p∨q,其中,p:2是偶数,q:3是偶数,真值为1;(2)p∨q,其中,p:2是偶数,q:4是偶数,真值为1;(3)p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0;(4)p∨q,其中,p:3是偶数,q:4是偶数,真值为1;(5)┐p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0;3.(1)(┐p∧q)∨(p∧┐q),其中,小丽从筐里拿一个苹果,q:小丽从筐里拿一个梨;(2)(p∧┐q)∨(┐p∧q),其中,p:刘晓月选学英语,q:刘晓月选学日语;.4.因为p与q不能同时为真.5.设p:今天是星期一,q:明天是星期二,r:明天是星期三:(1)p→q,真值为1(不会出现前件为真,后件为假的情况);(2)q→p,真值为1(也不会出现前件为真,后件为假的情况);(3)p q,真值为1;(4)p→r,若p为真,则p→r真值为0,否则,p→r真值为1.返回第二章命题逻辑等值演算本章自测答案5.(1):∨∨,成真赋值为00、10、11;(2):0,矛盾式,无成真赋值;(3):∨∨∨∨∨∨∨,重言式,000、001、010、011、100、101、110、111全部为成真赋值;7.(1):∨∨∨∨⇔∧∧;(2):∨∨∨⇔∧∧∧;8.(1):1⇔∨∨∨,重言式;(2):∨⇔∨∨∨∨∨∨;(3):∧∧∧∧∧∧∧⇔0,矛盾式.11.(1):∨∨⇔∧∧∧∧;(2):∨∨∨∨∨∨∨⇔1;(3):0⇔∧∧∧.12.A⇔∧∧∧∧⇔∨∨.第三章命题逻辑的推理理论本章自测答案6.在解本题时,应首先将简单陈述语句符号化,然后写出推理的形式结构*,其次就是判断*是否为重言式,若*是重言式,推理就正确,否则推理就不正确,这里不考虑简单语句之间的内在联系(1)、(3)、(6)推理正确,其余的均不正确,下面以(1)、(2)为例,证明(1)推理正确,(2)推理不正确(1)设p:今天是星期一,q:明天是星期三,推理的形式结构为(p→q)∧p→q(记作*1)在本推理中,从p与q的内在联系可以知道,p与q的内在联系可以知道,p与q不可能同时为真,但在证明时,不考虑这一点,而只考虑*1是否为重言式.可以用多种方法(如真值法、等值演算法、主析取式)证明*1为重言式,特别是,不难看出,当取A为p,B为q时,*1为假言推理定律,即(p→q)∧p→q ⇒ q(2)设p:今天是星期一,q:明天是星期三,推理的形式结构为(p→q)∧p→q(记作*2)可以用多种方法证明*2不是重言式,比如,等值演算法、主析取范式(主和取范式法也可以)等(p→q)∧q→p⇔(┐p∨q) ∧q →p⇔q →p⇔┐p∨┐q⇔⇔∨∨从而可知,*2不是重言式,故推理不正确,注意,虽然这里的p与q同时为真或同时为假,但不考虑内在联系时,*2不是重言式,就认为推理不正确.9.设p:a是奇数,q:a能被2整除,r:a:是偶数推理的形式结构为(p→q┐)∧(r→q)→(r→┐p) (记为*)可以用多种方法证明*为重言式,下面用等值演算法证明:(p→┐q)∧(r→q)→(r→┐p)⇔(┐p∨┐q) ∨(q∨┐r)→(┐q∨┐r) (使用了交换律)⇔(p∨q)∨(┐p∧r)∨┐q∨┐r⇔(┐p∨q)∨(┐q∧┐r)⇔┐p∨(q∨┐q)∧┐r⇔110.设p:a,b两数之积为负数,q:a,b两数种恰有一个负数,r:a,b都是负数.推理的形式结构为(p→q)∧┐p→(┐q∧┐r)⇔(┐p∨q) ∧┐p→(┐q∧┐r)⇔┐p→(┐q∧┐r) (使用了吸收律)⇔p∨(┐q∧┐r)⇔∨∨∨由于主析取范式中只含有5个W极小项,故推理不正确.11.略14.证明的命题序列可不惟一,下面对每一小题各给出一个证明① p→(q→r)前提引入② P前提引入③ q→r①②假言推理④ q前提引入⑤ r③④假言推理⑥ r∨s前提引入(2)证明:① ┐(p∧r)前提引入② ┐q∨┐r①置换③ r前提引入④ ┐q ②③析取三段论⑤ p→q前提引入⑥ ┐p④⑤拒取式(3)证明:① p→q前提引入② ┐q∨q①置换③ (┐p∨q)∧(┐p∨p) ②置换④ ┐p∨(q∧p③置换⑤ p→(p∨q) ④置换15.(1)证明:① S结论否定引入② S→P前提引入③ P①②假言推理④ P→(q→r)前提引入⑤ q→r③④假言推论⑥ q前提引入⑦ r⑤⑥假言推理(2)证明:① p附加前提引入② p∨q①附加③ (p∨q)→(r∧s)前提引入④ r∧s②③假言推理⑤ s④化简⑥ s∨t⑤附加⑦ (s∨t)→u前提引入⑧ u⑥⑦拒取式16.(1)证明:① p结论否定引入② p→ ┐q前提引入③ ┐q ①②假言推理④ ┐r∨q前提引入⑤ ┐r③④析取三段论⑥ r∧┐s前提引入⑦ r⑥化简⑧ ┐r∧r⑤⑦合取(2)证明:① ┐(r∨s)结论否定引入② ┐r∨┐s①置换③ ┐r②化简④ ┐s②化简⑤ p→r前提引入⑥ ┐p③⑤拒取式⑦ q→s前提引入⑧ ┐q④⑦拒取式⑨ ┐p∧┐q⑥⑧合取⑩ ┐(p∨q)⑨置换口p∨q前提引入⑾①口┐(p∨q) ∧(p∨q) ⑩口合取17.设p:A到过受害者房间,q: A在11点以前离开,r:A犯谋杀罪,s:看门人看见过A。
离散数学试题及答案
离散数学试题及答案一、选择题1. 下列哪个是由离散数学的基本概念组成的?A. 集合论和函数论B. 图论和逻辑C. 运算符和关系D. 全数论和数论答案:B2. 下列哪个是离散数学的一个应用领域?A. 数据结构和算法分析B. 微积分和线性代数C. 概率论和统计学D. 数值分析和微分方程答案:A3. 集合A={1, 2, 3},集合B={2, 3, 4},则A交B的结果是:A. {1, 2, 3, 4}B. {2, 3}C. {2}D. {1}答案:B4. 下列哪个是对于集合的补集运算的正确描述?A. A∪A' = ∅B. A∩A' = ∅C. A - A' = AD. A'∩B' = (A∪B)'答案:B5. 若命题p为真,命题q为假,则命题p→q的真值为:A. 真B. 假C. 不确定D. 无法确定答案:B二、填空题1. 对于命题“如果x是偶数,则x能被2整除”,其逆命题为________________。
答案:如果x不能被2整除,则x不是偶数。
2. 在一个完全图中,如果有12条边,则这个图有__________个顶点。
答案:6个顶点。
3. 设集合A={1, 2, 3, 4},则A的幂集的元素个数是__________。
答案:2^4=16个元素。
4. 设关系R={(-1, 0), (0, 1), (1, 0)},则R的逆关系是__________。
答案:R^(-1)={(0, -1), (1, 0), (0, 1)}。
5. 若集合A={1, 2, 3},集合B={2, 3, 4},则A的笛卡尔积B是__________。
答案:A×B={(1, 2), (1, 3), (1, 4), (2, 2), (2, 3), (2, 4), (3, 2), (3, 3), (3, 4)}。
三、计算题1. 求集合A={1, 2, 3}和集合B={2, 3, 4}的并集。
离散数学考试试题及答案
离散数学考试试题及答案一、单项选择题(每题5分,共20分)1. 在离散数学中,以下哪个概念不是布尔代数的基本元素?A. 逻辑与B. 逻辑或C. 逻辑非D. 逻辑异或答案:D2. 下列哪个命题不是命题逻辑中的命题?A. 所有学生都是勤奋的B. 有些学生是勤奋的C. 学生是勤奋的D. 勤奋的学生答案:D3. 在集合论中,以下哪个符号表示集合的并集?A. ∩B. ∪C. ⊆D. ⊂答案:B4. 以下哪个图不是无向图?A. 简单图B. 完全图C. 有向图D. 多重图答案:C二、填空题(每题5分,共20分)1. 如果一个命题的逆否命题为真,则原命题的________为真。
答案:逆命题2. 在图论中,如果一个图的任意两个顶点都由一条边连接,则称这个图为________图。
答案:完全3. 一个集合的幂集是指包含该集合的所有________的集合。
答案:子集4. 如果一个函数的定义域和值域都是有限集合,那么这个函数被称为________函数。
答案:有限三、简答题(每题10分,共30分)1. 请简述什么是图的欧拉路径。
答案:欧拉路径是一条通过图中每条边恰好一次的路径。
2. 解释什么是二元关系,并给出一个例子。
答案:二元关系是指定义在两个集合之间的关系,它将第一个集合中的元素与第二个集合中的元素联系起来。
例如,小于关系就是一个二元关系。
3. 请说明什么是递归函数,并给出一个简单的例子。
答案:递归函数是一种通过自身定义来计算函数值的函数。
例如,阶乘函数就是一个递归函数,定义为:n! = n * (n-1)!,其中n! = 1当n=0时。
四、计算题(每题10分,共30分)1. 计算以下逻辑表达式:(P ∧ Q) ∨ ¬R答案:首先计算P ∧ Q,然后计算¬R,最后计算两者的逻辑或。
2. 给定集合A = {1, 2, 3},B = {2, 3, 4},求A ∪ B。
答案:A ∪ B = {1, 2, 3, 4}3. 已知函数f(x) = 2x + 3,求f(5)。
离散数学试题及答案解析
离散数学试题及答案解析一、单项选择题(每题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、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
2015春课件作业第一部分集合论第一章集合的基本概念和运算1-1 设集合 A ={{2,3,4},5,1},下面命题为真是 A (选择题) [ A ] A.1 ∈A; B.2 ∈ A; C.3 ∈A; D.{3,2,1} ⊆ A。
1-2 A,B,C 为任意集合,则他们的共同子集是 D (选择题) [ D ] A.C; B.A; C.B; D.Ø。
1-3 设 S = {N,Z,Q,R},判断下列命题是否正确(是非题)(1) N ⊆ Q,Q ∈S,则 N ⊆ S,否[错](2)-1 ∈Z,Z ∈S,则 -1 ∈S 。
否[错]1-4 设集合 B = {4,3} ∩Ø, C = {4,3} ∩{ Ø },D ={ 3,4,Ø },E = {x│x ∈R 并且 x2 - 7x + 12 = 0},F = { 4,Ø,3,3},试问:集合 B 与那个集合之间可用等号表示 A (选择题) [A ]A. C;B. D;C. E;D. F.1-5 用列元法表示下列集合:A = { x│x ∈N 且 3-x 〈 3 }(选择题) [D ]A. N;B. Z;C. Q;D. Z+1-6 为何说集合的确定具有任意性 ? (简答题)按照所研究的问题来确定集合的元素。
而我们所要研究的问题当然是随意的。
所以,集合的定义(就是集合成分的确定)就带有任意性。
第二章二元关系2-1 给定 X =(3, 2,1),R 是 X 上的二元关系,其表达式如下:R = {〈x,y〉x,y ∈X 且 x > y } (综合题)求:(1)domR =?; (2)ranR =?; (3)R 的性质。
所谓谓词表达法,即是将集合中所有元素的共同性质用一个谓词概括起来,如本题几例所示。
有的书上称其为抽象原则。
反过来,列元法则是遵照元素的性质和要求,逐一将他们列出来,以备下用,结果如下:R = {<1,1>,<2,2>,<3,3>};(1)DomR={R中所有有序对的x}={3,2,1};(2)RanR={R中所有有序对的y}={3,2,1};(3)R 的性质:自反,对称,传递性质.2-2 设 R 是正整数集合上的关系,由方程 x + 3y = 12 决定,即R = {〈x,y〉│x,y ∈Z+ 且 x + 3y = 12},试给出 dom(R 。
R)。
(选择题) [ B ]A. 3;B. {3};C. 〈3,3〉;D.{〈3,3〉}。
2-3 判断下列映射 f 是否是 A 到 B 的函数;以及函数的性质。
最后指出 f:A→B 中的双射函数。
(选择题) [ B ] (1)A = {1,2,3},B = {4,5}, f = {〈1,4〉〈2,4〉〈3,5〉}。
(2)A = {1,2,3} = B, f = {〈1,1〉〈2,2〉〈3,3〉}。
(3)A = B = R, f = x 。
(4)A = B = N, f = x2。
(5)A = B = N, f = x + 1 。
A.(1)和(2);B.(2)和(3);C.(3)和(4);D.(4)和(5)2-4 设f(x)=x+1,g(x)=x-1 都是从实数集合R到R的函数,则f。
g=[ C ] A.x+1;B.x-1;C.x;D.x2。
2-5 关系型数据库与《关系与函数》一章内容有何联系?(简答题)关系与函数一章的内容是关系型数据库的理论基础第三章结构代数(群论初步) (3-1),(3-2)为选择题3-1 给出集合及二元运算,判断是否代数系统,何种代数系统?(1)S1 = {1,1/4,1/3,1/2,2,3,4},二元运算 * 是普通乘法。
[ A ] A.不构成代数系统;B.只是代数系统。
;C.半群;D.群。
(2)S2 = {a1,a2,……,an},ai ∈R,i = 1,2,……,n ;二元运算。
定义如下:对于所有 ai,aj ∈S2,都有 ai 。
aj = ai 。
[ C ]A.不构成代数系统;B.只是代数系统。
;C.半群;D.群。
(3)S3 = {0,1},二元运算 * 是普通乘法。
[ C ] A.不能构成代数系统;B.半群;C.独异点;D.群。
3-2 在自然数集合上,下列那种运算是可结合的[ A ]A.x*y = max(x,y) ;B.x*y = 2x+y ;C.x*y = x2+y2;D.x*y =︱x-y︱..3-3 设 Z 为整数集合,在 Z 上定义二元运算。
,对于所有 x,y ∈Z 都有x 。
y = x - y试问?在 Z 上二元运算。
能否构成代数系统,何种代数系统?为什麽?(综合题)判别一个代数系统是否是群,当然要满足群的定义条件。
然而,判别过程要分步走。
第一步封闭性问题判断.第二步,针对结合律进行讨论。
第三步,要讨论特殊元素及其对代数结构的作用。
本题中,自然数上的减法运算不满足封闭性,不能构成代数系统。
接下来的问题,就不必讨论了。
最后,结论是:自然数上的减法运算不构成代数系统。
第二部分图论方法第四章图以下三题分别为:选择题是非题填空题4-1 10 个顶点的简单图G中有4个奇度顶点,问 G 的补图中有 r 个偶数度顶点。
[ C ] A.r =10 ;B.r = 6;C.r = 4;D.r = 9。
4-2 是非判断:无向图G中有10条边,4个3度顶点,其余顶点度数全是2,共有 8 个顶点。
[ 是 ]4-3 填空补缺:1条边的图 G 中,所有顶点的度数之和为 2 。
握手定理是普适定理.任何无向图中,所有顶点的度数之和都是边的两倍.第五章树5-1 概述无向图与无向树的关系。
(简答题)(1)生成树的定义---生成子图概念;(2)生成子图与母图的关系----顶点数相同;(3)何种图才有生成树----连通图;(4)连通图中的那种边永远不会进入任何一颗生成树中---环。
(5)连通图中的那种边必然会进入其生成树中---桥。
5-2 握手定理的应用(指无向树)(计算题)(1)在一棵树中有 7 片树叶,3个3 度顶点,其余都是4 度顶点,共几个顶点 [ 11 ] (2)一棵树有两个 4 度顶点,3 个 3 度顶点,其余都是树叶,问有几片叶 [ 9 ]5-3 求最优 2 元树:用 Huffman 算法求带权为 1,2,3,5,7,8 的最优 2 元树 T。
试问:T 的权 W(T)= ( 61 );树高 ( 4 ) 层。
(填空题)5-4 以下给出的符号串集合中,那些是前缀码(是非题)B1 = {0,10,110,1111}; [ 是 ] B2 = {1,01,001,000}; [ 是 ] B3 = {a,b,c,aa,ac,aba,abb,abc} [ 非 ] B4 = {1,11,101,001,0011} [ 非 ]5-5 11 阶无向连通图 G 中有 17 条边,其任一棵生成树 T 中必有6条树枝 [ 非 ] 5-6 二元正则树有奇数个顶点。
[ 是 ]5-7 通信中 a,b,c,d,e,f,g,h 出现的频率分别为 25%;20%;20%.15%,10%,5%,4%,1%;试完成下列要求。
(综合题)1、最优二元树 T;2、二元树的权 W(T)= ;3、每个字母的码字;1、最优二元树 T;2、二元树的权W(T)=260;3、每个字母的码字;。
10060。
25。
a 。
4010。
c5。
20 。
b。
f 。
g h d e编码如下:g(00000),h(00001),f(0001),d(100),e(101),c(001),b(11),a(01)。
第三部分逻辑推理理论第六章命题逻辑6-1 判断下列语句是否命题,简单命题或复合命题。
(填空题)(1)2月 17 号新学期开始。
(是简单)命题(2)离散数学很重要。
(是简单)命题(3)离散数学难学吗?(不是)命题(4)C 语言具有高级语言的简洁性和汇编语言的灵活性(是复合)命题(5)x + 5 > 2 。
(不是)命题(6)今天没有下雨,也没有太阳,是阴天。
(是复合)命题6-2 将下列命题符号化. (填空题)(1)2 是偶素数。
(2)小李不是不聪明,而是不好学。
(3)明天考试英语或考数学。
(兼容或)命题的符号化必须把握住一个概念:一个符号不能对一个复合命题符号化,而只能对一个简单命题符号化。
而复合命题的符号化要借助于联结词的帮助。
小王不好学,自然 q 的真值为 0,而﹃q 为 1。
总结果如下:(1)符号化为: p ∧ q。
(2)符号化为:p ∧﹃q。
(3)符号化为:p ∨ q。
6-3 用等值演算法求下列命题公式的主析取范式,并由此指出该公式的类型(1)﹃(p→q)∧ q (计算题)(2)((p→q)∧ p)→q (计算题)(3)(p→q)∧ q (计算题)该题为用主析取范式法判断公式类型。
所以,必须先求主析取范式,然后回答公式类型。
结果如下:此题应为(计算题)(1)0,永假式;(2)Σ(0,1,2,3),永真式;(3)Σ(1,3),可满足式。
6-4 令p:经一堑;q:长一智。
命题’’只有经一堑,才能长一智’’符号化为[ B ] A.p→q;B.q→p;C.p∧q;D.﹁q→﹁p6-5p:天气好;q:我去游玩.命题”如果天气好,则我去游玩”符号化为[ A ]A.p→q;B.q→p;C.p∧q;D.﹁q→p6-6 将下列推理命题符号化,然后用不同方法判断推理结果是否正确。
(综合题)如果今天不下雨,则明天上体育课。
今天没有下雨。
所以,明天上体育课。
题解与分析:首先将原子命题符号化,然后,按题意将原子命题组织成公式。
再用不同方法,例如用等值演算法判断推理的正确与否。
公式是重言式,所以,推理正确。
方法 1:等值演算法(略)方法 2: 主范式法(略);方法 3: 真值表法(略);方法 4:构造证明法,如下:(1)将原子命题符号化:(2)按题意构成前提:(3)按题意构成结论:(4)证明:如果今天下雨,则明天不上体育课。
今天下雨了。
所以,明天没有上体育课。
题解与分析:首先将原子命题符号化,然后,按题意将原子命题组织成公式。
再用不同方法,例如用等值演算法判断推理的正确与否。
公式是重言式,所以,推理正确。
方法 1:等值演算法((p→﹃q)∧p)→﹃q ﹤=﹥1;方法 2: 主范式法(略);方法 3: 真值表法(略);方法 4:构造证明法,如下:将公式分成前提及结论。
前提:(p→﹃q),p;结论:﹃q;证明:(1)(p→﹃q)前提引入(2) p 前提引入(3)(p→﹃q)∧p (1)(2)假言推理(4)﹃q扣题:要证明的结论与证明结果一致,所以推理正确。
第七章谓词逻辑7-1 在谓词逻辑中用 0 元谓词将下列命题符号化(填空题)(1)这台机器不能用。