ta_so_ka_re https://blog.hatena.ne.jp/ta_so_ka_re/ ゆるゆる べんきょう https://obenkyo.hatenadiary.com/ 論理学 モデル・値付けw(wα=1)を充足関係 w|=α と捉えなおす。論理式φ∈Fはモデルによって充足したり、しなかったりするが、任意のモデルに対して充足する論理式があり、トートロジーと呼ぶ。任意のモデルに対して充足しない論理式があり、矛盾と呼ぶ。αを充足する任意のモデルに対してXが充足するとき、論理的帰結と呼び、 α|=X とかく。充足関係と論理的帰結に同じ記号を割り当てるが、特に混乱はないはず。 論理的帰結に関し、 X,α |= β ⇒ X |= α→β という演繹定理が成り立つため、これを帰納的に利用することで、任意の論理的帰結の妥当性は、ある種の論理式がトートロジーであるかどうかという問題に… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fobenkyo.hatenadiary.com%2Fentry%2F2017%2F05%2F22%2F063451" title="トートロジーと論理的帰結 - ゆるゆる べんきょう" 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 2017-05-22 06:34:51 rich https://obenkyo.hatenadiary.com/entry/2017/05/22/063451 1.0 100%