数学建模社区-数学中国
标题:
基础证明题
[打印本页]
作者:
bosscgnaruto
时间:
2009-1-13 23:45
标题:
基础证明题
本帖最后由 bosscgnaruto 于 2009-1-13 23:53 编辑
0 e0 }( ?3 Z; {* |& y
; @0 v) u0 C. u3 k5 U' a
证明: R1。(R2
∩
R3)
≦
R1。R2
∩
R3。R1
//("
≦"为“属于”号,“。”为二
4 P* U& [9 I1 x. l# m: {$ \
元关系
合
成运算
)
5 n [" C j* b
对于所有的<x,y>
" p B: K& m) j$ B' Y) ^. ]
≌
Εz
(<x,z>
∈(R2
∩
R3)
Λ<z,y>
∈R1
) //("≌"为重言式等价符,"E"为谓
9 @' u' r# B. J
词约束“存在”)
' ~0 R# J+ x8 Z8 O+ y2 G0 `
≌
Εz
(<x,z>
∈R2
Λ<
x,z>
∈
R3
Λ<z,y>
∈R1
)
4 ]8 S& C. ^! Z3 C
=>
Εz
((<x,z>
∈R2
Λ<z,y>
∈R1)
Λ
(<x,z>
∈
R3
Λ<z,y>
∈R1
)) //("=>"为重言式推理符)
3 M/ i v3 u* g' o4 |
≌
Εz
(<x,z>
∈R1。R2
Λ<z,y>
∈R1。R3
)
' [# H& s, P1 x Z" T+ h
≌ <x,z>
∈
(R1。R2
∩R1。
R3)
# \$ ]2 t7 J9 c6 p: ~7 U! o
$ k4 [. w% `5 Y$ @6 J
提问:
) O. V! J$ R) ?$ U
为什么“Εz(<x,z>
∈R2
Λ<
x,z>
∈
R3
Λ<z,y>
∈R1
)
=>
Εz
((<x,z>
∈R2
Λ<z,y>
∈R1)
Λ
(<x,z>
∈
R3
Λ<z,y>
∈R1
))
”,最好说明引用什么定理
8 x3 q/ E: J& E8 e$ g7 U
为什么不是“Εz(<x,z>
∈R2
Λ<
x,z>
∈
R3
Λ<z,y>
∈R1
)
≌
Εz
((<x,z>
∈R2
Λ<z,y>
∈R1)
Λ
(<x,z>
∈
R3
Λ<z,y>
∈R1
))
”
$ C# L9 U8 g2 H0 r
% y) l5 \- k9 ~4 E5 l
作者:
mnpfc
时间:
2009-2-21 08:12
有些符号没看明白
作者:
ysh
时间:
2009-8-13 21:28
看不太明白,QQQQQQQQQQQQQQQQ
欢迎光临 数学建模社区-数学中国 (http://www.madio.net/)
Powered by Discuz! X2.5