存在グラフ - Wikipedia

存在グラフ（英: existential graph）は、チャールズ・サンダース・パースが考案した、論理式を視覚的な図として表す記法、またはその図である。パースは1882年に初めて論理グラフについての論文を書き、1914年に死去するまでその手法の研究を続けた。 概要[編集] パースは存在グラフとして3種類の体系を提案した。 「アルファ」 - 命題論理と二値ブール代数に同型的な体系 「ベータ」 - 等号付き一階述語論理に同型的な体系 「ガンマ」 - 正規様相論理に（ほぼ）同型的な体系 アルファはベータやガンマに内包される。ベータはガンマには内包されない。 アルファ[編集] アルファのグラフ 統語論: 空白のページ 字句はページ上の任意の場所に書ける。 任意のグラフを cut または sep と呼ばれる単純な閉曲線で囲むことがある。cut は空でもよい。cut は入れ子や連結は自由だが、交差は

[DOISHIGERU]

図形的表現の可能性