标签：
1. 命题逻辑
命题逻辑研究以命题为基本单位构成的前提和结论之间的可推导关系。我们将讨论命题逻辑的基本概念，以及基于命题的真值解释实行演绎的等值演算和自然推理演算。
1.1 命题的概念? 简单命题只对一个事物的一个性质进行判断。
| ? 例：雪是白的。 ? 例：我下午在图书馆。 ? 例：张三和李四是表兄弟。 ? 例：他的粗鲁的态度使我受到了深深的伤害。 |
? 简单命题的语义真值由客观事实决定。
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 否定词 ?
? 对否定词 ? 的自然语言解释：
|
? 例1：P：我喜欢数理逻辑。 ?P： “我喜欢数理逻辑” 是假的。 |
| ? 例2：P：我不喜欢数理逻辑。 ?P：“我不喜欢数理逻辑” 是假的。 |
? 对否定词 ? 的自然语言解释：
| ? 例3：P：今天是星期六。 ?P：今天不是星期六。 (误：今天是星期天) |
? 合取词 ∧
| ? 例：P：今天是星期六。 Q：雪是黑的。 P∧Q ：今天是星期六而且雪是黑的。 |
? 与自然语言的对应：与、且、并、但 等等。
| ? 例：P：他英语很好。 Q：他德语不错。 P∧Q：他英语很好，而且德语不错。 – 他英语很好，德语也不错。 – 他不但英语很好，德语也不错。 – 他英语很好，但德语水平也不错。 |
? 合取词 ∧
? 与自然语言的对应：与、且、并、但 等等。
| ? 例：他打开书本并大声朗读。 P：他打开书本。 Q：他大声朗读。 误：P∧Q：他打开书本并大声朗读。 正：R：他打开书本并大声朗读。 打开和朗读存在时序关系，不能分解。自然语言中的时序关系不能得到准确描述。 |
逻辑意义为：
? 与自然语言的对应：或，…或者…，…要么…，…要不…，二者必居其一，…
| ? 例：P：同学们在晚会上唱歌。 Q：同学们在晚会上跳舞。 P∨Q：同学们在晚会上载歌载舞。 |
? 析取词 ∨
| ? 例： P：今天下午5点我在图书馆。 Q：今天下午5点我在足球场。 误：P∨Q ：今天下午5点我在图书馆或足球场。 正：(P∧?Q)∨(?P∧Q) |
逻辑意义为：
? 不一定要求描述前后件语义上的因果关系。
| ? 例：P：张三是中大学生。 Q：雪是黑的。 P→Q：如果张三是中大学生，那么雪是黑的。 |
逻辑意义为：
? 不一定要求描述前后件语义上的互为逆否关系。
| ? 例：P：张三是中大学生。 Q：雪是黑的。 P ? Q ：张三是中大学生当且仅当雪是黑的。 |
标签：
原文地址：http://blog.csdn.net/u013354805/article/details/51170802
