存在图是查尔斯·皮尔士发明的逻辑表达式的一种图示或可视表示法。皮尔士在1882年写了第一篇关于图形逻辑的论文，并持续开发这种方法直到1914年他故去。
图形.皮尔士提出了三个存在图系统:"Alpha"嵌套于"beta"和"gamma" 中。"Beta"不嵌套于"gamma"中，量化的模态逻辑超出了皮尔士的视野。
Alpha.语法是:语义是:一个对象的深度是包围它的切的数目。推理规则:等价规则:证明按照一系列步骤操纵一个图，每个步骤都由