動物の論理の論理結合子と推論規則 命題の例

セミナー 論理
連言
  1. 述語のアダマール積（点ごとの積をアダマール積と呼ぶ）
  2. 事象〈可測集合〉の共通部分
  3. 事象〈可測集合〉の直積
  4. 述語のテンソル積
  5. 分布のテンソル積
  6. 述語のmin
含意
  1. 述語の制限差 \dot{-} と書く。
  2. 分布のテンソル積 ⊃ = \otimes とする。
推論規則

結合とその特殊形

   A → B B → C
  ------------ 結合＝カット
    A → C

   A → B B →
  ------------ 引き戻し
    A →

   → A  A → B
  ------------ 前送り＝モーダスポネンス
     → B

    → B B →
  ------------ 妥当性
      →

特有な推論法

    A → B
  -------- 含意導入＝同時化
   → A⊃B

    A → B
  ---------- 対偶＝ベイズ反転
  ￢B → ￢A

    → A  A →
  ----------- 更新
     → A
問題
  • カラスは黒い
  • バスケット選手は背が高い
  • 道が濡れている
  • 医学的判断