“用真值表制表的推理模式由弗雷格、查尔斯·皮尔士和 Ernst Schröder 在 1880 年代发明。这种表格突出于 1920 年代之后的文献中(扬·武卡谢维奇、Emil Post、维特根斯坦)”(蒯因, 39)。路易斯·卡罗早在 1894 年就公式化了真值表来解决特定问题，但是他的包含这项工作的手稿直到 1977 年才被发现。维特根斯坦的逻辑哲学论使用它们把真值函数置于序列中。这个著作的广泛影响导致了真值表的传播。

真值表被用来计算真值泛函表达式的值(就是说是一个判定过程)。真值泛函表达式要么是原子(就是说是命题变量(或占位符)或命题函数 - 比如 Px)或建造自使用逻辑运算符(就是说 ∧ (AND)，∨ (OR)，¬ (NOT) - 例如 Fx & Gx)的原子公式。

“用真值表制表的推理模式由弗雷格、查尔斯·皮尔士和 Ernst Schröder 在 1880 年代发明。这种表格突出于 1920 年代之后的文献中(扬·武卡谢维奇、Emil Post、维特根斯坦)”(蒯因, 39)。路易斯·卡罗早在 1894 年就公式化了真值表来解决特定问题，但是他的包含这项工作的手稿直到 1977 年才被发现。维特根斯坦的逻辑哲学论使用它们把真值函数置于序列中。这个著作的广泛影响导致了真值表的传播。

真值表被用来计算真值泛函表达式的值(就是说是一个判定过程)。真值泛函表达式要么是原子(就是说是命题变量(或占位符)或命题函数 - 比如 Px)或建造自使用逻辑运算符(就是说 ∧ (AND)，∨ (OR)，¬ (NOT) - 例如 Fx & Gx)的原子公式。