基础证明题

bosscgnaruto

) 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                                             元关系合成运算）
   对于所有的<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)        
=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
≌ <x,z>∈（R1。R2∩R1。R3）

( 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))  ”，最好说明引用什么定理
为什么不是“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)≌Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1)) ”

5 t+ w% G; w: L$ q6 K& p

ysh

看不太明白，QQQQQQQQQQQQQQQQ

mnpfc

有些符号没看明白