基础证明题

bosscgnaruto

) H, M0 o6 V, t7 I  g/ d) M. P6 Q" {证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
                                             元关系合成运算）
   对于所有的<x,y>
* ~9 S3 a  K( ]0 Z) \6 T/ \" t≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
, s5 m+ Z+ w/ k8 d) v1 W& ?5 ~                                                   词约束“存在”)
≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
6 z/ {) q6 f( t1 [$ s& t3 }" V=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
≌ <x,z>∈（R1。R2∩R1。R3）
8 _4 ]) U7 \2 Z0 k$ {8 w' s
  e, X4 t: y& n1 E4 ^提问：
/ m& |: L+ [$ g. b/ t( ^# C8 x为什么“Ε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)) ”
* F% A+ T! x3 r8 r
* t6 a: ?" v, z# m! b

ysh

看不太明白，QQQQQQQQQQQQQQQQ

mnpfc

有些符号没看明白