《计算机科学与数学》 第二篇：第一章 什么是证明？

原文链接：https://courses.csail.mit.edu/6.042/spring18/mcs.pdf

第一节 命题

定义：命题是一个或真或假的陈述句。不是感叹句、疑问句以及随着时间变化的阐述，比如现在是五点、明天的股票会涨。

注意：The symbol ::= means “equal by definition.” It’s always ok simply to write “=” instead of ::=

第二节 预测

预测可以被视作一个正确性取决于一个或者多个变量的值的命题。

第三节 公理化方法