Truth diagrams (TDs) are introduced as a novel graphical representation for propositional logic (PL). To demonstrate their epistemic efficacy a set of 28 concepts are proposed that any comprehensive representation for PL should encompass. TDs address all the criteria whereas seven other existing representations for PL only provide partial coverage. These existing representations are: the linear formula notation, truth tables, a PL specific interpretation of Venn Diagrams, Frege’s conceptual notation, diagrams from Wittgenstein’s Tractatus, Pierce’s alpha graphs and Gardner’s shuttle diagrams. The comparison of the representations succeeds in distinguishing ideas that are fundamental to PL from features of common PL representations that are somewhat arbitrary.

中文翻译：

---

命题逻辑的真值图与现存符号

真值图 (TD) 被引入作为命题逻辑 (PL) 的新颖图形表示。为了证明它们的认知功效，提出了一组 28 个概念，PL 的任何综合表示都应该包含这些概念。TD 解决了所有标准，而其他七个现有的 PL 表示仅提供部分覆盖。这些现有的表示是：线性公式符号、真值表、维恩图的 PL 特定解释、弗雷格的概念符号、来自维特根斯坦的 Tractatus 的图表、皮尔斯的阿尔法图和加德纳的穿梭图。表示的比较成功地将 PL 的基本思想与有些随意的常见 PL 表示的特征区分开来。