数学建模社区-数学中国

标题: 基础证明题 [打印本页]

---

作者: bosscgnaruto    时间: 2009-1-13 23:45
标题: 基础证明题

; m  q/ z3 L& K/ v- h
证明： R1。(R2∩R3）≦ R1。R2∩R3。R1    //（"≦"为“属于”号，“。”为二
                                             元关系合成运算）
+ q; |7 G; X8 I7 j( T7 J   对于所有的<x,y>
: l- S) D  d0 C. `7 e9 ]0 s: S≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
                                                   词约束“存在”)
≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)        
! k, |0 Y% k4 V=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
7 }; B* E! U& y* d6 z≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
* D0 e# k1 s" E7 R3 }: s≌ <x,z>∈（R1。R2∩R1。R3）

提问：
* m& M% l! W# W) L为什么“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  ”，最好说明引用什么定理
  n9 b4 p/ p3 S4 W为什么不是“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)≌Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1)) ”
4 Q" ]/ c7 Z, {5 C4 F
' w( \$ x+ ^" j) G& H" t

---

作者: mnpfc    时间: 2009-2-21 08:12
有些符号没看明白

---

作者: ysh    时间: 2009-8-13 21:28
看不太明白，QQQQQQQQQQQQQQQQ

---

欢迎光临 数学建模社区-数学中国 (http://www.madio.net/)

Powered by Discuz! X2.5