基础证明题

bosscgnaruto

- Z8 D8 Q5 l" _! N" x( r
; V$ r  L- V/ M4 u7 D证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
                                             元关系合成运算）
& m* f8 Y+ o9 X% n  f; _. _3 ?   对于所有的<x,y>
≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
                                                   词约束“存在”)
; S, ~* e+ |) N+ B1 [≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
5 a  Q4 t, n1 ~5 ~3 d: i=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
- n$ k  A& z. p3 X& ~≌ <x,z>∈（R1。R2∩R1。R3）
% D: i+ D$ f* a; R/ A
提问：
8 i+ ]* C7 f3 i4 `为什么“Ε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)) ”

2 e* C/ k5 z& }5 T* ?; M% K' U0 Y3 l

mnpfc

有些符号没看明白

ysh

看不太明白，QQQQQQQQQQQQQQQQ