第一章命题逻辑总复习080913.pptVIP

1.2 命题公式及分类（P6） 真值表：在命题公式A中, 对于命题变元的每一组 赋值和由它们所确定的命题公式A的真值列成表， 称做命题公式A 的真值表。 命题公式的分类: 判断公式类型的方法：真值表法、等值演算法、主 析（合）取范式法。 证明公式等值的方法：真值表法、等值演算法、主析 (合)取范式法。 1.3 等值演算（P9） 重要的等价式: 1） 双重否定律: A ? ┐┐A， 2） 等幂律: A ?A ? A， A ?A ? A， 3） 交换律: A ? B?A ? B， A ?B ?A ? B， 4） 结合律:（A ? B）? C ?A ?（B ? C）， （A ? B）? C ?A ?（B ? C）， 1.3 等值演算（P9） 5）分配律:A?（B?C）?（A?B）?（A ? C）， A?（B?C）?（A?B）?（A ? C）， 6）德·摩根律: ┐（A?B）? ┐A ? ┐B， ┐（A ? B）? ┐A ? ┐B， 7）吸收律: A?（A?B）?A， A?（A?B）?A， 8）零律: A ? 1 ? 1， A ? 0 ? 0， 9）同一律: A ? 0 ? A， A ? 1 ? A， 10）排中律: A ? ┐A?1， 11）矛盾律: A ? ┐A?0， 1.3 等值演算（P9） 12） 蕴涵等值式: A?B ? ┐A?B， 13） 等价等值式: A?B ?(A→B)?(B→A)， 14） 假言易位: A?B ? ┐B ? ┐A， 15） 等价否定等值式: A?B ?┐A?┐B， 16） 归谬论: (A?B ) ?( A? ┐B)? ┐A。 1.5对偶与范式(Dual Normal Form) 简单析取式：仅有有限个命题变项或其否定组 成的析取式。 简单合取式：仅有有限个命题变项或其否定组 成的合取式。 性质: （1）一个简单析取式是重言式当且仅当它同时含有某个命题变元及其否定式。 （2）一个简单合取式是矛盾式当且仅当它同时含有某个命题变元及其否定式。 1.5对偶与范式(Dual Normal Form) 析取范式：简单合取式的析取式称为析取范式。 合取范式：简单析取式的合取式称为合取范式。 性质: 一个析取范式是矛盾式,当且仅当它的每一个 简单合取式都是矛盾式; (2) 一个合取范式是重言式,当且仅当它的每一个 简单析取式都是重言式。 1.5 对偶与范式(Dual Normal Form) 求命题公式的范式的基本步骤： （1）将公式中的联结词化归成┐,?及?。 （2）将否定词消去或内移到各命题变元之前。 （3）利用分配律、结合律将公式转化为合取范式或析取范式。 极小项：在含有n个命题变元的简单合取式中,若 每个命题变元或其否定出现且仅出现一次，称这 样的简单合取式为极小项。 1.5 对偶与范式(Dual Normal Form) 含有三个命题变元P,Q,R的极小项: 极小项 编码 真值指派 极小项的真值 ┐P?┐Q?┐R m000/m0 000 1 ┐P?┐Q?R m001/m1 001 1 ┐P?Q?┐R m010/m2 010 1 ┐P?Q?R m011/m3 011 1 P?┐Q?┐R m100/m4 100 1 P?┐Q?R m101/m5 101 1 P?Q?┐R m110/m6 110 1 P?Q?R m111/m7 111 1 1.5 对偶与范式(Dual Normal Form) 极小项的性质: 没有两个极小项是等价的, 且每个极小项有且仅 有一个成真赋值，若成真赋值所对应的二进制数转 化为十进制数为i,就将所对应的极小项记作mi。 (2) 任意两个不同的极小项的合取为矛盾式。 (3) 全体极小项的析取为永真式。 主析取范式：A的析取范式中，所有的简单合取式 都是极小项，则称该析取范式为A的主析取范式。 （真值表法、等值演算法） 1.5对偶与范式(Dual Normal Form) 真值表法：在命题公式A的真值表中,真值为1的 指派对应的极小项的析取称为A的主析取范式。 等值演算法: (1) 将A化为析取范式 ; (2) 除去