m-hiyama https://blog.hatena.ne.jp/m-hiyama/ 檜山正幸のキマイラ飼育記 (はてなBlog) https://m-hiyama.hatenablog.com/ 檜山用メモ 消滅しません :-)いままで、矛盾または無矛盾て言葉を色々な意味で使ってしまった。 公理系Aが矛盾する：A|- f かつ A|- ¬f セオリーTが矛盾する：T = L （Lはすべての論理式） 論理式の集合Aが矛盾する：Aはモデルを持たない。 1番目と2番目は構文的な主張で、これが同値になるためには、f∧¬fがfalseで、falseからは何でも導けるってことが背景。演繹定理があれば、false|- f は、|- false→f と同じ。含意を書き換えれば ¬false∨f なんで true∨fでいつでも成り立つらしい、と納得できるでしょう（できないか？）3番目は意味論的で、「A|- f かつ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama.hatenablog.com%2Fentry%2F20051223%2F1135331250" 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 2005-12-23 18:47:30 rich https://m-hiyama.hatenablog.com/entry/20051223/1135331250 1.0 100%