- 在线时间
- 0 小时
- 最后登录
- 2009-1-14
- 注册时间
- 2009-1-13
- 听众数
- 0
- 收听数
- 0
- 能力
- 0 分
- 体力
- 34 点
- 威望
- 0 点
- 阅读权限
- 20
- 积分
- 12
- 相册
- 0
- 日志
- 0
- 记录
- 0
- 帖子
- 4
- 主题
- 3
- 精华
- 0
- 分享
- 0
- 好友
- 0
升级   7.37% 该用户从未签到
 |
证明: R1。(R2∩R3)≦ R1。R2∩R3。R1 //("≦"为“属于”号,“。”为二6 ] N- N8 K# g) {2 W
元关系合成运算)
; t) j; |* s( a 对于所有的<x,y>
' z: X2 Z. r1 @4 r1 t( X) z≌ Εz(<x,z>∈(R2∩R3)Λ<z,y>∈R1) //("≌"为重言式等价符,"E"为谓
0 m2 i) p% ]1 v: f 词约束“存在”)7 b" `: P. O% {/ H& V
≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1) % S: P) u8 y; H+ g9 ^! i
=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1)) //("=>"为重言式推理符)0 I% q3 q+ a& U8 E8 Y4 c
≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3) 1 b N9 a5 f0 T- @
≌ <x,z>∈(R1。R2∩R1。R3)( _9 \! f0 b1 J1 W ?$ M; r# u; v
) \3 Q7 n6 @1 W% L0 ?! N9 Z/ V
提问:
E% E+ |/ l, d8 _. @. O3 i0 C: ^为什么“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1)) ”,最好说明引用什么定理
/ h& g7 W$ L: B. m5 h! G7 A为什么不是“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)≌Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1)) ” |
zan
|