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