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%2F20180615%2F1529033097" 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/forall-box.png Hatena Blog https://hatena.blog 2018-06-15 12:24:57 rich https://m-hiyama.hatenablog.com/entry/20180615/1529033097 1.0 100%