离散数学—数理逻辑

      数理逻辑研究的中心问题是推理，而推理的前提和结论都是命题。因而命题是推理的基本单位。

命题

具有确切真值的陈述句称为命题(proposition)。该命题可以取一个“值”，称为真值。真值只有 “真”和“假”两种，分别用“T”(或“1”) 和“F”(或“0”)表示。

一切没有判断内容的句子，如命令句 (或祈使句)、感叹句、疑问句、二义性的陈述句等都不能作为命题，是非命题。
 

复合命题

--------------------------------------------------------------

命题联结词  ¬

1.否定联结词

2.合取联结词  ∧

 PS:

“∧” 是自然语言中的 “并且”、“既…又…”、“但”、“和”、“与”、“不仅…而且…”、“虽然…但 是…”、“一面…, 一面…” 等的逻辑抽象；但不是所有的“和”，“与”都要使用合取联结词 表示，要根据句子的语义进行分析。

3. 析取联结词  ∨

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

PS:

 4.蕴涵联结词  →

设 P、Q 是任两个命题，复合命题“如果 P，则 Q”称为 P 与 Q 的蕴涵式(implication)，记 作P→Q，“→” 为蕴涵联结词。P→Q 为假当且仅当 P 为真且 Q 为假。一般把蕴涵式 P→Q 中的 P 称为该蕴涵式的前件，Q 称为蕴涵式的后件。
 

在自然语言中，前件为假，不管结论真假，整个语句的意义，往往无法判断。但对于数理 逻辑中的蕴涵联结词来说，当前件 P 为假时，不管 Q 的真假如何，则 P→Q 都为真。此 时称为 “善意推定”。

如图：

特殊的，P→Q

5.等价联结词  ↔

设 P、Q 是任两个命题，复合命题“P 当且仅当 Q”称为 P 与 Q 的等价式(equivalence)，记 作P↔Q，“↔” 为等价联结词(也称作双条件联结词)。P↔Q 为真当且仅当 P、Q 同为真假。

 -------------------------------------------------------------

 联结词是两个命题真值之间的联结，而不是命题内容之间的连接，因此复合命题的真值只取决于 构成他们的各简单命题的真值，而与它们的内容无关，与二者之间是否有关系无关。 

---------------------------------------------------------------

命题符号化以及应用

1.命题联结词的优先级

1.所有五个联接词的优先顺序为：否定，合取（且），析取（同或），蕴涵，等价；

2.同级的联结词，按其出现的先后次序 (从左到右)；

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

2.复合命题符号化 

 

 注意第三个例子， 除非....否则....的含义

--------------------------------------------------------------------

3.命题连接词的应用

-----------------------------------------------------------------------

命题公式

1.命题变量（变元）

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

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

2.命题公式

EX:

 

3.命题的解释

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

真值表

定义：由公式 G 在其所有可能的解释下所取真值构成的表，称为 G 的真值表(truth table)。

PS：

一般来说，若有 n 个命题变元，则应有 2^n 个不同的解释。

利用真值表，可得到公式的所有成真赋值和成假赋值。

-------------------------------------------------------------------------

公式的分类和逻辑等价

1.命题公式分类

公式 G 称为永真公式(重言式,tautology)，如果在它的所有解释之下其真值都为“真”。

公式 G 称为永假公式(矛盾式,contradiction)，如果在它的所有解释之下其真值都为“假”。 有时也称永假公式为不可满足公式。

公式 G 称为可满足公式(satisfiable)，如果它不是永假的。

2.公式的等价

设 G，H 是两个命题公式，P1，P2，P3，· · · ，Pn是出现在 G，H 中所有的命题变元，如果对于 P1，P2，P3，· · · ，Pn 的 2 n 个解释，G 与 H 的真值结果都相同，则称公式 G 与 H 是等价的。

记作G = H。

公式的等价关系及其应用

1.基本等价关系