基础证明题

bosscgnaruto

/ {5 C' x+ L9 `
7 L8 V1 c' `: P证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
, L; y# j" Y/ q                                             元关系合成运算）
) w& u# D( }! v$ @$ B* t5 T; M" I  R   对于所有的<x,y>
3 M1 r; K8 X8 B9 w% o2 B" N; x≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
                                                   词约束“存在”)
* r" K" c" d/ q# o( W, S≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
% a! v- ]2 S. Y& [" [* ~9 ^8 E- ^=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
0 r* a6 `+ \. x$ g$ {2 x≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
≌ <x,z>∈（R1。R2∩R1。R3）

4 u2 F( o3 d3 e. _" R提问：
为什么“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  ”，最好说明引用什么定理
! K( ?. D" F, V/ V' V为什么不是“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)≌Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1)) ”
$ u! i+ H9 P9 P7 o3 l

ysh

看不太明白，QQQQQQQQQQQQQQQQ

mnpfc

有些符号没看明白