数字逻辑对偶式_离散数学1：命题逻辑

一、命题

1.Definition

具有确切真值的陈述句。

该命题可以取一个“值”，称为真值。真值只有T或F。

2.非命题

一切没有判断内容的句子，如命令句、祈使句、感叹句、疑问句、二义性的陈述句……

eg：   这个语句是假的；            x+y>0；

3.原子命题

不能再分解为更为简单命题的命题。

4.复合命题

可以分解为更为简单命题的命题。这些简单命题之间是通过

“或者”、“并且”、“不”、“如果……则”、“当且仅当(iff)”…… 等关联词和标点符号复合而成。

5.约定

通常用大写的带或不带下标的英文字母表示命题。

二、命题联结词

1.否定联结词

﹁

复合命题“非 P”(或 “P 的否定”)称为 P 的否定式

2.合取联结词

∧ 

复合命题“P 并且 Q”(或 “P 和 Q”)称为 P 与 Q 的合取式

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

3.析取联结词

复合命题“P 或 Q”称为 P 与 Q 的析取式

可兼或(同或)    ∨

不可兼或(异或)     ⊕或 ¯

4.条件联结词

“如果 P，则 Q”

→

一般把 P → Q 中的 P 称为该式的前件，Q 称为后件。

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

eg：命题：如果角 A 和角 B 是对顶角，则角 A 等于角 B。

这个命题是我们非常熟悉的一个定理，当然是真命题