QQ登录

只需要一步,快速开始

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

基础证明题

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

3

主题

0

听众

12

积分

升级  7.37%

该用户从未签到

新人进步奖

跳转到指定楼层
1#
发表于 2009-1-13 23:45 |只看该作者 |倒序浏览
|招呼Ta 关注Ta
本帖最后由 bosscgnaruto 于 2009-1-13 23:53 编辑 . q5 C9 `7 U1 O! T3 u

! a1 N! \, H" v1 X5 p! c证明: R1。(R2R3)R1。R2R3。R1    //("≦"为“属于”号,“。”为二
* |. F; ~5 m3 ~9 n5 s5 K+ l3 Y                                             元关系成运算
7 r( R2 V' N4 c  U2 @8 ?   对于所有的<x,y>
6 J( v6 z3 [8 u' M& o) iΕz(<x,z>∈(R2R3)Λ<z,y>∈R1)             //("≌"为重言式等价符,"E"为谓
' j( O  Y' [# _                                                   词约束“存在”)! y- c' @7 o/ Z( e' V
Εz(<x,z>∈R2Λ<x,z>R3Λ<z,y>∈R1)        6 ^, h$ r! m  j# }3 v) {2 t
=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
+ R* Z) v, g3 K+ D2 \& i+ aΕz(<x,z>∈R1。R2Λ<z,y>∈R1。R3) # {* W! o' p0 [7 u0 t
≌ <x,z>(R1。R2∩R1。R3)2 I: A) i' w$ @- c4 B. a, f" S

' b/ E7 c) _+ L提问:' g. T# S, F2 e+ O9 W
为什么“Εz(<x,z>∈R2Λ<x,z>R3Λ<z,y>∈R1)=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>R3Λ<z,y>∈R1))  ”,最好说明引用什么定理* o* Q; ^' p+ Z/ `5 e' d
为什么不是“Εz(<x,z>∈R2Λ<x,z>R3Λ<z,y>∈R1)Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>R3Λ<z,y>∈R1)) + V% V  t7 G9 M( v+ n

4 P- {6 s" T5 |0 U" Y
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 15:04 , Processed in 0.466234 second(s), 68 queries .

    回顶部