基础证明题

bosscgnaruto

8 y/ S3 }9 @! T0 O( ~* D
1 ^( n% d" A$ ~4 ^证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
$ f0 X0 v; P6 U9 }) m                                             元关系合成运算）
+ |: v; u6 i& p2 U3 c  w   对于所有的<x,y>
≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
+ e7 g# Y) b8 K9 _" A+ ~                                                   词约束“存在”)
≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
' `7 _$ A1 C1 {=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
. m  U9 e2 w" r" S9 Y$ N≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
≌ <x,z>∈（R1。R2∩R1。R3）

  X$ `4 p3 L; N' F提问：
为什么“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  ”，最好说明引用什么定理
6 B1 `: c; s  W3 V% a% m为什么不是“Ε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