离散数学笔记 第一章 逻辑和证明1.1

看完了北大的离散数学,现在把手中的黑书——《离散数学及其应用》——看一下。

基本内容:

1.基本符号: ∧ ∨ ⊕ ⌝ ↔→↑↓
优先级: >>>> ⌝ > ∧ > ∨ >→>↔

练习1.1:

22.
a)不可能全部为假,所以排除第100,不可能有两个是真的,所以排除1~98,所以第99条是真的,也就是说其他99条是假的。
b)第100条一定是假的,所以第1条的真的
假设第99条是真的,则前面98条是真的,与第99条是真的假设矛盾,所以第99条是假的,所以第2条是真的…
假设第51条是真的,则第50条是真的,与第51条是真的假设矛盾,所以第51条是假的,第50条是真的。
综上,前50条是真的,后50条是假的。
c)同b)第1~49条是真的,第51~99是假的,如果第50条是真的,则第50条是假的,如果第50条是假的,则第50条是真的。这是不可能的,所以这个问题是个悖论。
28.设P表示A是骑士,Q表示B是骑士,第二列表示是否可能

PQP¯QPQ¯P¯Q¯FFTF P Q F P ¯ Q F P Q ¯ T P ¯ Q ¯ F

29.设P表示A是骑士,Q表示B是骑士,第二列表示是否可能

PQP¯QPQ¯P¯Q¯TFFF P Q T P ¯ Q F P Q ¯ F P ¯ Q ¯ F

30.设P表示A是骑士,Q表示B是骑士,第二列表示是否可能
PQP¯QPQ¯P¯Q¯FTFF P Q F P ¯ Q T P Q ¯ F P ¯ Q ¯ F

31.设三人分别为 "X","Y","Z" " X " , " Y " , " Z " ,相对工资为 "1","2","3" " 1 " , " 2 " , " 3 "
X<3Y=3 X < 3 → Y = 3 Y>1Z=3 Y > 1 → Z = 3 为真
X=3 X = 3 时 ,
a. Y=2 Y = 2 时, Z=3 Z = 3 ,但 X=3 X = 3 ,矛盾
b. Y=1 Y = 1 时, Z=2 Z = 2 ,成立
X<3 X < 3 时 ,立即推出 Y=3 Y = 3 ,立即推出 Z=3 Z = 3 ,矛盾。
综上 Y=1,Z=2,X=3 Y = 1 , Z = 2 , X = 3 ,即杰尼斯最低,傅雷德最高,麦吉居中
32.设 p,q,s,r p , q , s , r 分别是男管家,厨师,园丁,杂役说真话。
则① pq p → q 为真,② qs q ∧ s 为假,③ sr ⌝ s ∧ ⌝ r 为假,④ rq r → ⌝ q 为真。
p p 真,由①得q真,则由②得 s s 假,则由③得r真,则由④得 p p 假,矛盾。所以p假,此时①一定为真,不再考虑。
现在考虑② qs q ∧ s 为假,③ sr ⌝ s ∧ ⌝ r 为假,④ rq r → ⌝ q 为真。
由②得 qs q s 的可能取值是 00,01,10 00 , 01 , 10 ,由③得 sr s r 的可能取值是 01,10,11 01 , 10 , 11 ,由④得 qr q r 的可能取值是 00,01,10 00 , 01 , 10 。所以 qsr q s r 的可能取值是 001,011,010 001 , 011 , 010
所以侦探得不到唯一结论。
33.
//狗,蜗牛,马,斑马,狐狸
//油漆工,小提琴,外交官,医师,摄影师
//茶,牛奶,咖啡,矿泉水,橘子汁
//红白黄蓝绿

房子
挪威人牛奶

发现挪威人住在最左边,然而挪威人住在蓝色房子的旁边所以第二个是蓝房子

房子
挪威人牛奶

观察:
白->绿
咖啡=绿
摄影师=蜗牛
医师<->狐狸
马<->外交官=黄
小提琴=橘子
–>

宠物蜗牛斑马狐狸
英国人F
西班牙人TFFFF
日本人FF
意大利人F
挪威人F

/

房子
英国人F
西班牙人F
日本人F
意大利人TFFFF
挪威人FF

/

房子绿
英国人TFFFF
西班牙人FF
日本人FF
意大利人FFF
挪威人FFTFF

/

宠物牛奶咖啡矿泉水橘子汁
英国人FF
西班牙人F
日本人FF
意大利人TFFFF
挪威人F

/

工作油漆工小提琴外交官医师摄影师
英国人FF
西班牙人FFF
日本人TFFFF
意大利人FFF
挪威人FFTFF

–>

房子
挪威人,外交官,黄蓝,马牛奶

–>
白->绿
咖啡=绿
摄影师=蜗牛
医师<->狐狸
马=蓝
小提琴=橘子
–>
–>

宠物蜗牛斑马狐狸
英国人F
西班牙人TFFFF
日本人FF
意大利人F
挪威人F

/

房子
英国人F
西班牙人F
日本人F
意大利人F
挪威人TFFFF

/

房子绿
英国人TFFFF
西班牙人FF
日本人FF
意大利人FFF
挪威人FFTFF

/

宠物牛奶咖啡矿泉水橘子汁
英国人FF
西班牙人F
日本人FF
意大利人TFFFF
挪威人FFFF

/

工作油漆工小提琴外交官医师摄影师
英国人FF
西班牙人FFF
日本人TFFFF
意大利人FFF
挪威人FFTFF

–>挪威人喝矿泉水
–>

房子
挪威人,外交官,黄,矿泉水蓝,马牛奶

–>
白->绿
摄影师=蜗牛
医师<->狐狸
马=蓝
小提琴=橘子
–>
–>

宠物蜗牛斑马狐狸
英国人F
西班牙人TFFFF
日本人FF
意大利人F
挪威人F

/

房子
英国人F
西班牙人F
日本人F
意大利人F
挪威人TFFFF

/

房子绿
英国人TFFFF
西班牙人FF
日本人FF
意大利人FFF
挪威人FFTFF

/

宠物牛奶咖啡矿泉水橘子汁
英国人FFF
西班牙人FF
日本人FFF
意大利人TFFFF
挪威人FFFTF

/

工作油漆工小提琴外交官医师摄影师
英国人FF
西班牙人FFF
日本人TFFFF
意大利人FFF
挪威人FFTFF

–>

宠物蜗牛斑马狐狸
英国人FTFFF
西班牙人TFFFF
日本人FFFTF
意大利人FFTFF
挪威人FFFFT

/

房子
英国人FFTFF
西班牙人FFFTF
日本人FFFFT
意大利人FTFFF
挪威人TFFFF

/

房子绿
英国人TFFFF
西班牙人FTFFF
日本人FFFFT
意大利人FFFTF
挪威人FFTFF

/

宠物牛奶咖啡矿泉水橘子汁
英国人FTFFF
西班牙人FFFFT
日本人FFTFF
意大利人TFFFF
挪威人FFFTF

/

工作油漆工小提琴外交官医师摄影师
英国人FFFFT
西班牙人FTFFF
日本人TFFFF
意大利人FFFTF
挪威人FFTFF
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值