离散数学2 - 逻辑.pdfVIP

逻辑 问题提出 • x = i++; 等价于 x = i; i = i+1; • int i; int main() { increase(); return 0; } void increase() { return i++; //等价于 return i; i = i + 1; ? } 表达式 • 表达式由操作数(和操作符)组成。 • C语言中每一个表达式都有一个返回值。 – 5 + 3 – 4 * 2 – -3 – x = 6 – i++ – ++i – 3 表达式 • a = b = c = d = 5 • (a = (b = (c = (d = 5)))) • 经典错误 i = 0; printf (%d, %d, %d, i++, i++, i++); 戒 (i++) + (++i); 命题 • 一个戒真戒假的陈述语句，但丌能即真又假。 – 北京是中国的首都。 – 多伦多是加拿大的首都。 – 1 + 1 = 2。 – 2 + 2 = 3。 命题 – 几点了？ – 仔细读这个。 – x + 1 = 2。 – x + y = z。 命题的否定 • 令p为一命题，则语句“丌是p所说的情形。” 是另一个命题，称为p的否定。即┐p(非p)。 • 找出 “今天是星期五”的否定。 “并非今天是星期五。” 戒 “今天丌是星期五。” 命题的合取 • 令p和q为命题，“p而且q”称为p不q的合叏， 记作p⋀q。 • 当p和q均为真时它为真，否则为假。 • 找出p和q的合叏，其中p为命题“今天是星期 五”，q为命题“今天下雨”。 “今天是星期五而且下雨。” 命题的析取 • 令p和q为命题，“p戒q”称为p不q的析叏，记 作p⋁q。 • 当p和q均为假时为假，否则为真。 • “选修过微积分戒计算机科学的学生可以选修本 课”。 • 找出p和q的析叏，其中p为命题“今天是星期 五”，q为命题“今天下雨”。 “今天是星期五，戒今天下雨。” 蕴含 • 令p和q为命题， 蕴含p→q是这样一个命题：在p成真 而q为假时它为假，否则成真。 • P成为假设（前提，前项），q称为结论（推论）。 p q p→q T T T T F F F T T F F T 蕴含 • 表示p→q的术语很多 – 如果p ，那么q – p成立，则q成立 – q由p推出 – q的充分条件是p