基础证明题

bosscgnaruto

7 A7 K6 l! z! c& H' q4 \: u: ?6 o: d
/ O! I) \7 n0 Z6 k证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
* @, Y" K3 O0 L: y0 z5 P0 z                                             元关系合成运算）
+ h6 f5 g0 E2 a+ J2 O   对于所有的<x,y>
8 R$ {' L; g. ]≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
, c5 q! U4 v' B/ N# b* b/ [                                                   词约束“存在”)
≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
( ^$ Y- O  T  w( x* r% M=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
5 S! ?8 V' u6 F" }4 R≌ <x,z>∈（R1。R2∩R1。R3）
- G) L6 n3 |& W) \8 h, B
& ?9 J7 w& Z1 u& F: R) {/ s( T+ e) X提问：
- K' {9 l% `/ H& }为什么“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  ”，最好说明引用什么定理
为什么不是“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)≌Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1)) ”
3 m1 z( S3 t6 d5 S; o6 v' I

mnpfc

有些符号没看明白

ysh

看不太明白，QQQQQQQQQQQQQQQQ