基础证明题

bosscgnaruto

% M: \9 m/ b* L+ W6 X/ n7 f
证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
                                             元关系合成运算）
: h- V- M7 g( b9 m& z5 j. A   对于所有的<x,y>
" m# p' K! J: {8 R8 ~≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
+ {- p2 E; ]" G/ k* `8 H                                                   词约束“存在”)
≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
' N+ o% X3 I% I, Z+ X: K. E=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
5 L( l8 d6 A0 k* k. n+ _≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
/ Z& |1 t0 A. K2 o4 J; ^≌ <x,z>∈（R1。R2∩R1。R3）
; ^% `, Q; q- L% l
提问：
+ q' b- \3 |& d: n为什么“Ε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)) ”
1 h6 O8 `- j" q& s7 M& }
, }( K9 J# ?8 j9 ^. ?

ysh

看不太明白，QQQQQQQQQQQQQQQQ

mnpfc

有些符号没看明白