• sentential logic (命題論理)
  
• predicate logic (述語論理)
  
• syllogism (三段論法)
  

基本的に detective inference は premise が正しければ得られる conclusion も必ず正しいという推論です。
この基本的な概念は、 programming において algorithm の構築や object化の組み立てに役立ちます。
Guide 1. での logic では頻繁に proposition が出てきており、 sentential logic の重要性が強調できます。
そして program を coding する上で設計するならば sound inference であることが望ましいです。

deductive inference
Ex.
premise:

• 全ての自動車運転手は免許を持っている。
  
• 長曾我部元親氏は自動車運転手である。
  

• よって長曾我部元親氏は免許を持っている。
  

• inductive inference (帰納推論)
  
• analogy (類推)
  

probable inference
Ex.
premise:

• この問題は小島弥太郎 氏の所で起きた。
  
• この問題は村上義清 氏の所で起きた。
  
• この問題は直江景綱 氏の所で起きた。
  
• この問題は長尾為景 氏の所で起きた。
  
• この問題は北条景広 氏の所で起きた。
  
• この問題は本庄繁長 氏の所で起きた。
  
• この問題は斎藤朝信 氏の所で起きた。
  

• よって、この問題は越後全体の問題である。
  

この inefrence には program 設計する上で重大な問題を抱えています。
computer は program した通りの結果しか望めないという事です。
つまり臨機応変的な要素は、必ず無効なのです。
この場合なら

• この問題は宇佐美定満 氏の所では起きなかった。