基础证明题

bosscgnaruto

. u7 a$ b9 j. b( l" Z证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
1 F$ @; C( Z' t) d0 C                                             元关系合成运算）
   对于所有的<x,y>
≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
                                                   词约束“存在”)
≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
6 _6 O4 A) S2 u=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
) X# \" N0 O# o$ n6 h) F) @≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
. C' v: S/ \; n/ Y≌ <x,z>∈（R1。R2∩R1。R3）
7 O) o# q! E1 I6 ^. c
提问：
1 d: W2 b$ y, r  e  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)) ”
/ L$ T0 y2 y+ e9 a) N6 n9 a

mnpfc

有些符号没看明白

ysh

看不太明白，QQQQQQQQQQQQQQQQ