基础证明题

bosscgnaruto

( M& K. X5 \% D, l! O( G证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
$ x7 H* D5 f$ v: ^, \/ P                                             元关系合成运算）
! M3 N" S3 o2 D   对于所有的<x,y>
≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
4 T; c* m* G7 X% J, M: y' [                                                   词约束“存在”)
≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
! i* _( t7 ]- j+ r+ T  h& g. r% u4 v=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
' F, K. C3 H1 F( c& e2 P: O" }≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
≌ <x,z>∈（R1。R2∩R1。R3）
2 u( h, B* |. I- k6 o4 O
: Y2 L6 {" I5 g0 t提问：
( ~6 _+ C7 W7 q1 y7 W* R$ V为什么“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  ”，最好说明引用什么定理
' C! v( w8 ?# U+ X6 I9 ]# _为什么不是“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)≌Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1)) ”
1 O8 Z+ m- P, I, c8 ]' t% v
% Y1 @# J- d) v( C

mnpfc

有些符号没看明白

ysh

看不太明白，QQQQQQQQQQQQQQQQ