引数マップ編集
引数マップは、非公式の論理における引数の構造を視覚的に表現したものです。 これには、主な競合、前提、共同前提、異議、反論、補題などの議論の構成要素が含まれます。 カテゴリを見る:引数マップ
二値決定図編集
論理の分野における二値決定図は、否定正規形や命題有向非巡回グラフのように、ブール関数を表すために使用されるデータ構造です。 カテゴリを見る:バイナリ決定図
Concept mapsEdit
concept mapは、概念間の関係を示す論理図である。 カテゴリを参照してください:概念マップ
Conceptual graphsEdit
Conceptual graphsは、意味ネットワークとパースの実存グラフに基づいて自然言語の形式化された表現を与えます。:概念的グラフ
実存グラフ編集
実存グラフは、1882年にグラフィカルロジックに関する最初の論文を書いたチャールズ-サンダース-パースによって提案された命題論理のグラフ表現であり、1914年に死ぬまでこの方法を開発し続けた。 カテゴリを見る:実存グラフ
Hasse diagramEdit
Hasse diagrameditは順序理論における図であり、有限の部分順序集合の単純な図であり、半順序の推移的還元の図を形成する。Categoryを参照。:ハッセ図
含意diagramsEdit
論理的含意は、論理と数学において、Tのすべてのモデルまたは解釈または評価がBのモデルでもあるとき、式の集合Tと式Bの間に保持される論理関係である。:含意図
Kripkeモデル編集
Kripkeモデルはモーダル論理のために作られた図であり、後に直観主義論理や他の非古典的なシステムに適応しました。 カテゴリを参照してください:クリプケモデル
論理ゲート
カテゴリを見る:論理ゲート
Porphyrian treeEdit
Porphyrian treeedit
Porphyrian treeedit
Porphyrian treeedit
Porphyrian treeedit)、階層的存在論、単語の三つの行または列からなる論理の構築であり、middlemost whereofは属と種のシリーズが含まれており、トランクにいくつかの類推を負います。
Semantic tableauedit
semantic tableaueditは、文論理と関連論理の決定手順と、一次論理の式の証明手順を示す論理図です。 カテゴリ:セマンティックテーブルを参照してください