离散数学（删节）期末复习概念整理.docxVIP

期末加油离散数学（概念整理）无33甄行践

PAGE

PAGE8

离散数学

——概念整理

第一章、命题逻辑

否定“┐”对一个命题P的否定，写成?P。

合取“∧”表示：“并且”。

析取“∨”表示“或者”

异或“”异或是表示两个命题不可能同时都成立。

蕴涵“?”表示“如果…则…”

P?Q：也称之为蕴涵式。称P是P?Q的前件，Q是P?Q的后件。

P是Q的充分条件(有P一定有Q，但没有P也可能有Q)，Q是P的必要条件(只有Q成立，才可能有P)。

等价“?”或“?”表示“当且仅当”、“充分且必要”

合式公式定义：

(1)单个命题变元是个合式公式。

(2)若A是合式公式，则?A是合式公式。

(3)若A和B是合式公式，则(A∧B)，(A∨B)，(A?B)和(A?B)都是合式公式。

(4)当且仅当有限次地应用⑴，⑵，⑶所得到的含有命题变元、联结词和括号的符号串是合式公式。

运算次序优先级：┐，(?，?)，(→，?)，相同的运算符按从左至右次序计算，否则要加上括号，括号最外层圆括号可省去

命题符号化（翻译）

所谓命题符号化，就是用命题公式的符号串来表示给定的命题。

命题符号化的方法

(1).明确给定命题的含义。

(2).对复合命题，找联结词，分解出各个原子命题。

(3).设原子命题符号，并用逻辑联结词联结原子命题符号，构成给定命题的符号表达式。

如果X是合式公式A的一部分，且X本身也是一个合式公式，则称X为合式A的子公式

重言式(矛盾式contradiction)定义

A(P1,P2,…,Pn)是命题公式，如不论对P1,P2,…,Pn作任何指派，都使得A(P1,P2,…,Pn)为真(假)，则称之为重言式(矛盾式),也称之为永真式(永假式)。

重言式的证明方法

方法1：列真值表。

方法2：公式的等价变换，化简成“T”。

方法3：用公式的主析取范式。

永真式的性质

1).如果A是永真式，则?A是永假式。

2).如果A，B是永真式，则(A∧B)、(A∨B)、(A?B)和(A?B)也都是永真式。

3).如果A是永真式，则A的置换式也是永真式。

置换式：A(P1,P2,…,Pn)是命题公式，如果用合式公式X替换某个Pi(如果Pi在A(P1,P2,…,Pn)中多处出现，则各处均用X替换)，其余变元不变，替换后得到新的公式B，则称B是A(P1,P2,…,Pn)的置换式。

等价公式定义：给定两个命题公式A和B，设P1,P2,…,Pn为所有出现在A、B中的原子命题，若给P1,P2,…,Pn任一组真值指派，A和B的真值都相同，则称A和B是等价(logicallyequivalent)的，记A?B或A＝B。

等值定理：A?B当且仅当A?B是永真式。

等价公式:

重要等价公式：

P?Q??P∨Q

P?Q??Q??P

P?Q?（P?Q）∧（Q?P）

置换定律:A是一个命题公式，X是A中的一部分且也是合式公式，如果X?Y，用Y代替A中的X得到公式B，则A?B。

等价公式性质：

1).有自反性：任何命题公式A，有A?A。

2).有对称性：若A?B，则B?A

3).有传递性：若A?B且B?C，则A?C

4).如果A(P1,P2,…,Pn)?B(P1,P2,…,Pn)，则A(?P1,?P2,…,?Pn)?B(?P1,?P2,…,?Pn)

重言(永真)蕴涵式定义

如果公式A?B是重言式，则称A重言(永真)蕴涵B，记作A?B。

重言(永真)蕴涵式A?B的证明方法

方法1.列真值表。

方法2.假设前件为真，推出后件也为真。

方法3.假设后件为假，推出前件也为假。

重要的重言蕴涵式

P∧Q?P(合取化简规则)P∧Q?Q

P?P∨Q(析取附加规则)Q?P∨Q

?P?P?Q

Q?P?Q

?(P?Q)?P

?(P?Q)??Q

P,Q?P∧Q(合取引入规则)

?P∧(P∨Q)?Q(析取三段论)

P∧(P?Q)?Q(分离规则、假言推理)

?Q∧(P?Q)??P(拒取式)

(P?Q)∧(Q?R)?P?R(假言三段论)

(P∨Q)∧(P?R)∧(Q?R)?R

A?B?(A∨C)?(B∨C)

A?B?(A∧C)?(B∧C)

蕴涵式性质

1).有自反性：对