- 在线时间
- 0 小时
- 最后登录
- 2009-1-14
- 注册时间
- 2009-1-13
- 听众数
- 0
- 收听数
- 0
- 能力
- 0 分
- 体力
- 34 点
- 威望
- 0 点
- 阅读权限
- 20
- 积分
- 12
- 相册
- 0
- 日志
- 0
- 记录
- 0
- 帖子
- 4
- 主题
- 3
- 精华
- 0
- 分享
- 0
- 好友
- 0
升级   7.37% 该用户从未签到
 |
本帖最后由 bosscgnaruto 于 2009-1-13 23:53 编辑
) h q8 G4 y! j" U: Q) p3 v! F: L
& |& b7 w9 i9 ~- p! T% K证明: R1。(R2∩R3)≦ R1。R2∩R3。R1 //("≦"为“属于”号,“。”为二
3 D+ k& E) p7 N: j 元关系合成运算)' E/ V+ j" U& B, q- G, p( `
对于所有的<x,y>
4 Z) O& J# G8 _2 v' u: [1 S% `≌ Εz(<x,z>∈(R2∩R3)Λ<z,y>∈R1) //("≌"为重言式等价符,"E"为谓
+ J* ]& ^* a& D 词约束“存在”)
) u. w0 M }# t: u) J≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1) & M- L6 |. W' c' _
=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1)) //("=>"为重言式推理符)) J. q7 {9 c- ]7 c0 D8 Z* [" L$ c
≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3) 4 i$ V/ n" d" t2 A
≌ <x,z>∈(R1。R2∩R1。R3)) S- T6 x, T u, ]! _$ q7 @
( j- n& P: L$ U% u提问:
5 X3 \- N) D Q' t% t2 Z为什么“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1)) ”,最好说明引用什么定理& v* ?) W5 O4 Z2 d. _1 h% k
为什么不是“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)≌Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1)) ”; B2 _# Q6 O3 Z3 q( @- d2 K
5 t+ w% G; w: L$ q6 K& p |
zan
|