第三部分 逻辑推理理论
第六章 命题逻辑
6-1 判断下列语句是否命题,简单命题或复合命题。
(1)2月 17 号新学期开始。 [ ]
(2)离散数学很重要。 [ ]
(3)离散数学难学吗 ? [ ]
(4)C 语言具有高级语言的简洁性和汇编语言的灵活性。 [ ]
(5)x + 5 大于 2 。 [ ]
(6)今天没有下雨,也没有太阳,是阴天。 [ ]
6-2 将下列命题符号化.
(1)2 是偶素数。
(2)小李不是不聪明,而是不好学。
(3)明天考试英语或考数学。(兼容或)
(4)你明天不去上海,就去北京。(排斥或)
6-3 用等值演算法求下列命题公式的主析取范式
(1)『(p→q)∧ q; (2)((p→q)∧ p)→q; (3)(p→q)∧ q。
以下两题(6-4;6-5)为选择题,将正确者填入[ ]内.
6-4 令 p:经一堑;q:长一智。命题’’只有经一堑,才能长一智’’符号化为 [ ]
A. p→q; B. q→p; C. p∧q; D. 「q→「p
6-5 p:天气好;q:我去游玩.命题 ”除非天气好,否则我不去游玩” 符号化为〔 〕
A. p→q; B. q→p; C. p∧q; D. 「q→「p
6-6 证明题:用不同方法判断推理结果是否正确。
如果今天下雨,则明天不上体育课。今天下雨了。所以,明天没有上体育课。
第七章 谓词逻辑
7-1 在谓词逻辑中用 0 元谓词将下列命题符号化
(1)这台机器不能用。
(2)如果 2 > 3,则 2 > 5。
7-2 在谓词逻辑中将下列命题符号化
(1)有的马比有的牛跑得慢。
(2)所有的火车比所有的汽车跑得快。
7-3 填空补缺题:设域为正整数集合Z++,命题 x 彐y(x>y)的真值为 ( )
求解几道离散数学题3
6-1(1)(2)是简单命题(3)(5)不是命题(4)(6)是复合命题 6-2仅以第(1)题为例 解:设命题P:2是偶数;命题Q:2是素数 则本题可表述为:P并且Q 其余的题目请参考武汉大学出版社《离散数学(第2版)》刘玉珍 刘咏梅 编著
离散数学3 求解
1.19 (2)p∨¬r 前提3 r→p E14蕴含表达式 p→(q→s) 前提1 r→(q→s) I6前提三段论 r→(¬q∨s) E14蕴含表达式 ¬r∨¬q∨s E14蕴含表达式 (¬r∨s) ∨¬q 交换律 结合律 q 前提2 ¬r∨s I5析取三段论 r→s E14蕴含表达式 (5...
离散数学求解!!急!!!
R⁻¹={<2,4>,<3,5>,<4,6>} R⋅R⁻¹={<4,4>,<5,5>,<6,6>}
离散数学求解
⇔M₁⇔∏(1)⇔¬∏(0,2,3)⇔∑(0,2,3)⇔m₀∨m₂∨m₃⇔¬(p∨q)∨¬(¬p∨q)∨¬(¬p∨¬q) 德摩根定律 ⇔(¬p∧¬q)∨(p∧¬q)∨(p∧q) 德摩...
求解几道离散数学的证明的问题,谢谢
楼主第一个问题不知道什么意思横折是什么意思?其他几题都大同小异。2、假设PN为N条这样的直线在平面划分的区域数。我们假设PN=(N^2+N)\/2+1。当N取1时,PN=2,符合公式,当N取2时,PN=4,符合公式···当N=n-1成立,如果可以推到N=n成立,我们就自然而然可以得到公式是正确的。(虽然...
求解离散数学题!
首先介绍一下等幂元:若a是等幂元,则a^n = a.(n是非0自然数)1)由于*是集合S上的可结合的二元运算,故有(a*a)*a=a*(a*a)则有 a*a=a 2)由于(a*b)*(a*b)=a*b 所以a*b*a*b=a*b 所以a*b*a=a 同理可得问题(3)求解答网为您解答,求采纳!
离散数学问题求解
我做一题。二、n=2时这棵树只有一边,所以它的顶点的次数和为2,命题成立;假设n=k(k>=2,k为整数)时命题成立,即它的顶点的次数和为2k-2,那么 n=k+1时去掉一片叶子的一个外端及与之相连的一边,就得到k个顶点的树,由归纳假设,它的顶点的次数和为2k-2,所以k+1个顶点的树的顶点的...
求解离散数学题目:
设这个图有k个面。定义deg(Ri)是第i个面的次数,即这个面的边界长度。则一定有∑deg(Ri) = 2m (对所有面的边界长度求和,相当于把每一条边算了两次)在本题里,∑deg(Ri) >= 4k (因为每个面至少是由四条边围成)所以2m>=4k, 即2k<=m 根据欧拉公式:n+k-m=2 可得 4=2n+2k-2m<...
离散数学问题求解。证明:在任何人数不少于2的人群中,至少有两个人在其 ...
n个人中认识的人数的集合为B={1,2,...,n-1},即你要么认识1个,或2个。。。或n-1个。2. |A| > |B|,根据鸽chao原理,不存在从A到B的一对一关系。即a1~an中至少有2个人认识的人数相同。b)若有人谁也不认识,则n个人认识的人数的集合为B={0,1,2,...n-2},|B|=n-1,同...
请教一道离散数学题:
画图 文恩图法