|
存在グラフ（）は、チャールズ・サンダース・パースが考案した、論理式を視覚的な図として表す記法、またはその図である。パースは1882年に初めて論理グラフについての論文を書き、1914年に死去するまでその手法の研究を続けた。 == 概要 == パースは存在グラフとして3種類の体系を提案した。 * 「アルファ」 - 命題論理と二値ブール代数に同型的な体系 * 「ベータ」 - 等号付き一階述語論理に同型的な体系 * 「ガンマ」 - 正規様相論理に（ほぼ）同型的な体系 アルファはベータやガンマに内包される。ベータはガンマには内包されない。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「存在グラフ」の詳細全文を読む スポンサード リンク
|