基础证明题

bosscgnaruto

4 U* W" w$ a* f# x1 z* a5 j# G
8 \5 t6 j: s( @, J2 I证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
- q# ?: G+ B" z5 L- B9 w                                             元关系合成运算）
   对于所有的<x,y>
- U' Z! j8 @0 ^≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
                                                   词约束“存在”)
≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
7 L$ ]# p; ^5 g) b) P% p≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
≌ <x,z>∈（R1。R2∩R1。R3）
! N" P+ z! n1 h+ P2 R
提问：
为什么“Ε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)) ”
+ x( Z  L" I0 g0 _8 y2 b/ c

mnpfc

有些符号没看明白

ysh

看不太明白，QQQQQQQQQQQQQQQQ