离散数学作业(1)
石大远程奥鹏-离散数学-第一次在线作业正确答案

中国石油大学(北京)
石大远程
离散数学-第一次在线作业
参考答案
试读一页
离散数学-第一次在线作业
1. 空集不是任何集合的真子集
正确
错误
正确答案:错误
2. 一个集合可以是另一个集合的元素
正确
错误
正确答案:正确
3. 设A、B为集合,如果集合A的元素都是集合B的元素,则称A是B的子集正确
错误
正确答案:正确
4. 如果一个集合包含了所要讨论的每一个集合,则称该集合为全集,记为U 正确
错误
正确答案:正确
5. 在笛卡儿坐标系中,平面上点的坐标< 1,2> 与< 2,1> 代表不同的点。
离散数学练习题(含答案)

离散数学试题第一部分选择题一、单项选择题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设P:天下大雨,Q:他乘公共汽车上班。
命题“只有天下雨,他才乘公共汽车上班”符号化为()•A、P→Q•B、Q→P•C、P<->Q•D、┑P→Q。
学员答案:b说明:本题得分:2题号:2 题型:单选题(请在以下几个选项中选择唯一正确答案)本题分数:2设P:我将去镇上,Q:我有时间,命题“我将去镇上,仅当我有时间”,符号化为()•A、P→Q•B、Q→P•C、P<->Q•D、┑P→┑Q。
学员答案:a说明:本题得分:2题号:3 题型:单选题(请在以下几个选项中选择唯一正确答案)本题分数:2令P:今天下雪了,Q:路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为()•A、P→┑Q•B、P∨┑Q•C、P∧Q•D、P∧┑Q学员答案:d说明:本题得分:2题号:4 题型:单选题(请在以下几个选项中选择唯一正确答案)本题分数:2设P:天下钉子,Q:我去B城。
命题“除非天下钉子,否则我去B城”符号化为()•A、P→Q•B、Q→P•C、┑P→Q•D、Q→┑P。
学员答案:c说明:本题得分:2题号:5 题型:单选题(请在以下几个选项中选择唯一正确答案)本题分数:2设P:我们划船,Q:我们跳舞,命题“我们不能计划船又跳舞”符号化为()•A、P∨Q•B、┑(P∧Q)•C、┑P∧┑Q•D、┑P∧Q。
学员答案:b说明:本题得分:2题号:6 题型:单选题(请在以下几个选项中选择唯一正确答案)本题分数:2设A,B为集合,A∩B=A∪B成立的充分必要条件是()•A、A=B=φ•B、A=φ•C、B=φ•D、A=B学员答案:d说明:本题得分:2题号:7 题型:单选题(请在以下几个选项中选择唯一正确答案)本题分数:2一个公式在等价意义下,下面哪一个写法是唯一的()•A、析取范式•B、合取范式•C、主析取范式•D、以上答案都不对。
学员答案:c说明:本题得分:2题号:8 题型:单选题(请在以下几个选项中选择唯一正确答案)本题分数:2 设集合A={1,a},则A的幂集P(A)=()•A、{{1},{a}}•B、{φ,{1],{a}•C、{φ,{1],{a},{1,a}•D、{{1],{a},{1,a}学员答案:c说明:本题得分:2题号:9 题型:单选题(请在以下几个选项中选择唯一正确答案)本题分数:2 设A=φ,B={φ,{φ}},则B-A是()•A、{{φ}}•B、{φ}•C、{φ,{φ}}•D、φ学员答案:c说明:本题得分:2题号:10 题型:单选题(请在以下几个选项中选择唯一正确答案)本题分数:2 下列命题公式是可满足(可真可假)公式的是()•A、P∧┑P•B、P∨┑P•C、(Q→P)∧(┑P∧Q)•D、(P∧Q)∨(┑P∧R)学员答案:d说明:本题得分:2题号:11 题型:单选题(请在以下几个选项中选择唯一正确答案)本题分数:2 设A={a,b},则A的幂集P(A)为()•A、{a,b}•B、{φ,{a},{b}}•C、{φ,{a}}•D、{φ,{a},{b},{a,b}}学员答案:d说明:本题得分:2题号:12 题型:单选题(请在以下几个选项中选择唯一正确答案)本题分数:2 下列命题与B-A为同一集合的是()•A、(A的补集)∪B•B、(A∪B)∩B•C、B∩(A的补集)•D、((A∩B)的补集)∪B学员答案:c说明:本题得分:2题号:13 题型:单选题(请在以下几个选项中选择唯一正确答案)本题分数:2 下面哪一组命题公式不是等价的()•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学员答案:c说明:本题得分:2题号:14 题型:单选题(请在以下几个选项中选择唯一正确答案)本题分数:2 下列命题公式是主析取范式的是()•A、P∧(P→Q)→Q)•B、P<->Q•C、P∨Q•D、(P∧Q)∨(P∧┑Q)学员答案:d说明:本题得分:2题号:15 题型:单选题(请在以下几个选项中选择唯一正确答案)本题分数:2 下面哪个联接词运算不可交换()•A、∧•B、→•C、∨•D、<->学员答案:b说明:本题得分:2题号:16 题型:单选题(请在以下几个选项中选择唯一正确答案)本题分数:2 下列语句,哪一个是真命题().•A、我正在说谎•B、如果1+1=0,那么雪是黑的•C、9+5>18•D、存在最大的质数。
离散数学

1. 设|A | = 5, |B | = 2, 则可定义A 到B 的函数( )个,其中有( )单射,( )个满射.2. 令G (x ): x 是金子,F (x ): x 是闪光的,则命题“金子都是闪光的,但闪光的未必是金子”符号化为( ).3. 设X 是非空集合,则X 的幂集P (X )关于集合的⋃运算的单位元是( ),零元是( ),P (X )关于集合的⋂运算的单位元是( ).4. 6阶非Abel 群的2阶子群共有( )个,3阶子群共有( )个,4阶子群共有( )个.5. 对于n 阶完全无向图K n , 当n 为( )时是Euler 图,当n ≥ ( )时是Hamilton 图,当n ( )时是平面图. 二、单选题1. 幂集P (P (P (∅))) 为( )(A){{∅}, {∅, {∅}}}. (B){∅, {∅, {∅}}, {∅}}. (C){ ∅, {∅, {∅}}, {{∅}}, {∅}} (D){ ∅, {∅, {∅}}}. 2. 设R 是集合A 上的偏序关系,则1-⋃RR 是( ).(A)偏序关系 (B)等价关系 (C)相容关系 (D)以上答案都不对 3. 下列( )组命题公式是不等值的.(A))(B A →⌝与B A ⌝∧. (B) )(B A ↔⌝与)()(B A B A ∧⌝∨⌝∧. (C))(C B A ∨→与C B A →⌝∧)(. (D))(C B A ∨→与)(C B A ∨∧⌝. 4.下列代数结构(G , *)中,( )是群.(A)G = {0, 1, 3, 5}, “*”是模7加法. (B) G = Q , “*”是数的乘法.(C)G = Z , “*”是数的减法. (D) G = {1, 3, 4, 5, 9}, “*”是模11乘法. 5.4阶完全无向图4K 中含3条边的不同构的生成子图有 (A)3 (B)4 (C)5 (D)2三、设A 和B 是集合,使B B A =-成立的充要条件是什么,并给出理由.四、设R 和S 是集合A 上的对称关系,证明S R 对称的充要条件是R S S R =. 五、分别利用(1)等值演算法和(2)真值表求命题公式))(())((r q p p q r A ∨→→→∨⌝=的主析取范式和主合取范式.六、设G 是(n , m )无向图,若n m ≥,证明G 中必存在圈.1.设A = {2, {3}, 4, a }, B = {1, 3, 4, {a }}, 则{3}( )A ,{a }( )B ,{{a }}( )B .2. 设A = {1, 2, 3, 4, 5}上的关系R = {(1, 2), (3, 4), (2, 2)}, S = {(4, 2), (2, 5), (3, 1), (1, 3)}, 则=S R { }, =R S { }, =R R { }.3. 在同构意义下,3阶群有( )个,4阶群有( )个,5阶群有( )个.4.任意有限布尔代数)1,0,,,,(⋅+B 均与集合代数( )同构,其元素个数为( ), 其中( )是B 的所有原子组成的集合.5. 不同构的5阶无向树有( )棵,不同构的5阶根树有( )棵. 二、单选题1. 在有理数集合Q 上定义运算“*”如下:对于任意x , y ∈ Q ,y x * = x + y – xy ,则Q 关于*的单位元是( ).(A)x . (B)y . (C)1. (D)0.2. 设A = {1, 2, 3}, 下图分别给出了A 上的两个关系R 和S ,则S R 是( )关系.(A)自反. (B)对称. (C)传递. (D)等价.3.令T (x ): x 是火车,B (x ): x 是汽车,F (x , y ): x 比y 快,则“某些汽车比所有的火车慢”符号化为( ). (A)()()),()()(y x H x T x y B y →∀∧∃. (B)()()),()()(y x H x T x y B y ∧∀→∃. (C)()()),()()(y x H x T y B y x ∧→∃∀. (D)()()),()()(y x H x T x y B y →∀→∃.4. 整数集合Z 关于数的加法“+”和数的乘法“⋅”构成的代数结构(Z, +, ⋅)是( ). (A)域 (B)域和整环 (C)整环 (D) 有零因子环5.设G 是简单图,G 是G 的补图,若G G ≅,则称G 为自补图. 5阶不同构的自补图个数为( ). (A)0. (B)1. (C)2. (D)3.三、设C B g B A f →→:,:, 若g f 是单射,证明f 是单射,并举例说明g 不一定是单射. 四、设A = {a , b , c , d }上的关系R = {(a , b ), (b , d ), (c , c ), (a , c )}, 画出R 的关系图,并求出R 的自反闭包r (R )、对称闭包s (R )和传递闭包t (R ).五、设G 是(6,12) 的简单连通平面图,则G 的面由多少条边围成,为什么? 六、任意6个人中,一定有3个人彼此认识或有3个人彼此不认识.G SG R1. 设A = {1, 2, 3, {1, 2}, {3}}, B = {2, {2,3}, {1}} , 则A – B = { }, B – A = { }, A ⊕ B = { }.2. 实数集合R 关于加法运算“+”的单位元为( ), 关于乘法运算“⋅”的单位元为( ), 关于乘法运算“⋅”的零元为( ).3. 令Z (x ): x 是整数,O (x ): x 是奇数,则“不是所有整数都是奇数”符号化为( ).4. 有限域的元素个数为( ), 其中( )且( ).5. 设G 是(7, 15)简单平面图,则G 一定 ( )连通图,其每个面恰由( )条边围成,G 的面数为( ). 二、单选题1. 函数的复合运算“ ”满足( )(A)交换律. (B)结合律. (C)幂等律. (D)消去律. 2. 设集合A 中有4个元素,则A 上的等价关系共有( )个. (A)13 (B)14 (C)15 (D)16 3.下列代数结构(G , *)中,( )是群.(A)G = {0, 1, 3, 5}, “*”是模7加法. (B) G = Q , “*”是数的乘法.(C)G = Z , “*”是数的减法. (D) G = {1, 3, 4, 5, 9}, “*”是模11乘法. 4. 下列偏序集,( )是格.5. 不同构的(5, 3)简单图有( )个.(A)4 (B)5 (C)3 (D)2三、设C B g B A f →→:,:, 若g f 是满射,证明g 是满射,并举例说明f 不一定是满射. 四、在整数集合Z 上定义关系R 如下:对于任意∈y x , Z ,y yx xR y x +=+⇔∈22),(.判断R 是否具有自反性、反自反性、对称性、反对称性及传递性. 五、利用真值表求命题公式)())(q p q p A ⌝→↔→⌝=的主析取范式和主合取范式.六、将6阶完全无向图K 6的边随意地涂上红色或蓝色,证明:无论如何涂法,总存在红色的K 3或蓝色的K 3.1. 集合A 上的等价关系R 必满足( 、 、 ).2. 任意6阶群的平凡子群一定是( )群.3. 设集合A = {1, 2, 3},则A 上的置换共有( )个.4. 设集合A 关于*满足( 、 ),则(A , *)构成独异点.5. ( )无向图称为无向树. 二、单选题1. 设集合A 中有99个元素,则A 的子集有( )个. (A)299. (B)99. (C) 2100. (D)100.2. 设集合A 中有4个元素,则A 上的划分共有( )个. (A)13 (B)14 (C)15 (D)163.设集合A = {1, 2, 3, 4, 5}上的关系R = {(x , y )|x , y ∈ A 且x + y = 6},则R 的性质是( ). (A) 自反的. (B) 对称的. (C) 对称的、传递的. (D) 反自反的、传递的.4.下列联结词中,不满足交换律的是( ).(A)∧. (B)∨. (C)⊕. (D) →.5.谓词公式)())()((x R y yQ x P x →∃∨∀中,x ∀的辖域为( ).(A)))()((y yQ x P x ∃∨∀. (B))(x P . (C))()(y yQ x P ∃∨. (D))(x P 和)(x R . 三、设),(≤A 是偏序集,定义函数)(:A P A f →如下:对于任意A a ∈,},|{)(a x A x x a f ≤∈=.证明f 是单射,且当b a ≤时有)()(b f a f ⊆.四、(1)列出与非联结词“↑”的运算表.(2)仅使用与非联结词“↑”分别表示∨∧⌝,,.五、求))),(),((),,((v y vQ u x uQ z y x zP y x ∃→∃∧∃∀∀的前束范式. 六、 (1)给出(n , m )连通平面图的面数r 计算公式.(2)若(n , m )连通平面图的每个面至少由5条边围成,给出n 和m 所满足的关系式. (3)证明:Petersen 图不是平面图.1. 对于任意集合A , 若|A | = n , 则A 的幂集合P (A )有( )个元素.2. 整数集合Z 上的小于关系“<”具有( ).3. 联结词集合},{→⌝( )功能完备的.4. 设Q 是有理数集合,Q 关于数的乘法运算“⋅”能构成( ).5. 设≤是非空集合L 上的偏序,若L 中的任意两个元素均存在( ),则称(L ,≤)是格. 二、单选题1. 设A = ∅,B = {∅, {∅}},则B – A 为( ).(A){{∅}}. (B){∅}. (C) {∅, {∅}}. (D) ∅. 2. 设R 和S 是集合A 上的关系,则下述命题成立的有( ). (A)若R 和S 是自反的,则S R ⋂是自反的. (B)若R 和S 是对称的,则S R 是对称的. (C)若R 和S 是反对称的,则S R 是反对称的. (D)若R 和S 是传递的,则S R ⋃是传递的. 3.设R 是集合A 上的偏序关系,则1-⋃RR 是( )关系.(A) 偏序. (B) 等价. (C) 相容. (D) 线性序.4.令A (x ): x 是人,B (x ): x 犯错误,则“没有不犯错误的人”符号化为( ). (A)))()((x B x A x ∧∀. (B)))()((x B x A x ⌝→⌝∃. (C)))()((x B x A x ∧⌝∃. (D)))()((x B x A x ⌝∧⌝∃.5.在任意n 阶连通图中,其边数( ).(A)至多n – 1条. (B)至少n – 1条. (C)至多n 条. (D) 至少n 条. 三、设R 为实数集合,定义f : R ⨯ R → R ⨯ R 为),()),((y x y x y x f -+=.(1)证明f 是双射. (2)求f 的逆函数1-f .(3)计算f f1-及f f .四、设集合},,{c b a A =,在A 上的关系)},(),,(),,{(c b b a a a R =,求)(),(),(R t R s R r . 五、用构造法证明:)))()(()((x R y Q x P x ∧→∀,⇒∀)(x xP ))()(()(x R x P x y Q ∧∀∧.六、证明:阶数2≥的任意无向树中的最长路径的端点都是树叶,即度数为1.一、填空题1. 设全集为整数集合Z ,且}30|{2<=xx A ,}20,|{<=x x x B 是素数,}5,3,1{=C ,则=⋃-C A B )({ }.2. 设集合A 为同一平面内的所有直线组成的集合,R 表示两直线的垂直关系,则R 2表示( )关系.3. 命题公式)(r q p ⌝∧∨的成真赋值(p , q , r )为( ).4. 设G = {1, 5, 7, 11}, “12⋅”为模12的乘法运算,则群),(12⋅G 中元素5的阶为( ).5. 图1所示的图G 的色数=)(G χ().二、单选题1. 设集合X ≠ ∅,则P (X )关于集合的⋃运算的单位元为( ). (A)X . (B) ∅. (C) P (X ). (D)以上答案均不成立.2. 令Z (x ): x 是整数,N (x ): x 是负数,S (x , y ): y 是x 的平方,则“任何整数的平方均非负”可符号化为( ).(A)())(),()(y N y x S x Z y x ⌝→∧∀∀.(B)())(),()(y N y x S x Z y x ⌝→∧∃∀.(C)())(),()(y N y x S x Z y x ⌝∧→∀∀ . (D)())(),()(y N y x S x Z x ⌝→∧∀. 3.设),(≤L 是格,G 为),(≤L 到自身的格同态映射组成的集合,则G 关于映射的复合“ ”运算构成( ).(A) 群. (B) 环. (C) 格. (D) 独异点. 4.给定下列序列,可构成简单无向图的节点度数序列的为( ). (A)(1, 3, 4, 4, 5). (B)(0, 1, 3, 3, 3). (C)(1, 1, 2, 2, 2). (D) (1, 1, 2, 2, 3). 5.设G 是n 阶简单无向图,则其最大度)(G ∆( ). (A) < n . (B) ≤ n . (C) > n . (D) ≥ n .三、设R 是实数集合,f : R ×R → R ×R , f (x , y ) = (x + y , x - y ).(1) 证明f 是双射. (2) 求出f 的逆函数f -1、f f1-和f f .四、图2给出的是集合A = {1,2,3,4,5,6}上关系R 的关系图,试画出R 的传递闭包t (R )的关系图,并用集合表示.五、利用真值表求命题公式()())()(p q r r q p →→↔→→的主析取范式和主合取范式.六、求赋权分别为2, 3, 5, 7, 8的最优2叉树.图2一、1. 32,0,30.2.))()(())()((x G x F x x F x G x ⌝∧∃∧→∀.3.∅,X ,X .4. 3,1,0.5.n 为奇数,3,4≤n .二、1(C); 2(B); 3(D); 4(D); 5(A). 三、证 ==⇔=-B A B B A ∅. (⇐)显然.(⇒)因为B A B A ⋂=-,根据B B A =-得B B B B A ⋂=⋂⋂)(,于是B = ∅,进而A = ∅. 四、解 由于R 和S 是对称的,所以S SR R==--11,.(⇐)因为R S S R =,两边取逆得11)()(--=R S S R ,而S R SRR S ==---111)(.所以S R S R =-1)(,因此S R 是对称关系.(⇒)由于S R 对称,所以S R S R =-1)(. 而R S RSS R ==---111)(,因而R S S R =. 五、解 (1)等值演算法 A 的主合取范式:))(())((r q p p q r A ∨→→→∨⌝= = ))(())((r q p p q r ∨∨⌝→∨⌝∨⌝= )())((r q p p q r ∨∨⌝∨∨⌝∨⌝⌝ = )()(r q p p q r ∨∨⌝∨⌝∧∧ = r q p ∨∨⌝(由吸收律得到). 于是,A 的主析取范式为))(())((r q p p q r A ∨→→→∨⌝== ∨⌝∧⌝∧∨⌝∧∧⌝∨∧⌝∧⌝∨⌝∧⌝∧⌝)()()()(r q p r q p r q p r q p )()()(r q p r q p r q p ∧∧∨⌝∧∧∨∧⌝∧.(2)真值表法由表可知,))(())((r q p p q r A ∨→→→∨⌝=的主合取范式为r q p A ∨∨⌝=.A 的主析取范式为A = ∨⌝∧⌝∧∨⌝∧∧⌝∨∧⌝∧⌝∨⌝∧⌝∧⌝)()()()(r q p r q p r q p r q p )()()(r q p r q p r q p ∧∧∨⌝∧∧∨∧⌝∧.七、证(反证)假设G 中不含圈. 设G 有k (k ≥ 1)个连通分支k G G G ,...,,21,其节点个数分别为k n n n ,...,,21,其边数分别为k m m m ,...,,21. 这时,iG为树,根据树的基本性质有1-=i i n m )1(k i i ≤≤. 进而n k n n m m ki i ki i <-=-==∑∑==)1(11,与已知n m ≥矛盾. 证毕.一、1. ∈,∈,⊆.2.{(1,5), (3, 2), (2, 5)}, {(4, 2), (3, 2), (1, 4)}, {(1, 2), (2, 2)}.3. 1, 2, 1.4. ,,,),((⋂⋃X P ∅, X ), 2n , n .5. 3, 9.二、1(D); 2(B); 3(A); 4(C); 5(C).三、证 对于任意A x x ∈21,,若)()(21x f x f =,则))(())((21x f g x f g =,于是))(())((21x f g x g f =. 由于g f 是单射,所以21x x =,因此f 是单射.例如,A = {a , b }, B = {1, 2, 3}, C = {α, β, γ}, f = {(a , 1), (b , 2)}, g = {(a , α), (b , β), (c , β)}, 这时)},2(),,1{(βα=g f ,它是A 到C 的单射,但g 不是单射.四、解 R 的关系图如下:}),(),,(),,(),,(),,(),,(),,{()(d d b b a a c a c c d b b a R r =, }),(),,(),,(),,(),,(),,(),,{()(a c b d a b c a c c d b b a R s =. }),(),,(),,(),,(),,{()(d a c a c c d b b a R t =.五、证 根据Euler 公式,G 的面数为r = 12 – 6 +2 = 8. 由握手定理知,∑=⋅=vv 24122)deg(,而简单连通平面图的每个面至少由3条边围成,所以G 的每个面恰由3条边围成.六、证 用6个节点分别表示这6个人,可得6阶完全无向图6K . 若两个人认识,则在相应的两个节点所在的边上涂上红色,若两个人不认识,则在相应的两个节点所在的边上涂上蓝色.对于任意的6K 的节点v ,因为5)deg(=v ,与v 邻接的边有5条,当用红、蓝颜色去涂时,至少3条边涂的是同一种颜色,不妨设321,,vv vv vv 是红色. 若3条边21v v ,32v v ,31v v 是红色,则存在红色3K,这意味着有3个人相互认识; 若21v v ,32v v ,31v v 都是蓝色,则存在蓝色3K,这意味着有3个人相互不认识. 结论成立.abd一、1.{1, 3, {1, 2}, {3}};{{2, 3}, {1}};{1, 3, {1, 2}, {3}, {2, 3}, {1}}.2.0,1,0.3. ))()((x O x Z x →⌝∀.4. p n , p 为素数,n 为正整数.5. 是,3,10.二、1(B); 2(C); 3(D); 4(C); 5(A).三、证 对于任意C z ∈,由于g f 是满射,必存在A x ∈,使得z x f g x g f ==))(())(( . 令B x f y ∈=)(,有z y g =)(,因此,g 是满射.设},,{c b a A =,}3,2,1{=B ,},{βα=C ,令B A f →:,,:C B g → 3)(,3)(,2)(===c f b f a f ,βαβ===)3(,)2(,)1(g g g .这时,α==))(())((a f g a g f ,β==))(())((b f g b g f ,显然有},{)(ran βα=g f ,g f 是满射. 而ran f = {2, 3},f 不是满射. 四、证 (1)对于任意x ∈ Z , 由于x xx x+=+22, 所以(x , x ) ∈ R , 即R 是自反的.(2)因为(0, 0) ∈ R , 因此R 不是反自反的. (3)对于任意x , y ∈ Z , 若(x , y ) ∈ R , 则y yx x +=+22, 于是x xy y+=+22, 进而(y , x ) ∈ R , 即R是对称的.(4)因为(2, -3) ∈ R 且(-3, 2) ∈ R ,因此R 不是反对称的. (5)对于任意x , y , z ∈ Z , 若(x , y ) ∈ R 且(y , z ) ∈ R , 则y yx x +=+22且z zy y+=+22,于是z zx x+=+22,所以(x , z ) ∈ R , 即R 是传递的.综上所述,知R 是自反的、对称的和传递的.五、解 命题公式)())(q p q p A ⌝→↔→⌝=的真值表如下:A 的主析取范式为:)()(q p q p A ⌝∧∨∧=.A 的主合取范式为:)()(q p q p A ∨∧⌝∨=.六、证 对于任意的6K 的节点v ,因为5)deg(=v ,与v 邻接的边有5条,当用红、蓝颜色去涂时,至少3条边涂的是同一种颜色,不妨设321,,vv vv vv 是红色. 若3条边21v v ,32v v ,31v v 是红色,则存在红色3K ; 若21v v ,32v v ,31v v 都是蓝色,则存在蓝色.一、1.自反性、对称性和传递性.2. Abel.3. 6.4. 封闭性和结合性.5. 不含圈的连通.二、1(A); 2(C); 3(B); 4(D); 5(C).三、证 对于任意A b a ∈,,假定)()(b f a f =. 由于≤是偏序,于是a a ≤,所以)(a f a ∈,进而)(b f a ∈,根据定义知b a ≤. 同理可证,a b ≤. 根据偏序的反对称性有b a =,因此f 是单射.当b a ≤时,对于任意)(a f x ∈,于是a x ≤. 根据偏序的传递性有b x ≤,即)(b f x ∈,故)()(b f a f ⊆.四、证 (1) 与非联结词“↑”的运算表如下:(2)p p p p p ↑=∧⌝=⌝)(.)()()())((q p q p q p q p q p ↑↑↑=↑⌝=∧⌝⌝=∧. )()()()()(q q p p q p q p q p ↑↑↑=⌝↑⌝=⌝∧⌝⌝=∨.五、解 ))),(),((),,((v y vQ u x uQ z y x zP y x ∃→∃∧∃∀∀=))),(),((),,((v y vQ u x uQ z y x zP y x ∃∨⌝∃∧∃∀∀ =))),(),((),,((v y vQ u x Q u z y x zP y x ∃∨⌝∀∧∃∀∀ =))),(),((),,((v y Q u x Q v u z y x zP y x ∨⌝∃∀∧∃∀∀ =))),(),((),,((v y Q u x Q z y x P v u z y x ∨⌝∧∃∀∃∀∀ 六、证 (1)根据Euler 公式,有2+-=n m r . (2)31052)2(5-≤⇒≤+-n m m n m .(3) 若Petersen 图是平面图,由于其每个面至少5条边围成,于是由(2)知3105-≤n m . 因为在Petersen图中,m = 15, n = 10, 于是31010515-⋅≤,矛盾.一、1. 2n 2. 反自反、反对称、传递 3. 是 4. 独异点 5. 上确界和下确界.二、1(C); 2(A); 3(B); 4 (D); 5(B).三、(1)证 对于任意∈),(),,(2211y x y x R ⨯ R ,若)),(()),((2211y x f y x f =,于是),(),(22221111y x y x y x y x -+=-+,进而2211y x y x +=+且2211y x y x -=-. 由此可得,2121,y y x x ==,因而),(),(2211y x y x =,故f 是单射.对于任意∈),(q p R ⨯ R ,取2,2q p y q p x -=+=,容易得知),(),()),((q p y x y x y x f =-+=.由上可知,f 是双射. (2)解 由上的证明过程知,⎪⎭⎫⎝⎛-+=-2,2)),((1y x y x y x f.(3)解 很显然If f=- 1R ⨯R ,即),()),)(((1y x y x f f=- .)2,2())()(),()(()),(()),)(((y x y x y x y x y x y x y x f y x f f =--+-++=-+= .四、解 }),(),,(),,(),,(),,{()(c c b b c b b a a a I R R r A=⋃=.}),(),,(),,(),,(),,{()(1b c a b c b b a a a RR R s =⋃=-.}),(),,(),,(),,{()(c a c b b a a a R t =. 五、证(1))(x xP ∀ P (2)P (c ) US(1) (3))))()(()((x R y Q x P x ∧→∀ P (4)))()(()(c R y Q c P ∧→ US(3) (5))()(c R y Q ∧ T(2)(4)I (6)Q (y ) T(5)I (7)R (c ) T(5)I (8))()(c R c P ∧ T(2)(7)I (9)))()((x R x P x ∧∀ UG(8) (10)))()(()(x R x P x y Q ∧∀∧ T(6)(9)I六、证 设G 是一棵阶数2≥的无向树,k k v v v v L 121...:-是G 中的最长路径. `若1v 和k v 至少有一个不是树叶,不妨设k v 不是树叶,即2)deg(≥k v ,则k v 除与1-k v 邻接外,还存在1+k v 与k v 邻接. 若1+k v 在L 上,则G 中存在圈,不可能. 若1+k v 不在L 上,则G 中存在一条比L 长1的路径1121...+-k k k v v v v v ,与L 是G 中最长路径矛盾.一、1. 1,3,5,7,11,13,17,19.2. 平行.3. 010, 100, 101, 110, 111.4. 2.5. 3.二、1(B); 2(A); 3(D); 4(C); 5(A). 三、(1)证任意∈),(),,(2211y x y x R ×R , 若),(),(2211y x f y x f =,则),(),(22221111y x y x y x y x -+=-+,进而2211y x y x +=+且2211y x y x -=-,于是21x x =且21y y =,从而f 是单射.任意∈),(q p R ×R , 取⎪⎩⎪⎨⎧-=+=22qp y q p x , 通过计算易知),(),(q p y x f =,因此f 是满射. 故f 是双射.(2) 解 由上面的证明知,f 存在逆函数且⎪⎭⎫⎝⎛-+=-2,2),(1y x y x y x f.又()()),(2,2,1y x y x y x f y x ff=⎪⎭⎫⎝⎛-+=- ,即If f=- 1R ×R ,而()()())2,2())()(),()((,,y x y x y x y x y x y x y x f y x ff=--+-++=++= .四、解 R 的传递闭包t (R )的关系图如下:于是,有t (R ) = {(1, 3), (3, 1), (2, 3), (4, 3), (4, 5), (6, 5), (1, 1), (3, 3),(2,1),(4,1)}. 五、解 首先写出命题公式()())()(p q rr q p A →→↔→→=的真值表如下:从真值表可得命题公式A 的主析取范式为:∨⌝∧⌝∧∨∧⌝∧∨∧∧=)()()(r q p r q p r q p A)()()(r q p r q p r q p ⌝∧⌝∧⌝∨∧⌝∧⌝∨⌝∧∧⌝.命题公式A 的主合取范式为:)()(r q p r q p A ∨⌝∨⌝∧⌝∨⌝∨=.七、解 对于2, 3, 5, 7, 8,先组合两个最小的权2+3 = 5, 得5, 5, 7, 8;在所得到的序列中再组合5+5 = 10, 重新排列后为7, 8, 10;再组合7+8 =15, 得10, 15;最后组合10+15 = 25.2515108710875587532所求的最优2叉树树如下:。
离散数学作业1

离散数学作业1Problem1判断下列这些条件语句是真是假:a)如果1+1=2,则2+2=5。
c)如果1+1=3,则2+2=5b)如果1+1=2,则2+2=4 d)如果2+2=4,则1+2=3。
Problem2你有资格当美国总统仅当你已年满35岁、出生在美国或者你出生时你的双亲是美国公民并且你再这个国家至少生活了14年。
用e:“你有资格当美国总统”,a:“你已年满35岁”,b:“你出生在美国”,p:“在你出生的时候,你的双亲均是美国公民”和r:“你在美国至少生活了14年”来表达你的答案。
Problem3假设在通往两个房间的门上均写着提示。
第一扇门上的提示为:“在这个房间里有一位美女,而在另一个房间里则是一只老虎”;在第二扇门上写着“在两个房间中有一个是美女,并且有一个是老虎”。
假定你知道其中一个提示是真的,另一个是假的。
那么哪扇门后面是美女呢?1Problem4不借助真值表,试解释为什么在p、q和r至少有一个为真并且至少有一个为假时(p∨q∨r)∧(¬p∨¬q∨¬r)为真,而当三个变量具有相同真值时为假。
Problem5用真值表验证德·摩根第一定律。
Problem6判断(¬p∧(p→q))→¬q是否为永真式。
Problem7证明¬p→(q→r)和q→(p∨r)逻辑等价。
Problem8证明(p→q)→(r→s)和(p→r)→(q→s)不是逻辑等价。
Problem9试判断下列复合命题是否是可满足的。
a)(p∨¬q)∧(¬p∨q)∧(¬p∨¬q)b)(¬p∨¬q∨r)∧(¬p∨q∨¬s)∧(p∨¬q∨¬s)∧(¬p∨¬r∨¬s)∧(p∨q∨¬r)∧(p∨¬r∨¬s)2c)(p∨q∨r)∧(p∨¬q∨¬s)∧(q∨¬r∨s)∧(¬p∨r∨s)∧(¬p∨q∨¬s)∧(p∨¬q∨¬r)∧(¬p∨¬q∨s)∧(¬p∨¬r∨¬s)Problem10通过对p、q、r、s赋一组真值,析取p∨¬q∨s、¬p∨¬r∨s、¬p∨¬r∨¬s、¬p∨q∨¬s、q∨r∨¬s、q∨¬r∨¬s、¬p∨¬q∨¬s、p∨r∨s、p∨r∨¬s中有多少个可以同时为真?3。
苏XI友离散数学作业(1-3章)

0
0
0
101 0 1 0 1
0
0
0
110 0 0 1 1
0
0
0
111 0 0 0 1
0
0
0
由真值表知,公式A为矛盾式(永假式).
4
作业1
P33-1.7 (8)设B=(pq)→¬ (p∨q),公式B的真值 表为:
p q pq p∨q ¬ (p∨q)
B
00
1
0
1
1
01
0
1
0
1
10
0
1
0
1
11
1
1
0
∃x(M(X)∧∀y(F(y)→L(x,y))).
北京林业大学信息学院 苏喜友
15
作业5
(3)没有不犯错误的人.
设M(x):x是人, C(x):x犯错误. 符号化为:
¬ ∃x(M(X)∧¬ C(x)),
or
∀x(M(x)→C(x)).
(4)在北京工作的人未必都是北京人.
设W(x):x是在北京工作的人, B(x):x是北京 人. 符号化为:
¬ ∀x(W(x)→B(x)),
or
∃x(W(X)∧¬ B(x)).
北京林业大学信息学院 苏喜友
16
作业5
(5)任何金属都可以溶解在某种液体中. 设M(x):x是金属, L(x):x是液体, R(x,y):x 溶解在y中. 符号化为: ∀x(M(x)→∃y(L(y)∧R(x,y))).
(6)凡对顶角都相等. 设D(x,y):x与y是对顶角, E(x,y):x=y. 符号 化为: ∀x∀y(D(x,y)→E(x,y)).
2
作业1
(6)只有天下大雨,他才乘公共汽车上班. 设p:天下大雨,q:他乘公共汽车上班. 符号化为:q→p,或¬ p→¬ q. (7)除非天下大雨,否则他不乘公共汽车上班. 设p:天下大雨,q:他乘公共汽车上班. 符号化为:q→p,或¬ ¬ q→p,¬ p→¬ q. (8)不经一事,不长一智. 设p:经一事,q:长一智. 符号化为:¬ p→¬ q,或q→p.
离散数学作业

离散数学作业-离散数学专业班级学号姓名第⼀章命题逻辑的基本概念⼀、单项选择题1.下列语句中不是命题的有().A 9+5≤12 B. 1+3=5 C. 我⽤的电脑CPU 主频是1G 吗?D.我要努⼒学习。
2. 下列语句是真命题为( ).A. 1+2=5当且仅当2是偶数B. 如果1+2=3,则2是奇数C. 如果1+2=5,则2是奇数D. 你上⽹了吗? 3. 设命题公式)(r q p ∧→?,则使公式取真值为1的p ,q ,r 赋值分别是( )0,0,1)D (0,1,0)C (1,0,0)B (0,0,0)A (4. 命题公式q q p →∨)(为 ( )(A) ⽭盾式 (B) 仅可满⾜式 (C) 重⾔式 (D) 合取范式 5. 设p:我将去市⾥,q :我有时间.命题“我将去市⾥,仅当我有时间时”符号化为为( )q p q p q p p q ?∨??→→)D ()C ()B ()A (6.设P :我听课,Q :我看⼩说. “我不能⼀边听课,⼀边看⼩说”的符号为() A. Q P →; B. Q P →?; C. P Q ?∧? ; D. )(Q P ∧? ⼆、判断下列语句是否是命题,若是命题是复合命题则请将其符号化(1)中国有四⼤发明。
(2)2是有理数。
(3)“请进!”(4)刘红和魏新是同学。
(5)a+b(6)如果买不到飞机票,我哪⼉也不去。
(8)侈⽽惰者贫,⽽⼒⽽俭者富。
(韩⾮:《韩⾮⼦?显学》)(9)⽕星上有⽣命。
(10)这朵玫瑰花多美丽啊!⼆、将下列命题符号化,其中p:2<1,q:3<2 (1)只要2<1,就有3<2。
(2)如果2<1,则3≥2。
(3)只有2<1,才有3≥2。
(4)除⾮2<1,才有3≥2。
(5)除⾮2<1,否则3≥2。
(6)2<1仅当3<2。
离散数学专业班级学号姓名三、将下列命题符号化(1)⼩丽只能从筐⾥拿⼀个苹果或⼀个梨。
《离散数学》作业

A. 0
B. 1
C. 2
D. 不能确定
18.设无向图 G 有 16 条边且每个顶点的度数都是 2,则图 G 有(D )个顶点。
A. 10
B. 4
C. 8
D. 16
19.A,B,C是三个集合,则下列哪几个推理正确:(A)
A. A B,B C=> A C
B. A B,B C=> A∈B C. A∈B,B∈C=> A∈C
(3),(4)
(6) Q→S
前提
(7) S
(5),(6)
(8) R S
CP,(1),(8)
2.A→(C B),B→ A,D→ C => A→ D
第 5 页 共 13 页 在您完成作业过程中,如有疑难,请登录学院网站“辅导答疑”栏目,与老师进行交流讨论!
证明:(1) (2) (3) (4) (5) (6) (7) (8) (9)
A. m-n+2
B. n-m-2
C. n+m-2
D. m+n+2。
24.设无向图 G 有 18 条边且每个顶点的度数都是 3,则图 G 有( D )个顶点。
A. 10
B. 4
C. 8
D. 12
25、A,B,C 是三个集合,则下列哪个推理正确?( 1 )
(1) A B,B C A C
(2) A B,B C A B
D. xy(y=2x) ( T )
3.有 n 个结点的树,其结点度数之和是( 2n-2
)。
4.举出集合 A 上的既是等价关系又是偏序关系的一个例子。( IA ) 5.群<G,*>的等幂元是( 单位元 ),有( 1 )个。
6.下面给出的集合中,哪一个不是前缀码( A )。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
***********2020 春课件作业***********第一部分集合论第一章集合的基本概念和运算1-1 设集合 A ={{2,3,4},5,1},下面命题为真是(选择题) [A] A.1 ∈A; B.2 ∈ A; C.3 ∈A; D.{3,2,1} ⊆ A。
1-2 设 S = {N,Z,Q,R},判断下列命题是否正确(是非题)(1) N ⊆ Q,Q ∈S,则 N ⊆ S,[错](2)-1 ∈Z,Z ∈S,则 -1 ∈S 。
[错]第二章二元关系2-1 设 A = {1,2,3},A 上的关系 R = {〈3,2〉,〈2,3〉}∪IA,试求:(综合题)(1)domR =?; (2)ranR =?; (3)R 的性质。
(4)商集 A/R =?(5)A 的划分∏=?(6)合成运算(R 。
R)=?答:R = {<1,2>,<1,3>,<2,3>,<1,1>,<2,2>,<3,3>};(1)DomR={R中所有有序对的x}={3,2,1};(2)RanR={R中所有有序对的y}={2,1,3};(3)R 的性质:自反,反对称,传递性质.这时,R 不是等价关系。
(4)商集A/R = {{1,2,3},{2,3},{3}}。
由于R 不是等价关系,所以,等价类之间出现交集。
这是不允许的。
请看下面的划分问题。
(5)A的划分∏={{1,2,3},{2,3},{3}};也由于R不是等价关系,造成划分的荒谬结果:出现交集。
试问:让“3”即参加第一组,又参加第二组,她该如何分配呢所以,关系 R 必须是等价关系。
至于作业中,此两题应说:因为R 不是等价关系,此题无解2-2设S ={1,2,3},S上的关系R 如下:R = {〈x,y〉︱x < y },试完成下列要求:1、给出R 的所有元素。
R={〈1,1>,<2,2>,<3,3>}2、给出domR 的表达式。
domR ={1,2,3}3、给出ranR 的表达式。
ranR ={1,2,3}4、指出R 的性质。
性质为:自反,对称,传递2-3 设S ={3,1,2},S上的关系R 如下:R = {〈x,y〉︱x > y },试完成下列要求:1、给出R 的所有元素。
R= {(3,3),(1,1),(2,2) }2、给出domR 的表达式。
domR = {3,1,2}//前域3、给出ranR 的表达式。
ranR = {3,1,2}4、指出R 的性质。
答:自反性,传递性,对称性,反对称性第三章结构代数(群论初步)3-1 设 Z 为整数集合,在 Z 上定义二元运算“。
”,对于所有 x,y ∈Z 都有 x 。
y = x + y试问?在 Z 上二元运算。
〈Z ,。
〉能否构成代数系统,何种代数系统?为什麽?(综合题)答:1、满足封闭性,构成代数系统。
2、经验证满足结合律,所以为半群。
3、幺元为 0,所以为幺半群。
(经解联立方程组).4、设 y 是 x 的逆,所以有 y = – x *(解联立方程组得到)5、结论:构成群。
3-2 设 Z 为整数集合,在 Z 上定义二元运算“。
”,对于所有 x,y ∈Z 都有 x 。
y = x - y试问?在 Z 上二元运算。
〈Z ,。
〉能否构成代数系统,何种代数系统?为什麽?(综合题)答:1、满足封闭性,构成代数系统。
2、经验证满足结合律,所以为半群。
3、幺元为0,所以为幺半群。
(经解联立方程组).4、设 y 是 x 的逆,所以有 y = – x *(解联立方程组得到)5、结论:构成群。
3-3 设 N 为自然数集合,在 N 上定义二元运算“。
”,对于所有 x,y ∈ N 都有x 。
y = x + y试问〈N ,。
〉能否构成何种代数系统,为什麽?(综合题)3-4 设 N 为自然数集合,在 N 上定义二元运算“。
”,对于所有 x,y ∈ N 都有x 。
y = x - y试问? 能否构成何种代数系统,为什麽?(综合题)第二部分图论方法第四章图 (是非题)4-1 无向图G中有10条边,4个3度顶点,其余顶点度数全是2,共有 8 个顶点。
[非]第五章树5-1 给出传输 GOODBYE 的最佳前缀码每个字母出现频率分为:G、D、B、E、Y:14%,O:28%;(也可不归一化,以字符出现的次数为频率).1、最优二元树 T;2、每个字母的码字;3、二进制码多少个; 4.等长码共多少位?编码如下:G(000),D(001),B(100),E(101),Y(01),O(11)。
G,D,B,E 分别用3位二进制码,共12 位。
加上 Y =用2位。
再加上两个O的4位。
总共18位。
用树的权W(T)= 累加 wixhi( 即每片树叶的权x树叶的高度,加在一起) =1x3+1x3+1x3+1x3+1x2+2x2 = 18把每个符号所用码字数,加起来,共 18 位。
但是,若用树的权 W(T)= 4 个 14x3 加起来,再加上 1 个 14x2,再加上28x2 ,等于 252。
5-2 树叶权为2,3,4,5,6 的二元树T 的最小权及T 产生的前缀码。
权 W(T)= (2 + 3 + 4 + 4)* 4 + (5+6)*3 = 835-3 在网络上给外国友人发邮件时,”Hello”最少用二进制前缀码多少个?1、最优二元树 T;2、每个字母的码字;3、二进制码多少个; 4.等长码共多少位?hello =二进制码:['1101000', '1100101', '1101100', '1101100', '1101111']5-4 通信中 a,b,c,d,e 出现的频率均为 20%; 试完成下列要求。
(综合题) 1、最优二元树 T;2、二元树的权 W(T)=;3、每个字母的码字;a( ),b( ),c( ),d( ),e( )4、若用等长码共多少位?第三部分逻辑推理理论第六章命题逻辑6-1 若他学计算机专业,他必定学好离散数学。
若他不是学英语的,他必是学计算机的。
他没有学好离散数学。
所以他是学英语的。
(1)符号化:p:他学计算机;q:他学好离散数学;r:他学英语。
(2)前提:p→q,﹃r→p,﹃q。
(3)结论:r。
(4)证明:引入前提p→q,﹃q后,利用公式”拒取式”得到﹃p,再引入前提﹃r→p,利用”拒取式”公式,得到结果:r。
(5)扣题:证明结果与要证明的结论一致,推理正确。
6-2 将下列推理命题符号化,然后用不同方法判断推理结果是否正确。
(综合题)如果今天不下雨,则明天上体育课。
今天没有下雨。
所以,明天上体育课。
要求方法如下:答:如果今天下雨,则明天不上体育课。
今天下雨了。
所以,明天没有上体育课。
题解与分析:首先将原子命题符号化,然后,按题意将原子命题组织成公式。
再用不同方法,例如用等值演算法判断推理的正确与否。
公式是重言式,所以,推理正确。
方法 1:等值演算法((p→﹃q)∧p)→﹃q ﹤=﹥1;方法 2:构造证明法,如下:(1)将原子命题符号化:(2)按题意构成前提:(p→﹃q),p;(3)按题意构成结论:﹃q;(4)证明:(1)(p→﹃q)前提引入(2) p 前提引入(3)(p→﹃q)∧p (1)(2)假言推理(4)﹃q6-3 请在合适的逻辑中构造下面论题的证明:(1)前提:p∧q→r,﹁s∨q,p。
(2)结论:s→r 。
(3)证明:采用附加前提法。
引入前提﹃s∨q 及附加前提 s 后,利用公式”假言推理”得到 q,再引入前提 p,再利用”假言推理”公式,得到结果:r。
6-4用构造证明法证明下面推理的正确性。
如果天不下雨,则上体育课.天没有下雨.所以我们上体育课.(1)将原子命题符号化:p:天下雨,q:走路上班. 切切不可 p 表示天不下雨.(2)前提: ﹁p→q,﹁p;(3)结论: q;(4)证明:证明:﹁p→q 前提引入;﹁p 前提引入;(﹁p→q) ∧﹁p 假言推理;q.(5 )扣题:要证明的结论与证明结果一致,所以推理正确第七章谓词逻辑7-1 在谓词逻辑中将下列命题符号化(填空题)人固有一死。
∀x(M(x)→F(x))。
《附录》习题符号集Ø 空集, ∪并, ∩交,⊕对称差,~绝对补,∑累加或主析取范式表达式缩写 , -普通减法, ÷普通除法, ㏑自然对数, ㏒对数,﹃非,∀量词”所有”,”每个”,∨析取联结词,∧合取联结词,彐量词”存在”,”有的”,∏划分。