zsych01命题逻辑 幻灯片.ppt

命题逻辑 谓词逻辑 非经典逻辑 第1章 命题逻辑 命题逻辑研究的是以原子命题为基本单位的推理演算，其特征在于，研究和考查逻辑形式时，我们把一个命题只分析到其中所含的原子命题成分为止。通过这样的分析可以显示出一些重要的逻辑形式，这种形式和有关的逻辑规律就属于命题逻辑。 第1章 命题逻辑 内容提要： 1. 命题逻辑的基本概念、命题联结词 2. 命题公式、自然语言的形式化 3. 命题公式的等值和蕴含 4. 范式 5. 联结词的完备集 6. 推理理论 7. 命题逻辑在计算机科学中的应用 1.1 命题与联结词 1.1.1 命题与命题变元 定义1.1 能够分辨真假的陈述句叫做命题（Proposition） 。 该定义有两层含义： (1)命题是陈述句。其他的语句，如疑问句、祈使句、感叹句均不是命题； (2)这个陈述句表示的内容可以分辨真假，而且不是真就是假，不能不真也不假，也不能既真又假 1.1 命题与联结词 作为命题的陈述句所表示的判断结果称为命题的真值，真值只取两个值：真或假。凡是与事实相符的陈述句是真命题，而与事实不符合的陈述句是假命题。通常用1（或字母T）表示真，用0（或字母F）表示假。 1.1 命题与联结词 （1）北京是中国的首都。 （2）5可以被2整除。 （3）2+2=5。 （4）请勿吸烟。 （5）乌鸦是黑色的吗？ （6）这个小男孩多勇敢啊！ （7）地球外的星球上存在生物。 （8）我正在说谎。 1.1 命题与联结词 命题的分类 原子命题（Automic Proposition）：是指不能再分解为更简单命题的命题； 复合命题（Compound Proposition）：是指由若干命题用联结词组成的新命题。例如： “雪是白的”是原子命题； “昨天下雨，而且打雷”，“如果明天天晴我就去打球或者游泳”都是复合命题。 1.1 命题与联结词 定义1.2 真值确定的原子命题称为命题常元（Propositional Constant），真值不确定的原子命题称为命题变元（Propositional Variable）。 命题常元、命题变元有相对的过程和环境，在这个过程和环境下，例如： C只表示:中国的首都是北京 B只表示:中国的首都是南京 P可以是：中国的首都是北京，中国的首都是南京，中国的首都是武汉，中国的首都是南望山等 1.1 命题与联结词 1.1.2 命题联结词及真值表 否定词“?”（或“?”） 否定词（Negation） 是一元联结词。相当于自 然语言中的“非”、“不”等， 真值表如右图。 1.1 命题与联结词 合取词“∧” 合取词（Conjunction） 是二元联结词。相当于自然 语言中的“与” 、“并且” 、 “而且” 、“也”等，真值表 如右图。 1.1 命题与联结词 析取词“∨” 析取词（Disjunction） 是二元联结词。相当于自然 语言中的“或”、“要么… 要么…”等，真值表如右图。 1.1 命题与联结词 蕴含词“?” 蕴含词（Implication） 是二元联结词。相当于自然 语言中的“若…则…”、“如果 …就…”、“只有…才…”， 真值表如右图。 1.1 命题与联结词 等价词“? ” 等价词（Equivalence） 是二元联结词。相当于自然语 言中的“等价”、“当且仅当”、 “充要条件”等，真值表如右图。 1.1 命题与联结词 我们给联结词规定优先级顺序： ?的优先级最高， 接着?，?， →和?最低 同级从左到右结合 括号强制结合。 (P→Q?R)?(?R?S) 1.2 命题公式 1.2.1 命题公式与命题符号化 定义1.3 命题公式（Propositional Formula）归纳定义如下： （1）0、1、命题常元、命题变元是命题公式； （2）如果α是命题公式，则?α也是命题公式； （3）如果α和β是命题公式，则α?β，α?β，α→β，α?β均是命题公式； （4）只有有限次地利用（1）—（3）形成的符号串才是命题公式。 1.2 命题公式 例如，?(P?Q)，P→(P?Q)等都是命题公式，而CP→Q，?R→P等不是命题公式。 命题逻辑里讨论的对象是命题公式，而日常生活中的推理问题是用自然语言描述的，因此要进行推理演算必须先把自然语言符号化（或形式化）成逻辑语言，即命题公式。然后再根据逻辑演算规律进行推理演算。 1.2 命题公式 例1.2 将下列用自然语言描述的命题符号化。 （1）我和他既是弟兄又是同学。 （2）我和你之间至少有