原文链接: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 ::=
第二节 预测
预测可以被视作一个正确性取决于一个或者多个变量的值的命题。
第三节 公理化方法