计算机数学基础电子教案教学课件作者王信峰8-1课件.PPTVIP

§8.1 命题逻辑的基本概念 8.1.1命题与真值表 8.1.2 等值演算 8.1.3 析取范式 8.1.1 命题与真值表 一、命题与联结词 二、命题公式及其赋值 8.1.2 等值演算 定义9 设 是两个命题公式，若等价式 为永真式，则称 与 是等值的，记作 . 8.1.3 析取范式 仅由有限个命题变元或其否定构成的析取式称为简单析取式； 仅由有限个命题变元或其否定构成的合取式称为简单合取式. 定义10 由有限个简单合取式构成的析取式称为析取 范式. 定义11 在含有 个不同命题变元的简单合取式中，若每个命题变元与其否定不同时存在，而二者之一必出现且仅出现一次，且第 个命题变元或其否定出现在从左起的第 位上（若命题变元无角标，则按字典顺序排列），称这样的简单合取式为这 个命题变元的一个极小项. 定义11（主析取范式）设命题公式 中含有 个不同的命题变元 ，与 等值的由 的极小项构成的析取范式称为 的主析取范式. 利用真值表我们可以证明许多等值式： （1）双重否定律 （2）幂等律 （3）交换律 （4）结合律 （5）分配律 （6）德·摩根律 （7）吸收律 （8）零律 （9）同一律 （10）排中律 （11）矛盾律 （12）蕴涵等值式 （13）等价等值式 可以利用这些已知的基本等值式进行等值演算. 例5 用等值演算法证明等值式 解： （蕴涵等值式） （蕴涵等值式） （德·摩根律） （交换律） （双重否定律） 例如： 都是简单析取式 1、析取范式 都是简单合取式 例如 是由 三个简单合 取式构成的析取范式. 可以证明任一个命题公式都存在着与之等值的析取范式，即任一命题公式都可以表示成析取范式的形式. 在一般情况下与之等值的析取范式形式并不是唯一的. 2、主析取范式 例如 2个命题变元 的极小项共有4个,分别是: 3个命题变元 的极小项共有8个,分别是: 不难发现每个极小项都有且仅有一个成真赋值. 在极小项中，将命题变元的原形对应1，否定形对应0，则每个极小项对应一个二进制数，此二进制数正是该极小项的唯一的成真赋值. 将二进制数换成十进制数，我们可以得到该极小项的抽象表示法的角标. 7 111 6 110 5 101 4 100 3 011 2 010 1 001 0 000 抽象记号 十进制数 二进制数（赋值） 极小项 以3个命题变元为例，对应情况如下 . 可以证明任何命题公式都存在着与之等值的主析取范式，并且是惟一的. 一般情况下， 个命题符号共有 个不同的极小项，分别记为： . * * 1) 5月1日是国际劳动节。 我们用于表达的语句有很多形式，其中表达判断的语言是陈述句，能够确定其判断正确与否的陈述句称为命题. 2) 2+3=5。 3) 太阳从西边升起。 4) 明天是否上课？ 5) 请起立！ 6) 天气多好啊！ 例如： 1、命题 1),2),3)都是命题. 4),5),6)则不是命题，因为它们都不是陈述句 。 陈述句所表达的判断只有两种结果：正确或错误.称这种判断结果为命题的真值. 真值只能取两个值：真或假. 任何命题的真值都是惟一的，真对应判断正确，假对应判断错误。称真值为真的命题为真命题，真值为假的命题为假命题。 前例中，1),2)是真命题，3)是假命题。 2、命题的符号化 3、命题的符号化 为了便于用数学方法来研究命题之间的逻辑关系，我们需要将命题符号化。 例如： 用“1”代表一个真命题，用“0”代表一个假命题. 一个真命题，也称其真值为1，一个假命题也称真值为0. 五月一日是国际劳动节。 太阳从西边升起。 本书规定用大写英文字母 或 等表示命题。