离散数学重点笔记.docVIP

0命题逻辑 素数 = 质数，合数有因子 和 或 假必真 同为真 (p→q)∧(q←→r)，(p∧q)∧┐r，p∧(q∧┐r)等都是合式公式，而pq→r，（p→(r→q)等不是合式公式。 若公式A是单个的命题变项，则称A为0层合式 (┐p∧q)→r，(┐(p→┐q))∧((r∨s)┐p)分别为3层和4层公式 【例】求下列公式的真值表，并求成真赋值和成假赋值。 (┐p∧q)→┐r 公式(1)的成假赋值为011，其余7个赋值都是成真赋值 命题逻辑等值演算 （1）双重否定律 AA （2）等幂律 A∧AA ； A∨AA （3）交换律 A∧BB∧A ； A∨BB∨A （4）结合律 （A∧B）∧CA∧（B∧C） ； （A∨B）∨CA∨（B∨C） （5）分配律 （A∧B）∨C（A∨C）∧（B∨C） ； （A∨B）∧C（A∧C）∨（B∧C） （6）德·摩根律 （A∨B）A∧B ； （A∧B）A∨B （7）吸收律 A∨（A∧B）A；A∧（A∨B）A （8）零一律 A∨11 ； A∧00 （9）同一律 A∨0A ； A∧1A （10）排中律 A∨A1 （11）矛盾律 A∧A0 （12）蕴涵等值式 A→BA∨B （13）假言易位 A→BB→A （14）等价等值式 AB（A→B）∧（B→A） （15）等价否定等值式 ABABBA （16）归缪式 （A→B）∧（A→B）A Ai(i=1,2,…,s)为简单合取式，则A=A1∨A2∨…∨As为析取范式 (p∧┐q)∨(┐q∧┐r)∨p A=A1∧A2∧…∧As为合取范式 (p∨q∨r)∧(┐p∨┐q)∧r 一个析取范式是矛盾式当且仅当它的每个简单合取式都是矛盾式 一个合取范式是重言式当且仅当它的每个简单析取式都是重言式 主范式 ∧ 成真 小写 【例】 (p→q)→(┐q→┐p) = ┐(┐p∨q)∨(q∨┐p) (消去→) = (p∧┐q)∨┐p∨q (┐内移) (已为析取范式) = (p∧┐q)∨(┐p∧┐q)∨(┐p∧q)∨(┐p∧q)∨(p∧q) （*） = m2∨m0∨m1∨m1∨m3 = m0∨m1∨m2∨m3 (幂等律、排序) (*)由┐p及q派生的极小项的过程如下： ┐p = ┐p∧(┐q∨q) = (┐p∧┐q)∨(┐p∧q) q = (┐p∨p)∧q = (┐p∧q)∨(p∧q) 熟练之后，以上过程可不写在演算过程中。 该公式中含n=2个命题变项，它的主析取范式中含了22=4个极小项，故它为重言式， 00，01，10，11全为成真赋值。 【例】(p→q)∧┐p = (┐p∨q)∧┐p (消去→) = ┐p∨(┐p∧q) (分配律、幂等律) 已为析取范式 = (┐p∧┐q)∨(┐p∧q) = m0∨m1 【例】(p∧┐q)∨(┐p∧q) = (p∨┐p)∧(p∨q)∧(┐q∨┐p)∧(┐q∨q) = (p∨q)∧┐(p∧q) 重言蕴涵式 用附加前提证明法证明下面推理。 前提：P→（Q→R），S∨P，Q 结论：S→R 证明： （1）S∨P 前提引入规则 （2）S 附加前提引入规则 （3）P （1）（2）析取三段论规则 （4）P→（Q→R） 前提引入规则 （5）Q→R （3）（4）假言推理规则 （6）Q 前提引入规则 （7）R （5）（6）假言推理规则 【例】用归缪法证明。 前提：P∨Q，P→R，Q→S 结论：S∨R 证明 （1）（S∨R） 附加前提引入规则 （2）S∧R （1）置换规则 （3）S （2）化简规则