《计算机科学中的数学》学习笔记（01 什么是证明）

​
书本信息：

作者: [美] Eric Lehman / [美] F. Thomson Leighton / [美] Albert R. Meyer
出版社: 电子工业出版社
出品方: 博文视点
副标题: 信息与智能时代的必修课
原作名: Mathematics for Computer Science

​

01 什么是证明

证明是指从公理及已被证明的语句，推导出命题结论的一系列逻辑推理过程；

1、命题（Propositions）

命题是一个或真或假的语句，且其真假性不随环境而变化；

对于一个无限集合来说，通常不能通过检验它的样本元素来判断断言的真假；

书中介绍了几个著名的命题：

• 欧拉猜想
• 四色定理
• 费马大定理
• 哥德巴赫猜想

2、谓词（断言，Predicates）

相当于真假性取决于一个或多个变量的命题；

在逻辑和计算机科学中，谓词（或断言，Predicates）是一个表示某种属性或关系的概念。谓词可以接受一定数量的参数，并返回一个布尔值，即真（true）或假（false）。

例如，我们可以定义一个谓词 “Is Older Than”，这个谓词接受两个参数（两个人），如果第一个人比第二个人年纪大，那么这个谓词就返回真，否则返回假。

在编程中，谓词函数通常用于过滤或检查数据。例如，你可能有一个谓词函数 “Is Positive”，它接受一个数字作为参数，如果这个数字是正数，那么函数就返回真，否则返回假。

在数学逻辑中，谓词的概念更为抽象，它可以用来描述数学对象之间的关系，例如 “x > y” 或 “n 是偶数” 等等。

3、公理化方法

公理：axiom，从经验来看无可争辩，不证自明的命题；

作用不同的已被证明的命题：

• 定理：theorems，重要的真命题；
• 引理：lemma，预备性命题，为后面的命题证明做准备；
• 推论：corollary，指从定理出发，只需几步逻辑推导就能得出的命题；

公理化方法（axiomatic method）是一种在数学和逻辑