五讲命题逻辑.pptVIP

第一节 命题公式与真值函项 第二节 命题公式之间的逻辑等值关系 第三节 基本的有效推理式 第四节 推理有效性的形式证明 第五节 无效推理的证明 第一节命题公式与真值函项 1.1 命题公式 1.2 命题公式与真值函项 1.1命题公式 初始符号 命题变元：p，q，r，… 命题联结词：∧，∨，→，?，? 辅助符号： （， ） 第1类符号是逻辑变元，它们是抽象的命题代表，如果代表真命题，变元取值为真，如果代表假命题则取值为假。因此1类符号称作以真值为定义域的变元。 第2类符号是逻辑常元，它们有确定的逻辑解释因而能够表达某种确定的真假联系。 第3类符号则是为避免歧义以构造合式命题公式所需要的辅助符号。 形成规则 1、所有命题变元是命题公式； 2、如果?是命题公式，那么??是命题公式 3、如果?、?是命题公式，那么（???），（?∧?）、（Φ∨Ψ）和（Φ?Ψ）也是命题公式； 4、只有符合以上3条的才是命题公式。 pq∧r，p?q，p∧→q r 从逻辑的角度看，命题公式是构造出来的，具体命题只是命题公式的例示，即命题公式的一个特例。 如下具体命题都是命题公式“（p∧q）→r”的例示： 如果加温到了一定限度且加压到一定限度，那么空气可以液化。 如果考试合格并且体验合格，那么就可以上大学。 1.2命题公式与真值函项 命题公式就相当于一个函数式，公式的值由变元的值唯一确定。 命题公式是一个以真假为定义域，并且也以真假为值域的特殊函数。真假是命题的逻辑值，简称真值。因此，命题公式被称作真值函项。 1.2命题公式与真值函项 我们可以看到，给定ｎ个命题变元，则有２n种真假取值，然后构成2 ２n个真值函项。这些不同的真值函项分为三大类： ① 恒真式。不论其中的变元取什么样的值，函项式的值恒为真。 ② 恒假式。无论其中的变元取什么样的值，函项式的值恒为假。 ③ 协调式。既不是恒真式也不是恒假式函项式。显然，协调式在其变元的某些取值组合下为真，在另一些取值组合下又为假的。因此。协调式的真假由变元的真假决定。 第二节命题公式之间的逻辑等值关系 2.1命题公式之间的逻辑等值 2.2几个重要的重言等值式 2.3命题联结词的相互定义 2.1命题公式之间的逻辑等值 逻辑等值的公式：表达同一真值函项的公式在任何情况下都具有相同的逻辑值，我们称这些公式是逻辑等值的公式。 真值表：判定两个公式是否是逻辑等值的 例1、判定命题公式“﹁p∨ ﹁ q ”与“﹁ (p∧q) ”是否逻辑等值。 例2、判定命题公式“(p∧q) →r”与“p∨(q →r)”是否逻辑等值。 2.1命题公式之间的逻辑等值 如果两个公式是等值的，那么以这两个公式为子公式构造一个等值式： （﹁p∨ ﹁ q ）?（﹁ (p∧q)）。 这个等值式是恒真的，由此可推知，一个等值式是重言式，那么它的两个子公式逻辑等值。 如果一个等值式是重言式，那么我们就用符号“?”代替等值联结“?”。 2.2几个重要的重言等值式 1、交换律 (p∧q)?(q ∧p) (p∨q)?(q ∨ p) 2、结合律 ((p∧q )∧r)?(p ∧( q ∧r)) ((p ∨ q ) ∨ r)?(p ∨( q ∨ r)) 3、德摩根律 ?(p∧q) ? ?p∨?q； ?(p∨q) ? ?p∧?q。 4、分配律 p∧(q∨r) ? (p∧q)∨(p∧r) p∨(q∧r) ? (p∨q) →(p∨r) 5、实质蕴涵（p→q） ?（?p ∨ q） 6、假言易位 （p→q） ?（ ?q → ?p ) 7、移出律 (p∧q) →r ? p→(q →r) 8、实质等值(p?q) ?(p → q) ∧(q → p) 9、双否律 p ? ? ?p 10、重言律p ? p ∧ p p ? p ∨ p 2.3命题联结词的相互定义 “?，∨”、“?，∧”、“?，→” 例、证明用“?，∨”构造的命题公式可以定义所有五种基本命题公式。 第三节 基本的有效推理式 3.1推理的有效性 3.2基本的有效推理式 3.1推理的有效性 （1） “如果张珊是中国公民并且她有选举权 ，那么张珊年满18岁。张珊是中国公民，但是她还没满18岁。所以，张珊没有选举权。” （2）“如果张珊是中国公民并且她有选举权 ，那么张珊年满18岁。张珊是中国公民，但是她还没满18岁。张珊没有选举权。” 第三节基本的有效推理式 3.1推理的有效性 推理是一个包含特殊词项的命题集合，根据这样的词项，我们可以区分出前提和结论。 推理的有效性是由推理的形式决定的。它表现