Incognito0 https://blog.hatena.ne.jp/Incognito0/ Asinus's blog https://incognito0.hatenablog.com/ 数理論理学 入門書による独学でも大学の講義でも記号論理学の初歩として学ぶと思われるのは(古典論理の)真理値表の概念と計算方法である。そして少し進んだ講義ではそのあとに証明体系としてシーケント計算よりも自然演繹を学ぶところが多いのではないかと思う1。 真理値表では意識することなく古典論理を扱っているのに対し、自然演繹では複数の体系、直観主義論理と古典論理(と最小論理)が登場する。真理値表と自然演繹を学んだ後で勘のよい学生は以下のような疑問を持つかもしれない。 古典論理命題論理と二値の真理値表が対応するのならば、直観主義命題論理にはどのような真理値表が対応するのだろうか？ この疑問の答えは以下のようになる。 … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fincognito0.hatenablog.com%2Fentry%2F2020%2F07%2F16%2F181201" title="直観主義論理の真理値について: Gödel, &quot;Zur intuitionistischen Aussagenkalkül&quot; (1932)を読む - Asinus&#39;s blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%5Cbf%7BH%7D Hatena Blog https://hatena.blog 2020-07-16 18:12:01 rich https://incognito0.hatenablog.com/entry/2020/07/16/181201 1.0 100%