mathchap离散数学命题逻辑.pptxVIP

mathchap离散数学命题逻辑会计学主要内容第1页/共59页命题的基本概念等值演算范式推理理论命题的基本概念第2页/共59页命题的定义能判断真假的陈述句命题的两个关键要素必须是陈述句能明确地判断真假命题的真值判断为正确的命题，其真值为真（1）；判断为错误的命题，其真值为假（0）。命题的例第3页/共59页4是素数。x大于y。充分大的偶数等于两个素数之和。(歌德巴赫猜想)2020年5月1日北京的天气是雨天。请不要吸烟！这朵花真美丽啊！我正在说假话。你现在好吗？命题符号化第4页/共59页命题常用小写字母表示，如p：4是素数命题的真值表示：1表示真0表示假简单命题不能被分解为更简单的陈述句的命题也称为原子命题命题常项与命题变项命题常项：真值可以确定；命题变项：真值可以变化。本质不是命题。复合命题及联结第5页/共59页复合命题：由简单命题通过联结词联结而成的命题。常见联结词否定联结词合取联结词析取联结词蕴涵联结词等价联结词否定式第6页/共59页定义：复合命题“非p”称为p的否定式，记作?p。?为否定联结词。?p为真当且仅当p为假。即?p表示对p的真值取反。p?p1001例P：今天是星期二。?p：今天不是星期二。q：所有人都来上课了。?q：不是所有人来上课了。有人没来上课。合取式第7页/共59页定义：复合命题“p并且q”称为p与q的合取式，记作p∧q。 ∧为合取联结词。p∧q为真当前仅当p与q同时为真。其他情况时p∧q为假。pqp∧q111100010000例小李既勤奋又聪明。小李不仅勤奋而且聪明。小李虽然聪明，但是不勤奋。小李和小王都很勤奋。小李和小王是同学。注：并不是所有的“和”、“与”都表示合取关系。析取式第8页/共59页定义：复合命题“p或者q”称为p与q的析取式，记作p∨q。∨为析取联结词。p∨q为假当且仅当p与q同时为假。其他情况p∨q为真。pqp∨q111101011000例小李爱唱歌或者爱打篮球。小李在打篮球或者在踢足球。小李可以坐火车或者乘飞机回家。析取式第9页/共59页自然语言中的“或”具有二义性，与析取式中的“或”含义不完全相同。析取式可表示“相容或”和“不同时为真排斥或”；“能同时为真的排斥或”可用“异或”关系表示。蕴涵式第10页/共59页定义：复合命题“如果p，则q”称为p与q的蕴涵式，记作p→q。 p→q为假当前仅当p为真且q为假。其他情况时， p→q为真。pqp→q111100011001自然语言中p与q具有联系，而数理逻辑中p与q可以没有联系。例如果3＋3＝6，则雪是黑的。如果3+3?6，则雪是黑的。蕴涵式第11页/共59页p→q在逻辑上表明p为q的充分条件，q为p的必要条件。例只要a能被4整除，则a一定能被2整除。a能被4整除，仅当a能被2整除。除非a能被2整除，a才能被4整除。只有a能被2整除，a才能被4整除。只有a能被4整除，a才能被2整除。等价式第12页/共59页定义：复合命题“p当且仅当q”称为p与q的等价式，记作p?q。?称作等价联结词。p?q为真当且仅当p与q真值相同。其他情况时，p?q为假。pqp?q111100010001p?q在逻辑上表明p与q互为充要条件。例：若今天为1号，则明天是2号，反之亦然。今天是雨天当且仅当雪是黑的。基本复合命题真值表第13页/共59页pq?pp∧qp∨qp→qp?q0010011011011010001001101111联结词的优先顺序第14页/共59页()?∧∨→?练习第15页/共59页判断下列命题的真值若2＋2＝4，则3＋3＝6若2＋2＝4，则3＋3≠6若2＋2≠4，则3＋3＝6若2＋2≠4，则3＋3≠62＋2＝4当且仅当3＋3＝62＋2＝4当且仅当3＋3≠62＋2≠4当且仅当3＋3＝62＋2≠4当且仅当3＋3≠6练习第16页/共59页将下列命题符号化2是偶数又是素数他一边吃饭一边看电视如果天下雨，他就乘公共汽车上班只有天下雨，他才乘公共汽车上班不经一事，不长一智练习第17页/共59页设p、q的真值为0，r、s的真值为1，求下列命题公式的真值p∨(q∧r)(p?r)∧(?q∨s)命题公式第18页/共59页命题常项（命题常元）：简单命题，真值唯一确定。命题变项（命题变元）：真值可以变化的陈述句。命题常项和命题变元都用小写字母表示。合式公式（命题公式）：将命题变项用联结词和圆括号按一定的逻辑关系联结起来的符号串。合式公式的定义第19页/共59页递归定义1. 单个命题变项是合式公式，并称为原子命题公式；2. 若A是合式公式，则(?A)也是合式公式；3. 若A，B是合式公式，则(A∧B)，(A∨B)，(A→B)，(A?B)也是合式公式；4. 只有有限次地应用1－3形式的符号串才是合式公式。子公式定义若A为合式公式，B为A的一部分，且B也是合式公式，则称B为A的子