第9章　演绎论证二：真值函数逻辑

□没有逻辑就没有计算机，没有逻辑就没有批判性思维。

最早探索真值函数逻辑（truth-functional logic）的是斯多葛学派，该学派活跃于公元前3世纪到公元前2世纪。但是直到19世纪晚期及20世纪，真值函数逻辑（也被称为命题或语句逻辑）才真正成为显学。

“语句逻辑”是现代符号逻辑的基础之一，它对于集合论和数学基础等领域也很重要。它还是数字计算基础的电子线路的模型。不仅如此，真值逻辑也是分析论证的有效工具。

研究真值函数逻辑可以让你从一个崭新的独特角度来了解语言的结构。通过学习真值函数逻辑，还可以感知一套准确的、非数学的符号系统是如何运作的。当你用日常语言与人交流时，这个符号系统所能提供的准确性和清晰性会对你有所帮助。

如果你不喜欢与符号打交道，那么关于演绎论证的真值函数逻辑也许看起来令人生畏。但是，它并不像表面上看起来那样让人望而却步。我们会逐一介绍每个符号。但我们所介绍的知识是环环相扣的，所以，在理解新概念之前，要掌握每个解释过的概念。如果你觉得自己对某部分或某概念的理解有困难，就多花些精力去掌握它，再继续学习下面的内容。

9.1　真值表和真值函数符号

我们的“逻辑词汇表”将包括判断变元和真值函数符号。我们先介绍用字母来代表判断。然后再讨论核心问题——真值表及其符号。

判断变元（claim variable）

在第8章，我们用大写字母代表直言判断中的词项。本章中，我们用大写字母代表判断。接下来的讨论中，我们主要关注诸如“并非”、“并且”、“或者”等词语在判断中所起的作用，以及它们如何联结简单判断从而构成复合判断。请不要混淆：在第8章中，大写字母表示词项，在这里大写字母表示判断，所以这些字母被称为判断变元。