版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
请交作业三P54-55:14(1),15(2),17第二章补充题:1,2P74:9,11(1)(2),12(2)(4),13(1),14(2)P75:15,16(2)(4)(6),17(1),18,19,21P113:1,P114:2,3P115:11第十章补充题:P77:例4.2(3)(4)作业讲评二P33:10,15,19(1)(4)(5)P54:3,7P33.10用给定联结词集合表示公式①{,}②{,}③{,}
④{}⑤{}pqFGHR00011011
0010
0101
10101110F=pq
②
=
(pq)
③=(pq)①=
(p)q=
(pp)q⑤
=(p
q)
=(p(q))=
(p(qq))=(p(qq))(p(qq))④G=q①~⑤P33.10用给定联结词集合表示公式pqFGHR00011011
0010
0101
10101110H=q
①~③
=
qq=qq
④⑤R=(pq)
②
=pq④=
pq
③
=pq
①=
(pq)
=
(pq)
=
((pp)(qq))=
((pp)(qq))((pp)(qq))⑤①{,}②{,}③{,}④{}⑤{}P34.15某勘探队有3名队员,有一天取得一块矿样,3人的判断如下:甲说:这不是铁,也不是铜;乙说:这不是铁,是锡;丙说:这不是锡,是铁。经实验室鉴定后发现,其中一个人两个判断都正确,一个人判对一半,另一个人全错了。根据以上情况判断矿样种类。解:设P:矿样为铁,Q:矿样为铜,R:矿样为锡。则:甲:
P
Q
乙:P
R
丙:P
RP34.15设P:矿样是铁,Q:矿样是铜,R:矿样是锡“√”:全对,“&”:对一半,“×”:全错以甲为例,“√”:全对
P
Q“&”:对一半
(P
Q)(
P
Q)“×”:全错
P
Q例:甲全对,乙对一半,丙全错
(PQ)((PR)(P
R))(PR)=((PQ)(P
R)(PR))
((PQ)(PR)(PR))甲乙丙真值1√&×02√×&03×√&04×&√05&√×P
Q
R6&×√P
Q
R甲:
P
Q乙:
P
R丙:
P
RP35:19构造下述推理的证明前提:
(p
q),qr,
r
结论:p
证明:
①qr
前提引入
②r前提引入
③q
①②析取三段论
④(p
q)前提引入⑤pq④置换
⑥p
③⑤析取三段论⑤p结论否定引入⑥
pq
③⑤合取⑦(pq)(pq)
④⑥合取P35:19构造下述推理的证明(4)前提:
qp,qs,st,tr
结论:pqsr
证明:
①
tr
前提引入
②
t
①化简律
③
st前提引入
④(st)(ts)
③置换
⑤
ts
④化简律⑥
s②⑤假言推理
⑦qs前提引入⑧
(qs)(sq)⑦置换⑨
sq⑧化简律⑩q
⑥⑨假言推理⑾qp
前提引入⑿
p
⑩⑾假言推理⒀
r
①化简律⒁
pqsr⑥⑩⑿⒀合取
P35:19构造下述推理的证明(5)前提:
(pq)r,rs,
s,p
结论:q
证明:①rs
前提引入
②s前提引入
③
r
①②析取三段论
④(pq)r
前提引入⑤(pq)
③④拒取式
⑥pq
⑤置换
⑦p前提引入⑧
q⑥⑦析取三段论P53.3(个体域为“全总个体域”)(2)“有些人喜欢所有的花”F(x):x是人,G(y):y是花,
H(x,y):x喜欢yx(F(x)
y(G(y)H(x,y)))(5)任何金属都可以溶解在某种液体中F(x):x是金属,G(y):y是液体,
H(x,y):x溶解于y中x
(F(x)
y(G(y)
H(x,y)))x((M(x)F(x))x((M(x)F(x))这只大红书柜摆满了那些古书。解法1:
设
R(x):x是大红书柜
Q(y):y是古书
F(x,y):x摆满了y
a:这只
b:那些
F(R(a)
,Q(b))解法2:
设A(x):x
是书柜
B(x):x是大的
C(x):x是红的
D(y):y是古老的
E(y):y是图书
F(x,y):x摆满了y
a:这只
b:那些F(A(a)
B(a)
C(a)
,D(b)E(b))P54.7公式的解释给定解释I如下:D={1,2};谓词:G(x):G(1)=1,G(2)=0F(x):F(1)=0,F(2)=1(1)(x)(F(x)G(x))((x)F(x)(x)G(x))
((F(1)G(1))(F(2)G(2)))((F(1)F(2))(G(1)G(2)))((10)(01))((10)(01))
(11)(00)100
xA(x)=A(a1)A(a2)…A(an)G(x):x带红笔F(x):
x带蓝笔另一解释:D=自然数域谓词:G(x):x是奇数,
F(x):x是偶数。P54.7公式的解释给定解释I如下:D={1,2};谓词:G(x):G(1)=1,G(2)=0F(x):F(1)=0,F(2)=1(2)((x)F(x)(x)G(x))(x)(F(x)G(x))((F(1)F(2))(G(1)G(2)))((F(1)G(1))(F(2)G(2)))((10)(01))((10)(01))
(11)(00)100
xA(x)=A(a1)A(a2)…
A(an)
G(x):x带红笔F(x):
x带蓝笔另一解释:D=自然数域谓词:G(x):x是奇数,
F(x):x是偶数。第4章二元关系与函数4.1集合的笛卡儿积与二元关系4.2关系的运算4.3关系的性质4.4关系的闭包4.5等价关系和偏序关系4.6函数的定义和性质4.7函数的复合和反函数关系基本运算的性质
定理4.2
设F、G、H是任意关系,则有
F∘(GH)=F∘G
F∘H(GH)∘F=G∘F
H∘F
F∘(GH)F∘G
F∘H(GH)∘FG∘F
H∘F证明:仅证明⑶,类似地可证明⑴、⑵和⑷。
x,z
F∘(GH)(y)(x,y
GH
y,zF)(y)((x,yG
x,yH)
y,zF)(y)((x,yG
y,zF)
(x,yHy,zF))
(y)(x,yG
y,zF)
(y)(x,yH<y,zF)x,yF∘G
x,yF∘Hx,yF∘G
F∘H(x)(P(x)Q(x))Þ
(x)P(x)(x)Q(x)(x)(P(x)Q(x))=(x)P(x)(x)Q(x)合成运算对“”可分配合成运算对“”不可分配A上关系的幂运算设R为A上的关系,n为自然数,则R的n次幂定义为:
(1)R0={<x,x>|xA}=IA(恒等关系)
(2)Rn+1=Rn∘R
(n≥1)注意:对于A上的任何关系R1和R2都有
R10=R20=IA
对于A上的任何关系R都有
R1=R0∘
R=R定理
设R是A上的关系,m,nN,则
(1)Rm∘Rn=Rm+n(2)(Rm)n=Rmn
幂的求法[P84例4.8]设A={a,b,c,d},R={<a,b>,<b,a>,<b,c>,<c,d>},求R0,R1,R2,R3,R4,R5。解:R0=IA,其关系矩阵和关系图分别为幂的求法设A={a,b,c,d},R={<a,b>,<b,a>,<b,c>,<c,d>}求R0,R1,R2,R3,R4,R5。解:R1=R,其关系矩阵和关系图为幂的求法设A={a,b,c,d},R={<a,b>,<b,a>,<b,c>,<c,d>}解:R2=R∘R
,关系矩阵为关系图幂的求法设A={a,b,c,d},R={<a,b>,<b,a>,<b,c>,<c,d>}解:R3=R2∘R
,其关系矩阵为关系图同理,R4=R3∘R=R2,
R5=R4∘
R=R3还可以得到——
R2=R4=R6=…,R3=R5=R7=…
幂的求法(续)说明:对于有限集A上的关系R,R不同的幂只有有限个!R0,R1,R2,R3,…的关系图如下图所示:幂的求法(续)4.3关系的性质自反性反自反性对称性反对称性传递性关系的自反性
定义:
设RAA,(x)(xA
x,xR),则称R在A上是自反的。自反关系的特点其关系矩阵MR的主对角线全为1;其关系图中每一个结点上都有自回路。实例:设A={1,2,3},A上的二元关系RR={1,1,2,2,3,3,1,2}自反关系——全域关系EA恒等关系IA
小于等于关系LA
整除关系DA关系的反自反性定义:设RAA,(x)(xAx,xR),则称R在X上是反自反的反自反关系的特点其关系矩阵MR的主对角线全为0;其关系图中每一个结点上都没有自回路。实例:设A={1,2,3},X上的二元关系
R={1,2,2,3,3,1},反自反关系——空关系实数集的小于关系实例关系性质自反性反自反性R1×R2×R3××
例1A={1,2,3},R1,R2,R3是A上的关系,其中R1={<1,1>,<2,2>,<3,3>,<1,2>}R2={<1,3>}R3={<1,1>,<2,2>}关系的对称性定义:
设RAA,(x)(y)(xAyAx,yRy,xR)
则称R在A上是对称的。对称关系的特点其关系矩阵MR是对称阵。其关系图中,如果两个不同的结点间有边,一定有方向相反的两条边。实例:设A={1,2,3},A上的二元关系R={1,2,2,1,3,3}
对称关系——全域关系EA,恒等关系IA空关系关系的反对称性定义:
设RAA,(x)(y)(xAyAx,yRy,xR(x=y))则称R在A上是反对称的。反对称关系的特点其关系矩阵MR中以主对角线为轴的对称位置上不能同时为1(主对角线除外)。其关系图中,每两个不同结点间至多有一条边。实例:设A={1,2,3},A上的二元关系R={1,2,2,3,3,3>}
反对称关系——恒等关系IA小于等于关系LA实例关系性质对称性反对称性R1R2×R3×R4××
例2设A={1,2,3},R1,R2,R3和R4都是A上的关系,
R1={<1,1>,<2,2>},
R2={<1,1>,<1,2>,<2,1>}R3={<1,2>,<1,3>},
R4={<1,2>,<2,1>,<1,3>}
关系的传递性
定义:设RAAxyz(xAyAzA<x,y>R<y,z>R
<x,z>R)则称R是A上的传递关系.传递关系在关系图上的特点若xi到xk有边,xk到xj有边,则从xi到xj有边。实例:A上的全域关系EA,恒等关系IA和空关系
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025年全球及中国弹性墙面涂料行业头部企业市场占有率及排名调研报告
- 2025年全球及中国无塑餐盒封口纸行业头部企业市场占有率及排名调研报告
- 山东省日照市莒县高三上学期期末考试(语文)试卷(含答案)
- 吊车租赁合同范本参考
- 2025加盟合同书样式
- 货车包月合同范本
- 范文环保验收合同范本
- 装修管理服务合同范本
- 搭棚施工承包合同
- 2025技术许可合同
- 五年级上册口算练习1000题及答案
- 五年级数学(小数四则混合运算)计算题及答案汇编
- 数学六年级上册《弧长》课件
- 体检科运营可行性报告
- 广东省广州市黄埔区2023-2024学年八年级上学期期末生物试卷+
- 北京市丰台区市级名校2024届数学高一第二学期期末检测模拟试题含解析
- 设立项目管理公司组建方案
- 薪酬战略与实践
- 答案之书(解答之书)-电子版精选答案
- 中国古代文学史 马工程课件(上)01总绪论
- 上海中心大厦-介绍 课件
评论
0/150
提交评论