离散数学 数理逻辑

1 命题逻辑基本概念

1.1 命题与联结词

1.1.1 命题

1.1.1.1 命题

非真既假的陈述句称作命题。

1.1.1.2 真值

作为命题的陈述句所表达的判断结果称作命题的真值

1.1.1.3 真命题与假命题

真值为真的命题称为真命题，真值为假的命题称为假命题

1.1.1.4 简单命题（原子命题）与复合命题

不能被分解成更简单的命题称作简单命题或原子命题

由简单命题通过连接词连接而成的命题称作复合命题

1.1.1.5 悖论

既不能为真，也不能为假的陈述句称作悖论，悖论不是命题

1.1.1.6 命题与真值的符号化

用$p, q, r$等表示命题，称为命题的符号化，用数字$1$代表真，用数字$0$代表假，称为真值的符号化

1.1.2 联结词

1.1.2.1 否定联结词

“非”（“否定”）符号化为“$\urcorner$”，称$\urcorner$为否定联结词

1.1.2.2 合取联结词

“并且”（“与”）符号化为“$\wedge$”，称$\wedge$为合取联结词

自然语言常见描述方式“虽然，但是”，“一边，一边”，“不仅，而且”，“既，又”

1.1.2.3 析取联结词

“或”（“相容或”）符号化为“$\vee$”，称$\vee$为析取联结词

注意相容或$p \vee q$与排斥或$(p \wedge \urcorner q) \vee (\urcorner p \wedge q)$的区别与联系

1.1.2.4 蕴涵联结词

“如果，则”符号化为“$\to$”，称$\to$为蕴涵联结词

自然语言常见描述方式“如果，则”，“只要，就”，“只有，才”，“除非，否则”，“仅当”

符号化时一定要分清前后件，（后件是前件的必要条件，前件是后件的充分条件）

在“如果$p$，则$q$” “只要$p$, 就$q$” “$p$仅当$q$”中符号化为

$$p \to q$$

在“只有$p$，才$q$”中符号化为

$$q \to p$$

在“除非$p$，否则$q$”中符号化为

$$\urcorner p \to q$$

1.1.2.5 等价联结词

“当且仅当”符号化为“$\leftrightarrow$”，称$\leftrightarrow$为等价联结词

1.1.2.6 常用联结词集

$S = \{ \urcorner , \wedge, \vee, \to, \leftrightarrow \}$

1.1.3 基本复合命题

设$p, q$为命题

1.1.3.1 否定式

$$\urcorner p$$

1.1.3.2 合取式

$$p \wedge q$$

1.1.3.3 析取式（相容或）

$$p \vee q$$

1.1.3.4 析取式（排斥或）

$$(p \wedge \urcorner q) \vee (\urcorner p \wedge q)$$

1.1.3.5 蕴涵式

$$p \to q$$

为假当且仅当$p$为真，$q$为假，$p$为$q$的充分条件，$q$为$p$的必要条件

1.1.3.6 等价式

$$p \leftrightarrow q$$

1.2 命题公式及其赋值

1.2.1 命题公式

1.2.1.1 命题常项与命题变项

真值确定的简单命题称为命题常项或命题常元，取值1（真）或0（假）的变元称作命题变项或命题变元

1.2.1.2 命题公式（合式公式）

将命题变项用联结词和圆括号按照一定的逻辑关系连接起来的符号串称作合式公式，也称作命题公式或命题形式，简称公式

1.2.1.2 公式层次

1.2.2 命题公式的赋值

1.2.2.1 定义

设$p_1, p_2, p_3, \cdots, p_n$是出现在公式$A$中的全部命题变项，给$p_1, p_2, p_3, \cdots, p_n$ 各制定一个真值，称为对$A$的一个赋值或解释

1.2.2.2 成真赋值与成假赋值

使$A$为$1$的一组值称为成真赋值，反之称为成假赋值

1.2.2.3 真值表

将命题公式$A$在所有赋值下取值情况列成表，称作$A$的真值表

1.2.3 命题公式的类型

1.2.3.1 重言式（永真式）

在它的各种赋值下取值均为真

1.2.3.2 矛盾式（永假式）

在它的各种赋值下取值均为假

1.2.3.3 可满足式

不是矛盾式

2 命题逻辑等值演算

2.1 等值式

2.1.1 定义

设$A, B$是两个命题公式，若$A, B$构成的等价式$A \leftrightarrow B$ 为重言式，则称$A$与$B$是等值的，记作$A \Leftrightarrow B$

符号$\Leftrightarrow$不是联结符，它是用来说明$A$与$B$等值的一种记法，因而$\Leftrightarrow$是元语言符号

2.1.2 基本的等值式

2.1.2.1 双重否定律

$$A \Leftrightarrow \urcorner \urcorner A$$

2.1.2.2 幂等律

$$A \Leftrightarrow A \wedge A, A \Leftrightarrow A \vee A$$

2.1.2.3 交换律

$$A \wedge B \Leftrightarrow B \wedge A, A \vee B \Leftrightarrow B \vee A$$

2.1.2.4 结合律

2.1.2.5 分配率

（$\wedge$对$\vee$的分配率）

（$\vee$对$\wedge$的分配率）

2.1.2.6 德摩根律

$$\urcorner(A \vee B) \Leftrightarrow \urcorner A \wedge \urcorner B$$

$$\urcorner(A \wedge B) \Leftrightarrow \urcorner A \vee \urcorner B$$

2.1.2.7 吸收律

2.1.2.8 零律

2.1.2.9 同一律

2.1.2.10 排中律

2.1.2.11 矛盾律

2.1.2.12 蕴涵等值式

$$A \to B \Leftrightarrow \urcorner A \vee B$$

2.1.2.13 等价等值式

2.1.2.14 假言易位

$$A \to B \Leftrightarrow \urcorner B \to \urcorner A$$

2.1.2.15 等价否定等值式

2.1.2.16 归谬论

$$(A \to B) \wedge (A \to \urcorner B) \Leftrightarrow \urcorner A$$

2.1.3 等值演算

由已知等值式推演出新的等值式的过程

2.1.4 置换规则

若$A \Leftrightarrow B$，则