《计算机科学中的数学信息与智能时代的必修课》第一章学习

第1章 什么是证明

1.1 命题

定义 命题是一个或真或假的语句（表述）
根据书里写的感觉，我认为以下这四个词应该属于一个类

• 命题
  • 四色定理
  • 费马大定理
• 断言-通过抽样法
• 猜想
  • 欧拉猜想
  • 哥德巴赫猜想
• 假断言

断言、猜想、假断言是属于一种命题，和纯粹的命题不一样
断言----从抽象的数据中得到答案
猜想----从或真或假中得到启发
假断言-----是书中有明确“通过抽样法很难判断它的真假”