简单证明题（离散数学）

[复制链接]

字体大小: 正常放大

bosscgnaruto

3 主题	0 听众	12 积分

升级 7.37%

该用户从未签到

电梯直达

1^#

发表于 2009-1-13 23:54 |只看该作者 |正序浏览

|招呼Ta 关注Ta

证明： R1。(R2∩R3）≦ R1。R2∩R3。R1 //（"≦"为“属于”号，“。”为二
                                          元关系合成运算）
对于所有的<x,y>
≌ Εz(<x,z>∈（R2∩R3）Λ<z,y>∈R1)          //("≌"为重言式等价符,"E"为谓
                                                词约束“存在”)
≌ Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)
=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  //("=>"为重言式推理符)
≌ Εz(<x,z>∈R1。R2Λ<z,y>∈R1。R3)
≌ <x,z>∈（R1。R2∩R1。R3）

提问：
为什么“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)=> Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1))  ”，最好说明引用什么定理
为什么不是“Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)≌Εz((<x,z>∈R2Λ<z,y>∈R1)Λ(<x,z>∈R3Λ<z,y>∈R1)) ”

zan

转播0 淘帖0 分享0 收藏0 支持0 反对0 微信

使用道具举报

artin

0 主题	4 听众	123 积分

升级 11.5%

该用户从未签到

2^#

发表于 2009-9-2 21:58 |只看该作者 |招呼Ta 关注Ta

这句有问题，应该是
Εz(<x,z>∈R2Λ<x,z>∈R3Λ<z,y>∈R1)
=> Εz(<x,z>∈R2Λ<z,y>∈R1)Λ Ez(<x,z>∈R3Λ<z,y>∈R1)

<=不成立，是因为 Εz(<x,z>∈R2Λ<z,y>∈R1)Λ Ez(<x,z>∈R3Λ<z,y>∈R1)
中的两个z可以是不同的