m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 論理に「タブローの方法」というものがあります。しばしば、「タブローにより“証明する”」という言い方がされます。しかしT先生によれば、タブローの方法は証明じゃない、と。何をもって「証明」というかがハッキリしてるわけでもないですが、僕の感覚（厳密性は主張しません）からも「あれは証明じゃない」と感じます。この「感じ」がどこから来るのか、そこらへんのところを少し述べます。この記事はタブローの方法を紹介するものではありません。タブローの方法も含めて、論理についてのある程度の知識は前提とします。タブローの方法の背景となっている（と思われる）モデル論的なチェックについて考えてみます。一気に書こうと思ったので… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20130926%2F1380177842" 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 2013-09-26 15:44:02 rich https://m-hiyama.hatenablog.com/entry/20130926/1380177842 1.0 100%