基础证明题

bosscgnaruto

; v1 Z  x- ]4 r  N) ]
证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
. o+ v2 p1 [) _8 d                                             元关系合成运算）
& V/ {% s# W1 [! n9 D   对于所有的<x,y>
≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
                                                   词约束“存在”)
5 R6 H5 a! Z: a≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
0 U8 p7 w7 N1 t1 I$ u: S9 X' J! P=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
0 R* d$ s3 M  T$ L& E: K3 }≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
≌ <x,z>∈（R1。R2∩R1。R3）

提问：
为什么“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  ”，最好说明引用什么定理
7 e( g  ?5 i3 l7 |; ]8 E+ T为什么不是“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)≌Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1)) ”

) H, z9 ^9 m. s8 @4 b: }; m

mnpfc

有些符号没看明白

ysh

看不太明白，QQQQQQQQQQQQQQQQ