数学建模社区-数学中国
标题:
基础证明题
[打印本页]
作者:
bosscgnaruto
时间:
2009-1-13 23:45
标题:
基础证明题
本帖最后由 bosscgnaruto 于 2009-1-13 23:53 编辑
' M# ^' L* t3 }
% y% k. }$ S, }& [7 c( Y: P
证明: R1。(R2
∩
R3)
≦
R1。R2
∩
R3。R1
//("
≦"为“属于”号,“。”为二
3 h t2 m2 F9 [
元关系
合
成运算
)
! `% {0 j: ]& O% }% @# q
对于所有的<x,y>
, b* K N+ Q- F- w, D
≌
Εz
(<x,z>
∈(R2
∩
R3)
Λ<z,y>
∈R1
) //("≌"为重言式等价符,"E"为谓
: _" `% L% Y# U8 m$ \5 r; E e
词约束“存在”)
' q- d6 ^& Q3 ^+ R$ j- r; K
≌
Εz
(<x,z>
∈R2
Λ<
x,z>
∈
R3
Λ<z,y>
∈R1
)
/ C8 D: o8 e. N( E: t& T
=>
Εz
((<x,z>
∈R2
Λ<z,y>
∈R1)
Λ
(<x,z>
∈
R3
Λ<z,y>
∈R1
)) //("=>"为重言式推理符)
% d- x- R; C: s- e; V
≌
Εz
(<x,z>
∈R1。R2
Λ<z,y>
∈R1。R3
)
( |( e/ z% z" G4 b* y' Q
≌ <x,z>
∈
(R1。R2
∩R1。
R3)
3 F3 U& Z, M7 M0 U7 D+ l9 `
4 S3 G1 O6 J2 U- x/ S1 c
提问:
# ^$ ~( r: c- M6 t8 l9 ?) G b
为什么“Εz(<x,z>
∈R2
Λ<
x,z>
∈
R3
Λ<z,y>
∈R1
)
=>
Εz
((<x,z>
∈R2
Λ<z,y>
∈R1)
Λ
(<x,z>
∈
R3
Λ<z,y>
∈R1
))
”,最好说明引用什么定理
4 R; l2 `, y2 q2 \; z& T6 ?6 _* o
为什么不是“Εz(<x,z>
∈R2
Λ<
x,z>
∈
R3
Λ<z,y>
∈R1
)
≌
Εz
((<x,z>
∈R2
Λ<z,y>
∈R1)
Λ
(<x,z>
∈
R3
Λ<z,y>
∈R1
))
”
) p" W% `5 ]0 T( F" h! c
( \7 ]2 j" q8 T, B* {4 a5 ^7 n: V* Z
作者:
mnpfc
时间:
2009-2-21 08:12
有些符号没看明白
作者:
ysh
时间:
2009-8-13 21:28
看不太明白,QQQQQQQQQQQQQQQQ
欢迎光临 数学建模社区-数学中国 (http://www.madio.net/)
Powered by Discuz! X2.5