□没有逻辑就没有计算机，没有逻辑就没有批判性思维。
最早探索真值函数逻辑（truth-functionallogic）的是斯多葛学派，该学派活跃于公元前3世纪到公元前2世纪。但是直到19世纪晚期及20世纪，真值函数逻辑（也被称为命题或语句逻辑）才真正成为显学。
“语句逻辑”是现代符号逻辑的基础之一，它对于集合论和数学基础等领域也很重要。它还是数字计算基础的电子线路的模型。不仅如此，真值逻辑也是分析论证的有效工具。
研究真值函数逻辑可以让你从一个崭新的独特角度来了解语言的结构。通过学习真值函数逻辑，还可以感知一套准确的、非数学的符号系统是如何运作的。当你用日常语言与人交流时，这个符号系统所能提供的准确性和清晰性会对你有所帮助。
如果你不喜欢与符号打交道，那么关于演绎论证的真值函数逻辑也许看起来令人生畏。但是，它并不像表面上看起来那样让人望而却步。我们会逐一介绍每个符号。但我们所介绍的知识是环环相扣的，所以，在理解新概念之前，要掌握每个解释过的概念。如果你觉得自己对某部分或某概念的理解有困难，就多花些精力去掌握它，再继续学习下面的内容。
