基础证明题

bosscgnaruto

9 p. i5 q, D4 P9 M5 {
证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
  {1 z6 V, D) u                                             元关系合成运算）
2 c3 H7 s6 |# t6 I3 C   对于所有的<x,y>
≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
                                                   词约束“存在”)
≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
4 @$ b4 R/ i3 F4 v! C3 |=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
/ C- n& n  M$ B( a; _≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
: E, Y1 \. N5 N) E) m. g≌ <x,z>∈（R1。R2∩R1。R3）

8 Q: n* g/ p, ^" I& Q: M提问：
* R7 ~7 F* m7 k  a/ O$ y6 s为什么“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  ”，最好说明引用什么定理
9 o; h7 m( t1 B+ _为什么不是“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)≌Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1)) ”

mnpfc

有些符号没看明白

ysh

看不太明白，QQQQQQQQQQQQQQQQ