m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 論理で使う“「ならば」っぽい記号”、“矢印的な記号”については過去に述べたことがあります。 含意＜がんい＞から伴意＜ばんい＞へ*1 さまざまな「ならば」達 論理におけるさまざまな「矢印」達 論理／メタ論理の記法をどうするか 2: 悟りへの道 何が主たる問題かというと、地の文で使うメタな記号表現と、演繹システムが処理するデータである形式的表現〈形式化された表現 | 形式表現〉の区別がイイカゲンなことです。イイカゲンには幾つかの意味があります。 使い分け／書き分けのルールを決めてない。 ルールは決めてあるが、守っていない。 ルールが人により場合によりバラバラである。 僕もヒトのことをどうこう言える… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F2020%2F02%2F08%2F105351" title="互換な演繹システムとシーケント、そして矢印記号 - 檜山正幸のキマイラ飼育記 (はてなBlog)" 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 2020-02-08 10:53:51 rich https://m-hiyama.hatenablog.com/entry/2020/02/08/105351 1.0 100%