离散命题逻辑.pptx

离散数学;第2章 命题逻辑;命题逻辑基本概念;命题逻辑基本概念;命题逻辑基本概念;命题逻辑基本概念;命题与联结词;命题与联结词;命题与联结词;命题与联结词;命题与联结词;命题与联结词;命题与联结词;命题与联结词;命题与联结词;命题与联结词;命题与联结词;命题与联结词;命题与联结词;命题与联结词;命题与联结词;命题公式及分类;命题公式（合式公式） ;例：依据上述定义，判定下面符号串是不是命题公式。 (p∨q) p (q r) p∨q∨r pq r p∨ r;公式层次 ;例：求以下命题公式层次。 ;赋值（解释） ;真值表 ;命题公式及其赋值;例10：求以下公式真值表。 ;例10：求以下公式真值表。 ;（4） ;命题公式及其赋值;命题公式及其赋值;命题公式及其赋值;课堂练习;2.2 命题逻辑等值演算;等 值 式;等 值 式;等 值 式;等 值 式;等值演算;等值演算;等值演算;等值演算;等值演算;等值演算;蕴含等值式;方法 2:;;;;等 值 式;等 值 式;联结词完备集;联结词完备集;联结词完备集;2.3 范式;简单析取式与简单合取式;例1：判断下面公式哪些是简单析取式，哪些是简单合取式： ;析取范式与合取范式;例2：判断下面公式哪些是析取式范式，哪些是合取范式 ;定理2.5:任一命题公式都存在着与之等值析取范式与合取范式。 ;析取范式与合取范式;例3：求下面公式析取范式与合取范式 ;定义：;例4：公式中出现p，q，r三个命题变项，以下公式哪些是极小项，极大项？;极小项与极大项记法 ;极大项与极小项;定义2.18：;回顾;主析取范式;例2.17：求主析取范式和主合取范式 ;主析取范式;（1）求公式成真与成假赋值 若公式A中含有n个命题变项，A主析取范式含s个极小项， 则A有s个成真赋值，他们是所含极小项脚标二进制表示。;例2.19：用公式主析取范式判断公式类型 ;主析取范式用途;主合取范式说明;知识点回顾;;;（1）求公式成真与成假赋值 若公式A中含有n个命题变项，A主析取范式含s个极小项， 则A有s个成真赋值，他们是所含极小项脚标二进制表示。;（1）由公式主析取范式求主合取范式 主析取范式中没有出现极小项下标恰好是主合取范式中 极大项下标。;学习要求;2.4 推 理;86;推 理 理 论;推理形式结构;推理形式结构;90;91;92;93;94;95;结构证实法;97;98;99;100;101;102;例2.26、若a是实数，则它不是有理数就是无理数。若a不能表示成份数，则它不是有理数。a是实数且它不能表示成份数。所以，a是无理数。 ;（2）结构推理形式化;（3）结构证实;附加前提证实法;归谬法