北京大学计算机成教离散数学 逻辑学部分(板书).pdfVIP

第三部分逻辑学

第六章命题逻辑

第一节命题演算

6-1-1命题

1.什麽叫命题

其结果能判断真假，但不能既真又假的陈述句，称为命题。

作为判断使用的句子都是陈述句。

2.作为命题的陈述句，不能分成更简单的陈述句，这样的命题叫原

子命题。即简单命题。

3.什麽叫命题的真值

作为命题的陈述句的判断结果，即正确（对应着真命题）或错误

（对应着假命题）的两个值。

4.为了研究方便，我们把简单命题符号化。每一个简单命题用一个

小写英文字母表示。而命题真值也要符号化。用1表示命题的

结果是真，即真命题；用0表示命题的结果是假，即假命题。

联结词与复合命题及其真值

1.我们称用联结词联结在一起的简单命题为复合命题。

（1）否定联结词与命题否定式：“﹁”是否定联结词通过他可以构成

。

命题否定式。例如：用p表示“4是素数”。p的真值显然是假，即真

值为0；

¬p表示假命题p的否定式，¬p的真值自然为真，即为1。

（2）合取联结词与命题的合取式：“∧”是合取联结词。

通过他可以构成命题的合取式。例如：p∧q，即p与q同时为真，复

合命题的值才为真，即

0∧0=0；0∧1=0；1∧0=0；1∧1=1。

所以，在p，q取不同真值的4种情况下，命题的合取式只有一个真值。

（3）析取联结词与命题析取式：“∨”是析取联结词

。

通过他可以构成命题的析取式。例如：p∨q，只要p、q中至少一个

真值为真，其值便为真，即

0∨0=0；0∨1=1；1∨0=1；1∨1=1。

所以，在4种情况下，只有一个情况是假命题，即简单命题同时为

时命题析取式真值为0。

（4）蕴涵联结词与命题蕴涵式：“如果...则...”被称为蕴涵联结

词，采用蕴涵符号“→”

。

在这类句型中，q是p的必要条件；p是q的充分条件；

蕴涵式p→q只有一个假值，即p为真，q为假时蕴涵式命题的真值为0。

（5）等价联结词与等价式：在科学研究时，为了表达一个充分必要条

件，常用“当且仅当”这个词。

双蕴涵联结词将两个互为必要条件又互为充分条件的简单命题，联结成

一个等价式命题，常用符号p←→q表示“p当且仅当q”。所以，只

要两者真值相同（或同真；或同假），等价式命题便为真。

例1:世上无难事，只要肯登攀。

解:肯攀登应为前件，符号化为p，自然有q：世上无难事。

当然，复合命题的形式依然是p→q。

例2:2+2=5当且仅当3是偶数。

解:设p：2+2=5，q：3是偶数，则p为假，q为假，

命题符号化为pq，其真值为1。

6-1-2命题公式

1.命题的项--符号化后的原子命题以及没有指定代表具体意义的符号

都叫项。常用p、q、r„表示。

2.命题公式与真值函数

一个将命题常项或命题变项用联结词和圆括号按一定逻辑关系

和算术规则有限次地联结起来的符号串，为命题公式，也称合式

公式，简称公式。

为了研究的方便，以后将没有指定意义的符号称为命题变

量则合式公式自然被称为函数。由于这些函数的取值与高等数学

，

不同只能取真值0或1，故称其为真值函数。(小题?)

，

3.层:若A是单个命题变项或命题常项，则称A为零层公式

。

对n≥0层公式的每一次联结词的联结操作之后，公式成为n+1层.

一般说来，命题公式不是命题，因为(?)

4.定义：将含有多个命题变项的公式A的每