入門書による独学でも大学の講義でも記号論理学の初歩として学ぶと思われるのは(古典論理の)真理値表の概念と計算方法である。そして少し進んだ講義ではそのあとに証明体系としてシーケント計算よりも自然演繹を学ぶところが多いのではないかと思う1。 真理…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。