WORD格式可编辑专业知识整理分享第七章作业评分要求：1
合计100分2
给出每小题得分(注意:写出扣分理由)
总得分在采分点1处正确设置
1设R={|x,y∈N且x+3y=12}
【本题合计10分】(1)求R的集合表达式(列元素法);(2)求domR,ranR;(3)求R
R;(4)求R
{2,3,4,6};(5)求R[{3}];解(1)R={,,,,}【2分】(2)domR={0,3,6,9,12},ranR={0,1,2,3,4}【2分】(3)R
R={,}【2分】(4)R
{2,3,4,6}={,}【2分】(5)R[{3}]={3}【2分】2设R,F,G为A上的二元关系
证明:(1)R
(F∪G)=R
【本题合计18分：每小题6分，证明格式正确得3分，错一步扣1分】证明(1)
t(xRt∧t(F∪G)y)复合定义
t(xRt∧(tFy∨tGy)∪定义
t((xRt∧tFy)∨(xRt∧tGy))∧对∨分配律
t(xRt∧tFy)∨
t(xRt∧tGy)
F)y∨x(R
G)y复合定义
G)y∪定义得证(2)
(F∩G))y
t(xRt∧t(F∩G)y)复合定义
t(xRt∧(tFy∧tGy))∩定义
t((xRt∧tFy)∧(xRt∧tGy))∧幂等律,∧交换律,∧结合律
t(xRt∧tFy)∧
t(xRt∧tGy)补充的量词推理定律
F)y∧x(R
G)y复合定义
G)y∪定义WORD格式可编辑专业知识整理分享得证(3)
s(∈R∧∈(F
t(∈F∧∈G)))
t(∈R∧∈F∧∈G)辖域扩张公式
