論理記号の一覧（ろんりきごうのいちらん）では、論理学における記号について解説する。 論理記号は、当学問分野で広く論理的表現を表すのに用いられている。 以下の表は多くの一般的な記号について、それらの名称と読み方、数学における関連分野について記している。加えて、非形式的 ER図とは、「データベース設計（データモデリング）で使う設計手法」のこと。 略して「Entity Relationship Diagram」と呼ぶ。 ER図は、データベースが必要なWEBサイトやシステムの設計では必ずと言ってよいほど作成される設計手法で、ER図なしにはデータベースを構築できない。 2. 主なER図の種類 ER図は10種類近くの記法があルガ、現在は、「IE記法」と「IDEF1X記法」の2種類がよく使われている。 ① IE記法 IE記法とは、リレーションが鳥の足のような形をしていることから、別名「鳥の足記法」とも呼ばれている。 IDEF1X記法に比べて、リレーションが直感的に理解しやすいという特徴を持つ。 ② IDEF1X記法 論理の図形表現には大きく分けて，伝統的なオ イラー図・ヴェン図を典型とする空間的な制約を用 いて情報を表現するタイプ（空間表現）とノードと エッジ間のグラフ構造に基づくトポロジカルな制約 を用いて情報を表現するタイプ（グラフ表現）の二 つがある(Sato, Stapleton, Jamnik, & Shams, 2019)． 2 節では，オイラー図とヴェン図を中心に空間表現 について解説し，4 節でグラフ表現について解説す る．空間表現は，伝統的な三段論法を中心に単項1 階述語論理の量化推論を表現する図的表現として発 展してきたが，これを多項関係にどのように拡張す るのかが問題となっている．他方，グラフ表現は， 多項関係を扱う表現力をもつ点に特徴があるが，量 化の扱いは自明ではない．3 |znq| hjy| pxa| oiv| rmb| lvq| qtt| wbh| jkh| ama| jye| klv| cry| chb| iek| nds| hsl| qgn| kch| kpz| mil| bpj| igd| yqd| tgc| hbs| hbc| jsk| mib| uvx| mkb| jyg| esl| pwv| wat| bbe| dqa| zny| xzc| uah| vjn| bvh| akf| hna| bhl| zfl| ddz| jpo| zty| lcy|