1. 命题逻辑
命题逻辑研究以命题为基本单位构成的前提和结论之间的可推导关系。我们将讨论命题逻辑的基本概念，以及基于命题的真值解释实行演绎的等值演算和自然推理演算。
1.1 命题的概念
? 一个命题是一个非真即假的陈述句。
? 命题具有真假值，而且非真即假
? 陈述句限定源于命题的判断属性
? 或然性的排除
? 命题的真假判定问题：真假的常识性影响；真假的时间性影响；判定方法的存在性。
1.2 定义：简单命题（原子命题）
? 简单命题只对一个事物的一个性质进行判断。
| ? 例：雪是白的。
? 例：我下午在图书馆。 ? 例：张三和李四是表兄弟。 ? 例：他的粗鲁的态度使我受到了深深的伤害。 |
? 简单命题的语义真值由客观事实决定。
1.3 定义：复合命题
? 从语法结构上可分解成若干简单命题的命题是复合命题
| ? 例：我下午在图书馆，或者去打球。
? 例：如果明天不下雨，我们就去白云山。 ? 例：我们明天去白云山，除非天下雨。 |
? 定义：复合命题
? 从语义上可分解成若干简单命题的命题是复合命题
| ? 例：张三和李四都是中大学生。 |
? 复合命题由若干简单命题通过命题联结词构造而成，其语义真值也由之确定。
1.5 命题的符号化表示
1.5.1 定义：命题常量
? 一个命题常量是一个表达了具体的命题内容的命题，可使用一个形式符号
p 来表示。
| ? 例：p：张三是中大学生。 |
? 此时符号 p 具有了明确的语言含义，称之为一个命题常量。命题常量是一个命题。
? 命题的符号化表示
1.5.2 定义：命题变量/命题形式
? 在符号体系中，当我们只关心对象的位置关系（而不关心对象的语言解释）时，可使用符号来表示对象。
1.5.3 命题的符号化表示
? 定义：命题变量/命题形式
? 使用一个形式符号 P 表示“在描述位置上有一个命题”，而并不指出该命题的内容或真假。 这样的符号 P 称为一个命题变量（命题变元、命题变
项），或一个命题形式。
? 显然一个命题变量没有真假值，它不是命题。
? 命题的符号化表示
? 定义：命题变量/命题形式
? 当命题变量表示的命题内容得到确定时，称该变量获得指派（被赋值）。此时该变量取得了真假值，成为一个命题。
? 为陈述方便起见，我们后面所说的“命题 P ”，一般指的就是命题形式，除非有特别的语义声明。
? 命题的符号化表示
? 定义：真值
? 命题或命题变量的取值情况称为该命题或命题变量的真值。
? 通常用 0 或 F 表示“为假”，用1或 T 表示“为真”。
? 复合命题的符号化表示
? 现在，我们可以用一个形式符号 P 表示一个原子命题，而并不指出该命题的内容或真假。
? 为将命题的符号化表示用于复合命题，需要引进所谓的命题联结词以描述原子命题及其构造关系。命题联结词也称为命题运算符，具有严格的逻辑含义，以求保证符号系统的语义与其原有自然系统语义的一致性。我们讨论的联结词包括
：否定词 ? ，合取词 ∧ ，析取词 ∨，条件词 →（蕴含词）和双条件词 ? （等价词）
1.5.3.1 否定词 ?
? 定义：设 P 为一个命题，则 ?P 也为一个命题，称为 P 的否定。其逻辑意义为：
? 否定词 ?
? 对否定词 ? 的自然语言解释：
|
? 例1：P：我喜欢数理逻辑。 ?P： “我喜欢数理逻辑” 是假的。 |
| ? 例2：P：我不喜欢数理逻辑。
?P：“我不喜欢数理逻辑” 是假的。 |
? 否定词 ?
? 对否定词 ? 的自然语言解释：
| ? 例3：P：今天是星期六。
?P：今天不是星期六。 (误：今天是星期天) |
? 合取词 ∧
? 定义：设 P、Q 为命题，则 P∧Q 也是一个命题，称为 P 和 Q 的合取。其逻辑意义为：
从真值表看出，当且仅当P、Q均为T时， P∧Q 为T。P、Q的组合共有4种，即P∧Q有4个逻辑解释或真值指派。
? 合取词 ∧
| ? 例：P：今天是星期六。
Q：雪是黑的。 P∧Q ：今天是星期六而且雪是黑的。 |
? 合取词 ∧
? 与自然语言的对应：与、且、并、但 等等。
| ? 例：P：他英语很好。
Q：他德语不错。 P∧Q：他英语很好，而且德语不错。 – 他英语很好，德语也不错。 – 他不但英语很好，德语也不错。 – 他英语很好，但德语水平也不错。 |
? 合取词 ∧
? 与自然语言的对应：与、且、并、但 等等。
| ? 例：他打开书本并大声朗读。
P：他打开书本。 Q：他大声朗读。 误：P∧Q：他打开书本并大声朗读。 正：R：他打开书本并大声朗读。 打开和朗读存在时序关系，不能分解。自然语言中的时序关系不能得到准确描述。 |
? 析取词 ∨
? 定义：设 P、Q 为命题，则 P∨Q 也是一个命题，称为 P 和 Q 的析取。其
逻辑意义为：
从真值表看出，当且仅当P、Q均为F时， P∨Q 为F。P、Q的组合共有4种，即 P∨ Q
有4个逻辑解释或真值指派。
? 析取词 ∨
? 与自然语言的对应：或，…或者…，…要么…，…要不…，二者必居其一，…
| ? 例：P：同学们在晚会上唱歌。
Q：同学们在晚会上跳舞。 P∨Q：同学们在晚会上载歌载舞。 |
? 相容性选择：唱歌和跳舞可以同时存在。
? 析取词 ∨
| ? 例： P：今天下午5点我在图书馆。
Q：今天下午5点我在足球场。 误：P∨Q ：今天下午5点我在图书馆或足球场。 正：(P∧?Q)∨(?P∧Q) |
? 排斥性选择：同一时间去图书馆和去打球存在矛盾关系。
? 条件词 →
? 定义：设 P、Q 为命题，则 P → Q 也是一个命题，称为 P 条件蕴涵 Q。其
逻辑意义为：
P称为逻辑前件，Q称为逻辑后件。 从真值表看出，当且仅当P为T，Q为F时， P→Q为F。当前件取F时，不论后件如何，约定结果为T。P、Q的组合共有4种，即P→Q有4个逻辑解释或真值指派。
? 条件词 →
? 与自然语言的对应：如果…那么… ，意味着，蕴含…。
? 不一定要求描述前后件语义上的因果关系。
| ? 例：P：张三是中大学生。
Q：雪是黑的。 P→Q：如果张三是中大学生，那么雪是黑的。 |
? 双条件词 ?
? 定义：设 P、Q 为命题，则 P ? Q 也是一个命题，称为 P 双重蕴涵 Q。其
逻辑意义为：
P称为逻辑前件，Q称为逻辑后件。 从真值表看出，当且仅当P、Q具有相同真值时，
P?Q 为T。P、Q的组合共有4种，即P→Q有4个逻辑解释或真值指派。
? 双条件词 ?
? 与自然语言的对应：…当且仅当… ，充要条件。
? 不一定要求描述前后件语义上的互为逆否关系。
| ? 例：P：张三是中大学生。
Q：雪是黑的。 P ? Q ：张三是中大学生当且仅当雪是黑的。 |