离散数学（一）：命题及命题联结词

1、数理逻辑对于计算机学科有什么用？

证明 在数学中是非常重要的，在计算机学科中也同样重要。事实上，证明常常用于验证计算机程序对所有可能的输入值产生正确的输出值，用于揭示算法总是产生正确的结果。

并且自动推理系统已经被创造出来，让计算机自己来构造证明。 

本部分的内容将解释一个正确的数学论证（即:证明）是如何组成的，并介绍构造论证的工具。我们将开发一系列不同的证明方法以证明许多不同类型的结论。在介绍了多种不同的证明方法后，我们将介绍一些构造证明的策略。

简而言之：这一部分我们关注一个算法到底（或命题）是真还是假？有哪些方法可以帮助判断？

2、命题

1.  命题: 判断结果惟一（到底真还是假）的陈述句。
2. 命题的真值: 真、假。（1、0）
3. 真命题: 真值为真的命题。
4. 假命题: 真值为假的命题。
5. 简单命题(原子命题)：简单陈述句构成的命题。
6. 复合命题：由简单命题与联结词按一定规则复合而成的命题。
7. 简单命题符号化 ：用小写英文字母 p, q, r, … ,pi,qi,ri (i≥1）表示简单命题。用“1”表示真，用“0”表示假。例如，令  q：2 + 5 = 7，则 q 的真值为 1。

3、连接词与复合命题

 

 

 

 4、总结 

掌握概念：命题、命题的真值、命题符号化、命题联结词、联结词优先顺序、联结词中文含义

掌握技能：判断什么是命题？如何将命题符号化？判断命题真值？

5、作业。见雨课堂。