离散数学第二章（知识点总结）续

1.命题：具有确切真值的陈述句称为命题

2.非命题：一切没有判断内容的句子（命令句、祈使句、感叹句、疑问句等）

3.复合命题：

原子命题（简单命题）：不能再分解为更为简单命题的命题

复合命题：可以分解为更为简单命题的命题

4.否定连接词

设P是任意一个命题，复合命题“非P”称为P的否定式，记作┓P

非、不、没有

5.合取联结词

设P、Q是任意两个命题，复合命题“P并且Q”（或“P和Q”）称为P与Q的合取式，记作P∧Q，P∧Q为真当且仅当P、Q同为真。

并且、既...又...、但、和、与、不仅...而且...、虽然...但是...、一面...一面....

6.析取联结词

设P、Q是任意两个命题，复合命题“P或Q”称为P与Q的析取式，记作P∨Q,P∨Q为真当且仅当P、Q至少有一个为真

 7.蕴涵联结词

设P、Q是任两个命题，复合命题“如果P，则Q“则称为P与Q的蕴涵式，记作P→Q，P→Q为假当且仅当P为真Q为假

当前件P为假时，不管Q的真假如何，则P→Q都为真--“善意推定”

如果..则...，因为...所以...,只要...就...,仅当,只有...才...,除非...才...,除非...否则,,,

8.等价联结词

设P、Q是任两个命题，复合命题“P当且仅当Q”称为P与Q的等价式，记作P↔Q，P↔Q为真当且仅当P、Q同为真或同为假

等价、充分必要条件、当且仅当

9.命题联结词的优先级

所有五个联结词的优先顺序为：否定、合取、析取、蕴涵、等价

同级的联结词，按其出现的先后次序（从左到右）

若运算要求与优先次序不一致时，可使用括号；同级符号相邻时，也可是用括号，括号中的运算为最高优先级。

10.命题变元

一个特定的命题是一个常值命题，它不是具有值”T”(1),就是具有值”F”(0)

一个任意的没有赋予具体内容的原子命题是一个变量命题，常称他为命题变量或命题变元，该命题变量无具体的真值，它的变域是集合{T,F}或{0,1}

11.命题公式

 

12.公式的解释

设P1、P2、P3、...、Pn是出现在公式G中的所有命题变元，指定P1、P2、P3、..、Pn一组真值，则这组真值称为G的一个解释，常记为l。

13.真值表

 

14.命题公式分类

永真公式（重言式）：如果在它的所有解释之下其真值都为真

永假公式（矛盾式）：如果在它的所有解释之下其真值都为假，有时也称永假公式为不可满足公式

可满足公式：如果它不是永假的

15.公式的等价

 公式等价的充分必要条件：

对于任意两个公式G和H，G=H的充分必要条件是公式G↔H是永真公式

16.基本等价关系