看完了北大的离散数学,现在把手中的黑书——《离散数学及其应用》——看一下。
基本内容:
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是骑士,第二列表示是否可能
29.设P表示A是骑士,Q表示B是骑士,第二列表示是否可能
30.设P表示A是骑士,Q表示B是骑士,第二列表示是否可能
31.设三人分别为 "X","Y","Z" " X " , " Y " , " Z " ,相对工资为 "1","2","3" " 1 " , " 2 " , " 3 "
则 X<3→Y=3 X < 3 → Y = 3 和 Y>1→Z=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 分别是男管家,厨师,园丁,杂役说真话。
则① p→q p → q 为真,② q∧s q ∧ s 为假,③ ┐s∧┐r ⌝ s ∧ ⌝ r 为假,④ r→┐q r → ⌝ q 为真。
若 p p 真,由①得真,则由②得 s s 假,则由③得真,则由④得 p p 假,矛盾。所以假,此时①一定为真,不再考虑。
现在考虑② q∧s q ∧ s 为假,③ ┐s∧┐r ⌝ s ∧ ⌝ r 为假,④ r→┐q 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 | ||||
西班牙人 | T | F | F | F | F |
日本人 | F | F | |||
意大利人 | F | ||||
挪威人 | F |
/
房子 | 一 | 二 | 三 | 四 | 五 |
---|---|---|---|---|---|
英国人 | F | ||||
西班牙人 | F | ||||
日本人 | F | ||||
意大利人 | T | F | F | F | F |
挪威人 | F | F |
/
房子 | 红 | 白 | 黄 | 蓝 | 绿 |
---|---|---|---|---|---|
英国人 | T | F | F | F | F |
西班牙人 | F | F | |||
日本人 | F | F | |||
意大利人 | F | F | F | ||
挪威人 | F | F | T | F | F |
/
宠物 | 茶 | 牛奶 | 咖啡 | 矿泉水 | 橘子汁 |
---|---|---|---|---|---|
英国人 | F | F | |||
西班牙人 | F | ||||
日本人 | F | F | |||
意大利人 | T | F | F | F | F |
挪威人 | F |
/
工作 | 油漆工 | 小提琴 | 外交官 | 医师 | 摄影师 |
---|---|---|---|---|---|
英国人 | F | F | |||
西班牙人 | F | F | F | ||
日本人 | T | F | F | F | F |
意大利人 | F | F | F | ||
挪威人 | F | F | T | F | F |
–>
房子 | 一 | 二 | 三 | 四 | 五 |
---|---|---|---|---|---|
挪威人,外交官,黄 | 蓝,马 | 牛奶 |
–>
白->绿
咖啡=绿
摄影师=蜗牛
医师<->狐狸
马=蓝
小提琴=橘子
–>
–>
宠物 | 狗 | 蜗牛 | 马 | 斑马 | 狐狸 |
---|---|---|---|---|---|
英国人 | F | ||||
西班牙人 | T | F | F | F | F |
日本人 | F | F | |||
意大利人 | F | ||||
挪威人 | F |
/
房子 | 一 | 二 | 三 | 四 | 五 |
---|---|---|---|---|---|
英国人 | F | ||||
西班牙人 | F | ||||
日本人 | F | ||||
意大利人 | F | ||||
挪威人 | T | F | F | F | F |
/
房子 | 红 | 白 | 黄 | 蓝 | 绿 |
---|---|---|---|---|---|
英国人 | T | F | F | F | F |
西班牙人 | F | F | |||
日本人 | F | F | |||
意大利人 | F | F | F | ||
挪威人 | F | F | T | F | F |
/
宠物 | 茶 | 牛奶 | 咖啡 | 矿泉水 | 橘子汁 |
---|---|---|---|---|---|
英国人 | F | F | |||
西班牙人 | F | ||||
日本人 | F | F | |||
意大利人 | T | F | F | F | F |
挪威人 | F | F | F | F |
/
工作 | 油漆工 | 小提琴 | 外交官 | 医师 | 摄影师 |
---|---|---|---|---|---|
英国人 | F | F | |||
西班牙人 | F | F | F | ||
日本人 | T | F | F | F | F |
意大利人 | F | F | F | ||
挪威人 | F | F | T | F | F |
–>挪威人喝矿泉水
–>
房子 | 一 | 二 | 三 | 四 | 五 |
---|---|---|---|---|---|
挪威人,外交官,黄,矿泉水 | 蓝,马 | 牛奶 |
–>
白->绿
摄影师=蜗牛
医师<->狐狸
马=蓝
小提琴=橘子
–>
–>
宠物 | 狗 | 蜗牛 | 马 | 斑马 | 狐狸 |
---|---|---|---|---|---|
英国人 | F | ||||
西班牙人 | T | F | F | F | F |
日本人 | F | F | |||
意大利人 | F | ||||
挪威人 | F |
/
房子 | 一 | 二 | 三 | 四 | 五 |
---|---|---|---|---|---|
英国人 | F | ||||
西班牙人 | F | ||||
日本人 | F | ||||
意大利人 | F | ||||
挪威人 | T | F | F | F | F |
/
房子 | 红 | 白 | 黄 | 蓝 | 绿 |
---|---|---|---|---|---|
英国人 | T | F | F | F | F |
西班牙人 | F | F | |||
日本人 | F | F | |||
意大利人 | F | F | F | ||
挪威人 | F | F | T | F | F |
/
宠物 | 茶 | 牛奶 | 咖啡 | 矿泉水 | 橘子汁 |
---|---|---|---|---|---|
英国人 | F | F | F | ||
西班牙人 | F | F | |||
日本人 | F | F | F | ||
意大利人 | T | F | F | F | F |
挪威人 | F | F | F | T | F |
/
工作 | 油漆工 | 小提琴 | 外交官 | 医师 | 摄影师 |
---|---|---|---|---|---|
英国人 | F | F | |||
西班牙人 | F | F | F | ||
日本人 | T | F | F | F | F |
意大利人 | F | F | F | ||
挪威人 | F | F | T | F | F |
–>
宠物 | 狗 | 蜗牛 | 马 | 斑马 | 狐狸 |
---|---|---|---|---|---|
英国人 | F | T | F | F | F |
西班牙人 | T | F | F | F | F |
日本人 | F | F | F | T | F |
意大利人 | F | F | T | F | F |
挪威人 | F | F | F | F | T |
/
房子 | 一 | 二 | 三 | 四 | 五 |
---|---|---|---|---|---|
英国人 | F | F | T | F | F |
西班牙人 | F | F | F | T | F |
日本人 | F | F | F | F | T |
意大利人 | F | T | F | F | F |
挪威人 | T | F | F | F | F |
/
房子 | 红 | 白 | 黄 | 蓝 | 绿 |
---|---|---|---|---|---|
英国人 | T | F | F | F | F |
西班牙人 | F | T | F | F | F |
日本人 | F | F | F | F | T |
意大利人 | F | F | F | T | F |
挪威人 | F | F | T | F | F |
/
宠物 | 茶 | 牛奶 | 咖啡 | 矿泉水 | 橘子汁 |
---|---|---|---|---|---|
英国人 | F | T | F | F | F |
西班牙人 | F | F | F | F | T |
日本人 | F | F | T | F | F |
意大利人 | T | F | F | F | F |
挪威人 | F | F | F | T | F |
/
工作 | 油漆工 | 小提琴 | 外交官 | 医师 | 摄影师 |
---|---|---|---|---|---|
英国人 | F | F | F | F | T |
西班牙人 | F | T | F | F | F |
日本人 | T | F | F | F | F |
意大利人 | F | F | F | T | F |
挪威人 | F | F | T | F | F |