MIT 6.042J,课程名称Mathematics for Computer Science。作为算法导论的先修课之一难度并不是很大，所以我决定在刷算导前先把这个课过一遍。
课程网址：http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2010/index.htm
第一章讲数理逻辑的一些基本概念。
Propositions（命题）
Def:A proposition is a statement that is either true or false
高中的内容，没什么好说的了（美国高中不教数理逻辑的么？）
Predicates（断言）
Def:A predicate is a proposition whose truth depends on the value of one or more variables.
IMPLIES（推断）
| P | Q | P implies Q |
|---|---|---|
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
ps:T for True,F for False
这个真值表（True table)是最骚的，因为可以概括为一句话：
An implication is true exactly when the if-part is false or the then-part is true.
也就是说这个命题是True：
If pigs can fly, then you can understand the Chebyshev bound.
因为If中的命题是假的，所以不管Then后面是什么，整个命题都为真。
当两个推断的真值表相同时，称两个推断等价。比如一个命题与其逆否命题命题等价。