基础证明题

bosscgnaruto

; _" i8 p  Z6 e0 L% Z
证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
7 N( {& S- A0 ]! I' g1 Q5 S) M. q                                             元关系合成运算）
) M7 P& I& x3 A) ~3 k   对于所有的<x,y>
6 w, |/ i; r, a- w1 ]1 c≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
8 b/ U' d8 Q) W6 t! j4 {$ }2 g                                                   词约束“存在”)
≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
1 `4 W" _- d' _! X8 d4 ~=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
# i) o, I8 @2 b8 v. [  f≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
≌ <x,z>∈（R1。R2∩R1。R3）
$ j2 l. ?/ r7 w8 m% |
提问：
8 y3 ?; J# |8 Q5 \2 X. Z, B为什么“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  ”，最好说明引用什么定理
* K/ F# Y* l+ W: F1 b为什么不是“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)≌Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1)) ”

/ T. I* i2 M  T' x4 R) [+ s

mnpfc

有些符号没看明白

ysh

看不太明白，QQQQQQQQQQQQQQQQ