存在グラフ(英: existential graph)は、チャールズ・サンダース・パースが考案した、論理式を視覚的な図として表す記法、またはその図である。パースは1882年に初めて論理グラフについての論文を書き、1914年に死去するまでその手法の研究を続けた。 概要[編集] パースは存在グラフとして3種類の体系を提案した。 「アルファ」 - 命題論理と二値ブール代数に同型的な体系 「ベータ」 - 等号付き一階述語論理に同型的な体系 「ガンマ」 - 正規様相論理に(ほぼ)同型的な体系 アルファはベータやガンマに内包される。ベータはガンマには内包されない。 アルファ[編集] アルファのグラフ 統語論: 空白のページ 字句はページ上の任意の場所に書ける。 任意のグラフを cut または sep と呼ばれる単純な閉曲線で囲むことがある。cut は空でもよい。cut は入れ子や連結は自由だが、交差は
![存在グラフ - Wikipedia](https://cdn-ak-scissors.b.st-hatena.com/image/square/a3815d9280a091094b3a54a92d8eb1fb7fc4be82/height=288;version=1;width=512/https%3A%2F%2Fupload.wikimedia.org%2Fwikipedia%2Fcommons%2Fthumb%2F2%2F29%2FPeirceAlphaGraphs.svg%2F300px-PeirceAlphaGraphs.svg.png)