第一章命题逻辑全选编.ppt

命题公式是千变万化的，这给研究命题演算带来困难，这里我们研究如何由一个命题公式化归为一个标准形式的问题，这样命题演算的研究问题就归结为对标准形式的研究问题，这种标准形式就叫范式。 析取范式(参考课本上的定义) 它是这样一种标准形式，在此式内不出现联结词 ?及?，否定符号只出现在命题变元前。它是一个析取式，式中的每个析取项是个合取式，每个合取式中只包含命题变元或命题变元的否定。 例如 ? p∨(p∧q)∨(q∧r) 此式即具有析取范式之形式 注意:一个公式的析取范式并不唯一，如p∨(r∧?q) ,可以写成(p∧p)∨(r∧?q) 合取范式 它是这样一种标准形式，在此式内不出现联结词?及?，否定符号只出现在命题变元前。它是一个合取式，式中的每个合取项是个析取式，每个析取式中只包含命题变元或命题变元的否定。 例如 ? p ∧(p∨q) ∧ (q ∨ r) 此式即具有合取范式之形式 注意:一个公式的合取范式并不唯一， 如 p ∧ (r ∨ ?q) 可以写成(p ∨ p) ∧(r ∨ ?q) 定义1.9 析取范式：由有限个简单合取式构成的析取式。 如：p ∨ ? q , (p ∧ q) ∨(p ∧ ? q ∧ r) 合取范式：由有限个简单析取式构成的合取式。 如：p∧? q ,（p ∨ q）∧（ p ∨? q∨r） 范式：析取范式与合取范式统称为范式。 设Ai(i=1,2,3,…n)为简单合取式，则 A=A1 ∨ A2 ∨ …… ∨ An 就是析取范式， 而 B=A1 ∧ A2 ∧ …… ∧ An 就是合取范式。 析取范式和合取范式有下列性质： （1）一个析取范式是矛盾式?它的每个简单合取式 都是矛盾式。 （2）一个合取范式是重言式?它的每个简单析取式 都是重言式。 定理1.4 (范式存在定理) 任一个命题公式都存在着与之等值的析 取范式与合取范式。 求范式的具体步骤： （1）消去对{ ? ,∧,∨,}来说冗余的联结词 ，即{?，?} 。利用下列等值式： A ? B ?( ?A ∨ B) A ? B ?( ? A ∨ B) ∧ (A ∨ ?B) （2）否定词的消去或内移。 利用下列等值式： ? ? A ? B ?(? A ∨ B) ? ( A ∨ B) ? ? A ∧ ? B ? ( A ∧ B) ? ? A ∨ ? B （3）利用分配律： C ∧( A∨B) ?（C∧A）∨（C ∧ B） C ∨( A∧B ) ?（C∨A）∧（C ∨ B） 例1.14 求下列公式的析取范式与合取范式 (1) A=(p??q)??r 解 (p??q)??r ? (?p??q)??r （消去?） ? ?p??q??r （结合律） 这既是A的析取范式（由3个简单合取式组成的析取式），又是A的合取范式（由一个简单析取式组成的合取式） (2) B=(p??q)?r 解 (p??q)?r ? (?p??q)?r （消去第一个?） ? ?(?p??q)?r （消去第二个?） ? (p?q)?r （否定号内移——德摩根律） 这一步已为析取范式（两个简单合取式构成） 继续： (p?q)?r ? (p?r)?(q?r) （?对?分配律） 这一步得到合取范式（由两个简单析取式构成） (3) 求(?p ?q)∧(p ?r)的析取范式。 解：(?p ? q) ∧(p ? r) ? (p ∨q) ∧(? p ∨ r) ? ((p ∨q) ∧ ? p) ∨ ((p ∨q) ∧ r) ? ((p∧?p)∨(q ∧?p))∨((p ∧r)∨(q∧r)) ? (q ∧?p)∨(p ∧ r)∨(q ∧ r) (4) 求(?p ?q)∧(p ?r)的合取范式。 解：(?p ? q) ∧(p ? r) ? (p ∨q) ∧(? p ∨ r) 定义1.20 极小项/极大项 在含有n个命题变项的简单合取式(简单析取式)中，若每个命题变项均以文字的形式在其中出现且仅出现一次，而且