x本科数理逻辑-命题3-8.pptVIP

二、等值定律 1. 双重否定律 ┐┐A? A 2. 等幂律 A ∨A ? A A ∧A ? A 3. 结合律 (A ∨B )∨C ? A ∨(B ∨C) (A ∧B )∧C ? A ∧(B ∧C) 4. 交换律 A ∨B ? B ∨A A ∧B ? B ∧A 5. 分配律 A ∨(B ∧R) ?(A ∨B )∧(A ∨R) A ∧(B ∨R) ?(A ∨B )∨(A ∧R) 6. 吸收律 A ∨(A ∧B ) ? A A ∧(A ∨B ) ? A 7. 德·摩根律 ┐(A ∨B ) ? ┐A ∧┐B ┐(A ∧B ) ? ┐A ∨┐B 8. 同一律 A ∨F ? A A ∧T ? A 9. 零律 A ∨T ? T A ∧F ? F 10. 排中律 A ∨┐A ? T 11．矛盾律 A ∧┐A ? F 12．蕴涵等值式 A → B ? ┑A ∨B 13．等价等值式 A ? B ? （A →B）∧（ B →A） A ? B ?（┐A ∨B）∧（ ┐B ∨A） A ? B ? （A ∧B）∨（ ┐A ∧┐B） 同真同假 14．假言易位（逆否命题） A → B ? ┑B → ┑A 15．等价否定等值式 A ? B ? ┑A ? ┑B 16．归谬论 （ A → B） ∧（A → ┑B ） ? ┑A 三、置换规则： 设 Ф（A）是含公式A的命题公式， Ф（B）是用公式B置换了Ф（A）中所有出现的A所得到的命题公式， 则 若A ? B有 Ф（A）? Ф（B） 　注：置换规则类似于代数中的变量替换 如：公式 (p→q) → r 　　 因为　p→q　与　┑p∨q 等值 　　　　故可用┑p∨q 置换p→q所得到的公式与原式是等值的 即： (p→q) → r 　? （┑p∨q）→ r 　　　　 　　　　┑(┑p∨q ） ∨ r 　与（┑p∨q）→ r 等值 故有（┑p∨q）→ r 　?　 ┑（┑p∨q） ∨ r 　　　　　　　　　　 ?　（p∧ ┑q） ∨ r 例：证明下列等值式 ┐(P∧Q)→(┐P∨（┐P∨Q)) ? (┐P∨Q) 解： ┐(P∧Q)→(┐P∨(┐P∨Q)) ? (P∧Q)∨(┐P∨(┐P∨Q)) 蕴涵等值 ?(P∧Q)∨(┐P∨Q) 等幂律 ?(P∧Q)∨┐P∨Q 结合律 ?(P∨┐P)∧(Q∨┐P))∨Q 分配律 ? T ∧ (Q∨┐P)∨Q 同一律 ? Q∨┐P 等幂律 ? ┐P∨Q 交换律 四、利用等值演算可确定公式的类型 　判断　(p→q) ∧ p → q 的类型 　若能得到　 A　?１则可得到公式A为重言式　　　 　　　　　　　A ?０　则可得到公式A为矛盾式 因为　(p→q) ∧ p → q　? 　公式　┑( p→（ｐ∨q) ）∧ r 的类型 　公式　ｐ∧（（ （ｐ∨q) ∧┑p）→ｑ） 的类型 利用等值演算还可以化简一个命题公式 命题公式的等值演算是数理逻辑中的最基本运算。 ２.２ 析取范式与合取范式 (公式的标准型式） 一．简单析取式和简单合取式 1）“文字”定义 命题变项及其否定统称作文字． 2）仅由有限个文字构成的析取式称作简单析取式． ┐p∨q 、 p ∨ ┐q ∨ ┐r ┐q 3）仅由有限个文字构成的合取式称作简单合取式．(项） ┐q ∧p ┐p ∧┐q∧ r p 4) 简单析取式和简单合取式的性质： 一个简单析取式是重言式当且仅当它同时含某个命题变项及它的否定式． 一个简单合取式是矛盾式当且仅当它同时含某个命题变项及它的否定式．