重温离散系列①之什么是证明

命题的定义#

命题是真假客观存在的陈述句。

• 可以客观准确给出真假的语句才是命题。
  比如：“有外星人”，“给我这本书”，“php是世界上最好的语言”都不是命题。
• 真假性随时间环境变化的语句也不是命题。
  比如：“现在是五点钟”，“明天股票会涨”，“今天天气不错”都不是命题。

###历史上著名的命题

1. 欧拉猜想(Euler's Conjecture) ： 若a,b,c,d都是正整数，等式
   
   a4+b4+c4=d4$$a^4+b^4+c^4=d^4$$
   无解。
2. 四色定理(Four Color Theorem) ：用四种颜色给地图着色，可以使每张地图相邻区域的颜色各不相同。
3. 费马大定理(Fermat's Last Theorem)： 当整数n>2时，