基础证明题

bosscgnaruto

! a1 N! \, H" v1 X5 p! c证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
* |. F; ~5 m3 ~9 n5 s5 K+ l3 Y                                             元关系合成运算）
7 r( R2 V' N4 c  U2 @8 ?   对于所有的<x,y>
6 J( v6 z3 [8 u' M& o) i≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
' j( O  Y' [# _                                                   词约束“存在”)
≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
+ R* Z) v, g3 K+ D2 \& i+ a≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
≌ <x,z>∈（R1。R2∩R1。R3）

' b/ E7 c) _+ L提问：
为什么“Ε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)) ”

4 P- {6 s" T5 |0 U" Y

mnpfc

有些符号没看明白

ysh

看不太明白，QQQQQQQQQQQQQQQQ