m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ Isabelle 論理 お絵描き ストリング図とストリンググラフの関係を使い、グラフ理論的な操作として証明行為＝リーズニングを理解する。キーワード（大事な言葉）の定義： 推論ノード：通常の推論規則を表す。複数（0個もあり）の入力（仮定）と1つの出力（結論）を持つ。 ワイヤー：命題（論理式）でラベルされている。 補助ノード： コピーノード、破棄ノード、ラムダノード、交差（crossing）ノードなど。 進入境界：ストリンググラフの概念 退出境界：ストリンググラフの概念 マージ：併置と同じ。直和グラフを作ること カット結合：シーケントのカット規則に相当 ブランチ：ひとつのノード（推論ノード、補助ノード）と隣接する命題頂点からなる部… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20160701%2F1467353036" title="証明ストリング図 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-07-01 15:03:56 rich https://m-hiyama-memo.hatenablog.jp/entry/20160701/1467353036 1.0 100%