m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 雑記／備忘 過去に、随伴関手対を使った全称限量子と存在限量子の解釈や、限量記号（∀と∃）の使い方などを述べたことがあります。これらのことを、短くまとめる必要があったので、まとめの絵を描きました。その絵をこの記事に載せます。過去記事全称限量子と存在限量子に関する過去記事を挙げておきます。本記事は短いまとめなので、より詳しいことを知りたくなったら過去記事を参照してください。原理的な話は： 全称記号の導入規則について考える 存在記号の除去規則について考える 実際の証明で限量子をどのように扱うかのノウハウは： 論理の存在記号∃をちゃんと使えるようになろう 論理の全称記号∀も存在記号∃もちゃんと使えるようになろう … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20180730%2F1532931062" 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> http://www.chimaira.org/img4/universal-quanti-matome.png Hatena Blog https://hatena.blog 2018-07-30 15:11:02 rich https://m-hiyama.hatenablog.com/entry/20180730/1532931062 1.0 100%