高等学校21世纪教材离散数学教程

表 1.1.5
PQ 00 01 10 11
的定义
PQ 1 0 0 1
在本节结束时，应强调指出的是：复合命题 的真值只取决于各原子命题的真值，而与它们的 内容、含义无关，与原子命题之间是否有关系无 关。理解和掌握这一点是至关重要的，请读者认 真去领会。
1.2 命题变元和合式公式
１.
在命题逻辑中，命题又有命题常元和命题变 元之分。一个确定的具体的命题，称为命题常元； 一个不确定的泛指的任意命题，称为命题变元。 显然，命题变元不是命题，只有用一个特定的命 题取代才能确定它的真值：真或假。这时也说对 该命题变元指派真值。
1.3 公式分类与等价公式
１.
定义1.3.1 设 A 为任意公式， ① 对应每一个指派，公式 A 均相应确定真 值为真，称 A 为重言式，或永真式。 ② 对应每一个指派，公式 A 均相应确定真 值为假，称 A 为矛盾式，或永假式。 ③ 至少存在一个指派，公式 A 相应确定真 值为真，称 A 为可满足式。
２.
定义1.3.2 设A和B是两个命题公式，如果A、
B在其任意指派下，其真值都是相同的，则称A 和B是等价的，或逻辑相等，记作AB，读作A 等价B，称AB为等价式。
显然，若公式A和B的真值表是相同的，则A 和B等价。因此，验证两公式是否等价，只需做 出它们的真值表即可。
在这里，请读者注意和的区别与联系。
当P的真值为真而Q的真值为假时，命题 P→Q的真值为假；否则，P→Q的真值为真。条 件联结词→的定义由表1.1.4表示之。
表 1.1.4
PQ 00 01 10 11
P→Q
1 1 0 1
在条件命题P→Q中，命题P称为P→Q的前 件或前提，命题Q称为P→Q的后件或结论。条件 命题P→Q
“如果P，那么Q”；“P仅当Q”；“Q每当 P”；“P是Q的充分条件”；“Q是P的必要条件” 等。
(3) 结合律：(A∧B)∧CA∧(B∧C)， (A∨B)∨CA∨(B∨C)， (AB)CA(BC)。
(4) 分配律：A∧(B∨C)(A∧B)∨(A∧C)， A∨(B∧C)(A∨B)∧(A∨C)。
(5) 德·摩根律：(A∧B)A∨B， (A∨B)A∧B。
(6) 等幂律：A∧AA，A∨AA。
命题常元和命题变元均可用字母P等表示。 由于在命题逻辑中并不关心具体命题的涵义，只 关心其真值，因此，可以形式地定义它们如下：
定义1.2.1 以真或1、假或0为其变域的变元， 称为命题变元；真或1、假或0
2.
通常把含有命题变元的断言称为命题公式。 但这没能指出命题公式的结构，因为不是所有由 命题变元、联结词和括号所组成的字符串都能成 为命题公式。为此常使用归纳定义命题公式，以 便构成的公式有规则可循。由这种定义产生的公 式称为合式公式。
1.4 对偶式与蕴涵式
１. 对偶式
在上节介绍的命题定律中，多数是成对出现 的，这些成对出现的定律就是对偶性质的反映， 即对偶式。利用对偶式的命题定律，可以扩大等 价式的个数，也可减少证明的次数。
定义1.4.1 在给定的仅使用联结词、∧和∨ 的命题公式A中，若把∧和∨互换，F和T互换而 得到一个命题公式A*，则称A*为A的对偶式。
在日常生活中，用条件式表示前提和结论之 间的因果或实质关系，如例1.1.4中的①，这种条 件式称为形式条件命题。然而在命题逻辑中，一 个条件式的前提并不要求与结论有任何关系，这 种条件式称为实质条件命题。采用实质条件式作 定义，不单是出于“善意推断”，主要是因为前 提与结论间有无因果和实质关系难以区分，而且 实质条件式已包含了形式条件式，更便于应用。
AB(A→B)∧(B→A)(A∧B)∨(A∧B) AB(AB) (13) 输出律：(A∧B)→CA→(B→C)。 (14) 归谬律：(A→B)∧(A→B)A。
上面这些定律，即是通常所说的布尔代数或 逻辑代数的重要组成部分，它们的正确性利用真 值表是不难给出证明的。
４.代入规则和替换规则
4.
把一个用文字叙述的命题相应地写成由命题 标识符、联结词和圆括号表示的合式公式，称为
命题的符号化。符号化应该注意下列事项: ① 确定给定句子是否为命题。 ② 句子中连词是否为命题联结词。 ③ 要正确地表示原子命题和适当选择命题 联结词。
命题符号化是很重要的，一定要掌握 好，在命题推理中常常最先遇到的就是符 号化一个问题，解决不好，等于说推理的 首要前提没有了。
当合式公式比较复杂时，常常使用很多圆括 号，为了减少圆括号的使用量，可作以下约定：
①规定联结词的优先级由高到低的次序为： l、∧、∨、→、
②相同的联结词按从左至右次序计算时，圆 括号可省略。
③最外层的圆括号可以省略。 为了方便计，合式公式也简称公式。
３.
定义1.2.4 对于公式中命题变元的每一种可 能的真值指派，以及由它们确定出的公式真值所 列成的表，称为该公式的真值表。
(7) 同一律：A∧TA，A∨FA。 (8) 零 律：A∧FF，A∨TT。 (9) 吸收律：A∧(A∨B)A，A∨(A∧B)A。 (10) 互补律：A∧AF，(矛盾律) A∨AT。(排中律) (11) 条件式转化律：A→BA∨B， A→BB→A。
(12) 双条件式转化律：
定义1.1.5 令P、Q是两个命题，由命题联 结词把P和Q连接成P Q，称P Q为命题P 和Q的双条件式复合命题，简称双条件命题，P Q读做“P当且仅当Q”，或“P等价Q”。称 为双条件联结词。
当P和Q的真值相同时，P Q的真值为真； 否则，P Q的真值为假。双条件联结词的定 义由表1.1.5表示之。
子命题变元R出现的每一处， 用另一个公式代入， 所得公式B仍是永真式。本定理称为代入规则。
(2)替换规则
定理1.3.3 设A1是合式公式A的子公式，若 A1B1，并且将A中的A1用B1 替换得到公式B， 则AB。称该定理为替换规则。
满足定理1.3.3条件的替换，称为等价替换。
代入和替换有两点区别： ① 代入是对原子命题变元而言的，而替换 可对命题公式实行。 ② 代入必须是处处代入，替换则可部分替 换，亦可全部替换。
在定义合成公式时，已看到了逻辑联结词能 够从已知公式形成新的公式，从这个意义上可把 逻辑联结词看成运算。除逻辑联结词外，还要介 绍“代入”和“替换”，它们也有从已知公式得 到新的公式的作用，因此有人也将它们看成运算， 这不无道理，而且在今后讨论中，它的作用也是 不容忽视的。
(1)代入规则
定理1.3.2 在一个永真式A中，任何一个原
定义1.2.2 单个命题变元和命题常元称为原 子命题公式，简称原子公式。
wenku.baidu.com
定义1.2.3 合式公式是由下列规则生成的公 式：
①单个原子公式是合式公式。
②若A是一个合式公式，则(lA)也是一个合 式公式。
③若A、B是合式公式，则(A∧B)、(A∨B)、 (A→B)和(A B)都是合式公式。
④只有有限次使用①、②和③生成的公式才 是合式公式。
表 1.1.2
PQ 00 01 10 11
∧的定义 P∧Q
0 0 0 1
定义1.1.3 设P和Q为两个命题，由命题 联结词∨把P和Q连接成P∨Q，称P∨Q为命 题P和Q的析取式复合命题，P∨Q读做“P或 Q”。称∨为析取联结词。
当且仅当P和Q的真值同为假，P∨Q的真 值为假；否则，P∨Q的真值为真。析取联结 词∨的定义由表1.1.3表示之。
显然，A也是A*的对偶式。可见A与A*互为 对偶式。
定理1.4.1(对偶定理) 设A和A*互为对偶式， P1，P2，…，Pn是出现A和A* 中的原子命题变元， 则
区别：是逻辑联结词，属于目标语言中的 符号，它出现在命题公式中；不是逻辑联结词， 属于元语言中的符号，表示两个命题公式的一种 关系，不属于这两个公式的任何一个公式中的符 号。
联系：可用下面定理表明之。
定理1.3.1 A B当且仅当AB是永真式。 有时也称A B
① 自反性，即对任意公式A，有A A。 ② 对称性，即对任意公式A和B，若A B， 则B A。 ③ 传递性，即对任意公式A、B和C，若A B、B C，则A C。
表 1.1.3
PQ
00 01 10 11
∨的定义 P∨Q
0 1 1 1
由定义可知，析取联结词表示“可兼和”， “不可兼和”另有别的联结词定义之。
与合取联结词一样，使用析取联结词时，也 不要求两命题间一定有任何关系，有关例子就不 再给出了。
定义1.1.4 设P和Q为两个命题，由命题联 结词→把P和Q连接成P→Q，称P→Q为命题P和 Q的条件式复合命题，简称条件命题。P→Q读做 “P条件Q”或者“若P则Q”。称→为条件联结词。
如果一陈述句再也不能分解成更为简单的语 句，由它构成的命题称为原子命题。原子命题是
命题分为两类，第一类是原子命题，原子命
题用大写英文字母P，Q，R…及其带下标的Pi， Qi，Ri，…表示。
第二类是复合命题，它由原子命题、命题联 结词和圆括号组成。
２.
定义1.1.1 设P表示一个命题，由命题联结 词l和命题P连接成lP，称lP为P的否定式复合命 题， lP读“非P”。称l为否定联结词。lP是真， 当且仅当P为假；lP是假，当且仅当P为真。否 定联结词“l”的定义可由表1.1.1表示之。
退出
1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论
1.1 命题与联结词
１.
所谓命题，是指具有非真必假的陈述句。而 疑问句、祈使句和感叹句等因都不能判断其真假， 故都不是命题。命题仅有两种可能的真值—真和 假，且二者只能居其一。真用1或T表示，假用0 或F表示。由于命题只有两种真值，所以称这种 逻辑为二值逻辑。命题的真值是具有客观性质的， 而不是由人的主观决定的。
３.基本等价式——命题定律
在判定公式间是否等价，有一些简单而又经 常使用的等价式，称为基本等价式或称命题定律。 牢固地记住它并能熟练运用，是学好数理逻辑的 关键之一，读者应该注意到这一点。现将这些命 题定律列出如下：
(1)双否定：AA。 (2) 交 换 律 ： A∧BB∧A ， A∨BB∨A ， ABBA。
高等学校21世纪教材
电子教案
人民邮电出版社
第一章 命题逻辑
命题逻辑，也称命题演算，记为Ls。它与谓 词逻辑构成数理逻辑的基础，而命题逻辑又是谓 词逻辑的基础。数理逻辑是用数学方法即通过引 入表意符号研究推理的学问。因此，数理逻辑又 名为符号逻辑。
命题逻辑是研究由命题为基本单位构成的前 提和结论之间的可推导关系。
表 1.1.1 P 1 0
的定义
P 0 1
由于否定”修改了命题，它是对 单个命题进行操作，称它为一元联结 词。
定义1.1.2 设P和Q为两个命题，由命题 联结词∧将P和Q连接成P∧Q，称P∧Q为命题 P和Q的合取式复合命题，P∧Q读做“P与Q”， 或“P且Q”。称∧为合取联结词。
当且仅当P和Q的真值同为真，命题P∧Q 的真值才为真；否则，P∧Q的真值为假。合 取联结词∧的定义由表1.1.2表示之。
由定义可知，重言式必是可满足式，反之一 重点将研究重言式，它最有用，因为它有以 ①重言式的否定是矛盾式，矛盾式的否定是 ②两重言式的合取式、析取式、条件式和双 条件式等都仍是重言式。于是，由简单的重言式 ③由重言式使用公认的规则可以产生许多有
判定给定公式是否为永真式、永假式或可满
在Ls中，由于任何一个命题公式的指派数目 总是有限的，所以Ls的判定问题是可解的。其判
定义1.2.5 如果B是公式A中的一部分，且B 为公式，则称B是公式A的子公式。
用归纳法不难证明，对于含有n个命题变元 的公式，有2n个真值指派，即在该公式的真值表 中有2n行。
为方便构造真值表，
① 命题变元按字典序排列。 ② 对每个指派，以二进制数从小到大或从 大到小顺序列出。 ③ 若公式较复杂，可先列出各子公式的真 值(若有括号，则应从里层向外层展开)，最后列 出所求公式的真值。