计算机数学基础课件教学课件作者刘树利16课件.pptVIP

第十六章 数理逻辑 第十六章 数理逻辑 后页 首页 前页 后页 首页 前页 基本要求、重点难点 16.1 数 理 逻 辑 16.2 公式的相等与蕴含 16.3 谓词与量词 ? 基本要求 　　?掌握多元函数以及多元嫦娥数微积的法则。 　　?了解微积分及其应用，且以二元函数为主原由。 　　?掌握三元以及一般n元函数的性质，特点。 　　?了解一些空间解析几何的概念。 　　?理解多元函数的偏导数与全微分的概念，熟练掌握多元复合函数与隐函数的偏导数的求法。 　　?掌握二元函数定义、定义域的求法与表示法。 ? 重点难点 重点： ?函数的微积分应用以及二元函数。 ?多元函数的概念、极限和连续性。 难点： ?多元函数的偏导数、极值及其在经济分析中的应用。 ? 16.1 ? 数 理 逻 辑 ?16.1.1 命题定义 定义16.1 　　凡是能判断其真假的陈述句叫做命题。　　作为命题的陈述句表达的判断只有两种结果：正确和错误，这种判断结果称为命题的真值。真值只能取两个值：真或假，分别用1和0表示。 ?16.1.2?? 命题联结词 　　1. 否定┐P 　　设P是一个命题，虽然“P是不对的”这句话也是命题，这个新命题称做是原命题P的否定，记作┐P。它的真值关系见表。 　　2. 合取P∧Q　　设P，Q是两个命题，“P并且Q”是一个新命题，称做命题P，Q的合取，记为P∧Q。P∧Q为真当且仅当P，Q同时为真。它的真值关系见表。 　　3.析取P∨Q 　　设P，Q是两个命题，“P或者Q”是一个新命题，称做命题P、Q的析取，记为P∨Q。P∨Q为假当且仅当P、Q同时为假。它的真假关系见表。 　　4.蕴含P→Q 　　设P、Q是两个命题，“若P，则Q”是一个新命题，称做命题，P蕴含命题Q，记为P→Q。它的真假关系见上表。 　　5.等价 P Q 　　设P、Q是两个命题，“P当且仅当Q”是一个新命题，称为P等价Q，记为P Q。P Q为真，当且仅当P、Q同真、同假。它的真值关系见上表。 ?16.1.3??命题公式 　　可以将命题分为两种，一种是不包含任何联词，不能再分解为更简单命题的命题，称为原子命题，用命题符号表示，简称原子；另一种是至少包含一个联结词的命题，称为复合命题。 定义16.2 　　命题逻辑中的公式，是如下定义的一个符号串：?? ?? (1) 原子是公式；?? ?? (2) 若G，H是公式，则如下符号串：┐G，G∨H，G∧H，G→H，G　　H是公式；?? ?? (3) 所有公式都是有限次使用(1)、(2)得到的符号串。?? ?? 例如，如下符号串就是公式：?? ?? ?? ?? ?? ?? ?? ?? ((P∨(Q→R)) 　　┐P)∧(┐R∨(S→Q))而如下符号串就不是公式：?? ?? ?? ?? ?? ?? ?? ?? ?? P┐Q，P∧∨R，V(R→S) 　　(P∧Q)?? ?? 注：五种逻辑联结词的优先级如下：?? ?? ?? ?? ?? ?? ?? ?? ?? ?? ??┐，(∧，∨)，→， ?? ?? 这种规定类似于算术运算中乘法的优先级大于加法，如a+b×c不会被理解为(a+b)×c，而应是a+(b×c)。从而可减少公式中括号的使用。 ?16.1.4? 解释 　　可以将命题分为两种，一种是不包含任何联词，不能再分解为更简单命题的命题，称为原子命题，用命题符号表示，简称原子；另一种是至少包含一个联结词的命题，称为复合命题。 定义16.3 　　设G是公式，A1，…，An是出现在G中的所有原子，指定A1，…，An的一组真值，则这组真值称为G的一个解释，记为I。公式G在解释I下得到一个真值，记为TI(G)。 例如，G＝ (P∧Q)→R，则 ???? 就是G的一个解释。在此解释下，G的真值为：TI(G) ＝ 1。 　　一个公式可以给出多个解释，有n个不同原子的公式，可以有2n个不同的解释。将一公式在其所有解释下所取真值列成一个表，称为此公式的真值表。 公式G＝ (P∧Q)→R的真值表如下： 定义16.4 　　若公式G在其所有解释下均为真，则称G为永真式或重言式；若公式G在其所有解释下均为假，则称G为永假式或矛盾式；若公式G不是永假式，则G称为可满足式。 　　典型的永真式为P∨┐P，即P∨┐P＝1；典型的永假式为P∧┐P，即P∧┐P ＝ 0。公式G ＝(P∧Q)→R为可满足式。 ? 16.2 公式的相等与蕴含 ?16.2.1?公式的相等 定义16.5 　　如果公式G，H在其任意解释I 下真值相同，则称G与H 相等，记为G＝H。显然，公式G、H 相等的充要条件是公式G　　H为永真式。 　　常见的公式相等式 ?16.2.2?公式的蕴含 　　利用真值表(见