m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 どんな分野でも、用語法や記号法の不整合はあるでしょう。歴史的な経緯でしょうがないのですけど、それが学習者を混乱させたり大きな障害になったりします。僕は、このテの問題に悩まされることが多いので、このダイアリーでもけっこう話題にしています。んで、今日は、証明可能性を表す記号「|-」（ターンスタイル）と普遍妥当性を表す記号「|=」（ダブルターンスタイル）をまた*1取り上げます。論理システムが健全であることを、普通次のように述べます。 どんな論理式Aに対しても、|- A ならば |= A このような「|-」、「|=」の使い方はよく見かけます。が、「|-」と「|=」の使い方／意味って、なんか対称性が欠け… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20091112%2F1257995828" 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 2009-11-12 12:17:08 rich https://m-hiyama.hatenablog.com/entry/20091112/1257995828 1.0 100%