skinerrian
https://blog.hatena.ne.jp/skinerrian/
Skinerrian's blog
https://skinerrian.hatenablog.com/
論理学
論理学のメモ。まず、次の問題を考えてみる*1。 Γ |= αvβ ならば、Γ |= α または Γ |= β といえるか？言えない場合には反例をつくれ。 答えはもちろん「言えない」。Γ = {αvβ} が反例になる。 しかし、これは古典論理の話であって、直観主義だと成り立つのでは？と言われたので少し考えてみた。たしかに、LJのカット除去定理の系で選言特性というものがあるので、完全性定理により |= αvβ ならば |= α または|= β は成り立ちそうだ。これは古典論理にはない性質であり、例えば、|= αv￢α だが、必ずしも |= α または |= ￢α というわけではない。しかし、直観主…
190
<iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fskinerrian.hatenablog.com%2Fentry%2F2017%2F01%2F16%2F165026" title="選言特性 - Skinerrian'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>
Hatena Blog
https://hatena.blog
2017-01-16 16:50:26
選言特性
rich
https://skinerrian.hatenablog.com/entry/2017/01/16/165026
1.0
100%