yuyubu https://blog.hatena.ne.jp/yuyubu/ 誰にも見えないブログ https://yuyubu-sub.hateblo.jp/ 論理学 これまでのおさらい 公理系APLの完全性を証明したい ヘンキンの定理を証明する必要がある 証明で使いたい補助定理をあらかじめ証明しておく 【補助定理44-1 リンデンバウムの補助定理(Lindenbaum's lemma)】→done 【補助定理44-2 極大無矛盾集合の充足可能性補助定理】→前回途中までやったのでこの続き。 補助定理44-2-1 Γ⊢AかつΓ⊆Γであるとき、A∈Γ → 前回やった 補助定理44-2-2 Γ*を極大無矛盾集合とし、AとBを任意の論理式とすると以下が成り立つ→今回やる 前回 yuyubu-sub.hateblo.jp 補助定理44-2-2 極大無矛盾集合に成り立つ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyuyubu-sub.hateblo.jp%2Fentry%2F2019%2F10%2F28%2Ftodays-logic" title="今日の論理学:極大無矛盾集合に成り立つ5つの同値関係の証明 - 誰にも見えないブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://images-fe.ssl-images-amazon.com/images/I/5126AYWJFRL._SL160_.jpg Hatena Blog https://hatena.blog 2019-10-29 00:38:41 rich https://yuyubu-sub.hateblo.jp/entry/2019/10/28/todays-logic 1.0 100%