基础证明题

bosscgnaruto

证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
3 s* [9 Z4 G/ q1 {( q                                             元关系合成运算）
   对于所有的<x,y>
7 a  {% e% v7 G' R; |) o≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
                                                   词约束“存在”)
≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
  N7 d( T4 y$ e, f2 i5 X=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
/ f1 b: s* a- @; ^+ I' W0 Q≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
≌ <x,z>∈（R1。R2∩R1。R3）
: R: M4 k) M4 B0 S+ g5 V8 H
, t' }) P- C5 V) C1 ^: t$ S提问：
, p1 g3 O, j, @2 i5 M为什么“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  ”，最好说明引用什么定理
( |$ m) C$ e2 D8 a/ N为什么不是“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)≌Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1)) ”

mnpfc

有些符号没看明白

ysh

看不太明白，QQQQQQQQQQQQQQQQ