实体图是查尔斯·皮尔士于1880年代开始在定性逻辑的名义下开发的逻辑的图形语法的一个要素，只覆盖了逻辑的命题演算方面所关心的内容的形式化。请参见《Peirce's "Collected Papers"》的 3.468, 4.434, 和 4.564。语法是:语义是:"证明"使用规则的简短列表操纵一个图，直到这个图被简约到一个空切或空白页。可以如此简约的图现在叫做重言式或矛盾。不能简化超过一个特定点的图类似于一阶逻辑的可满足的公式。皮尔士不久就放弃了实体图而转向存在图，它的句子("alpha"