基础证明题

bosscgnaruto

证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
                                             元关系合成运算）
' l6 ?. L# k" t9 e. J: P, @   对于所有的<x,y>
≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
                                                   词约束“存在”)
, p: m3 u" R7 I7 Q, o# k. ~. j2 [≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
3 s  s5 [6 U' P" a% R1 d=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
% j) ~7 i" r( f" q/ m≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
≌ <x,z>∈（R1。R2∩R1。R3）
- c7 @2 l6 I/ L. P0 j# H- L1 R
! H: G/ Q2 t9 I9 _% n. J6 A( p提问：
为什么“Ε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)) ”

$ _/ i3 H/ A0 c5 t* a3 e: S6 @

ysh

看不太明白，QQQQQQQQQQQQQQQQ

mnpfc

有些符号没看明白