━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
数理論理学 第３回「論理式と証明法 2」の要点
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

●含意Ａ⇒Ｂの証明法

直接証明
        Ａが真であることを仮定し，Ｂが真であることを導く

●含意の意味

Ａ⇒Ｂ の意味
        Ａが真でＢが偽のとき偽，その他は真
        前提Ａが成り立つ対象だけに着目すれば，結論Ｂが成り立つ

集合を通じた含意の理解
        「P(x)⇒Q(x) がどんな対象 x についても成り立つ」ということは
        {x | P(x)} ⊆ {x | Q(x)} という包含関係と同じ

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
授業のホームページ

山田 俊行
https://www.cs.info.mie-u.ac.jp/~toshi/