[理学]第二章 非形式的命题逻辑系统.pptVIP

第二章 非形式的命题逻辑系统 本章我们将介绍命题逻辑中的一些基本概念和方法。 本章重点：真值联结词、真值表、重言式和范式。 本课件内容参阅《数理逻辑（南开大学精品课程） 》。 第一节 命题和真值联结词 本节重点：简单命题和初始联结词；真值表；真值函项。 2.1.1 简单命题和复合命题 定义1.1 一个有真假的陈述（或语句）称为命题。 定义1.2 一个命题，如果不再包含其他命题成分，那么就 称它为一个简单命题。 定义1.3 一个命题，如果它至少包含有一个其他命题，那 么就称它为一个复合命题，组成复合命题的那些 命题叫做复合命题的支命题。 定义1.4 把几个支命题联结起来从而构成一个复合命题的 词项叫做逻辑联结词，简称为联结词。 2.1.1简单命题和复合命题 我们经常碰到的联结词有： （1）……并且…… （2）并非…… （3）……或者…… （4）如果……，则…… （5）……当且仅当…… 定义1.5 反映复合命题与支命题之间真假关系的联结词又称为真值联结词，在不混淆的情况下，也简称为联结词。 为了避免混淆，我们约定用特殊的符号来表示真值联结词。于是，以上例子分别对应如下五个真值联结词：?，?，?，?，?。 2.1.2 五个基本的真值联结词 定义1.6 由真值联结词构成的复合命题的形式结构叫做真值形式（或命题形式）： 否定式?p：读作“并非p”或者“非p”。它是一个命题的否定命题。由于这个真值联结词只联结一个命题变项，从复合命题的角度考虑，这是一种特殊情况，它只是一个命题的“复合”，所以我们称它为一元联结词。 它的真值表如右图： 注：我们分别用0和1表示命题的假和真。 由于只有一个命题变元，因此右图中的真值指派只有两种情况 ：p为1，或者p为0。 我们有一个简单的公式计算一个命题形式的真值表会有多少行（即这个命题形式有多少种不同的真值指派）：这个数目是2的n次方。其中n表示不同的命题变元的数目。在本页的情况中，真值指派会有2种不同的情形。 合取式 定义1.6： 合取式(p?q)：读作“p并且q”。它相当于“p并且q”这一复合命题。由于这个真值联结词联结了两个命题变项，所以我们称它为二元联结词。 它的真值表如右图： 由于右图的命题形式中出现了两个命题变元，因此右图中的真值指派有四种可能情况 ：p为1且q为1;或者p为1且q为0; p为0且q为1; p为0且q为0。 (p?q)有2的2次方、4种不同情况的真值指派。 请大家思考一个逻辑形式中有3个或4个不同的命题变元时，真值指派的情形是怎样的。 析取式 定义1.6： 析取式(p?q)：读作“p或者q”。它相当于复合命题“p或者q” 。同样，它也是二元联结词。 它的真值表如右图： 蕴涵式 定义1.6： 蕴涵式(p?q)：读作“p蕴涵q”。它相当于复合命题“如果p，那么q” 。它是二元联结词。 它的真值表如右图： 蕴涵式前面的部分称为蕴涵式的前件，蕴涵式后面的部分称为蕴涵式的后件。蕴涵联结词的真值表表示：并非“前件真而后件假”，即：当蕴涵式前件真而且后件假时，这个蕴涵式的真值为假。在其他的情况中，蕴涵式的真值都为真。 蕴涵式 现在尤为要引起注意的是： 日常语言的使用规范中“如果…,那么…”和我们的实质蕴涵有点差异。我们可以这样分析： 如果现在我是亿万富翁，那么我会给你5000万。 但是我现在不是亿万富翁， 所以，我说的这句话“如果现在我是亿万富翁，那么我会给你5000万”还是真的。 这句话为假的条件，当且仅当，现实情况是我是亿万富翁而且我没有给你5000万。 在这里，我们没有考察前件和后件之间的条件关系（日常语言中一般会考察），而只是对它们对复合命题的真值所起到的作用。因此，只要蕴涵式的前件假或者后件真，整个式子为真，而不管它们的内容之间展现了条件关系。 与蕴含式相关的两个基本推理 （1）肯定前件式 A ? B A ?B （2）否定后件式 A ? B ?B ? ? A 等值式 定义1.6： 等值式(p?q)：读作“p等值于q” 。它相当于复合命题“p当且仅当q”。它是二元联结词。 它的真值表如右图： 2.1.2 五个基本的真值联结词 最后注意： 对于逻辑表达式﹁p, p?q，p?q，p?q，p?q 我们考虑这些表达式的真值时，我们只考虑组成这些表达式的原子命题p,q的真值，而与p,q的内容无关，与p,q代表什么意思无关。同样地，在学习逻辑的推演过程中，我们也不考虑逻辑联结词﹁， ? ， ? ， ? ， ?在自然语言中代表什么意思，我们只要知道这些联结词是怎样对原子命题p,q等的真值进行运算的。我们之所以，在前面的例子中说到这些符