基础证明题

bosscgnaruto

2 ^- B( A) ~9 }. U证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
                                             元关系合成运算）
, ^, N- L# C" L5 |6 M   对于所有的<x,y>
≌ Ε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))  //("=>"为重言式推理符)
/ Q& p6 F: S* w& I  @3 l3 P≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
≌ <x,z>∈（R1。R2∩R1。R3）
0 X& v: Q) q/ ^
) n  o8 [) ^! q2 Y; ^提问：
! Q  ]) B$ D; b4 L" ~3 j9 A; E为什么“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  ”，最好说明引用什么定理
( K, F7 k7 Z# r, x+ n7 |为什么不是“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)≌Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1)) ”
' \( Z/ G; G! `3 Z, j

mnpfc

有些符号没看明白

ysh

看不太明白，QQQQQQQQQQQQQQQQ