离散数学重点笔记.docx

章， 0命题逻辑

=质数，合数有因子

和 或 假必真 同为真

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个赋值都是成真赋值

章， 命题逻辑等值演算

）双重否定律 ??A?A

）等幂律 A∧A?A ； A∨A?A

）交换律 A∧B?B∧A ； A∨B?B∨A

）结合律 （A∧B）∧C?A∧（B∧C） ； （A∨B）∨C?A∨（B∨C）

）分配律 （A∧B）∨C?（A∨C）∧（B∨C）；（A∨B）∧C?（A∧C）∨（B∧C）

）德·摩根律 ?（A∨B）??A∧?B ； ?（A∧B）??A∨?B

）吸收律 A∨（A∧B）?A；A∧（A∨B）?A

）零一律）同一律A∨1?1A∨0?A

）零一律

）同一律

A∨1?1

A∨0?A

；

；

A∧0?0

A∧1?A

0）排中律

A∨?A?1

1）矛盾律

A∧?A?0

2）蕴涵等值式

A→B??A∨B

等价等值式 A?B?（A→B）∧（B→A）

等价否定等值式A?B??A??B??B??A

6）归缪式 （A→B）∧（A→?B）??A

=1,2,…,s)为简单合取式，则A=A

∨A∨…∨A

1 2 s

为析取范式 (p∧┐q)∨(┐q∧┐r)∨p

∧A∧…∧A

2 s

为合取范式 (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个极小项，故它为重言式，

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 前提引入规则

）S 附加前提引入规则

）P （1）（2）析取三段论规则

）P→（Q→R） 前提引入规则

）Q→R （3）（4）假言推理规则

）Q 前提引入规则

）R （5）（6）假言推理规则

】用归缪法证明。

：P∨Q，P→R，Q→S 结论：S∨R

（1）?（S∨R） 附加前提引入规则

）?S∧?R （1）置换规则

）?S （2）化简规则

）?R （2）化简规则

）Q→S 前提引入规则

）?Q∨S （5）置换规则

）?Q （3）（6）析取三段论

）P∨Q 前提引入规则

）P （7）（8）析取三段论规则

P→R 前提引入规则

?P∨R （10）置换规则

2）R （9）（11）析取三段论规则

3）?R∧R （4）（12）合取引入规则

全称量词?对∨无分配律。同样的，存在量词

对∧无分配律

x yF(x,y)

x(F(x,a)∧F(x,b)∧F(x,c))(F(a,a)∧F(a,b)∧F(a,c))∨(F(b,a)∧F(b,b)∧F(b,c))∨(F(c,a)∧F(c,b)∧F(c,c))

逻辑的等价公式

设A（x）是谓词公式，有关量词否定的两个等价公式：

）﹁?xA（x）??x﹁A（x）

）﹁?xA（x）??x﹁A（x）

设A（x）是任意的含自由出现个体变项x的公式，B是不含x出现的公式，则有

）?x（A（x）∨B）??xA（x）∨B

）?x（A（x）∧B）??xA