第3章_命题逻辑选编.pptVIP

自我介绍-简历;自我介绍-教学科研;自我介绍-教学科研;离散数学学什么;离散数学是计算机专业核心基础课;离散数学体现计算机学科应用性;离散数学怎么学;我们的考核;第三章 命题逻辑 （Proposition Logic）;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;例：求?（Ｐ∨Ｑ）?（Ｐ∧Ｑ）的析取范式： ;*;*;*;（1）只要命题公式不是永假式，则一定可以根据该命题公式的真值表直接写出其主析取范式，其方法是找出该公式为“Ｔ”的行，对应写出极小项的析取式，且一定是唯一的。 （2）若命题公式是含有n个变元的永真式，则它的主析取范式一定含有2n个极小项。 （3）若二个命题公式对应的主析取范式相同，则此二个命题公式一定是等价的。 （4）命题公式的主析取范式中极小项的个数一定等于对应真值表中真值为“Ｔ”的个数。;讨论 （5）与命???公式等价的主合范式中极大项的个数等于其真值表中真值为“Ｆ”的个数。由真值表找极大项的方法为：将表中值为“Ｆ”的对应真值指派中，把变元写成否定，把变元的否定写成变元。 （6）只要命题公式不是永真式，则一定可以写出对应与其等价的唯一的主合取范式。;（7）若命题公式为含有ｎ个变元的永假式，则主合取范式包含了2n个极大项的合取式。 （8）可用主合取范式判定二个命题公式是否等价。 （9）已知一个命题公式的主析取范式，则一定可以直接写出与其等价的主合取范式来。反之也行。 例：Ｐ∨ ?Ｑ ?（ ?Ｐ∧ ?Ｑ）∨（Ｐ∧?Ｑ）∨（Ｐ∧Ｑ） ……主析取范式 ?? （ ?Ｐ∧Ｑ）?Ｐ∨ ?Ｑ……主合取范式;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;谢谢！