离散数学作业分析.docxVIP

离散数学作业分析

上海交通大学可信任数字计算实验室

上海交通大学

上海交通大学离散数学作业分析1/52

第

第1章命题逻辑

第1章命题逻辑

上海交通大学

上海交通大学离散数学作业分析2/52

1.1

1.1命题与联结词

【习题5】设a：“我吃饭前完成作业”，b：“今天下雨”，c:“我去看球赛”，试写出下面符号表达式对应的自然语言：

1.aΛ门b→c

2.a艹c

3.→c

4.c艹门门avb

上海交通大学

上海交通大学离散数学作业分析3/52

1.1

1.1命题与联结词

解：

1.如果我吃饭前完成作业并且今天不下雨，那么我就去看球赛。

2.我吃饭前完成作业当且仅当我去看球赛。

3.如果我吃饭前没完成作业或今天下雨两件事都没发生，那么我就去看球赛。

4.我去看球赛当且仅当我吃饭前没完成作业并且今天下雨这两件事没有同时发生。

分析：

在这种类型的题目中，要特别注意等价联结词的表述。

上海交通大学

上海交通大学离散数学作业分析4/52

1.2

1.2命题公式

【习题3】求给定条件的命题公式的真值。

1.tx→y=0,求t≦x∨≦y→y

2.t≦x→y=0,求t≦x∨x?y

上海交通大学

上海交通大学离散数学作业分析5/52

1.2

1.2命题公式

解：

1.由已知，tx→y=0，可得tx=1，ty=0，则t≦x∨≦y→y=0

2.由已知，t≦x→y=0，可得tx=0，ty=0，则t≦x∨x?y=1

3.由已知，t≦x?y?z=1，可得

tx=1，ty=0，tz=1

tx→y?y?z?≦x?y→x?z=0

tx=0，ty=1，tz=1

tx→y?y?z?≦x?y→x?z=0

上海交通大学

上海交通大学离散数学作业分析6/52

1.2

1.2命题公式

分析：

在这种类型的题目中，要利用好形如tx→y=0这样的条件。同时注意在遇到如第3小题这样的情况时，要进行分类讨论。

上海交通大学

上海交通大学离散数学作业分析7/52

1.3

1.3等值演算

【习题1】证明下列等值式：

2.氚(x艹y)?xvyΛ氚xΛy

4.x→y→x?氚x→x→氚y

10.xΛyΛZ→wΛZ→xvyvw?ZΛx艹y→w

上海交通大学

上海交通大学离散数学作业分析8/52

1.3

1.3等值演算

证明：

2.≦(x?y)?x?≦y?≦x∨≦y?x∨y

?≦x?y?x∨y?x∨y?≦x?y

4.x→y→x?x?y→x?≦x∨≦y∨x

?≦x∨x∨≦y?1

≦x→x→≦y?≦x?x→≦y?0→≦y

?1

上海交通大学

上海交通大学离散数学作业分析9/52

1.3

1.3等值演算

10.xΛyΛz→wΛz→xvyvw?氚xΛyΛzvwΛ氚zvxvyvw?氚zvwv氚xv氚yΛzvwvxvy?氚zvwΛ氚xv氚yΛxvy

zΛx艹y→w

?氚zΛx艹yvw

?氚zv氚x艹yvw?氚zvwvx艹氚y

?氚zvwv氚xv氚yΛxvy分析：

大家要牢记28个基本等值式，做到融会贯通，熟练应用。这种题型在考试中属于基础得分题，不能轻易放弃。

上海交通大学

上海交通大学离散数学作业分析10/52

1.4

1.4命题公式的范式

【习题5】两位同学同住一间宿舍。宿舍照明电路按下述要求设计：

宿舍门口装一个开关x，两位同学的床头各自装一个开关y,Z。

当夜晚回宿舍时，拉一下开关x，室内灯点亮；上床后拉一下

开关