DM1.1

• 注意but与and是等效的
• p is sufficient for q == p->q == q is necessary for p
• ==最重要的是== p only if q == p->q
• nevertheless就是==不过==的意思，也同样表达and逻辑。
• biconditionals就是p<->q，充分必要条件，也就是==if and only if==
• converse:逆命题
• contrapositive:逆否（最长的单词）
• inverse:否命题：p->q => 非p->非q
• 当 p与q均为常量的时候，只有p与q均为真或者均为假的时候条件语句p<->q才会成立。
• :=的意思是赋值等号，将右边的值赋给左边的值。