第四讲 复合命题与命题公式(下).pptVIP

第三节 命题公式和真值函数 3.1 命题公式 1“如果王进是犯罪嫌疑人，那么他有犯罪动机和犯罪时间。” 2“如果一个公民是完全行为能力人，那么他年满十八周岁并且具有完全的行为能力。” 它们具有相同的逻辑形式 “p →( q ∧ r )” 命题公式－从逻辑的角度看 “p →( q ∧ r )”是用命题符号p、q、r，逻辑联结词符号→和∧，以及一对括号构造而成的。 构造命题公式的符号是人为创造出来的一种特殊的语言符号。人们创造这些符号是为了表达复合命题的逻辑形式以满足逻辑研究的需要。 我们把这样的语言叫做形式语言。 构造命题公式的初始符号： 1、命题变元：p，q，r，… 2、命题联结词：∧，∨，→，?，? 3、辅助符号： （， ） 说明：第1类符号是逻辑变元，是以真值为变域的变元。 第2类符号是逻辑常元，它们有确定的逻辑涵义因而能够表达某种确定的真假联系。 第3类符号则是为避免歧义以构造合式命题公式所需要的辅助符号。 合式公式的形成规则： 1.所有命题变元是命题公式； 2.如果?是命题公式，那么??是命题公式； 3.如果?、?是命题公式，那么（???），（?∧?）、（Φ∨Ψ）和（Φ?Ψ）也是命题公式； 4.只有符合以上3条的才是命题公式。 通过有限次使用以上规则得到公式称为合式公式。 第1条规则规定任意一个命题变元是公式，显然这是结构最简单的命题公式，因此被称作原子公式。 第2条规定在一个命题公式左边添加联结词“?”就得到一个新的命题公式。这条规则规定“?”只能作用于一个命题公式，“?”因此被称作一元联结词。 第3条规定，任意两个命题公式用联结词∧、∨、→和?联结起来，并在两头分别加上括号就形成一个新的公式。这四个联结词也因为所联结的必须是两个命题公式而被称作二元联结词。 五种基本的复合命题 “（p∧q）”表达联言命题，称其为合取式 “（p∨q）”表达选言命题，称其为析取式 “（p→q）”表达条件命题，称其为蕴涵式 “（p?q）”表达等值命题，称其为等值式 “?p”表达负命题，称其为否定式。 合式公式都可以用树形结构来表示 例 ( (p ∧? q ) ∨ r ) ? ( ( ?p ∨ r ) ? ( q ? s ) ) 我们把一个命题公式构造过程中遇到的每一个公式叫做该命题公式的子公式。 根据形成规则可以判定任一符号串是不是命题公式。例 pq∧r，p?q，p∧→q r 括号的作用 在命题公式的构造中正确添加括号是非常重要的。看如下几个命题公式： （p∧q）→（r∨s） p∧（q→（r∨s）） （（p∧q）→r）∨ s 具体命题是命题公式的例示 从逻辑的角度看，具体命题只是命题公式的例示，即命题公式的一个特例。 例“（p∧q）→r” ： 1、如果加温到了一定限度并且加压到一定限度，那么空气可以液化。 2、如果考试合格并且体验合格，那么就可以上大学。 3.2 命题公式与真值函数 命题公式的真假是由命题变元的真假确定的。例 p→q 如果p 、q的真假不确定，则p→q的真假也不确定。 如果p真q假，则p→q可确定为假。 如果p真q真，则p→q可确定为真。 命题公式就相当于一个函数式，公式的真值由变元的真值唯一确定。 命题公式是一个以{真、假}为定义域，以{真、假}为值域的函数，因此称作真值函项。 问题： 我们可以构造出多少个命题公式？ 我们可以构造出多少个真值函项？ 为什么我们只能构造出有限多个真值函项？ 1、有限多个命题变元的真假组合是有限的。 n个变元的真假取值情况有2n种。 2、相对于变元的每一组取值，一个真值函项的值或者是真的或者是假的。 例 p f1(p) f2(p) f3(p) f4(p) T T T F F F T F T F 真值函项的种类 1、恒真式（重言式）。 2、恒假式（矛盾式）。 3、协调式（可满足式）。 所有的有效推理形式都表现为一个重言式（逻辑真理）。 第四节 命题公式间的逻辑等值关系 给定有限个命题变元，可以构造出无限多个命题公式。例如，给定p和q，可以无限多次运用联结词和括号，构造出无限多个命题公式。 p和q只能构造出有限多个真值函项。 这意味着实际上总有若干个不同的命题公式相当于同一个真值函项。 何谓逻辑等值？ 一些命题公式尽管形式各不相同，由于它们表示的是同一个真值函项，无论构成公式的变元取什么样的值，这些公式要真都是真的，要假都是假的。由于这些表达同一真值函项的公式在任何情况下都具有相同的逻辑值，因此我们称这些公式是逻辑等值的公式。 两个命题公式是逻辑等值的，那么它们一定有共同的命题变元，并且无论