简单证明题（离散数学）

bosscgnaruto

证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
# }$ _/ g; i: b" G0 \                                             元关系合成运算）
$ L" ^$ [4 g7 A! f   对于所有的<x,y>
6 _0 o! f" R0 i( `0 f( _4 a6 O' E≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
                                                   词约束“存在”)
≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
( W" t, v4 B0 b. `/ W$ a≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
≌ <x,z>∈（R1。R2∩R1。R3）
# j/ |+ ^3 e% b5 D
1 T! e2 }! X* N7 v! D4 O$ a; c- Z提问：
) f9 U: L4 Q0 E  V2 V为什么“Ε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)) ”

artin

这句有问题，应该是
Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
# Z3 A, ], n' ?; d; ~: F$ N, t" M=> Εz(<x,z>∈R2Λ<z,y>∈R1)Λ Ez(<x,z>∈R3Λ<z,y>∈R1)  

<=不成立，是因为 Εz(<x,z>∈R2Λ<z,y>∈R1)Λ Ez(<x,z>∈R3Λ<z,y>∈R1)  
中的两个z可以是不同的