实体图 实体图是查尔斯皮尔士于年代开始在定性逻辑的名义下开发的逻辑的图形语法的一个要素只覆盖了逻辑的命题演算方面所关心的内容的形式化请参见Peirces Collected Papers的   和  语法是 空白页 单一的字母短语 包围在叫做切的简单闭合曲线内的对象子图切可以为空 语义是 空白页指示假 字母短语子图和整个图可以为真或假 用切包围对象等价于布尔补运算因此空切指示真理 在一个给定切内的所有对象都默认的用析取连结起来了 证明使用规则的简短列表操纵一个图直到这个图被简约到一个空切或空白页可以如此简约的图现在叫做重言式或矛盾不能简化超过一个特定点的图类似于一阶逻辑的可满足的公式 皮尔士不久就放弃了实体图而转向存在图它的句子alpha部分是实体图的对偶他开发了存在图使其成为一阶逻辑和正规模态逻辑的另一个形式化 G SpencerBrown 的初等代数同构于实体图