8-2数理逻辑.ppt

在推理规则中给出了这个名字 * I9-I12可从定义直接理解。关键得理解蕴含词的真值表。 * 若后件简单则可选用(3)；若前件简单则可选用(2)。 二种方法是互为独立的，只需使用一种证明就行。 * * 讨论范式和主范式的目的就是为了进行判定。 判定:以有限次步骤来决定命题公式是否为永真式、永假式，还是可满足的，或者判定二个命题公式是否等价等这一类的问题，统称为判定问题。 * * 1.3.范 式 讨论 （１）与命题公式等价的主合范式中极大项的个数等于其真值表中真值为“Ｆ”的个数。由真值表找极大项的方法为：将表中值为“Ｆ”的对应真值指派中，把变元写成否定，把变元的否定写成变元本身。 （２）只要命题公式不是永真式，则一定可以写出对应与其等价的唯一的主合取范式。 * 1.3.范 式 （３）若命题公式为含有ｎ个变元的永假式，则主合取范式包含了2n个极大项的合取式。 （４）可用主合取范式判定二个命题公式是否等价。 （５）已知一个命题公式的主析取范式，则一定可以直接写出与其等价的主合取范式来。反之也行。 例：Ｐ∨ ?Ｑ ?（ ?Ｐ∧ ?Ｑ）∨（Ｐ∧?Ｑ）∨（Ｐ∧Ｑ） ……主析取范式 ?? （ ?Ｐ∧Ｑ）?Ｐ∨ ?Ｑ ……主合取范式 * 1.3.范 式 （６）对应于有ｎ个变元的命题公式，则一定有： 主析范式极小项数＋主合范式极大项数＝　2n 下面介绍不用真值表求一命题公式主合取范式的方法： （1）化为与命题公式等价的合取范式； （2）除去真值为“T”的析取项和除去析取项中相同变元且只保留一个，简化合取式； （3）添项，使析取项均变为极大项； * 1.3.范 式 例如：Ｐ、Ｑ为二个变元， 即：Ｐ?Ｐ∨（Ｑ∧?Ｑ） ? （Ｐ∨Ｑ）∧（Ｐ∨ ?Ｑ） （4）合并相同的极大项，保留一项。 例：求Ｐ∧（Ｐ→Ｑ）∨Ｑ的主合取范式 解：原式 ?Ｐ∧（?Ｐ∨Ｑ）∨Ｑ 　　　　　?（Ｐ∧Ｑ）∨Ｑ 　　　　　?（Ｐ∨Ｑ） ∧Ｑ 　　　　　? （Ｐ∨Ｑ）∧（ ?Ｐ∨Ｑ） * 1.3.范 式 ４．主范式排序（列）的唯一性 （１）极小项及其编码 为了确保主范式的唯一性，二个安排： （a）各命题变元的位置安排一固定次序； （b）对极小项、极大项安排一个次序。 　对于有ｎ个变元的命题公式，则最多可有2n个极小项，用m0 ∧m1… ∧m2n-1来表示。 下面列出三个变元，且Ｐ、Ｑ、Ｒ的位置已排定，则 * m(i)十 十进制数 二进制数 极小项表示 m(0)十 0 000 ?P ∧ ? Q ∧ ? R m(1)十 1 001 ? P ∧ ? Q ∧R m(2)十 2 010 ? P ∧Q ∧ ? R m(3)十 3 011 P ∧ ? Q ? ∧R m(4)十 4 100 P ∧ ? Q ∧ ? R m(5)十 5 101 P ∧ ? Q ∧R m(6)十 6 110 P ∧Q ∧ ? R m(7)十 7 111 P ∧Q ∧R 1.3.范 式 1.3.范 式 * 1.3.范 式 例：设一命题公式有五个变元，P0,P1,P2,P3,P4（次序已定），则必可写出25=32个极小项， 下列出m(11)十和m(18)十的极小项表示： 即， m(11)十＝ m(01011)二 ＝（? P0 ∧P1 ∧ ? P2 ∧P3 ∧P4 ） m(18)十＝ m(10010)二 ＝（ P0 ∧ ? P1 ∧ ? P2 ∧P3 ∧ ? P4 ） * 1.3.范 式 通过上例归纳出一求极小项m(i)十的方法： (a)把(i)十变换成等价的(J0,J1…Jn-1)二 (b)由二进制写出其对应的极小项： 例：求（Ｐ∧Ｑ）∨（?Ｐ∧Ｒ）的编码表达式：（设Ｐ、Ｑ、Ｒ次序已定） 解：原式?（ ?Ｐ∧ ?Ｑ∧Ｒ）∨（ ?Ｐ∧Ｑ∧Ｒ）∨（Ｐ∧Ｑ∧Ｒ）∨（Ｐ∧Ｑ∧ ?Ｒ） * 1.3.范 式 ? m(001) 二∨ m(011)二∨ m(111)二∨ m(110)二 ? m(1)十∨ m(3)十∨ m(7)十∨ m(6)十 ? ?m1,m3,m7,m6??1,3,6,7 （２）极大项及其编码 用M0,M1,…M2n-1表示ｎ个变元的命题公式的极大项。 求极大项的方法： * 1.3.范 式 (a)把(i)十变换成等价的(J0,J1…Jn-1)二 (b)由二进制数写出其对应的极大项： 例：求（Ｐ∧Ｑ）∨（?Ｐ∧Ｒ）的极大项编码表示（设Ｐ、Ｑ、Ｒ次序已定） * 1.3.范 式 解：原式? （Ｐ∨Ｑ∨