应该衷心地感谢张先生的书、感谢他为数学科普所做的工作。也真的希望更多的“张景中 ”关心 、支持
、实践这件事
，在中国出现几个马丁·加德纳式的人物！

其它：

书名：《离散数学（上）》

清华大学计算机系的教材

离散数学（discrete mathematics)是计算机科学基础理论的核心课程 。它包括数理逻辑、集合论 、代数结构
、图论、形式语言 、自动机和计算集合等
。

第一章 命题逻辑的基本概念

第一节 命题

一
、什么是命题

命题是一个非真即假的陈述句。

1）命题是一个陈述句 。

2）该陈述句表达的内容非真即假
。

我们把这样的命题逻辑成为二值逻辑，把以这样命题作为研究对象的逻辑成为古典逻辑。

二、命题变量

我们约定用大写字母表示命题 ，用小写字母表示命题变量 。命题是指具体的陈述句
，是有确定的真值；而命题变量的真值不定，只当将某个具体命题代入命题变量时 ，命题变量化为命题
，方可确定其真值。

三 、简单命题和复合命题

不能分解成更简单的命题的组合的命题称为简单命题
。它又称原子命题，它是不包含任何的与
、或、非一类联结词的命题。

把一个或者几个简单命题用联结词（如与 、或、非联结所构成的命题称为复合命题 ，也称为分子命题 。

第二节 命题联结词及真值表

联结词分为两类：

1）真值联结词
，由此联结词构成的复合命题的真假完全由构成它的简单命题的真假决定
。

2）非真值联结词，由此联结词构成的复合命题的真假不完全由构成它的简单命题的真假来确定。

一
、否定词 ┑

否定词“┑
”是个一元联结词 。一个命题P加上否定词就构成了一个新的