graph)は、チャールズ・サンダース・パースが考案した、論理式を視覚的な図として表す記法、またはその図である。パースは1882年に初めて論理グラフについての論文を書き、1914年に死去するまでその手法の研究を続けた。外部リンク概要[編集]パースは存在グラフとして3種類の体系を提案した。正規様相論理に(ほぼ)同型的な体系アルファはベータやガンマに内包される。ベータはガンマには内包されない。アルファ[編集]アルファのグラフ統語論:空白のページ字句はページ上の任意の場所に書ける。呼ばれる単純な閉曲線で囲むことがある。入れ子や連結は自由だが、交差はできない。部分グラフを「サブグラフ」と呼ぶ。意味論:空白ページは「真」を表す。文字、句、サブグラフ、グラフ全体は、「真」か「偽」のどちらかを表している。囲むことは論理否定を意味するか、ブール代数における補数演算を意味する。内に複数のサブグラフがある場合、それらは暗黙のうちに論理積を表している。アルファグラフは命題論理の必要最小限の記法であり、論理積と論理否定の表現の妥当性に基づいている。アルファグラフは、二値ブール代数と論理演算を徹底的に単純化したものと見ることもできる。任意のサブグラフを深さが奇数の位置に挿入できる。深さが偶数の位置にあるサブグラフは除去できる。任意のサブグラフを囲んでも意味が変わらない。