基础证明题

bosscgnaruto

: A9 O  Y7 C! S9 Y) h0 S5 P' A
7 L. k' p/ X8 j5 g: G证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
. z6 l- `' j4 L' a. z! g                                             元关系合成运算）
# p, u9 N0 ?! x! j   对于所有的<x,y>
$ w: q" f- j7 ?≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
- ]/ \3 w' s7 D7 O0 ?; Z: j8 A                                                   词约束“存在”)
≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
9 G, z  u+ ]' s4 k3 h2 P6 a# s≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
≌ <x,z>∈（R1。R2∩R1。R3）
. o6 a7 k# D" m# B: Y* t" a5 O+ L
提问：
为什么“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  ”，最好说明引用什么定理
: H- N3 ~! ^3 j0 F/ l为什么不是“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)≌Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1)) ”
2 z6 ^4 l: V* V* f( e
! K, I4 G7 ?; o6 E

mnpfc

有些符号没看明白

ysh

看不太明白，QQQQQQQQQQQQQQQQ