基础证明题

bosscgnaruto

. D) h, `. p" {7 `
证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
; k& A5 s$ m/ I9 [$ D, t                                             元关系合成运算）
   对于所有的<x,y>
) j( ]) i6 n" f) v- ?≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
% {8 n: `  f; y8 t5 G* z                                                   词约束“存在”)
, Z7 J# v+ `- Q' Z≌ Ε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>∈R1。R2Λ<z,y>∈R1。R3)
6 c0 y; j1 l, w( O( ~6 H% u≌ <x,z>∈（R1。R2∩R1。R3）
. o# p: M8 ]" i2 y  b, ]0 b
6 q) H/ T% e  `5 {" r( U  B提问：
为什么“Ε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)) ”

mnpfc

有些符号没看明白

ysh

看不太明白，QQQQQQQQQQQQQQQQ