离散数学简介1.1命题(proposition) 12命题联结词及真值表1.3合式公式1.4重言式可满足式/矛所式1.4.2代入规则 1.5 000000● 0000 00●00000000000000000 00 Q00 第一章：命题逻辑的基本概念 命题逻辑 ●研究命题的推理演算； ●命题逻辑的应用： ·数学上定理的推导 ·在计算机科学上，验证程序的正确性 主要内容 ●命题的基本概念； ©命题联结词： 。命题合式公式、重言式： 自然语句的形式化 +口“4元4元t至0QC 刘避利（上海交大-CS实验室） 离散数学 9/50
l—ÍÆ{0 1.1 ·K£proposition§ 1.2 ·KÈ(c9˝äL 1.3 ‹™˙™ 1.4 Û™/å˜v™/gÒ™ 1.4.2 ì\5K 1.5 ·K/™z äí 1òŸµ·K‹6ƒ Vg ·K‹6 Ôƒ·KÌn¸é¶ ·K‹6A^µ ÍÆ˛½nÌ 3OéÅâÆ˛ßyßS(5 ÃáSN ·Kƒ Vg¶ ·KÈ(c¶ ·K‹™˙™!Û™¶ g,äÈ/™z© 4ë| (˛°å-CIS¢ø) l—ÍÆ 9 / 50
离散数学简介1.1命题(proposition) 12命题联结词及真值表1.3合式公式1.4重言式可满足式/矛所式1.4.2代入规则 1.5 000000● 0000 00●00000000000000000 00 ●00 第一章：命题逻辑的基本概念 命题逻辑 ●研究命题的推理演算； ●命题逻辑的应用： ·数学上定理的推导 ·在计算机科学上，验证程序的正确性 主要内容 ●命题的基本概念； ●命题联结词； 。命题合式公式、重言式： 。自然语句的形式化 +口“4元4元t至0QC 刘避利（上海交大-CS实验室） 离散数学 9/50
l—ÍÆ{0 1.1 ·K£proposition§ 1.2 ·KÈ(c9˝äL 1.3 ‹™˙™ 1.4 Û™/å˜v™/gÒ™ 1.4.2 ì\5K 1.5 ·K/™z äí 1òŸµ·K‹6ƒ Vg ·K‹6 Ôƒ·KÌn¸é¶ ·K‹6A^µ ÍÆ˛½nÌ 3OéÅâÆ˛ßyßS(5 ÃáSN ·Kƒ Vg¶ ·KÈ(c¶ ·K‹™˙™!Û™¶ g,äÈ/™z© 4ë| (˛°å-CIS¢ø) l—ÍÆ 9 / 50
离散数学简介1.1命题(proposition) 12命题联结词及真值表1.3合式公式1.4重言式可满足式/矛所式1.4.2代入规则 1.5 000000● 0000 00●00000000000000000 00 ●00 第一章：命题逻辑的基本概念 命题逻辑 ●研究命题的推理演算； ●命题逻辑的应用： ·数学上定理的推导 ·在计算机科学上，验证程序的正确性 主要内容 ●命题的基本概念； ●命题联结词； ●命题合式公式、重言式； 。自然语句的形式化 +口“4元4元t至0QC 刘避利（上海文大-CS实验室） 离散数学 9/50
l—ÍÆ{0 1.1 ·K£proposition§ 1.2 ·KÈ(c9˝äL 1.3 ‹™˙™ 1.4 Û™/å˜v™/gÒ™ 1.4.2 ì\5K 1.5 ·K/™z äí 1òŸµ·K‹6ƒ Vg ·K‹6 Ôƒ·KÌn¸é¶ ·K‹6A^µ ÍÆ˛½nÌ 3OéÅâÆ˛ßyßS(5 ÃáSN ·Kƒ Vg¶ ·KÈ(c¶ ·K‹™˙™!Û™¶ g,äÈ/™z© 4ë| (˛°å-CIS¢ø) l—ÍÆ 9 / 50
离散数学简介1.1命题(proposition) 12命题联结词及真值表1.3合式公式1.4重言式/何满足式/矛所式14.2代入规则 1.5 000000● 0000 00●00000000000000000 00 ●00 第一章：命题逻辑的基本概念 命题逻辑 ●研究命题的推理演算； ●命题逻辑的应用： ·数学上定理的推导 ·在计算机科学上，验证程序的正确性 主要内容 ●命题的基本概念； ●命题联结词； ●命题合式公式、重言式； ·自然语句的形式化. +口“4元4元t至0QC 刘避利（上海文大-CS实验室） 离散数学 9/50
l—ÍÆ{0 1.1 ·K£proposition§ 1.2 ·KÈ(c9˝äL 1.3 ‹™˙™ 1.4 Û™/å˜v™/gÒ™ 1.4.2 ì\5K 1.5 ·K/™z äí 1òŸµ·K‹6ƒ Vg ·K‹6 Ôƒ·KÌn¸é¶ ·K‹6A^µ ÍÆ˛½nÌ 3OéÅâÆ˛ßyßS(5 ÃáSN ·Kƒ Vg¶ ·KÈ(c¶ ·K‹™˙™!Û™¶ g,äÈ/™z© 4ë| (˛°å-CIS¢ø) l—ÍÆ 9 / 50
离散数学简介1.1命题(proposition) 12命题联结词及真值表1.3合式公式1.4重言式/可满足式矛所式1.4.2代入规则 1.5 0000000 0000 00000000000000000000 00 Q00 命题 (proposition) 命题是一个非真即假（不可兼）的陈述句。 凡是能分辨其真假的语句都称为命题， 。命愿是一个陈述句，命令句、疑问句和感叹句部不是命题： 。命愿只有两个取值：真或假。这个陈达句所表达的内容可决定是真 还是假，而且不是真的就是假的，不能不真又不假，也不能又真又 假 真国西 凡与实相符的乐达司为用题，而写耳实不仔的为假命酒 。商常用大写字母成表示口使为，用下或0表示具信为假 0Q0 刘避利（上海文大-CS实验室） 离散数学 10150
l—ÍÆ{0 1.1 ·K£proposition§ 1.2 ·KÈ(c9˝äL 1.3 ‹™˙™ 1.4 Û™/å˜v™/gÒ™ 1.4.2 ì\5K 1.5 ·K/™z äí ·K£proposition§ ·K¥òáö˝=b(ÿåo)ù„È" Ö¥U©EŸ˝bäÈ—°è·K" ·K¥òáù„Èß·-È!¶ØÈ⁄a'È—ÿ¥·K¶ ·Kêk¸áäµ˝½b"˘áù„ȧLàSNå˚½¥˝ Ñ¥bß Öÿ¥˝“¥bßÿUÿ˝qÿbßèÿUq˝q b" ˝b·K ÖÜآɌù„Èè˝·Kß ÜØ¢ÿŒèb·K© œ~^åi1“T”½1L´˝äè˝ß^“F”½0L´˝äèb©œ èêk¸´äߧ±˘·K‹6°èä‹6© 4ë| (˛°å-CIS¢ø) l—ÍÆ 10 / 50