QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 3722|回复: 2
打印 上一主题 下一主题

基础证明题

[复制链接]
字体大小: 正常 放大

3

主题

0

听众

12

积分

升级  7.37%

该用户从未签到

新人进步奖

跳转到指定楼层
1#
发表于 2009-1-13 23:45 |只看该作者 |倒序浏览
|招呼Ta 关注Ta
本帖最后由 bosscgnaruto 于 2009-1-13 23:53 编辑   e8 l$ \# g* U; U, p. Q8 U
* ~, p% ?: G( W' {0 L
证明: R1。(R2R3)R1。R2R3。R1    //("≦"为“属于”号,“。”为二- y8 _! [, v' {! c7 n/ B- z" l: f
                                             元关系成运算
* m* e3 R+ T& m; R/ i& \( e   对于所有的<x,y>- v, v9 D9 f/ k2 `3 Z
Εz(<x,z>∈(R2R3)Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓( u  }2 X' H$ z, _! [! r& ]# D
                                                   词约束“存在”). N  o; Y4 O/ S$ _) ^4 H
Εz(<x,z>∈R2Λ<x,z>R3Λ<z,y>∈R1)        
! b$ V& G, k5 `! @. r=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
8 t9 m0 q* n+ u4 _; V5 dΕz(<x,z>∈R1。R2Λ<z,y>∈R1。R3) * `4 K, m& k5 C, G8 S/ s
≌ <x,z>(R1。R2∩R1。R3)9 j/ E! O5 K& K! S# y1 V
0 r# R# I5 U3 X2 Y
提问:, W0 k8 u4 j! s$ _& S
为什么“Εz(<x,z>∈R2Λ<x,z>R3Λ<z,y>∈R1)=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>R3Λ<z,y>∈R1))  ”,最好说明引用什么定理1 c* J% y$ x' w% q* [# y/ i
为什么不是“Εz(<x,z>∈R2Λ<x,z>R3Λ<z,y>∈R1)Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>R3Λ<z,y>∈R1)) 7 K0 c* Z& k+ [! ~) X9 v
2 ~4 j7 _; `# C& B
zan
转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
mnpfc 实名认证      会长俱乐部认证 

131

主题

38

听众

1万

积分

升级  0%

  • TA的每日心情
    开心
    2018-12-4 08:49
  • 签到天数: 282 天

    [LV.8]以坛为家I

    邮箱绑定达人 新人进步奖 最具活力勋章 风雨历程奖 元老勋章

    群组2010MCM

    群组数学建模

    群组中国矿业大学数学建模协会

    群组华中师大数模协会

    群组Mathematica研究小组

    回复

    使用道具 举报

    ysh        

    1

    主题

    3

    听众

    20

    积分

    升级  15.79%

    该用户从未签到

    新人进步奖

    回复

    使用道具 举报

    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

    关于我们| 联系我们| 诚征英才| 对外合作| 产品服务| QQ

    手机版|Archiver| |繁體中文 手机客户端  

    蒙公网安备 15010502000194号

    Powered by Discuz! X2.5   © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 )     论坛法律顾问:王兆丰

    GMT+8, 2026-5-27 21:52 , Processed in 0.459508 second(s), 67 queries .

    回顶部